В предлагаемых материалах рассмотрены следующие вопросы: компьютерные средства управления процессом проектирования сложных изделий, объектов; принципы, критерии сравнения и выбора САПР и АСУ; проблемы адаптации современных САПР и АСУ к технологии проектирования и управления на отечественных предприятиях и в организациях; технология автоматизированного проектирования ведущих мировых фирм; системы автоматизированного управления процессами и производствами; стратегия развития программного и технологического обеспечения САПР и АСУ; принципы и средства организации електронных архивов предприятий; автоматизированные обучающие системы и тренажеры.

Представлені матеріали, які доповідались на 4-й Міжнародній НТК "Досвід розробки та застосування приладо-технологічних САПР мікроелектроніки", а також окремі роботи з проблем розробки та застосування комп'ютерних систем проектування. Розглянуто питання теорії і практики моделювання складних об'єктів процесів і систем, а також розробки та використання програмно-технічних засобів автоматизованого проектування. Широко представлені задачі моделювання напівпровідникових ІС, а також аналізу технологічних процесів виготовлення інтегральних пристроїв.

Эволюционные вычисления (ЭВ), основанные на моделировании естественной эволюции, находят все более широкое распространение при решении практических оптимизационных задач. В статье развивается подход к формированию и использованию баз знаний (БЗ) для построения ЭВ. При этом в базах знаний накапливается априорная информация о свойствах оптимальных конструкций, а также о процессе ЭВ. БЗ играют роль фильтров при выполнении генетических операторов, отборе пар векторов для развития ЭВ, а также при формировании членов новых популяций. Эффективность построенных генетических алгоритмов (ГА), использующих интеллектуальные фильтры, продемонстрирована на текстовых и прикладных задачах оптимального проектирования конструкций.

Рассматриваются методы и средства работы с неопределенными знаниями на унифицированной концептуальной модели проблемной области. Представлена базисная технология построения инструментальными средствами оболочки для автоматизации разработки интеллектуальных САПР.

Рассмотрены общие (инвариантные) вопросы организации проектирования, его механизации, автоматизации построения подсистем и комплексов системы автоматизированного проектирования (САПР). Освещены особенности организации, методологии проектирования и применения в проектировании системного метода. Раскрыты основные понятия, относящиеся к сфере проектирования, процесс проектирования, выявлены общие положения и закономерности проектирования как объекта автоматизации. Определяется сущность САПР как человеко-машинного комплекса и раскрываются основные принципы построения и развития автоматизированных систем, рассмотрено общее назначение видов обеспечения САПР.

Дан обзор распространенных системных средств для организации параллельных вычислений и их применения в САПР. Описаны результаты тестирования характеристик систем передачи сообщений и определен класс задач САПР, успешно решаемых на сетях ЭВМ.

Дисертацію присвячено питанням побудови імітаційних моделей і систем моделювання (на прикладі моделювання електронних систем). У роботі розвинуто напрям, який грунтується на концепції структурно-функціональної декомпозиції. Запропоновано нову модель імітаційного середовища моделювання, яка складається з трьох основних елементів: імітаційної моделі об'єкта дослідження, системи моделювання та обчислювального ресурсу. Кожний з елементів у результаті декомпозиції являє собою сукупність взаємодіючих процесів обчислювального середовища. Запропоновано засоби та алгоритми розподіленого (у тому числі і паралельного) моделювання електронних систем, а також алгоритми декомпозиції імітаційних моделей і розподілу обчислювальних ресурсів, ефективність яких підтверджено практично.

Розглянуто адаптивну методику прийняття рішень у ієрархічних структурах. Для формування обчислювального середовища використано експертні оцінки. За результатами наступних експериментів уточнено апріорні уявлення дослідника про розподіл імовірностей вартості розробки до апостеріорних шляхом перерозрахунків за формулою Байєса. Обговорено алгоритм і процедуру порівнянь різних альтернатив. На кожному етапі визначено найкращий варіант для наступного кроку. Запропоновано деякі критерії "відсікання гілок" дерева рішень для зменшення об'єму розрахунків.

Предлагается описание подсистемы учебной САПР, программное обеспечение которой построено по принципу процедурной структуризации для исследования АСР технологическими процессами.

Розглянуто метод автоматизованої розробки прикладного програмного забезпечення комп'ютерних систем управлiння, побудований на поняттях алгоструктур (алгоелементiв i алгоблокiв). Обгрунтованi три форми проектування алгоструктур: лiтеральна, графiчна i таблична. Отриманi теоретичнi результати використанi у наданому варiантi САПР AlgoCAD. Робота призначена для наукових, iнженерно-технiчних робiтникiв i студентiв, якi займаються розробкою сучасних комп'ютерних систем управлiння.

Розглянуто предмет і метод теорії системи автоматизованого проектування, етапи формалізації і моделювання задач, функціональний етап проектування складних систем та особливості його системного рівня, а також математичні та неформальні методи аналізу, синтезу та оптимізації. На прикладі задачі проектування складних цифрових систем наведено методи математичного моделювання ланцюгів, проектування комбінаційних схем, скінченних і мікропрограмних автоматів, аналіз архітектур комп'ютерних систем, ядра операційної системи та особливості проектування програмних систем.

Розглянуто сучасні технології проектування, орієнтовані на використання потужних людино-машинних проектувальних комплексів.

Індекс рубрикатора НБУВ: З965.912-018.1

Рубрики:

Системи автоматичного проектування (САПР)

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Розроблено оригінальні алгоритми з метою автоматизованого проектування механізму контекстно-орієнтованого захисту та механізму захисту інформації на підставі атомарної концепції безпеки, що дають можливість змінювати логічну структуру баз даних відповідно до заданих логічних умов захисту в процесі проектування автоматизованих банків даних та під час їх експлуатації, а також спрощують процес контролю санкціонованості їх використання. Створено узагальнену методику та алгоритм управління паралельною обробкою даних, що забезпечують підтримку цілісності централізованих баз даних у випадку колективного режиму їх використання з мінімальними втратами паралелізму виконання операцій шляхом зведення довільних розкладів транзакцій з різними типами блокувань до еквівалентної послідовної форми. На підставі запропонованої методики та алгоритмів розроблено пакет прикладного програмного забезпечення, подано результати розв'язку тестових задач з його застосуванням.

Дисертацію присвячено питанням розробки нової інформаційної технології аналізу та контролю проектів систем управління спеціального призначення (СУСП) (на прикладі наземного автоматизованого комплексу управління космічними апаратами України). Розроблено новий напрямок моделювання та аналізу проектних рішень розробника на початкових етапах проектування СУСП, який базується на концепції системного аналізу, декомпозиції та стратифікації об'єкта дослідження. Сформовано комп'ютерну систему, яка надає можливість здійснити процес експертно-моделюючих СУСП. Запропоновано методи формалізованого подання та методи аналізу СУСП, високу ефективність яких обгрунтовано теоретично і підтверджено практично.

Запропоновано модифікацію паралельного блочно-діагонального методу з обрамленням розв'язку лінійних розріджених систем рівнянь для кластерів однопроцесорних комп'ютерів на локальній обчислювальній мережі. Досліджено прискорення рішення блочно-діагонального методу з обрамленням у разі збільшення кількості діагональних блоків з урахуванням властивостей розріджених матриць. Використано ефект надлишку в кластерному алгоритмі Санджовані - Вінсентеллі для рівномірного розподілу матриці на блоки відповідного розміру. Наведено новий ефективний алгоритм завантаження процесорів для паралельного блочно-діагонального методу з обрамленням.

Розглянуто статичні та динамічні моделі об'єктів машинобудування, що задаються мережами Петрі, деревами типу І/АБО, графами зв'язків, семантичними мережами, фреймовськими структурами. Запропоновано їх використовувати в розробці систем проектування та технологічної підготовки виробництва.

Розглянуто питання теорії та практики моделювання складних об'єктів, процесів і систем, а також розробки й використання програмно-технічних засобів автоматизованого проектування. Викладено концепцію оптоелектронного перемикача з використанням кристалів з подвійним променезаломленням, рідкокристалічних структур лінії затримки, а також лінзового модуля, що з'єднують багатомодові світловоди. Запропоновано автоматизовану інформаційно-пошукову систему установок релейного захисту й автоматики регіональних енергетичних об'єднань.

Розглянуто загальні питання проектування технічних об'єктів. Досліджено структуру систем автоматизованого проектування. Висвітлено методи математичних моделей елементів і схем, методи аналізу математичних моделей. Наведено правила користування програмами VISIO та Electronics Workbench.

Разработан алгоритм обобщения, формирующий табличную модель функций базового блока, способную обеспечить использование ее в механизме логического вывода, построенного на основе недоопределенных обобщенных динамических вычислительных моделей Нариньяни. Задача создания модели функции решается путем обобщения значений свойства базовых блоков, которая сводится к созданию множества доменов значений свойства, а также созданию И/ИЛИ-дерева методом обобщения по признакам.