Готові списки джерел за темами / Automated computer-aided synthesis

Добірка наукової літератури з теми "Automated computer-aided synthesis"

Автор: Grafiati
Опубліковано: 30 травня 2022
Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Automated computer-aided synthesis".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Automated computer-aided synthesis"

1

Petrov, Dmitriy Nikiforovich, and Tamara Balabekovna Chistyakova. "SYSTEM OF AUTOMATED DESIGN AND PROTOTYPING OF SYNTHESIS SITES OF CARBON NANOCLUSTER STRUCTURES." Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics 2021, no. 3 (July 30, 2021): 16–27. http://dx.doi.org/10.24143/2072-9502-2021-3-16-27.

Повний текст джерела
Анотація:
The article focuses on using the integrated multi-component computer-aided design and control systems, which changes the product life cycle processes in the high-tech complex chemical and technological systems. In the integrated design of production facilities, special attention is paid to safety, productivity, reliability, ergonomics of the production line and the material and technical environment. The most effective in project management are flexible life cycle models that connect diverse specialists in a single information environment. The relevance of the task of developing and implementing problem-oriented heterogeneous computer-aided design and digital prototyping systems is justified. There is described a method for improving the efficiency of designing production facilities while minimizing the time required preparing a design solution, and the risks of design errors caused by the communication dissonance of diverse specialists. The architecture of the computer-aided design and digital prototyping system with a description of its basic components is presented. The creation of a digital model of the design object is described on the example of the reactor site and the material and technical base of the process of synthesis of carbon nanocluster structures that are in high demand in various industries. The conducted tests and the introduction of the resulting applied software solution into the educational process proved its efficiency in solving problems of integrated computer-aided design and digital modeling not only of objects of the carbon nanoindustry, but also for other industries with a similar material and technical base.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Unruh, V., and P. Krishnaswami. "A Computer-Aided Design Technique for Semi-Automated Infinite Point Coupler Curve Synthesis of Four-Bar Linkages." Journal of Mechanical Design 117, no. 1 (March 1, 1995): 143–49. http://dx.doi.org/10.1115/1.2826099.

Повний текст джерела
Анотація:
At the present time, there are no satisfactory computer-aided solution schemes for solving the infinite point coupler curve synthesis problem (i.e., the problem of synthesizing a four-bar linkage whose coupler curve best approximates a fully specified closed trajectory). In order to develop a programmable solution process for this class of problems, it is necessary to devise a way of storing a catalog of coupler curves in a computer database. In addition, comparison procedures must be developed for detecting geometric similarities between curves; these procedures must be capable of observing similarities in the shapes of curves which may be scaled or oriented differently. In this paper, a data representation scheme based on uniform periodic B-splines is proposed as a viable means of storing coupler curves in a database. Automated procedures for fitting B-splines to coupler cures or other closed curves are also developed. The paper also presents a set of algorithms for comparing the shapes of curves based on the control polygons of their B-spline approximations. These algorithms are implemented in a computer program that is an effective tool for semi-automated computer-aided solution of the infinite point coupler curve synthesis problem. Example problems solved using this program are discussed, along with some suggestions for further work on this topic.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Alankus, Gazihan, A. Alphan Bayazit, and O. Burchan Bayazit. "Automated motion synthesis for dancing characters." Computer Animation and Virtual Worlds 16, no. 3-4 (2005): 259–71. http://dx.doi.org/10.1002/cav.99.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Zhigang Deng, J. P. Lewis, and U. Neumann. "Automated Eye Motion Using Texture Synthesis." IEEE Computer Graphics and Applications 25, no. 2 (March 2005): 24–30. http://dx.doi.org/10.1109/mcg.2005.35.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Osman, A., Y. Kutay, I. Mozgova, and R. Lachmayer. "Procedure to Create an Automated Design Environment for Functional Assemblies." Proceedings of the Design Society 2 (May 2022): 553–62. http://dx.doi.org/10.1017/pds.2022.57.

Повний текст джерела
Анотація:
AbstractManually exploring the solution space for different variants of a product for a given set of requirements is ineffective regarding product development time and adaptation to dynamic customer requirements. Variant generation coupled to optimization algorithms offers possibilities to search the solution space in an automated way. This paper provides a framework to build a generative parametric design environment for functional assemblies by implementing analysis as well as synthesis methods in computer-aided tools. The procedure is presented using the example of a coffee machine.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Lustig, Daniel, Andrew Wright, Alexandros Papakonstantinou, and Olivier Giroux. "Automated Synthesis of Comprehensive Memory Model Litmus Test Suites." ACM SIGPLAN Notices 52, no. 4 (May 12, 2017): 661–75. http://dx.doi.org/10.1145/3093336.3037723.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Rjazancev, A. N. "The structural models automated synthesis for choice logical problems solution in computer-aided processes planning systems." Вестник Белорусско-Российского университета, no. 2 (2011): 87–95. http://dx.doi.org/10.53078/20778481_2011_2_87.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Verteshev, Sergei, and Vladimir Konevtsov. "DIRECT DIGITAL CONTROL IN A COMPLEX OF SOFTWARE DESIGN OF DIGITAL CONTROL SYSTEMS." Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 3 (June 15, 2017): 332. http://dx.doi.org/10.17770/etr2017vol3.2534.

Повний текст джерела
Анотація:
This article provides the functionality of creating direct digital control devices in the computer-aided design of digital automatic control systems (CAD of digital ACS), in a complex of software design of digital control systems (SDSDC complex) for automated process control systems. Technical tools are defined by the international standard IEC 61131-1: 2003 (Part 1: General data). The possibility of implementing SDSDC complex in direct digital control, single-cycle and multi-cycle ladder diagrams, identification of objects of management and synthesis of digital controllers in comparison with the international standard IEC 61131-3: 2003 (Part 3: Programming Languages) are evaluated. Users’ productivity is estimated as well as the possibility of its separation between the users at different stages of the design of digital systems of automatic control is assessed.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Verteshev, Sergei, and Vladimir Konevtsov. "DIRECT DIGITAL CONTROL IN A COMPLEX OF SOFTWARE DESIGN OF DIGITAL CONTROL SYSTEMS." Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 3 (June 15, 2017): 337. http://dx.doi.org/10.17770/etr2017vol3.2536.

Повний текст джерела
Анотація:
This article provides the functionality of creating direct digital control devices in the computer-aided design of digital automatic control systems (CAD of digital ACS), in a complex of software design of digital control systems (SDSDC complex) for automated process control systems. Technical tools are defined by the international standard IEC 61131-1: 2003 (Part 1: General data). The possibility of implementing SDSDC complex in direct digital control, single-cycle and multi-cycle ladder diagrams, identification of objects of management and synthesis of digital controllers in comparison with the international standard IEC 61131-3: 2003 (Part 3: Programming Languages) are evaluated. Users’ productivity is estimated as well as the possibility of its separation between the users at different stages of the design of digital systems of automatic control is assessed.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Dhingra, A. K., and N. K. Mani. "Finitely and Multiply Separated Synthesis of Link and Geared Mechanisms Using Symbolic Computing." Journal of Mechanical Design 115, no. 3 (September 1, 1993): 560–67. http://dx.doi.org/10.1115/1.2919226.

Повний текст джерела
Анотація:
A computer amenable symbolic computing approach for the synthesis of six different link and geared mechanisms is presented. Burmester theory, complex number algebra, and loop closure equations are employed to develop governing equations for the mechanism to be synthesized. Closed-form and iterative solution techniques have been developed which permit synthesis of six-link Watt and Stephenson chains for function, path, and motion generation tasks with up to eleven precision points. Closed-form solution techniques have also been developed for the synthesis of geared five-bar, six-bar, and five-link cycloidal crack mechanisms, for synthesis tasks with up to six finitely and multiply separated precision points. The symbolic manipulation language MACSYMA is used to simplify the resulting synthesis equations and obtain closed-form solutions. A design methodology which demonstrates the feasibility and versatility of symbolic computing in computer-aided mechanisms design is outlined. A computer program which incorporates these synthesis procedures is developed. Two examples are presented to illustrate the role of symbolic computing in an automated mechanism design process.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Automated computer-aided synthesis"

1

Deas, Alexander Roger. "An idiomatic framework for the automated synthesis of topographical information from behavioural specifications." Thesis, University of Edinburgh, 1985. http://hdl.handle.net/1842/13604.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Beikzadeh, Mohammad Reza. "Automatic high-level synthesis based upon artificial intelligence techniques." Thesis, University of Essex, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315691.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Singhal, Rahul. "Logic Realization Using Regular Structures in Quantum-Dot Cellular Automata (QCA)." PDXScholar, 2011. https://pdxscholar.library.pdx.edu/open_access_etds/196.

Повний текст джерела
Анотація:
Semiconductor industry seems to approach a wall where physical geometry and power density issues could possibly render the device fabrication infeasible. Quantum-dot Cellular Automata (QCA) is a new nanotechnology that claims to offer the potential of manufacturing even denser integrated circuits, which can operate at high frequencies and low power consumption. In QCA technology, the signal propagation occurs as a result of electrostatic interaction among the electrons as opposed to flow to the electrons in a wire. The basic building block of QCA technology is a QCA cell which encodes binary information with the relative position of electrons in it. A QCA cell can be used either as a wire or as logic. In QCA, the directionality of the signal flow is controlled by phase-shifted electric field generated on a separate layer than QCA cell layer. This process is called clocking of QCA circuits. The logic realization using regular structures such as PLAs have played a significant role in the semiconductor field due to their manufacturability, behavioral predictability and the ease of logic mapping. Along with these benefits, regular structures in QCA's would allow for uniform QCA clocking structure. The clocking structure is important because the pioneers of QCA technology propose it to be fabricated in CMOS technology. This thesis presents a detailed design implementation and a comparative analysis of logic realization using regular structures, namely Shannon-Lattices and PLAs for QCAs. A software tool was developed as a part of this research, which automatically generates complete QCA-Shannon-Lattice and QCA-PLA layouts for single-output Boolean functions based on an input macro-cell library. The equations for latency and throughput for the new QCA-PLA and QCA-Shannon-Lattice design implementations were also formulated. The correctness of the equations was verified by performing simulations of the tool-generate layouts with QCADesigner. A brief design trade-off analysis between the tool-generated regular structure implementation and the unstructured custom layout in QCA is presented for the full-adder circuit.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Patel, Jay K. 1978. "An approach to automate the synthesis of sheet metal parts." 2008. http://hdl.handle.net/2152/17895.

Повний текст джерела
Анотація:
In this research, an approach is developed to automate the design for sheet metal parts that are not only novel and manufacturable but also satisfies multiple objective functions such as material cost. Unlike commercial software tools such as Pro/SHEETMETAL which aids the user in finalizing and determining the sequence of manufacturing operations for a specified component, our approach starts with spatial constraints in order to create the component geometries and helps the designer design. While there is an enormous set of parts that can feasibly be generated with sheet metal, it is difficult to define this space systematically. To solve this problem, we currently have 108 design rules that have been developed for five basic sheet metal operations: slitting, notching, shearing, punching and bending. The technique revealed here represents candidate solutions as a graph of nodes and arcs where each node is a rectangular patch of sheet metal, and modifications are progressively made to the sheet to maintain the parts manufacturability. They are presented in the form of Standard Tessellation Language files (.stl) that can be transferred into available modeling software for further analysis. The overall purpose of this research is to provide creative designs to the designer granting him/her a new perspective and to check all the solutions for manufacturability in the early stage of design process. The abovementioned automation approach uses a new topological optimization technique to solve graph based engineering design problems by decoupling parameters and topology changes. This technique namely Topological and Parametric Tune and Prune (TP²) is the first topology optimization method that has been developed specifically for domains representable by a graph grammar schema. The method is stochastic and incorporates distinct phases for modifying the topologies and modifying parameters stored within topologies. Thus far, with the problems that been tested, (TP²) had proven better than genetic algorithm in terms of the quality of solutions and time taken to acquire them.
text
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Automated computer-aided synthesis"

1

Yu, Meng-Lin. Automatic random logic layout synthesis: A module generator approach. Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1986.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Automated computer-aided synthesis"

1

Kang, Eunsuk, Stéphane Lafortune, and Stavros Tripakis. "Automated Synthesis of Secure Platform Mappings." In Computer Aided Verification, 219–37. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25540-4_12.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Singher, Eytan, and Shachar Itzhaky. "Theory Exploration Powered by Deductive Synthesis." In Computer Aided Verification, 125–48. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_6.

Повний текст джерела
Анотація:
AbstractThis paper presents a symbolic method for automatic theorem generation based on deductive inference. Many software verification and reasoning tasks require proving complex logical properties; coping with this complexity is generally done by declaring and proving relevant sub-properties. This gives rise to the challenge of discovering useful sub-properties that can assist the automated proof process. This is known as the theory exploration problem, and so far, predominant solutions that emerged rely on evaluation using concrete values. This limits the applicability of these theory exploration techniques to complex programs and properties.In this work, we introduce a new symbolic technique for theory exploration, capable of (offline) generation of a library of lemmas from a base set of inductive data types and recursive definitions. Our approach introduces a new method for using abstraction to overcome the above limitations, combining it with deductive synthesis to reason about abstract values. Our implementation has shown to find more lemmas than prior art, avoiding redundant lemmas (in terms of provability), while being faster in most cases. This new abstraction-based theory exploration method is a step toward applying theory exploration to software verification and synthesis.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Lavaei, Abolfazl, Mahmoud Khaled, Sadegh Soudjani, and Majid Zamani. "AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems." In Computer Aided Verification, 461–74. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-53291-8_24.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Abate, Alessandro, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen. "Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants." In Computer Aided Verification, 462–82. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63387-9_23.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Unno, Hiroshi, Tachio Terauchi, and Eric Koskinen. "Constraint-Based Relational Verification." In Computer Aided Verification, 742–66. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_35.

Повний текст джерела
Анотація:
AbstractIn recent years they have been numerous works that aim to automate relational verification. Meanwhile, although Constrained Horn Clauses ($$\mathrm {CHCs}$$ CHCs ) empower a wide range of verification techniques and tools, they lack the ability to express hyperproperties beyond k-safety such as generalized non-interference and co-termination.This paper describes a novel and fully automated constraint-based approach to relational verification. We first introduce a new class of predicate Constraint Satisfaction Problems called $$\mathrm {pfwCSP}$$ pfwCSP where constraints are represented as clauses modulo first-order theories over predicate variables of three kinds: ordinary, well-founded, or functional. This generalization over $$\mathrm {CHCs}$$ CHCs permits arbitrary (i.e., possibly non-Horn) clauses, well-foundedness constraints, functionality constraints, and is capable of expressing these relational verification problems. Our approach enables us to express and automatically verify problem instances that require non-trivial (i.e., non-sequential and non-lock-step) self-composition by automatically inferring appropriate schedulers (or alignment) that dictate when and which program copies move. To solve problems in this new language, we present a constraint solving method for $$\mathrm {pfwCSP}$$ pfwCSP based on stratified CounterExample-Guided Inductive Synthesis (CEGIS) of ordinary, well-founded, and functional predicates.We have implemented the proposed framework and obtained promising results on diverse relational verification problems that are beyond the scope of the previous verification frameworks.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Mansouri, Nazanin, and Ranga Vemuri. "A Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool." In Formal Methods in Computer-Aided Design, 204–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49519-3_15.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Cheng, Chih-Hong, Michael Geisinger, Harald Ruess, Christian Buckl, and Alois Knoll. "MGSyn: Automatic Synthesis for Industrial Automation." In Computer Aided Verification, 658–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_46.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

García Soto, Miriam, Thomas A. Henzinger, Christian Schilling, and Luka Zeleznik. "Membership-Based Synthesis of Linear Hybrid Automata." In Computer Aided Verification, 297–314. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25540-4_16.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Peter, Hans-Jörg, Rüdiger Ehlers, and Robert Mattmüller. "Synthia: Verification and Synthesis for Timed Automata." In Computer Aided Verification, 649–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22110-1_52.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Vardi, Moshe Y. "An automata-theoretic approach to fair realizability and synthesis." In Computer Aided Verification, 267–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60045-0_56.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Automated computer-aided synthesis"

1

Soni, A. H., and Y. Weng. "Computer Aided Synthesis Equation Derivation for Mechanisms Design Automation." In ASME 1987 Design Technology Conferences. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/detc1987-0024.

Повний текст джерела
Анотація:
Abstract EQ-1, an algebraic equation derivation system for a variety of mechanism synthesis motion programs, is presented in the paper. This project is considered as part of the automated mechanism design procedure. The applied Artificial Intelligence techniques are introduced to the mechanism design area. The blackboard model for problem solving is adopted in the system for organizing reasoning steps and domain knowledge to construct a solution to a specified mechanism configuration. A frame-like data structure is demonstrated in the system. The domain knowledge is kept in several independent knowledge sources. Meanwhile, the path propagation method is addressed to control the knowledge application.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Jha, Susmit, Vasumathi Raman, and Sanjit A. Seshia. "On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks." In 2016 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2016. http://dx.doi.org/10.1109/fmcad.2016.7886664.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Gangwar, Anup, Nitin Kumar Agarwal, Ravishankar Sreedharan, Ambica Prasad, Sri Harsha Gade, and Zheng Xu. "Automated synthesis of custom networks-on-chip for real world applications." In ICCAD '20: IEEE/ACM International Conference on Computer-Aided Design. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3400302.3415656.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Esmaeilzadeh, Hadi, Soroush Ghodrati, Jie Gu, Shiyu Guo, Andrew B. Kahng, Joon Kyung Kim, Sean Kinzer, et al. "VeriGOOD-ML: An Open-Source Flow for Automated ML Hardware Synthesis." In 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD). IEEE, 2021. http://dx.doi.org/10.1109/iccad51958.2021.9643449.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Kuzlyakina, Valentina V., and Marina V. Nagaeva. "Computer-Aided Laboratory Work to “Mechanism and Machine Science” Course." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34609.

Повний текст джерела
Анотація:
Laboratory work is an important element in engineering training, which should correspond to up-to-date tendencies in computer-based technologies in design, production, maintenance and preserving mechanisms. Computer-based laboratory work consists of 16 assignments. Seven assignments are carried out on laboratory stands, the remainder are provided on PC, using programs like “Visual Structure Editor”, “DYNAMO”, “APM Win Machine”. The system Visual Structure Editor (VSE) is designed by specialists of “Machine Mechanics and Computer-Aided Design” department, of the Maritime State University named after adm.G.I.NEVELSKOY, Vladivostok, under the direction of prof. Valentina V. Kuzlyakina. The system APM (Automated Projecting of Mechanism) is designed by the research-and-production centre “APM” under the direction of prof.V.Shelofast, from the city of Korolyov, Moscow area. These systems are multifunctional. They allow project different mechanical systems at the stage of structural and parametrical synthesis, carry out strength calculations and design elements of machines and mechanisms. They are good in operation. Teachers and students easily master the systems. Laboratory works with computer support allow students to pass from a concrete object to modeling on a PC, and to solve complex engineering tasks during the education process.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Lin, Yi-shih, Kristina Shea, Aylmer Johnson, John Coultate, and Jamie Pears. "A Method and Software Tool for Automated Gearbox Synthesis." In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/detc2009-86935.

Повний текст джерела
Анотація:
In today’s economy, engineering companies strive to reduce product development time and costs. One approach to assisting this goal is to introduce computer-aided methods and tools earlier in the development process. This requires providing robust design automation methods and tools that can support design synthesis and the generation of alternative design configurations, in addition to automated geometric design. A new method for automated gearbox design, tailored for integration within an existing commercial gearbox analysis tool, is described in this paper. The method combines a rule-based generative approach, based on a previous parallel grammar approach for mechanical gear systems, with domain specific heuristics and stochastic search using simulated annealing. Given design specifications that include a bounding box, the number of required speeds and their target ratios, a range of valid gearbox configurations is generated from a minimal initial configuration. Initial test results show that this new method is able to generate a variety of designs which meet the design specifications. The paper concludes with a discussion of the method’s current limitations and a description of the work currently underway to improve and extend its capabilities.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Kamalian, Raffi, Alice M. Agogino, and Hideyuki Takagi. "The Role of Constraints and Human Interaction in Evolving MEMS Designs: Microresonator Case Study." In ASME 2004 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/detc2004-57462.

Повний текст джерела
Анотація:
In this paper we review the current state of automated MEMS synthesis with a focus on generative methods. We use the design of a MEMS resonator as a case study and explore the role that geometric constraints and human interaction play in a computer-aided MEMS design system based on genetic algorithms.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Ting, Kwun-Lon, Changyu Xue, Jun Wang, and Kenneth R. Currie. "General Mobility Identification and Rectification of Watt Six-Bar Linkages." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34584.

Повний текст джерела
Анотація:
Mobility identification is a common problem encountered in linkage analysis and synthesis. Mobility of linkages refers to the problems concerning branch defect, full rotatability, singularities, and order of motion. By introducing the concept of stretch rotation, the paper shows the existence of a hidden five-bar loop in a Watt six-bar linkage and how it affects the formation of branches, sub-branches, as well as the whole mobility of the entire linkage. The paper presents the first methodology for a fully automated computer-aided complete mobility analysis of Watt six-bar linkages.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Yang, Zhi-Xin, and Ajay Joneja. "OSCAP: An Environment for Manufacturing Planning of Mechanical Products." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/dfm-4334.

Повний текст джерела
Анотація:
Abstract This paper describes an open-architecture system for computer-aided process planning called OSCAP. The system is different in architecture from traditional integrated process planning systems, since it is designed specifically to integrate with existing partial planning software with little effort. It does provide all functions of design and process planning for machining of mechanical parts on 3-axis machining centers. Special features of the system include a sophisticated feature recognition system, an optimal machining planner, automated fixture synthesis, setup planning with operation sequencing, and a knowledge based system organizer called the OSCAP core which orchestrates the functioning of all modules. The system can be arbitrarily extended or collapsed by adding or removing functional modules.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Wang, Jun, and Kwun-Lon Ting. "Mobility Identification of a Group of Single Degree-of-Freedom Eight-Bar Linkages." In ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/detc2010-28961.

Повний текст джерела
Анотація:
This paper presents the first complete and automated mobility identification method for a group of single-DOF planar eight-bar linkages and thus represents a breakthrough on the recognition and understanding of complex linkage mobility. The mobility identification in this paper refers to the configuration space, the range of motion, and configuration recognition. It is a troublesome problem encountered in any linkage analysis and synthesis. The problem becomes extremely confusing with complex multiloop linkages. The proposed approach is simple and straightforward. It recognizes that the loop equations are the mathematical fundamentals for the formation of branches, sub-branches, and other mobility issues of the entire linkage. The mobility information is then extracted through the discriminant method. The paper presents complete answers to all typical mobility issues, offers the mathematical insight as well as explanation on the effects of multiple loops via joint rotation space, and casts light for treating the mobility problems of other complex linkages. The merits of the discriminant method for mobility identification are clarified and examples are employed to showcase the proposed method. The computer-aided automated mobility analysis of eight-bar linkages is made possible for the first time.
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Automated computer-aided synthesis" для конкретних типів джерел:
Статті в журналах
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії