8,366 Hits in 4.6 sec

Overview of current design and analysis of potential theories for automated fibre placement mechanisms

Wuxiang Zhang, Fei Liu, Tao Jiang, Minghui Yi, Weiqiang Chen, Xilun DING
2021 Chinese Journal of Aeronautics  
manufacturing for aircraft programs and automation.  ...  Focusing on the mechanism design of AFP sub-mechanisms, including the creel assembly CCR and compaction mechanisms, the mechanical schemes as well as the AFP process parameter control are discussed.  ...  linear programming relaxations and strengths.  ... 
doi:10.1016/j.cja.2021.04.018 fatcat:l7a3drbhezhjhcbjm435q4k7te

A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms [chapter]

Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibănescu
2003 Lecture Notes in Computer Science  
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reactions and different generation  ...  We emphasize the benefits of using rewriting and rule-based programming controlled by strategies for the generation of kinetic mechanisms.  ...  An automated procedure is the only convenient and rigorous way to write such large mechanisms. models [2] . Indeed, kinetic elementary mechanisms looks like graph rewriting rules.  ... 
doi:10.1007/3-540-44881-0_4 fatcat:izdbya5rtbeizj3eg67gulbiki

Complex System Design with Design Languages: Method, Applications and Design Principles [article]

Samuel Vogel, Stephan Rudolph
2018 arXiv   pre-print
Different design strategies and mechanisms have been identified and applied in the automation of the design processes.  ...  Graph-based design languages in UML (Unified Modeling Language) are presented as a method to encode and automate the complete design process and the final optimization of the product or complex system.  ...  Different design strategies and mechanisms have been identified and applied in the automation of the design processes.  ... 
arXiv:1805.09111v1 fatcat:fxyj7yajv5aopdms4wi2tisp2y

Auction-Based Mechanisms for Electronic Procurement

T. S. Chandrashekar, Y. Narahari, Charles H. Rosa, Devadatta M. Kulkarni, Jeffrey D. Tew, Pankaj Dayama
2007 IEEE Transactions on Automation Science and Engineering  
These mechanisms are becoming increasingly relevant in modern day e-procurement systems since they enable a promising way of automating negotiations with suppliers and achieving the ideal goals of procurement  ...  This article reviews recent research and current art in the area of auction based mechanisms for electronic procurement.  ...  ACKNOWLEDGMENT The first two authors would like acknowledge the support of General Motors Research and Development Center, Warren, Michigan, USA for carrying out this research under the IMPROVE research  ... 
doi:10.1109/tase.2006.885126 fatcat:wpwnfcnrbbhbnhndp54e4y2v4q

Ordinal Arithmetic: Algorithms and Mechanization

Panagiotis Manolios, Daron Vroon
2005 Journal of automated reasoning  
Using the ACL2 theorem proving system, we implemented our ordinal arithmetic algorithms, mechanically verified their correctness, and developed a library of theorems that can be used to significantly automate  ...  We present the first comprehensive treatment of ordinal arithmetic on compact ordinal notations and give efficient algorithms for various operations, including addition, subtraction, multiplication, and  ...  We would also like to thank Mátyás Sustik for using our library and making many suggestions on how we can improve it.  ... 
doi:10.1007/s10817-005-9023-9 fatcat:iuky3iyvbzaqfgdo4fkj3oghte

A Virtual Mechanism Approach for Exploiting Functional Redundancy in Finishing Operations

Bojan Nemec, Kenichi Yasuda, Ales Ude
2020 IEEE Transactions on Automation Science and Engineering  
The robot's kinematic model is augmented with a virtual mechanism, which is defined according to the applied finishing tool.  ...  Our approach is based on programming by demonstration and enables the programming of finishing operations also for users who are not specialists in Manuscript  ...  Finishing operations such as polishing and grinding are considered hard to automate, especially using classical robot programming approaches.  ... 
doi:10.1109/tase.2020.3032075 fatcat:jibwbcggunbq5psh64ertwr3ge

Path planning based on fluid mechanics for mobile robots using unstructured terrain models

David Gingras, Érick Dupuis, Guy Payre, Jean de Lafontaine
2010 2010 IEEE International Conference on Robotics and Automation  
This paper presents a path planning method based on fluid mechanics able to deal with unstructured terrain models.  ...  To reduce the quantity of data in memory a compression can lead to unstructured environment models such as irregular meshes.  ...  The work described in this article was carried out under the Space Technologies Research Program at CSA.  ... 
doi:10.1109/robot.2010.5509679 dblp:conf/icra/GingrasDPL10 fatcat:famu5by3tbauxjwk4hkl2dqwhi

The application of threshold logic to the design of sequential machines

Gilbert M. Masters, Richard L. Mattson
1966 Annual Symposium on Switching and Automata Theory  
Digital Communication through fading multi-path channels: Characterization of fading multi-path channels, the effect of signal characteristics on the choice of a channel model, frequency-Nonselective,  ...  Systems Architecture, Programming and Design", TMH. 2.  ...  Marlyn Mallick, "Mobile And Wireless Design Essentials", Wiley, 2003 ALGORITHMS FOR VLSI DESIGN AUTOMATION 1 . 1 Neil Weste and K. Eshragian, "Principles of CMOS VLSI . P.E.  ... 
doi:10.1109/swat.1966.29 dblp:conf/focs/MastersM66 fatcat:ierxfghv4vcpbbh2iaktwfdzlm

Low-cost Antenna Positioning System Designed with Axiomatic Design

Joseph Timothy Foley, Vladimir Omelianov, Slawomir Koziel, Adrian Bekasiewicz, L. Slatineanu
2017 MATEC Web of Conferences  
Axiomatic Design Theory principles were applied to develop an automated 3-axis positioner system for a reference antenna and the antenna to be calibrated.  ...  The Engineering Optimization and Modeling Center at Reykjavik University has been carrying out research on antenna CAD, including the simulation-driven design of novel antenna topologies.  ...  Increasing complexity of antenna systems makes automated EM-simulation-driven design more and more important.  ... 
doi:10.1051/matecconf/201712701015 fatcat:53auob23fbdftnuy7b4xueqdsy

Three dimensional finite element analysis of radial-flow impeller temperature field

Liang-wei Zhong, Kang-min Chen
2010 2010 International Conference on Mechanic Automation and Control Engineering  
Acknowledgments We thank DUE Project University of Lampung and Australian Research Council for the financial supports. Thank also goes to Ms. L. Lambert for her help in NMR experimentation and Mr. G.  ...  Acknowledgements This research was supported by the Centre for Management of Research and Conference, University Malaysia Sabah (Grant No. B-09-01-01-ER/U131) and is gratefully acknowledged.  ...  To design a reliable and compact controller for SRM drives, the position sensor unit should be eliminated.  ... 
doi:10.1109/mace.2010.5535344 fatcat:xqn7azzkcjgkhcgl5cuwtqlgue

Automated Design of Quantum Circuits [chapter]

Colin P. Williams, Alexander G. Gray
1999 Lecture Notes in Computer Science  
In this paper we propose an automated approach to quantum circuit design using search heuristics based on principles abstracted from evolutionary genetics, i.e. using a genetic programming algorithm adapted  ...  In order to design a quantum circuit that performs a desired quantum computation, it is necessary to find a decomposition of the unitary matrix that represents that computation in terms of a sequence of  ...  and was supported in part by the Center for Integrated Space Microsystems under task number 277-3ROUO-0 and by the JPL Autonomy Program under task number 234-8AX24-0.  ... 
doi:10.1007/3-540-49208-9_8 fatcat:agqtu6mmufgq5faldd2op3h2ea

Macrofabrication with Digital Materials: Robotic Assembly

Neil Gershenfeld, Matthew Carney, Benjamin Jenett, Sam Calisch, Spencer Wilson
2015 Architectural Design  
Here, they discuss the production of the parts, the modelling of structures made with them, and their automated assembly.  ...  These all use designs that are digital, but materials that are not: they are continuously deposited or removed. of the MIT Center for Bits and Atoms explore the implications of the use of digital materials  ...  MODELLING The discrete construction of digital materials provides an equivalence between designs and their mathematical models.  ... 
doi:10.1002/ad.1964 fatcat:t54wz5ky2zgrrhad3ty7jzsmyq

Design methodologies for silicon photonic integrated circuits

Lukas Chrostowski, Jonas Flueckiger, Charlie Lin, Michael Hochberg, James Pond, Jackson Klein, John Ferguson, Chris Cone, Louay A. Eldada, El-Hang Lee, Sailing He
2014 Smart Photonic and Optoelectronic Integrated Circuits XVI  
This is complemented by well established photonic component design tools, compact model synthesis, and optical circuit modelling.  ...  The approach presented is inspired by methods employed in the Electronics Design Automation (EDA) community.  ...  Jaeger and Tom Baehr-Jones for useful discussions.  ... 
doi:10.1117/12.2047359 fatcat:lpzvt2qi6fdmfngjbovvtoyxpi

Symbolic computation in system simulation and design

Brian L. Evans, Steve X. Gu, Asa Kalavade, Edward A. Lee, Franklin T. Luk
1995 Advanced Signal Processing Algorithms  
At a behavioral level, symbolic computation can compute parameters, generate new models, and optimize parameter settings.  ...  By symbolic computation, we mean programs like Mathematica that perform symbolic algebra and apply transformation rules based on algebraic identities.  ...  Design flow represented as a distributed data structure. Flow, Tool, and Data Model ger matrices using an algebraic transformation called Smith form decomposition (analogous to eigendecomposition).  ... 
doi:10.1117/12.211415 fatcat:run7ukl455cjfmhbrdl7sqrjhy

An integrated framework for multi-scale materials simulation and design

Z.-K. Liu, L.-Q. Chen, P. Raghavan, Q. Du, J. O. Sofo, S. A. Langer, C. Wolverton
2004 Journal of Computer-Aided Materials Design  
individual simulation/modeling stages.  ...  in one to three dimensions (1-3D); and (4) Finite element analysis to generate the mechanical response from the simulated microstructure.  ...  The OOF program is designed to calculate macroscopic properties from images of microstructures and perform virtual experiments on realistic microstructures.  ... 
doi:10.1007/s10820-005-3173-2 fatcat:tfl5ke4dvbb5lnrlvukvk6vi74
« Previous Showing results 1 — 15 out of 8,366 results