Computational Synthesis of Product Architectures Based on Object-Oriented Graph Grammars

2012 ◽  
Vol 134 (2) ◽  
Author(s):  
Bergen Helms ◽  
Kristina Shea
Keyword(s):  
Innovation Process ◽  
Object Oriented ◽  
Oriented Graph ◽  
Computational Design ◽  
Building Blocks ◽  
Graph Representation ◽  
Synthesis Process ◽  
Graph Grammars ◽  
Computational Synthesis ◽  
The Impact

Computational design synthesis aims to iteratively and automatically generate solution spaces of standard and novel design alternatives to support the innovation process. New approaches are required to generate alternative solutions at the function and behavior level as well as to ease the computational modeling of design knowledge. This paper introduces the approach of object-oriented graph grammars for the computational synthesis of product models based on a Function–Behavior–Structure (FBS) representation. The approach combines the advantages of a generic and systematic design method with a highly computable graph representation and object-oriented concepts. Through this combination, advances in terms of extendibility, efficiency, and flexible formalization of declarative and procedural engineering knowledge are achieved. Validation of the method is given through the synthesis of hybrid powertrains. The generation of hybrid powertrain solution spaces is shown, especially focusing on the impact of an evolving vocabulary, or building blocks, for synthesis. Future work includes integrating search methods in the synthesis process along with quantitative evaluation using simulation methods.

Solving Design Tasks in Engineering Using Object-Oriented Graph-Based Representations and Boolean Satisfiability

2013 ◽  
Author(s):  
Clemens Münzer ◽  
Kristina Shea ◽  
Bergen Helms
Keyword(s):  
Solution Space ◽  
Object Oriented ◽  
Oriented Graph ◽  
Computational Design ◽  
Building Blocks ◽  
Boolean Satisfiability ◽  
Design Synthesis ◽  
Boolean Satisfiability Problem ◽  
Systematic Solution ◽  
Computational Design Synthesis

Ever since computers have been used to support human designers, a variety of representations have been used to encapsulate engineering knowledge. Computational design synthesis approaches utilize this knowledge to generate design candidates for a specified task. However, new approaches are required to enable systematic solution space exploration. This paper presents an approach that combines a graph-based, object-oriented knowledge representation with first-order logic and Boolean satisfiability. This combination is used as the foundation for a generic, automated approach for requirement-driven computational design synthesis. Available design building blocks and a design task defined through a set of requirements are modeled in a graph-based environment and then automatically transferred into a Boolean satisfiability problem and solved, considering a given solution size. The solution is then automatically transferred back to the graph-based domain. The method is validated through the synthesis of automotive powertrains. The contribution of the paper is a new method that is both able to determine that an engineering task is solvable or not given a set of design building blocks and able to systematically explore the solution space.

Automated Assignment of Physical Effects to Functions Using Ports Based on Bond Graphs

2011 ◽  
Author(s):  
Bergen Helms ◽  
Hansjo¨rg Schultheiß ◽  
Kristina Shea
Keyword(s):  
New Technologies ◽  
Selection Process ◽  
Innovation Process ◽  
Oriented Graph ◽  
Computational Design ◽  
Graph Grammar ◽  
Automated Assignment ◽  
Bond Graphs ◽  
Design Synthesis ◽  
Physical Effects

Innovation processes are highly susceptible to cyclic influences, such as evolving knowledge due to new technologies. In order to cope with these challenge, computational support is required. Paper-based design methods have vast amounts of knowledge at their disposal in the form of design catalogues. However, lacking a computational implementation, these knowledge sources provide no support for considering dynamic influences in the innovation process. The presented method is targeted at making the physical effects contained in design catalogues available for computational design synthesis approaches. For this purpose, this paper introduces the notion of abstraction ports that is used to represent the valid mapping between functional operators and physical effects. For the automated assignment of abstraction ports, a method has been developed that analyzes the equation structure of physical effects. This approach is derived from the modeling technique of bond graphs and is independent of any selection process proposed by design catalogues. Moreover, it allows for the formalization of evolving knowledge in new physical effects that are not yet contained in design catalogues. The assignment of abstraction ports has been successfully validated through the formalization of the physical effects of two design catalogues. Future work comprises the integration of quantitative characteristics of physical effects and the realization within the object-oriented graph grammar system booggie.

Automatically Transforming Object-Oriented Graph-Based Representations Into Boolean Satisfiability Problems for Computational Design Synthesis

2013 ◽  
Vol 135 (10) ◽  
Author(s):  
Clemens Münzer ◽  
Bergen Helms ◽  
Kristina Shea
Keyword(s):  
Space Exploration ◽  
Solution Space ◽  
Object Oriented ◽  
Computational Design ◽  
Building Blocks ◽  
Boolean Satisfiability ◽  
Design Synthesis ◽  
Alcohol Production ◽  
Systematic Solution ◽  
Computational Design Synthesis

Ever since computers have been used to support human designers, a variety of representations have been used to encapsulate engineering knowledge. Computational design synthesis (CDS) approaches utilize this knowledge to generate design candidates for a specified task. However, new approaches are required to enable systematic solution space exploration. This paper presents an approach that combines a graph-based object-oriented knowledge representation with first-order logic and Boolean satisfiability. This combination is used as the foundation for a generic automated approach for requirement-driven computational design synthesis. Available design building blocks and a design task defined through a set of requirements are modeled in a graph-based environment and then automatically transferred into a Boolean satisfiability problem and solved, considering a given solution size. The Boolean solution is automatically transferred back to the graph-based domain. The method is validated through two case studies: synthesis of automotive powertrains and chemical process synthesis for ethyl alcohol production. The contribution of the paper is a new method that is able to determine if an engineering task is solvable for a given set of synthesis building blocks and enables systematic solution space exploration.

Strategies for Topologic and Parametric Rule Application in Automated Design Synthesis Using Graph Grammars

2014 ◽  
Author(s):  
Corinna Königseder ◽  
Kristina Shea
Keyword(s):  
Early Stage ◽  
A Priori ◽  
Computational Design ◽  
Automated Design ◽  
Graph Grammar ◽  
Synthesis Process ◽  
Task Graph ◽  
Graph Grammars ◽  
Design Synthesis ◽  
Objective Function Values

Computational Design Synthesis (CDS) is used to enable the computer to generate valid and even creative solutions for an engineering task. Graph grammars are a CDS approach in which engineering knowledge is formalized using graphs to represent designs and rules that describe possible graph transformations, i.e. changes of designs. For most engineering tasks two different kinds of rules are required: rules that change the topology and rules that change parameters of a design. One of the main challenges in CDS using both topologic and parametric rules is to decide a priori which type of rule to apply in which stage of the synthesis process. The research presented in this paper describes different strategies for the combination of topologic and parametric rules during automated design synthesis. A graph grammar for the design of gearboxes is investigated in which topologic rules change the structure, i.e. the number and connections of gears and shafts, whereas parametric rules change the layout and sizing, i.e. the dimensions and positions of gears and shafts, in the gearbox. For the generation of new designs, two simple multi-objective stochastic search algorithms are used and compared. Four different strategies are presented that determine in different ways which type of rule (topologic or parametric) to apply in which stage of the synthesis process. The presented strategies are compared considering the quantity of the generated designs, i.e. the number of topologically different designs, and their quality, i.e. their objective function values. Results show a significant influence of the chosen strategy only in an early stage of the synthesis process. The discussion examines the adaptability of the proposed strategies to other engineering tasks.

scholarly journals Formal Verification of Object-Oriented Graph Grammars Specifications

2007 ◽  
Vol 175 (4) ◽  
pp. 101-114 ◽  
Author(s):  
Ana Paula Lüdtke Ferreira ◽  
Luciana Foss ◽  
Leila Ribeiro
Keyword(s):  
Formal Verification ◽  
Object Oriented ◽  
Oriented Graph ◽  
Graph Grammars

Mechanically-Tunable Quantum Interference in Ferrocene-Based Single-Molecule Junctions

2020 ◽  
Author(s):  
María Camarasa-Gómez ◽  
Daniel Hernangómez-Pérez ◽  
Michael S. Inkpen ◽  
Giacomo Lovat ◽  
E-Dean Fung ◽  
...  
Keyword(s):  
Single Molecule ◽  
Quantum Interference ◽  
Degrees Of Freedom ◽  
Building Blocks ◽  
Ferrocene Derivative ◽  
Single Molecule Junctions ◽  
Molecule Junction ◽  
Single Molecule Junction ◽  
The Impact ◽  
D Orbitals

Ferrocenes are ubiquitous organometallic building blocks that comprise a Fe atom sandwiched between two cyclopentadienyl (Cp) rings that rotate freely at room temperature. Of widespread interest in fundamental studies and real-world applications, they have also attracted<br>some interest as functional elements of molecular-scale devices. Here we investigate the impact of<br>the configurational degrees of freedom of a ferrocene derivative on its single-molecule junction<br>conductance. Measurements indicate that the conductance of the ferrocene derivative, which is<br>suppressed by two orders of magnitude as compared to a fully conjugated analog, can be modulated<br>by altering the junction configuration. Ab initio transport calculations show that the low conductance is a consequence of destructive quantum interference effects that arise from the hybridization of metal-based d-orbitals and the ligand-based π-system. By rotating the Cp rings, the hybridization, and thus the quantum interference, can be mechanically controlled, resulting in a conductance modulation that is seen experimentally.<br>

JAVASCRIPT ASYNCHRONOUS PROGRAMMING

2019 ◽  
Vol 128 (2B) ◽  
pp. 5-16
Author(s):  
Tran Thanh Luong ◽  
Le My Canh
Keyword(s):  
Design Patterns ◽  
Source Code ◽  
Object Oriented ◽  
Exception Handling ◽  
Code Smells ◽  
Asynchronous Programming ◽  
Event Driven ◽  
Programming Patterns ◽  
The Impact

JavaScript has become more and more popular in recent years because its wealthy features as being dynamic, interpreted and object-oriented with first-class functions. Furthermore, JavaScript is designed with event-driven and I/O non-blocking model that boosts the performance of overall application especially in the case of Node.js. To take advantage of these characteristics, many design patterns that implement asynchronous programming for JavaScript were proposed. However, choosing a right pattern and implementing a good asynchronous source code is a challenge and thus easily lead into less robust application and low quality source code. Extended from our previous works on exception handling code smells in JavaScript and exception handling code smells in JavaScript asynchronous programming with promise, this research aims at studying the impact of three JavaScript asynchronous programming patterns on quality of source code and application.

Model Pembelajaran Teams Games Tournaments (TGT) untuk Meningkatkan Hasil Belajar Siswa

2019 ◽  
Vol 3 (2) ◽  
pp. 110
Author(s):  
Suwarno Suwarno
Keyword(s):  
Social Capital ◽  
Academic Success ◽  
Service Learning ◽  
Learning Outcomes ◽  
School Effectiveness ◽  
Social Trust ◽  
Building Blocks ◽  
Learning Model ◽  
Committee Report ◽  
The Impact

<p><strong>A</strong><strong>bstract</strong><strong>. </strong>This study aims to determine the effectiveness of the Teams Games Tournament (TGT) learning model to improve student learning outcomes. This research is important because the lecture learning model makes learning meaningless so it impacts on low learning outcomes. This research uses quasi experiment using control class and experimental class. Respondents in this study were students of class X SMK 8 Semarang Academic Year 2017/2018. Sample selection using random sampling, class X1 is <em>used</em> as a control class and X2 is an experimental class. The experimental class was given an intervention by learning Teams Games Tournaments (TGT), while the control class used lecture learning. The effectiveness of the model was measured by the student test analysis method. then analyzed by completeness test and average difference test. The findings of this study are the learning outcomes of experimental class students achieving better learning outcomes than classes using the lecture method.</p><p><strong><em>Keywords</em></strong><em>: Learning Model, Teams Games Tournaments (TGT)</em><em>. Students</em></p><p><strong><br /></strong></p><p><strong>Daftar Pustaka</strong></p><p align="center"> </p><p>Bofota, Y. B., &amp; Bofota, Y. B. (2017). <em>The impact of social capital on children educational outcomes : the case of Tanzania The impact of social capital on children educational outcomes : The case of Tanzania</em>.</p><p>Cahuc, P., Shleifer, A., &amp; Algan, Y. (2014). <em>Teaching Practices and Social Capital</em>. (6052).</p><p>Catts, R., &amp; Ozga, J. (2015). <em>What is Social Capital and how might it be used in Scotland ’ s Schools ?</em> (36).</p><p>Flint, N. (2017). <em>Full report Schools , communities and social capital : building blocks in the ’ Big Society ’ Contents</em>.</p><p>Goddard, R. D. (2016). <em>Relational Networks , Social Trust , and Norms : A Social Capital Perspective on Students ’ Chances of Academic Success</em>. <em>25</em>(1), 59–74.</p><p>Eddy Prasongko, 2017. Team Game Tournament. Bandung. Jawa Barat</p><p>Endang Poerwanti, dkk. 2008. <em>Asesmen Pembelajaran SD.</em> Jakarta: Direktorat Jendral Pendidikan Tinggi Departemen Pendidikan Nasional</p><p>Hargreaves, A. (2015). <em>School Social Capital and School Effectiveness</em>. <em>37</em>, 119–136.</p><p>Kurnia, Inggridwati. dkk. 2018. <em>Perkembangan belajar peserta didik</em><em>.</em> Jakarta: Direktorat Jendral Pendidikan Tinggi Departemen Pendidikan Nasional</p><p>Purwanto. M Ngalim. 2015. <em>Psikologi Pendidikan</em>. Bandung: PT Remaja Rosdakarya</p><p>Siddiq, M. Djauhar. 2018. <em>Pengembangan Bahan Pembelajaran SD</em>. Jakarta: Direktorat Jendral Pendidikan Tinggi Departemen Pendidikan Nasional.</p><p>Sugiyono, 2005. Metode Penelitian Kuantitatif, Kualitatif dan Rn D, Bandung Aftabeta</p><p>Lash, D., &amp; Belfiore, G. (2017). <em>5 Essentials in Building Social Capital Report 4 of the MyWays Student Success Series</em>. (October).</p><p>Mikiewicz, P., Jonasson, J. T., Gudmundsson, G., Blondal, K. S., &amp; Korczewska, D. M. (2011). <em>Comparative research between Poland and Iceland</em>.</p><p>Schlesselman, L., Borrego, M., Bloom, T. J., Mehta, B., Drobitch, R. K., &amp; Smith, T. (2015). An Assessment Of Service-Learning In 34 US Schools Of Pharmacy Follow Up On The 2001 Professional Affairs Committee Report. <em>American Journal of Pharmaceutical Education</em>, <em>79</em>(8). https://doi.org/10.5688/ajpe798116</p><p><em><br /></em></p>

Sign in / Sign up

Export Citation Format

Share Document