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

В данной статье представлены инструментальные средства моделирования параллельных вычислений в среде алгебраического программирования. Описаны синтаксис и семантика координационного языка и реализация его подмножества SIM, а также использование системы SIM для одной задачи линейной алгебры. При этом проводится сравнительный анализ различных механизмов синхронизации, используемых для реализации параллельного алгоритма.

Представлено інструментальні засоби для моделювання паралельних обчислень у середовищі алгебраїчного програмування. Наведено синтаксис і семантику координаційної мови та описано реалізацію її підмножин - SIM та Монітор. Система SIM використовувалась для розробки паралельного варіанту алгоритму Бухбергера обчислення поліноміальних ідеалів.

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

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

Освещен жизненный путь и научная деятельность Ю.А.Кулаковского (1855 - 1919) - профессора Университета св.Владимира, члена-корреспондента Российской академии наук, выдающегося ученого, филолога и историка античности, археолога и византолога. На основании документальных источников проанализированы его работы по истории Римской империи, Византии и Крыма.

Індекс рубрикатора НБУВ: Т1(2)-8 + Т3(4ГЕР)53

Рубрики:

Історія історичної науки (Історіографія)

Історія

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

Індекс рубрикатора НБУВ: Т3(5)я44 + Т1(0)3я44

Рубрики:

Історія

Історія історичної науки (Історіографія)

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

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

Освещена научная деятельность профессора Харьковского университета, академика Российской и Украинской академий наук, выдающегося учёного, историка античности, всеобщей истории, истории науки и историографии - В.П. Бузескула (1858 - 1931).

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

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

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

Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується; послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем.

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

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

Рубрики:

Комп'ютери та програмування

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

Індекс рубрикатора НБУВ: В379.227

Рубрики:

Радіаційні ефекти в напівпровідниках

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

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

Досліджено технологію конденсації у вакуумі тонких нанонеоднорідних плівок Ge на напівізолювальних підкладках GaAs (100). Використано методи атомно-силової мікроскопії, оптичної спектроскопії, вимірювання внутрішніх механічних напружень у плівці та її електронних властивостей. Показано можливість одержання тонких нанонеоднорідних монокристалічних бездислокаційних плівок з низьким рівнем механічних напружень, двомірною перколяційною провідністю та високою термічною чутливістю, які можуть бути використані в інфрачервоній та електронній техніці.

Ge thin films condensation in vacuum onto semiinsulating GaAs(100) substrates was investigated. The methods of atomic-force microscopy, optical spectroscopy, measurement of intrinsic mechanical stresses in film, and electronic properties were used forthis investigation. It was found that it is possible to obtain thin nanoheterogeneous monocrystalline dislocation-free films with low intrinsic mechanical stresses and two-dimension percolation-type conductivity, as well as high temperature sensitivity that can be used for IR and electronics technologies.