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

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

Рубрики:

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

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

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

Описано сучасні системи автоматизованого проектування (САПР) в машинобудуванні та теплоенергетиці, висвітлено їх основні функціональні можливості. Розглянуто питання автоматизованого проектування КОМПАС-5 для Windows, керування проектно-конструкторською документацією КОМПАС - МЕНЕДЖЕР, параметричного твердотільного моделювання важкого класу Unigraphics та автоматизованого проектування високого рівня Pro/ENGINEER, середнього класу Solid Edge та SolidWorks, керування технологічною підготовкою виробництва: програмування обробки на станках, автоматизованого проектування технологічних процесів АВТОПРОЕКТ 8.1, автоматичної підготовки керуючих програм для 3/4-координатної фрезерної обробки на верстатах PowerMILL 2, документообігу підприємства DOCS Open, електронного документообігу для робочих груп та невеликих підприємств RxEDM, автоматизованого моделювання ливарних процесів ПОЛИГОН. Наведено інженерні розрахункові додатки CAD(Computer-Aided Design)/CAM(Computer-Aided Manufacturing)/CAE(Computer-Aided Engineering)-систем.

Описаны современные системы автоматизированного проектирования (САПР) в машиностроении и теплоэнергетике, освещены их основные функциональные возможности. Рассмотрены вопросы автоматизированного проектирования КОМПАС-5 для Windows, управления проектно-конструкторской документацией КОМПАС - МЕНЕДЖЕР, параметрического твердотельного моделирования тяжелого класса Unigraphics и автоматизированного проектирования высокого уровня Pro/ENGINEER, среднего класса Solid Edge и SolidWorks, управления технологической подготовкой производства: программирования обработки на станках, автоматизированного проектирования технологических процессов АВТОПРОЕКТ 8.1, автоматической подготовки управляемых программ для 3/4-координатной фрезерной обработки на станках PowerMILL 2, документооборота предприятия DOCS Open, электронного документооборота для рабочих групп и небольших предприятий RxEDM, автоматизированного моделирования литейных процессов ПОЛИГОН. Приведены инженерные расчетные приложения CAD(Computer-Aided Design)/CAM(Computer-Aided Manufacturing)/CAE(Computer-Aided Engineering)-систем.

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

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

Наведено переваги об'єктно-орієнтованих СКБД у процесі створення програмного забезпечення систем автоматизованого проектування на прикладі систем автоматизованого проектування (САПР) корпуса судна ДЕЙМОС. Показано, що мережну модель даних, яка є більш адекватною щодо моделі корпуса судна, майже природним шляхом можна перетворити в об'єктно-орієнтовану модель. Зазначено, що на цей час ще не існує визнаного стандарту щодо ООСКБД (як SQL у реляційних СКБД), тому досліджено відповідність СКБД Velocis на відповідність маніфесту ООСКБД. Показано, як у сполученні з об'єктно-орієнтованою мовою програмування C++ названа СКБД повністю відповідає названому маніфесту. Запропоновано підхід до використання комбінованої (мережна та реляційна) моделі даних, що важливо у разі інтеграції САПР та АСУП.

Исследован новый метод построения специального программного обеспечения (СПО) многопользовательских информационных систем (ИС) обслуживания запросов в формате оперативного выполнения транзакций (OLTP - On-line Transaction Processing). Целью исследования является автоматизация процесса построения СПО для больших ИС обслуживания запросов путём автоматической интеграции обобщенных элементарных программных модулей в потоки обработки для обслуживания запросов, поступающих в систему.

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

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

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

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

Описано функції та структуру лінгвістичного забезпечення (ЛЗ) систем автоматизованого проектування (САПР), наведено класифікацію мовних засобів САПР. Розглянуто модель взаємодії засобів ЛЗ комплексної САПР, визначено різновиди програмних процесів обробки формальних мов. Розкрито загальні особливості мов програмування (МП), подано схеми організації їх трансляції та класифікації. Увагу приділено мові C++, розширюваній мові розмітки, опису синтаксису та семантики МП, контекстно-вільним та атрибутним граматикам, синтаксичним деревам, динамічній семантиці, моделям програмування XML та платформі .NET.

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

Рассмотрены вопросы интенсификации труда конструкторов, использующих при проектировании AutoCAD. Переход на новый уровень проектирования за счет использования новых возможностей версии 2010 позволит значительно сэкономить время и получить реальные доходы.

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

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

Приведена методика автоматизации программирования обработки деталей для станков с числовым программным управлением с помощью интерактивной графической системы. Изложены структура, функции и массивы программы "Интерсап". Определены типы операторов. Рассмотрена схема использования макрокоманд в маркоаппарате.

Викладено основні аспекти поняття сучасного виробництва та терміни, які використовуються у сучасному автоматизованому виробництві. Увагу приділено різним підходам до методів та засобів проектування й виготовлення радіоелектронних пристроїв з використанням засобів обчислювальної техніки. Розглянуто комп'ютерні засоби проектування та графічного моделювання. Описано технологію створення 3D-примітивів методом витягування. Розглянуто особливості використання 3D-елементів методом осьового обертання. Описано основи технології створення тонкостінних деталей і елементів. Викладено методику створення деталей з листового металу. Описано технологію створення 3D-моделей складального кресленика. Подано інформацію про створення комплекту документації складального кресленика з використанням сучасних комп'ютерних технологій. Наведено технології створення порожнини, сердечників й ливарних форм, зварювання компонентів. Розглянуто сумісність даних SolidWorks із різними CAD/CAM/CAE-системами.

Запропоновано методику організації сучасного виробництва з використанням систем автоматизованого проектування та розробленого програмного забезпечення процесів проектування, з урахуванням методу дискретної інтерполяції на основі заданого закону зміни кутових параметрів.