Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics

2021 ◽  
Vol 50 (7) ◽  
pp. 516-522
Author(s):  
M. A. Zapletina ◽  
D. V. Zhukov ◽  
S. V. Gavrilov
Author(s):  
А.И. Гайкович ◽  
С.И. Лукин ◽  
О.Я. Тимофеев

Процесс создания проекта судна или корабля рассматривается как преобразование информации, содержащейся в техническом задании на проектирование, нормативных документах и знаниях проектанта, в информацию, объем которой позволяет реализовать проект. Проектирование может быть представлено как поиск решения в пространстве задач. Построение цепочки последовательно решаемых задач составляет методику проектирования. Проектные задачи могут быть разбиты на две группы. Первая группа ‒ это полностью формализуемые задачи, для решения которых есть известные алгоритмы. Например, построение теоретического чертежа по известным главным размерениям и коэффициентам формы. Ко второй группе задач можно отнести трудно формализуемые или неформализуемые задачи. Например, к задачам этого типа можно отнести разработку общего расположения корабля. Важнейшим инструментом проектирования современного корабля или судна является система ав­томатизированного проектирования (САПР). Решение САПР задач первой группы не представляет проблемы. Введение в состав САПР задач второй группы подразумевает разработку специального ма­тематического аппарата, базой для которого, которым является искусственный интеллект, использующий теорию нечетких множеств. Однако, настройка искусственных нейронных сетей, создание шкал для функций принадлежности элементов нечетких множеств и функций предпочтений лица принимающего решения, требует участие человека. Таким образом, указанные элементы искусственного интеллекта фиксируют качества проек­танта как специалиста и создают его виртуальный портрет. The process of design a project of a ship is considered as the transformation of information contained in the design specification, regulatory documents and the designer's knowledge into information, the volume of which allows the project to be implemented. Designing can be represented as a search for a solution in the space of problems. The construction of a chain of sequentially solved tasks constitutes the design methodology. Design problems can be divided into two groups. The first group is completely formalizable tasks, for the solution of which there are known algorithms. For example, the construction of ship's surface by known main dimensions and shape coefficients. Tasks of the second group may in­clude those which are difficult to formalize or non-formalizable. For example, tasks of this type can include develop­ment of general arrangement of a ship. The most important design tool of a modern ship or vessel is a computer-aided design system (CAD). The solu­tion of CAD problems of the first group is not a problem. Introduction of tasks of the second group into CAD implies development of a special mathematical apparatus, the basis for which is artificial intelligence, which uses the theory of fuzzy sets. However, the adjustment of artificial neural networks, the creation of scales for membership functions of fuzzy sets elements and functions of preferences of decision maker, requires human participation. Thus, the above elements of artificial intelligence fix the qualities of the designer as a specialist and create his virtual portrait.


2004 ◽  
Vol 23 (3) ◽  
pp. 68-78
Author(s):  
Jean Fivaz ◽  
Willem A. Cronjé

The goal of this investigation is to determine the advantages of using genetic algorithms in computer-aided design as applied to inductors.  These advantages are exploited in design problems with a number of specifications and constraints, as encountered in power electronics during practical inductor design. The design tool should be able to select components, such as cores and wires, from databases of available components, and evaluate these choices based on the components’ characteristic data read from a database of manufacturers’ data-sheets.  The proposed design must always be practically realizable, as close to the desired specifications as possible and within any specified constraints.


2018 ◽  
Vol 6 (1) ◽  
pp. 16-19
Author(s):  
Владимир Овтов ◽  
Vladimir Ovtov ◽  
Алексей Поликанов ◽  
Aleksey Polikanov

The article is devoted to the use of modern computer technologies in the teaching of engineering and graphic disciplines in the engineering specialties of an agricultural university, to the formation of professional engineering and graphic competencies for students in the process of computer graphics training, computer modeling at the bachelor’s level and the basics of computer-aided design at the master’s level, to the development and implementation of work programs as part of the main educational programs providing two-level training using the national program computer-aided design KOMPAS-3D. There is an integrative of information-developing, personality-oriented teaching methods implemented in work programs ensuring the formation of competencies determined by the federal state standards of higher education and developed independently by the university.


2020 ◽  
Vol 9 (4) ◽  
pp. 142-150
Author(s):  
P. Popikov ◽  
Vladimir Zelikov ◽  
Konstantin Yakovlev ◽  
K. Menyaylov ◽  
Mikhail Shabanov ◽  
...  

The article is devoted to the problems of simulation of the working process of a truck-mounted crane using modern computer-aided design systems and applications for engineering calculations. Currently, analytical methods are mainly used to model the operation of manipulator technology, such as “manual” compilation and solution of Lagrange equations of the second order, or even simpler evaluative calculations based only on basic concepts of theoretical mechanics. However, such objects consist of many parts that are in a complex rotational motion and contact interaction with each other. If such complex systems are modeled by the indicated analytical methods, one has to introduce a number of assumptions that greatly simplify the mathematical model. The level of its adequacy is low. Also recently, numerical methods for modeling mechanisms that are implemented through programming languages by using a detailed description of the process under study are often used abroad. An alternative to these methods is the use of computer-aided design systems in which numerical methods are built-in at the core level of the program and require setting the basic geometric, dynamic and kinematic parameters of the mechanism and the environment, after which they can calculate the functioning parameters of the object under study. The process of creating a simulation model of a truck mounted crane, which is an analogue of an existing laboratory setup, has been considered. To do this, a 3D model of the manipulator in the SolidWorks CAD environment has been developed. The creation technique and the main features of the obtained simulation model have been described


Author(s):  
Konstantinas Stanislovas Danaitis ◽  
Ana Usovaitė

3D design technology is the basis for the modern computer graphics. AutoCAD 2015 is a powerful version of computer-aided design system. We can solve complex tasks, without which this instrument can’t be solved in general. Using 3D design technology we not only save time working with a drawing. The geometric models are the foundation of the design basics, for working with drawing we can create projections, footnotes, sections and other modern graphics elements. AutoCAD can use and process the data from the model. This progressive design technology includes all parts of the design, starting from machine details, furniture and finishing with architectural forms of complex object models.


Sign in / Sign up

Export Citation Format

Share Document