Scopus İndeksli Yayınlar Koleksiyonu

Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/8651

Browse

Filters

2017 - 201922020 - 20263

Settings

Subject: search.filters.subject.Design

Search Results

Now showing 1 - 5 of 5
  • Article
    Formal Verification for I2C Communication Protocol in Aerospace and Aviation Industries
    (Elsevier B.V., 2026) Berik, Merve; Baykal, Yahya
    The aerospace industry comprises many safety-critical applications that involve a vast number of interacting subsystems. Reliable data communication between devices and components is therefore essential. In this context, Inter-Integrated Circuit (I2C) communication protocol is widely preferred due to its simplicity, flexibility, low power consumption, and reliability. However, issues such as data corruption, data loss, and increased latency may still occur and can lead to serious consequences in aviation, including safety risks, electronic malfunctions, air traffic management problems, and incorrect navigation information. To avoid such failures, the I2C RegisterTransfer Level (RTL) design must be both correctly implemented and rigorously verified. There are several verification methods for digital design verification. Among several digital design verification approaches, Formal Verification (FV) is one of the most precise and reliable methods for safety- critical systems, as it provides mathematical proofs of conformance to specified properties. In this work, an open-source, Yosys-based formal verification flow is applied to an open-source I2C master design using the SymbiYosys framework. The verification environment is developed in SystemVerilog with SystemVerilog Assertions, enabling the detection of design errors directly against the protocol requirements. By combining bounded model checking, cover analysis, and theorem-proving, the proposed flow systematically verifies all five finite-state-machine (FSM) states and nine transitions of the I2C master. The results demonstrate that formal verification can systematically ensure robust and fault-tolerant I2C operation for avionics applications.
  • Conference Object
    Citation - Scopus: 1
    Insights Into Acoustics Courses in Interior Architecture Education
    (Society of Acoustics, 2024) Yorukoglu, P.N.D.
    The multi-disciplinary nature of interior architecture education includes varying topics on design, construction, building physics, history, arts, and so on. Acoustics is an important building physics topic that takes part in the most updated interior architecture curriculum, with an increased number of theoretical courses. Yet, it might be inadequate to load theoretical knowledge without hands-on training in fields that are more practice-oriented such as interior architecture, which takes its roots from design and architecture education. Topic-specific awareness and the ability to integrate theoretical knowledge into architectural design should be gained during the early years of interior architecture undergraduate education. Within the framework of this study, insights into mandatory and elective courses on sound and acoustics in the Department of Interior Architecture at Çankaya University, Ankara, Turkiye are presented. In addition to detailed evaluations of interior architecture curriculum and acoustics course design, student feedback and outputs that have been reported previously in the literature are discussed to give a broader understanding of awareness and education in the field of acoustics. © 2024 Proceedings of the International Congress on Sound and Vibration. All rights reserved.
  • Article
    Design, Optimization, Simulation, and Implementation of a 3d Printed Soft Robotic Peristaltic Pump
    (Iop Publishing Ltd, 2024) Totuk, Onat Halis; Mistikoglu, Selcuk; Guvenc, Mehmet Ali
    This study presents an innovative approach to fluidic pumping using soft robotics, designed to circulate fluid through soft conduits for delicate environments like blood streams where traditional peristaltic pumps may not be feasible. A novel soft robotic peristaltic pump is optimized and implemented, featuring 3D printed ring-shaped actuators and a PDMS pipe housing a Newtonian fluid. The design includes a three-stage actuator ring structure, actuated sequentially for peristaltic motion. A parametric finite element model predicts the required pressure, and the Mooney-Rivlin 5 Parameters hyper-elastic material model ensures accurate material properties. Optimization uses response surface analysis in Minitab and MATLAB Simulink Simscape simulations to achieve maximum flow rate with minimal power and pressure. Experimental validation confirms the simulations, achieving an optimal flow rate of 0.27 ml s(-1) at a 450 ms cycle, with minor discrepancies due to friction and measurement errors. This study demonstrates the scalability of linearly sequenced soft squeeze actuators into an effective pump, validated by both simulation and experiments. Future applications include medical devices addressing deep venous thrombosis, with further research exploring control theory for optimization and comparing performance with conventional pumps to enhance practical applicability.
  • Article
    Citation - WoS: 2
    Citation - Scopus: 2
    Progression of Color Decision Making in Introductory Design Education
    (Wiley, 2017) Ural, Sibel Ertez; Akbay, Saadet; Altay, Burcak
    Color comprises both subjective and objective aspects within its contextual nature. Research on color design tends to explore this seemingly contradictory concerns from theoretical point of view, as well as architectural and design practice. The aim of this study was to observe subjective, intuitive or heuristic and objective, knowledge-based or analytical attitudes toward color in design education. In the study 84 introductory design students were surveyed progressively to understand their color decision criteria after completion of three 2-dimensional colored exercises, specific in terms of color education. Students' responses to open-ended questions were coded according to the 5 categories, under 2 decision making processes derived from the literature; heuristic approach: preferential and symbolic criteria, and analytic reasoning: formal, thematic, and systematic criteria. A distinction between associative and emotional aspects of symbolic criteria was also revealed by the data analysis. The findings showed a shift from heuristic responses to analytic reasoning, as expected. Additionally, it is also investigated that students not only used heuristic approaches but also analytical components (formal and systematic) of color decision making in varying degrees as well, even before any color subjects covered. Thematic color decisions became a major part of the students' design considerations upon completion of color subjects. The observed increase in the number of color criteria interrelated by the students' among almost all categories explicated a complex decision making process particularly in color design and education. These findings were expected to lead to some further understanding in color decision making in design.
  • Conference Object
    Citation - WoS: 1
    Citation - Scopus: 3
    Redesign and Construction of a Low-Cost Capaman Prototype
    (Springer international Publishing Ag, 2019) Karaahmet, S. B.; Selvi, O.; Cafolla, D.; Ceccarelli, M.; Arslan, O.
    In this paper a redesign solution for CaPaMan structure is presented to build a scaled low-cost prototype with market components and 3D printed parts. A CAD design is worked out to define 3D printing manufacturing for link parts and to adjust the mechanical design and its assembly after performance evaluation ensuring characteristic features of CaPaMan operation. A small-size prototype is built and tested with satisfactory functioning.