![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>TJ=Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98<.>) |
Загальна кількість знайдених документів : 82
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Hansen B. S. Abstract transpoprt systems: compositions and description languages / B. S. Hansen, N. Nikitchenko // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 59-67. - Библиогр.: 10 назв. - англ.Абстрактные транспортные системы основаны на абстракции движения ресурсов в области транспорта. Такие движения могут быть определены на двух уровнях абстракции, которые ведут к определению систем эволюций и транспорта. В статье рассматриваются композиции таких систем и языки описания различных абстрактных уровней, представленных в алгебраической, логической форме, а также в форме диаграмм. Ключ. слова: Індекс рубрикатора НБУВ: В173.12 + О18с11
|
| | | | |
2. |
Letichevsky A. Agents and environments / A. Letichevsky, D. Gilbert // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 225-232. - Библиогр.: 7 назв - англ.Предлагается новая абстрактная модель взаимодействия агентов со средой. Она может быть использована в качестве семантического базиса как для изучения взаимодействия, так и для определения семантики Языка Действий, рассмотренного в предыдущей статье авторов. Взаимодействие агентов и среды определяется более жестким и симметричным путем по сравнению с этой публикацией. Основное понятие, используемое в статье - это хорошо известное понятие транзиционной системы с расходимостью и остановкой. Для определения различных транзиционных систем, используются следующие три основные формы: рекурсивные алгебраические определения, эквациальные определения и структурная операционная семантика. Ключ. слова: Індекс рубрикатора НБУВ: З973-018 + З813
Рубрики:
|
| | | | |
3. |
Kapitonova Yu. Algorithm ochevidnosti'2000 (project) / Yu. Kapitonova, A. Letichevsky, M. Morokhovets, A. Lyaletski // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 68-70. - Библиогр.: 15 назв. - англ.Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий. Ключ. слова: Індекс рубрикатора НБУВ: В1 + З973-018
Рубрики:
|
| | | | |
4. |
Doroshenco A. E. Coordination programming abstractions for efficient parallel programs / A. E. Doroshenco // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 235-242. - Библиогр.: 18 назв. - англ.Для найбільш поширеного в системах паралельного програмування стилю SPMD (одна програма для багатьох даних) характерна дуже проста організація керування обчисленнями за допомогою засобів бар'єрного типу. Однак навіть у випадках паралельних застосувань з регулярним характером обчислень показники ефективності паралельних програм, де використовуються ці засоби, є невисокими. Головною причиною такого невикористання потенційної продуктивності паралелізму є надто обмежувальний характер зазначених бар'єрних засобів. В цій роботі для класу паралельних програм з розподіленою та спільною пам'яттю і статичною дисципліною доступу до спільної пам'яті з боку паралельних компонентів, запропоновано форсуючі вирази - координаційні абстракції паралельного програмування у вигляді формальних регулярних виразів, що мають на меті підвищення ефективності синхронізації та обміну даними між цими компонентами. Показано застосування запропонованих засобів програмування для вирішення проблем автоматизації розробки ефективних паралельних програм. Ключ. слова: Індекс рубрикатора НБУВ: З970.21
Рубрики:
|
| | | | |
5. |
Godlevsky A. B. Ground water flow modelling on PC cluster / A. B. Godlevsky, L. Hluchy, L. Halada, M. Dobrucky // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 271-279. - Библиогр.: 4 назв. - англ.Представлена обработка PC кластера для моделирования потоков грунтовых вод, основанная на PVM параллелизме строго неявных процедур (SIP). Даны математические модели и методы их решения. Рассчитывается эффективность параллелизма SIP метода. Приведены результаты экспериментов, работы мониторинга и визуализации. Ключ. слова: Індекс рубрикатора НБУВ: Д471.1с18 + З973-018
Рубрики:
|
| | | | |
6. |
Krivoi S. Static analysis of programs by using abstract interpretations / S. Krivoi // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 49-55. - Библиогр.: 13 назв. - англ.В работе рассматривается алгебраический подход к проблеме статического анализа программ и, в частности, к проблеме поиска инвариантных соотношений с использованием метода абстрактных интерпретаций. Дается полная алгебраическая характеристика этого подхода. Алгоритмы иллюстрируются на примерах. Ключ. слова: Індекс рубрикатора НБУВ: З973-018
Рубрики:
|
| | | | |
7. |
Колодницький М. М. Адаптивна організація лінгвістичного забезпечення програмного комплексу "DSR Open Lab 1.0" / М. М. Колодницький, В. Г. Левицький // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 145-155. - Бібліогр.: 6 назв. - укp.Розглянуто вимоги лінгвістичного забезпечення програмного комплексу, представлено мови опису ряду математичних моделей, побудовано формальні граматики цих мов, реалізовано їх компілятори та створено інструментальний засіб - компілятор компіляторів, що працює в OS Windows 95/NT; запропонована адаптивна організація вказаного лінгвістичного забезпечення. Ключ. слова: Індекс рубрикатора НБУВ: З973-018
Рубрики:
|
| | | | |
8. |
Сироджа И. Б. Анализ и синтез интеллектуальных систем управления в среде MATLAB / И. Б. Сироджа, А. Ю. Соколов, В. В. Калинин // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 578-587. - Библиогр.: 3 назв. - рус.В докладе рассматриваются вопросы анализа и синтеза интеллектуальных систем управления динамическими объектами с применением математического аппарата теории нечетких множеств в интерактивной системе для выполнения инженерных и научных расчетов MATLAB. Представлена постановка задачи синтеза интеллектуальной системы управления и ее особенности при использовании нечетких множеств. Приводится пример синтеза нечеткого логического регулятора в среде MATLAB, краткие характеристики этого пакета, обобщен опыт работы авторов по моделированию сложных динамических систем в среде SIMULINK. Проведен анализ возможностей расширения набора алгоритмических средств, предоставляемых пакетом в распоряжение пользователя, для моделирования различных процессов.Рассмотрена задача идентификации объекта управления в виде таблицы лингвистических правил по экспериментальным данным, проведен анализ метода, предлагаемого для решения этой задачи пакетом MATLAB. Ключ. слова: Індекс рубрикатора НБУВ: З965.985 + З973-018
Рубрики:
|
| | | | |
9. |
Покозий Е. А. Анализ поведения параметрических временных сетей Петри / Е. А. Покозий // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 111-119. - Библиогр.: 11 назв. - рус.Вводится понятие параметрических временных сетей Петри, которые обобщают временные сети Петри. В таких сетях на переходы наложены параметрические ограничения, а параметры представляют собой символические константы с неизвестными фиксированными значениями. Предложен алгоритм анализа временного поведения систем реального времени, использующий язык темпоральной логики TCTL и безопасная параметрическая временная сеть Петри. Ключ. слова: Індекс рубрикатора НБУВ: З810.21 + З970.73
Рубрики:
|
| | | | |
10. |
Хаджинов В. В. Аналітичні та програмні засоби оптимізації організаційних структур органів державного управління / В. В. Хаджинов, Ю. В. Архипчук // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 533-539. - Бібліогр.: 4 назв. - укp.Викладені результати розробки наукових основ та практичних методів оцінки якісних показників апарату управління державних органів відносно його функцій. Для цього передбачалася розробка інформаційних моделей, математичних методів, та програмних засобів, що дозволяють оцінити якість організаційної структури, її спроможність виконувати існуючі функції; сформувати необхідні рекомендації по функціональному розподіленню елементів організаційної структури; здійснити декомпозицію функцій та задач; здійснити імітаційне моделювання організаційної структури. Запропонована методика визначення чисельності апарату управління за функціями, що повинні виконуватись; кількості ієрархічних рівнів організаційної структури окремих підрозділів; методика визначення ступеня завантаженості працівників апарату управління та витрат на утримання апарату управління. Ключ. слова: Індекс рубрикатора НБУВ: Х819(4УКР)
Рубрики:
|
| | | | |
11. |
Неумоин В. М. Аспекты адаптивности программных систем / В. М. Неумоин, П. П. Игнатенко // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 521-528. - Библиогр.: 9 назв. - рус.В докладе рассматривается понятие адаптивности программных систем. Вводятся определения видов адаптивности, обсуждаются представления об уровнях адаптивности и свойствах, присущих адаптивным системам. Сформулированы типичные задачи обеспечения адаптивности программных систем, приведены примеры систем, обладающих свойствами адаптивности. Ключ. слова: Індекс рубрикатора НБУВ: З973-018.01
Рубрики:
|
| | | | |
12. |
Кочетенко Є. М. Будова та алгоритми роботи внутрішньокомп'ютерної системи знань про людину-оператора в рамках концепції адаптивного комп'ютера / Є. М. Кочетенко // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 487-492. - Бібліогр.: 6 назв. - укp.Розглядається внутрішньокомп'ютерна система знань про оператора, її будова та принципи функціонування. Дається опис її складових блоків: зондування характеристик ЛО, математична модель ЛО, генератор моделі ЛО. Надається апроксимаційна формула рівня уваги оператора з описом параметрів, що входять до неї. Розглянута блок-схема алгоритму формування моделі ЛО з детальним описом кожного кроку. Пояснюється поняття адаптивний комп'ютер. Ключ. слова: Індекс рубрикатора НБУВ: З970.50 + З970.810
Рубрики:
|
| | | | |
13. |
Коротун Т. М. Верификация и валидация программного обеспечения автоматизированных систем организационного управления / Т. М. Коротун // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 362-367. - Библиогр.: 9 назв. - рус.Доклад посвящен вопросам верификации и валидации прикладного программного обеспечения (ППО) автоматизированных систем организационного управления. Главная цель процесса верификации и валидации - путем всестороннего анализа и тестирования ППО в процессе разработки определить, что ППО корректно выполняет требуемые функции и не выполняет никаких непредусмотренных функций, а также получить информацию о его качестве и надежности. Ключ. слова: Індекс рубрикатора НБУВ: З965.984
Рубрики:
|
| | | | |
14. |
Машечкин И. В. Вопросы автоматизации построения средств оптимизации и преобразования программ / И. В. Машечкин, М. И. Петровский // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 197-206. - рус.В настоящее время на кафедре Автоматизации Систем Вычислительных Комплексов ВМиК МГУ разрабатывается проект Системы преобразования и оптимизации программ. Эта система, получая на вход в формализованном виде описание целевой архитектуры, текст программы на исходном языке, и описание целей преобразования, должна строить обобщенное преобразование программы из исходного представления в целевое, в соответствии с заданными требованиями. Данное преобразование в общем случае является последовательностью преобразований, каждое из которых выполняет довольно узкую задачу, и реализуется отдельным алгоритмом. Подразумевается также, что информация в описаниях может быть задана с любой степенью детальности. Ключ. слова: Індекс рубрикатора НБУВ: З973-018
Рубрики:
|
| | | | |
15. |
Анісімов А. В. Віртуальний паралельний простір на основі ПАРКС-технології / А. В. Анісімов, А. В. Вєтров, Д. В. Гриценко, П. П. Кулябко, А. М. Рамадан // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 233-234. - Бібліогр.: 3 назв. - укp.Основна мета даної роботи полягає у дослідженні можливостей та властивостей віртуальних паралельних просторів, створених на базі локальних або глобальних обчислювальних мереж засобами ПАРКС-технології. Ключ. слова: Індекс рубрикатора НБУВ: З970.31
Рубрики:
|
| | | | |
16. |
Коваль В. Н. Интеллектуальные решающие машины как средства аппаратной поддержки распределенных баз данных и знаний / В. Н. Коваль, О. Н. Булавенко, З. Л. Рабинович // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 388-396. - Библиогр.: 20 назв. - рус.В докладе рассматриваются вопросы аппаратной поддержки распределенных баз данных и значений на основе конкретного класса знание-ориентированных архитектур - интеллектуальных решающих машин, обладающих развитым внутренним языком высокого уровня с эффективной реализацией графовых структур данных и параллельных вычислений. Ключ. слова: Індекс рубрикатора НБУВ: З970.26 + З970.52
Рубрики:
|
| | | | |
17. |
Матвеева Л. Е. Использование инструментальных средств моделирования параллельных вычислений в системе APS для разработки эффективных программ / Л. Е. Матвеева, А. В. Чугаенко // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 296-303. - Библиогр.: 11 назв. - рус.В данной статье представлены инструментальные средства моделирования параллельных вычислений в среде алгебраического программирования. Описаны синтаксис и семантика координационного языка и реализация его подмножества SIM, а также использование системы SIM для одной задачи линейной алгебры. При этом проводится сравнительный анализ различных механизмов синхронизации, используемых для реализации параллельного алгоритма. Ключ. слова: Індекс рубрикатора НБУВ: З970.21
Рубрики:
|
| | | | |
18. |
Берестовая С. Н. Использование когнитивных моделей для интеллектуализации обработки текстов / С. Н. Берестовая, Ю. В. Капитонова, Т. В. Коробкова, Н. В. Соболева // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 445-450. - Библиогр.: 6 назв. - рус.По мере увеличения объема знаний, подлежащих обработке в научной и практической деятельности человека, все более актуальной становится проблема интеллектуализации обработки их текстового представления (организации доступа и пополнения знаний). Этой цели служат когнитивные модели, методика построения одной из разновидностей которых, названной логико-смысловой моделью текста, изложена в данной статье. Эта модель представляет собой конструкцию, состоящую из композиционной и концептуальной моделей текста. Композиционная модель отражает взаимное расположение структурных разделов текста, а концептуальная - взаимосвязь имеющихся в тексте содержательных разделов (утверждений и определений). Предлагаемая методика проиллюстрирована развернутым примером. Ключ. слова: Індекс рубрикатора НБУВ: З970.52 + З970.66
Рубрики:
|
| | | | |
19. |
Санюк Ю. А. Использование поэтапной оптимизации для решения задачи планирования экипажей в авиакомпаниях / Ю. А. Санюк, В. В. Поспелов, А. В. Мирошниченко // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 540-547. - Библиогр.: 5 назв. - рус.Предлагается подход к решению задачи назначения экипажей для выполнения регулярных рейсов авиакомпании, основанный на использовании ротаций. Предложенный подход позволяет представить задачу планирования экипажей в виде последовательности подзадач. При решении каждой из подзадач выполняется оптимизация по некоторому множеству критериев, при этом на каждом последующем этапе оптимизируется решение, полученное на предыдущем. Такая организация решения задачи позволяет на каждом из этапов сужать область поиска оптимального решения и, таким образом сокращает комбинаторный перебор. Сведение решения задачи планирования экипажей к решению последовательности подзадач достигается за счет построения ротаций - типовых схем использования экипажей. В работе описаны стратегии и базовые алгоритмы процедур для решения задач построения множества ротаций, покрытия расписания и назначения экипажей. Ключ. слова: Індекс рубрикатора НБУВ: О580.2 + У9(4Укр)375
Рубрики:
|
| | | | |
20. |
Герман О. В. Исчисление ненадежных и противоречивых решений для экспертных систем / О. В. Герман // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 529-532. - Библиогр.: 5 назв. - рус.Представлен вариант исчисления и противоречивых решений для программных технологий, использующих знания, а также необходимая формализация. Приведен новый алгоритм вывода и его оценка. Ключ. слова: Індекс рубрикатора НБУВ: З970.51-01
Рубрики:
| | |
|
|