Щодо питання про iнформатизацiю суспiльства / Брюхович Є.I. // Математичнi машини i системи .- 1997.- N1. - C. 3-14. Зроблено спробу на основi наукового передбачення виробити знання про гранично розвинутi види ЕОМ i економiчної системи . Наведенi вiдомостi про вiдповiднi природнi закони, що дiють у мiждисциплiнарнiй галузi , i методологiї їх пiзнання. Зроблений висновок про безальтернативнiсть програми iнформатизацiї українського суспiльства на основi цих знань. Бiблiогр.: 12 назв.
УДК 681.3 К вопросу об информатизации общества / Брюхович Е.И. // Математические машины и системы. - 1997. - N1. - С. 3-14.
Предпринята попытка выработать на основе научног предвидения знания о предельно развитых видах ЭВМ и экономической системы. Приведены сведения о соответствующих естественных законах, действующих в междисциплинарной области, и методологии их познания. Сделан вывод о безальтернативности программы информатизации украинского общества на основе этих знаний. Библиогр.: 12 назв.
УДК 681.3 Iнструментарiй конструювання експертних систем символьної обробки / Цейтлiн Г.Є., Терзян Т.К., Захарiя Л.М. // Математичнi машини i системи .- 1997.- N1. - C. 14-24.
Стаття присвячена проблемi конструювання спецiалiзованих експертних систем, орiєнтованих на рiшення задач символьної обробки . Розглядається модель експертної системи СОРТ для представлення , класифiкацiї i накопичення знань за алгоритмами послiдовного сортування . При її створеннi використанi iнструментальнi засоби , що базуються на апаратi алгоритмiки . Бiблiогр.: 12 назв.
УДК 681.3 Инструментарий конструирования экспертных систем символьной обработки / Цейтлин Г.Е., Терзян Т.К., Захария Л.М. // Математические машины и системы. - 1997. - N1. - С. 14-24.
Статья посвящена проблеме конструирования специализированных экспертных систем, ориентированных на решение задач символьной обработки. Рассматривается модель экспертной системы СОРТ для представления, классификации и накопления знаний по алгоритмам последовательной сортировки. При ее создании использованы инструментальные средства, базирующиеся на аппарате алгоритмики. Библиогр.: 12 назв.
УДК 518.681.3.01 Мiсце i роль алгоритмiчного базису у вирiшеннi проблеми продуктивностi / Теслер Г.C. // Математичнi машини i системи. - 1997. - N1. - С. 25-33.
Розглядається алгоритмiчний базис i дослiджуються його роль i мiсце у вирiшеннi проблеми продуктивностi обчислювальних засобiв. Проведена класифiкацiя алгоритмiчного базису за критерiями масовостi використання i адаптивностi до внутрiшнiх i зовнiшнiх умов застосування . Розглянуто методи та засоби для прискорення процесу обчислень i дається їх оцiнка. Табл.: 4. Бiблiогр.: 22 назв.
УДК 518.681.3.01 Место и роль алгоритмического базиса в решении проблемы производительности / Теслер Г.С. // Математические машины и системы.-1997.- N1. - С. 25-33. Рассматривается алгоритмический базис и исследуется его роль и место в решении проблемы производительности вычислительных средств. Прведена классификация алгоритмического базиса по критериям массовости к внутренним и внешним условиям применения . Рассмотрены методы и редства для ускорения процесса вычислений и дана их оценка. Табл. : 4. Библиогр.: 22 назв.: УДК 519.6 Iнтелектуалiзацiя програмних засобiв рiшення систем нелiнiйних рiвнянь / Рисцова А.Ю. // Математичнi машини i системи. - 1997. - N1. - С. 34-39. Пропонується iнтелектуальнiй засiб для дослiдження i рiшення нелiнiйних систем алгебраїчних рiвнянь . Питання дослiдження коренiв методами сучасної комп’ютерної алгебри розглянутi на чисельному прикладi. Бiблiогр.: 7 назв.
УДК 519.6 Интеллектуализация программных средств решения систем нелинейных уравнений / Рысцова А.Ю. // Математические машины и системы.-1997.- N1. - С. 34-39. Предлагается интеллектуальное программное средство для исследования и решения нелинейных систем алгебраических уравнений. Вопросы исследования корней методами современной компьютерной алгебры рассмотрены на численном примере. Библиогр.: 7 назв. УДК 681.3 Представлення знань на нейроподiбних мережах, що ростуть / Ященко В.О., Ходак В.I. // Математичнi машини i системи .- 1997.- N1. - C. 40-44. У роботi розглядається представлення знань на нейроподiбних мережах, що ростуть. Описується новий клас нейроподiбних мереж що ростуть , подається їх формальнiй математичний опис. Бiблiогр.: 25 назв.
УДК 681.3 Представление знаний на нейроподобн ых растущих сетях / Ященко В.А., Ходак В.И. // Математические машины и системы.-1997.- N1. - С. 40-44. В работе рассматривается представление знаний на нейроподобных растущих сетях . Описывается новый класс нейроподобных растущих сетей, даётся их формальное математическое описание. Библиогр.: 25 назв.
ПРОГРАМНО-ТЕХНIЧНI КОМПЛЕКСИ
УДК 517.518.14 + 519.644 + 621.382.049 Аналiтичний метод розрахунку поля однорiдно намагнiчених дiа- i парамагнiтних круглих цилiндрiв / Романович С.С., Iванова С.Л., Волобоєв В.П. // Математичнi машини i системи .- 1997.- N1. - C. 45-55. Пропонуються аналiтичнi вираження для розрахунку магнiтного поля i векторного магнiтного потенцiалу , що обумовленi намагнiченням слабких магнетикiв у зовнiшньому однорiдному полi . Розглянутi випадки поздовжнього i поперечного по вiдношенню до осi цилiндра направлень намагнiчуючого поля . Отриманi формули мiстять повнi елiптичнi iнтеграли 1,2 i 3 роду i дозволяють знаходити другорядне поле - поле намагнiченостi i потокозчеплення контурiв, розташованих коло довiльної системи слабкомагнiтних круглих цилiндрiв . Iл.: 7. Бiблiогр.: 7 назв.
УДК 517.518.14 + 519.644 + 621.382.049 Аналитический метод расчета поля однородно намагниченных диа- и парамагнитных круглых цилиндров / Романович С.С., Иванова С.Л., Волобоев В.П. // Математические машины и системы.- 1997. - N1. - С. 45-55. Предлагаются аналитические выражения для расчета магнитного поля и векторного магнитного потенциала, обусловленных намагничением слабых магнетиков во внешнем однородном поле. Рассмотрены случаи продольного и поперечного по отношению к оси цилиндра направлений намагничивающего поля. Полученные формулы содержат полные эллиптические интегралы 1-го, 2-го и 3-го рода и позволяют находить вторичное поле - поле намагниченности - и потокосцепления контуров, расположенных в окрестности произвольной системы слабомагнитных круглых цилиндров. Библиогр.7 назв. УДК 681.3.06 Функцiональна архiтектура iнтегрованої системи пiдтримки прийняття рiшень в умовах ситуацiйних центрiв / Кузьменко Г.Є., Плiш В.Є. // Математичнi машини i системи .- 1997.- N1. - C. 56-63. Описується функцiональна архiтектура iнтегрованої системи пiдтримки прийняття рiшень в умовах ситуацiйних центрiв на основi формалiзацiї процесу прийняття рiшень . Бiблiогр.: 9 назв.
УДК 681.3.06 Функциональная архитектура интегрированной системы поддержки принятия решений в условиях ситуационных центров / Кузьменко Г.Е., Плиш В.Е. // Математические машины и системы. - 1997. - N1. - С. 56-63. Описана функциональная архитектура интегрированной системы поддержки принятия решений в условиях ситуационных центров на основе формализации процесса принятия решений . Библиогр.: 9 назв. УДК 681.086 Використання системи програмування АНАЛIТИК для отримання аналiтичних оцiнок параметрiв кутового руху твердого тiла / Калина О.А., Калина В.М. // Математичнi машини i системи .- 1997. - N1. - C. 64-66. Описується реалiзована за допомогою системи програмування АНАЛIТИК методика обчислення похибок параметрiв кутового руху твердого тiла , обумовлених кутовими коливаннями корпусу об’єкта . Бiблiогр.: 3 назв.
УДК 681.086 Использование системы программирования АНАЛИТИК для получения аналитических оценок параметров углового движения твердого тела / Калина Е.А, Калина В.Н. // Математические машины и системы. - 1997. - N1. - С. 64-66. Описана реализованная с помощью системы программирования АНАЛИТИК методика вычисления погрешностей параметров углового движения твердого тела, обусловленных угловыми колебаниями корпуса объекта. Библиогр.: 3 назв. УДК 681.3 Органiзацiя пошуку у текстовiй iнформацiйнiй системi, що використовує кодування слiв i словосполучень / В’юн В.I., Кузьменко Г.Є., Пустоваров О.В., Пустоваров В.I. // Математичнi машини i системи. - 1997. - N1. - C. 67-72. Текстовi iнформацiйнi системи , призначенi для синтаксичного i семантичного аналiзу текстової iнформацiї на флективних природних мовах, вимагають нових форм внутрiшнього представлення iнформацiї . Пропонується кодування слiв i словосполучень iз видiленням кодових полiв , станiв i типiв, що дозволяють зробити бiльш гнучкими i швидкими порiвняння у пошукових операцiях, а також органiзацiю пошукових процедур i упорядкування пошукових образiв , якi забезпечують значне скорочення витрат часу на вирiшення задач, що орiєнтованi на семантичнiй пошук iнформацiї. Бiблiогр.: 4 назв.
УДК 681.3 Организация поиска в текстовой информационной системе, использующей кодирование слов и словосочетаний / Вьюн В.И., Кузьменко Г.Е., Пустоваров А.В., Пустоваров В.И. // Математические машины и системы. - 1997. - N1. - C. 67-72. Текстовые информационные системы, предназначенные для синтаксического и семантического анализа текстовой информации на флективных естественных языках, потребовали новых форм внутреннего представления информации. Предложено кодирование слов и словосочетаний с выделением кодовых полей состояний и типов, позволяющее сделать более гибкими и быстрыми сравнения в поисковых операциях,а также организацию поисковых процедур и упорядочение поисковых образов, обеспечивающих значительное сокращение затрат времени на решение задач, ориентированных на семантический поиск информации. Библиограф.: 4 назв. УДК 517.958 + 519.642 + 519.644.2 Кубiчна апроксимацiя щiльностi вторинних джерел поля на прямокутному граничному елементi / Романович С.С., Iванова С.Л., Коковiна С.М. // Математичнi машини i системи . - 1997. - N1. - C. 72-77. Розглянуто побудову кубатурних формул для iнтеграла типу похiдної потенцiалу простого шару . Областю iнтегрування є прямокутник на криволiнiйнiй регулярнiй поверхнi. Наведено приклад побудови кубатури для плоского прямокутного елемента з 16 вузлами, точної до наближення щiльностi простого шару iнтерполяцiйним полiномом 3 ступеня по кожнiй iз 2 поверхневих координат. Iл.: 4. Бiблiогр.: 2 назв.
УДК 517.958 + 519.642 + 519.644.2 Кубическая аппроксимация плотности вторинных источников поля на прямоугольном граничном элементе / Романович С. С., Иванова С.Л., Коковина С. Н. // Математические машины и системы.- 1997. - N1. - С. 72-77. Рассмотрено построение кубатурных формул для интеграла типа производной потенциала простого слоя. Областью интегрирования является прямоугольник на криволинейной регулярной поверхности. Приведен пример построения кубатуры для плоского прямоугольного элемента с 16 узлами, точной до приближения плотности простого слоя интерполяционным полиномом 3-й степени по каждой из 2-х поверхностных координат. Библиогр.: 2 назв. УДК 681.322.067 Високопаралельнi СУБД на базi архiтектур Shared-Nothing ( з роздiльними ресурсами ) / Рiзник О.М., Тимашок Т.В. // Математичнi машини i системи . - 1997. - N1. - C. 78-89. Розглянутi сучасний стан i загальнi проблеми високопаралельних i реляцiйних СУБД. Наведенi основнi архiтектурнi рiшення i деякi програмнi механiзми , що використовуються в паралельних СУБД i машинах баз даних з архiтектурою Shared-Nothing. Iл.: 3. Табл.: 2. Бiблiогр.: 16 назв.
УДК 681.322.067 Высокопараллельные СУБД на базе архитектур Shared-Nothing(с раздельными ресурсами) / Резник А.М., Тимашок Т.В. //Математические машины и системы.-1997.- N1. -С. 78-89. Рассмотрены современное состояние и общие проблемы высокопараллельных реляционных СУБД. Приведены основные архитектурные решения и некоторые программные механизмы, используемые в параллельных СУБД и машинах баз данных с архитектурой Shared- Nothing. Ил.3.Табл.2.Библиогр.:16 назв. УДК 681.51.57 Контроль вхiдних даних в СУБД ORACLE / Жевлакова Л.В., Кузьменко Г.Є., Литвинов В.А., Майстренко С.Я. / / Математичнi машини i системи . - 1997. - N1. - C. 89-94. Розглядаються особливостi застосування можливостей контролю вхiдних даних в СУДБ ORACLE. Обгрунтовується доцiльнiсть i пропонуються шляхи створення типового iнструментарiю для програмування складних контрольних перевiрок. Бiблiогр.: 5 назв.
УДК 681.51.57 Контроль входных данных в СУБД ORACLE / Жевлакова Л.В., Кузьменко Г.Е., Литвинов В.А., Майстренко С.Я. //Математические машины и системы. - 1997. - N1. - C. 89-94. Рассматриваются особенности применения возможностей контроля входных данных в СУБД ORACLE. Обосновывается целесообразность и предлагаются пути создания типового инструментария для программирования сложных контрольных проверок. Библиогр.: 5 назв. УДК 681.324 Прямий метод забезпечення серiалiзуємостi розподiленого плану в системах управлiння транзакцiями / Алiєв А.А., Никитiн А.I., Плескач В.Л. // Математичнi машини i системи . - 1997. - N1. - C. 94-100. Розглядається метод забезпечення серiалiзуємостi розподiленого плану, який заснований на iдеї включення в системи управлiння транзакцiями механiзму прямої перевiрки деякої множини субтранзакцiй на вiдсутнiсть циклу у вiдповiдному цiй множинi графi . Iл.: 1. Бiблiогр.: 4 назв.
УДК 681.324 Прямой метод обеспечения сериализуемости распределённого плана в системах управления транзакциями / Алиев А.А., Никитин А.И., Плескач В.Л. // Математические машины и системы. - 1997. -N1. - С. 94-100. Рассматривается метод обеспечения сетиализуемости распределённого плана, который основан на идее включения в системы управления транзакциями механизма прямой проверки некоторого множества субтранзакций на отсутствие цикла в соответствующем этому множеству графе. Ил.: 1. Библиогр.: 4 назв. УДК 681.51.57 Деякi оцiнки характеристик вводу символьної iнформацiї на основi OCR- технологiй / Кузьменко Г.Є., Литвинов В.А., Майстренко С.Я. // Математичнi машини i системи . - 1997. - N1. - C. 104-107. Дослiджуються деякi проблеми вводу символьної iнформацiї при використаннi OCR - технологiй. Наводиться спiввiдношення для оцiнки сумарної точностi фiльтрацiї при багатоетапному проходженнi помилкової iнформацiї через фiльтр. На основi спiввiдношення аналiзуються вимоги до етапiв автоматичного розпiзнавання тексту i наступної “ручної” коректорської обробки. Наводяться експериментальнi данi щодо ефективностi коректорської обробки. Табл.: 3. Бiблiогр.: 7 назв.
УДК 681.51.57 Некоторые оценки характеристик ввода символьной информации на основании OCR - технологий / Кузьменко Г.Е., Литвинов В.А., Майстренко С.Я. // Математические машины и системы. -1997. -N1. - С. 104-107. Исследутся некоторые проблемы ввода символьной информации при использовании OCR - технологий. Приводится соотношение для оценки суммарной точности фильтрации при многоетапном прохождении ошибочной информации через фильтры. На основании соотношения анализируются требования к этапам автоматического распознавания текста и последующей "ручной" корректорской обработки. Приводятся экспериментальные данные по эффективности корректорской отработки. Табл. 3. Библиогр.: 7 назв. УДК 681.086 Застосування системи комп’ютерної алгебри АНАЛIТИК - 93 для вирiшення просторових задач теорiї пружностi / Дануца Л.Б., Калина О.А., Ляхов О.Л. // Математичнi машини i системи . - 1997. - N1. - C. 100-104. Вирiшується задача про напружений стан кусочно-однорiдного тiла з використанням системи комп’ютерної алгебри АНАЛIТИК - 93, орiєнтованої на застосування чисельно- аналiтичних методiв . Наведенi графiки розподiлу напруження на поверхнi тiла пiд вертикально направленим навантаженням. Iл.: 6. Бiблiогр.: 9 назв.
УДК 681.086 Применение системы компьютерной алгебры АНАЛИТИК-93 для решения пространственных задач теории упругости / Дануца Л.Б., Калина Е.А., Ляхов А.Л. // Математические машины и системы. - 1997. - N1. - С. 100-104. Решается задача о напряженном состоянии кусочно-однородного тела с использованием системы компьютерной алгебры АНАЛИТИК-93, ориентированной на применение численно- аналитических методов. Приведены графики распределения напряжений на поверхности тела под вертикально направленной нагрузкой. Ил. 6. Библиогр.: 9 назв. УДК 681.322.06 Методика побудови узагальненої системної алгоритмiчної моделi складних систем спецiального призначення / Мiтрахович М.М. // Математичнi машини i системи . - 1997. - N1. - C. 107-112. Стаття присвячена вирiшенню питань формалiзованого формування узагальненої системи алгоритмiчної моделi складних систем спецiального призначення . В роботi приведена оригiнальна методика опису процесiв функцiонування в складних системах спецiального призначення, якi заснованi на можливостях математичного апарату мови регулярних схем алгоритмiв. Бiблiогр.: 4 назв.
УДК 681.322.06 Методика построения обобщённой системной алгоритмической модели сложных систем специального назначения / Митрахович М.М. // Математические машины и системы. -1977. - N1. - С. 107-112. Cтатья посвящена решению вопросов формализованного формирования обобщённой системы алгоритмической модели сложных систем специального назначения . В работе приведена оригинальная методика описания процессов функционирования в сложных системах специального назначения , которiе основанi на возможностях математического апарата языка регулярных схем алгоритмов. Библиогр.: 4 назв. УДК 681.3.61 Швидкий алгоритм стиснення без втрат для растрових медичних зображень / Вишневський В.В., Баглай I.В. // Математичнi машини i системи . - 1997. - N1. - C. 112-114. Описано алгоритм стиснення растрових оцифрованих напiвтонових зображень, якi є модифiкацiєю вiдомого алгоритму DCA. Табл.: 2. Бiблiогр.: 2.
УДК 681.3.61 Быстрый алгоритм сжатия без потерь для растровых медицинских изображений / Вишневский В.В., Баглай И.В. // Математические машины и системы. -1977. - N1. - С. 112-114.
ЯКІСТЬ, НАДІЙНІСТЬ І СЕРТИФІКАЦІЯ ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ І ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
УДК 681.14 Метод побудови повних перевiряючих тестiв для електричних монтажних схем / Стрельнiков В.П., Федухiн О.В. // Математичнi машини i системи . - 1997. - N1. - C. 115-124. Розроблено новий пiдхiд до дiагностики електричних монтажних схем, виконаних у виглядi печатного або проводного монтажу. Використання математичного апарата дiагностики несправностей логiчних схем дозволяє коректно генерувати перевiряючi тести i аналiзувати їх повноту вiдносно несправностей типу “обрив” i “коротке замикання” довiльної кратностi. Iл.: 7. Бiблiогр.: 4 назв.
УДК 681.14 Метод построения полных проверяющих тестов для электрическихмонтажных схем / Стрельников В.П. , Федухин А.В. // Математические машины и системы. - 1997. - N1. - С. 115-124. Разработан новый подход к диагностике электрических монтажных схем, выполненных в виде печатного или проводного монтажа. Использование математического аппарата диагностики неисправностей логических схем позволяет корректно генерировать проверяющие тесты и анализировать их полноту относительно неисправностей типа “обрыв” и “короткое замыкание” произвольной кратности. Илл. 7. Библиогр.: 4 назв.
