Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий.

Висвітлено проблему проектування цифрових пристроїв на базі токових елементів - нових КМОП логічних елементів, що споживають однаковий струм як у станах логічного "0" чи "1", так і в момент переходу з одного стану в інший. Завдяки таким властивостям, токові елементи не генерують перешкод (так званого цифрового шуму), і тому можуть бути розмішені на одному кристалі з аналоговими пристроями, що утворює разом однокристальну аналого-цифрову СБИС-систему (англ. System On Chip). Досліджено логічні властивості токових елементів. Показано, що "алгебра" токових елементів відрізняється від алгебри Буля, і крім того, є багатозначною. Запропоновано способи мінімізації логічних функцій в "алгебрі" токових елементів. Наведено приклади "токових прототипів" деяких стандартних цифрових пристроїв: суматорів, тригерів, комутаторів та ін. Отримані пристрої мають меншу кількість логічних елементів (до 35 %) у порівнянні з їх аналогами, побудованими на звичайних логічних елементах КМОП.

Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

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

Рассматриваются темы программирования среднего и высокого уровня сложности в Delphy 4, включая следующие вопросы: СОМ и распределенные вычисления (интерфейсы и основы СОМ, создание серверов и клиентов автоматизации, автоматизация Word и Exel; DCOM, MIDAS, ActiveForms, MTS, CORBA); программирование баз данных (двумерных, реляционных, программирование в InterBase); общие вопросы программирования; программирование графики и DirectX (графические классы VCL, DirectDraw, дополнительные технологии DirectX). Рассказывается о проектировании приложений, о правильном применении объектно-ориентированных технологий.

Рассмотрены основные сведения, необходимые разработчику приложений для Windows 95, Windows 98 и Windows NT. Проанализированы основные моменты объектно-ориентированного программирования. Подробно описаны новые возможности программы, интегрированная среда разработки приложений и методы управления проектами, способы использования и создания компонентов, приемы разработки, предназначенных для работы с базами данных.

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

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

В зв'язку з прагненнями в світі виробляти легші пластмасові вироби, явище випучування в'язко-пружних тіл стає все більш важливим. Ця робота представляє проміжні результати дослідного проекту про несучу здатність і випучування контейнерів з пластмаси, який виконується в Лабораторії механічної надійності Технологічного Університету в Дельфті (Нідерланди). Використовуючи розроблену раніше модель нелінійної в'язко-пружності, виконано моделювання методом скінченних елементів випучування внаслідок повзучості стрічок i U-профілів з поліетилену високої щільності.

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

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

Представлено основні Web-сторінки Internet-вузла Національної бібліотеки України ім. В.І.Вернадського, на якому встановлено електронні інформаційні ресурси загальним обсягом 1 GB. Наведено довідкову інформацію про Бібліотеку (загальні відомості, історія, структура, будівля, фонди, пошуковий апарат, читальні зали, публікації, режим роботи, телефони), що була підготовлена співробітниками ряду підрозділів для Web-вузла. Висвітлено дані про структуру та обсяг бібліографічних, реферативних і повнотекстових баз даних Бібліотеки за станом на кінець 1999 р. Розглянуто приклади інформаційного пошуку в електронному каталозі, базі даних "Реферати наукових видань України" та повнотекстовому банку авторефератів дисертацій. Представлено аркуші Львівського "Апостола" (1574 р.), он-лайнову версію і CD-ROM-копію якого створено у 1999 р., а також підбірку електронних матеріалів для бібліотекарів, важливим елементом якої є зібрання нормативних актів України у галузі бібліотечної справи та суміжних галузях. Зроблено посилання на бібліотечно-орієнтовані ресурси Internet (Web-сервери національних бібліотек та українських книгозбірень, колекції електронних книг і текстів, он-лайнові журнали та газети, пошукові сервери Internet). Розкрито ключові положення започаткованого проекту "Національна електронна бібліотека" (мета та завдання проекту, технологія створення, напрями й організація робіт, учасники проекту, отримані результати), запропоновано форми подання документів до електронної бібліотеки.

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

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

Розвинуто проективне формулювання редукованого методу опису нерівноважних станів.

Розглянуто основні напрямки досліджень у SPRU (Science Policy Research Unit) - одному з найбільших наукових центрів з проблем вивчення інновацій та науково-технічної політики Великобританії. Описано його структуру та наведено відомості про найважливіші проекти, що реалізуються у цій організації.

Отримано розв'язок для розподілу температур у двомірному однорідному куті методом Шварца. Наведено порівняння аналітичного розв'язку з експериментальними даними при інженерному проектуванні. Подано робочі зразки для типового прикладу багатошарової кутової стінки.

Отражены актуальные вопросы в области двигателестроения: рабочие процессы, управление и диагностика, конструкция и прочность, технология и производство, испытания двигателей, а также общие тенденции развития, научные исследования отечественных и зарубежных авторов. В частности, предложены универсальный алгоритм организации расчета неустановившихся режимов работы авиационных двигателей, комплекс программ аэродинамического расчета и проектирования компрессоров газотурбинных двигателей, разработка электродугового двигателя малой мощности для коррекции орбиты и ориентации спутника. Рассмотрены некоторые особенности движения статически и динамически неуравновешенного ротора, новые приоритеты в проектировании узлов подвески двигателя легкового автомобиля, приведены методики определения неисправностей рабочего состояния турбомашины, ударных подшипников турбоагрегата. Исследованы принципы построения автоматизированной системы подготовки производства новых изделий на базе интегрированных систем проектирования (производства), представлены результаты испытаний тепловых, воздушно-реактивных двигателей и т.д.

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

Изложены общие сведения относительно методов, моделей и алгоритмов решения основных задач конструкторского проектирования (компоновка, размещение, трассировка) и моделирования технологических процессов. Приведены методы решения оптимизационных задач, в частности, методы безусловной, условной и дискретной оптимизации.

Індекс рубрикатора НБУВ: К623.310.012.2-64

Рубрики:

Витягання листового металу

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