Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Матвеева Л$<.>) |
Загальна кількість знайдених документів : 17
Представлено документи з 1 до 17
|
| | | | |
1. |
Матвеева Л. Е. Анализ сетей Петри с помощью инвариантов / Л. Е. Матвеева // Искусств. интеллект. - 2001. - № 3. - С. 243-250. - Библиогр.: 5 назв. - рус.Программная или аппаратная система представлена в виде модели посредством формальной спецификации с помощью сети Петри (СП). Полученный продукт описывает поведение и структуру данной системы, и может быть проанализирован, верифицирован, а также использован для установления требуемых свойств системы. Описано применение формализма СП к исследованию некоторых свойств телефонной системы, основанное на построении и анализе S- и Т-инвариантов. Індекс рубрикатора НБУВ: З810.21
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Матвеева Л. Е. Использование инструментальных средств моделирования параллельных вычислений в системе APS для разработки эффективных программ / Л. Е. Матвеева, А. В. Чугаенко // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 296-303. - Библиогр.: 11 назв. - рус.В данной статье представлены инструментальные средства моделирования параллельных вычислений в среде алгебраического программирования. Описаны синтаксис и семантика координационного языка и реализация его подмножества SIM, а также использование системы SIM для одной задачи линейной алгебры. При этом проводится сравнительный анализ различных механизмов синхронизации, используемых для реализации параллельного алгоритма. Ключ. слова: Індекс рубрикатора НБУВ: З970.21
Рубрики:
|
| | | | |
3. |
Матвеева Л. Е. Разработка инструментальных средств моделирования параллельных вычислений в системе алгебраического программирования / Л. Е. Матвеева, А. В. Чугаенко // Кибернетика и систем. анализ. - 1999. - № 3. - С. 180-187. - Библиогр.: 5 назв. - рус.Представлено інструментальні засоби для моделювання паралельних обчислень у середовищі алгебраїчного програмування. Наведено синтаксис і семантику координаційної мови та описано реалізацію її підмножин - SIM та Монітор. Система SIM використовувалась для розробки паралельного варіанту алгоритму Бухбергера обчислення поліноміальних ідеалів. Індекс рубрикатора НБУВ: З970.21 + З973-018
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Васин А. В. Влияние остаточной атмосферы на формирование структуры пленок a-SiC при осаждении с помощью магнетронного распыления / А. В. Васин, Е. Ф. Венгер, Л. А. Матвеева, А. Г. Гонтарь, А. М. Куцай, И. А. Косско // Сверхтвердые материалы. - 1999. - № 3(119). - С. 18-25. - Библиогр.: 9 назв. - рус. Індекс рубрикатора НБУВ: К663.030
Шифр НБУВ: Ж14159 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Матвеева Л. В. Юлиан Кулаковский. Жизнеописание / Л. В. Матвеева; Ин-т востоковедения им. А.Крымского НАН Украины. - К. : Стилос, 2002. - 482 c. - рус.Освещен жизненный путь и научная деятельность Ю.А.Кулаковского (1855 - 1919) - профессора Университета св.Владимира, члена-корреспондента Российской академии наук, выдающегося ученого, филолога и историка античности, археолога и византолога. На основании документальных источников проанализированы его работы по истории Римской империи, Византии и Крыма. Індекс рубрикатора НБУВ: Т1(4УКР)-8 Кулаковский + Ш.г(4УКР)5 д Кулаковский,Ю.
Рубрики:
Шифр НБУВ: ВА665694 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Матвеева Л. В. Из истории пангерманизма и стремлений немцев на Восток (1914 - 1916) (По работам В.П.Бузескула) / Л. В. Матвеева // Сх. світ. - 2007. - № 4. - С. 5-16. - Библиогр.: 33 назв. - рус. Індекс рубрикатора НБУВ: Т1(2)-8 + Т3(4ГЕР)53
Рубрики:
Шифр НБУВ: Ж21929 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Матвеева Л. В. История Востока (По работам В.П. Бузескула) / Л. В. Матвеева // Сх. світ. - 2006. - № 3. - С. 5-18. - Библиогр.: 28 назв. - рус. Індекс рубрикатора НБУВ: Т3(5)я44 + Т1(0)3я44
Рубрики:
Шифр НБУВ: Ж21929 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Матвеева Л. В. Отто Юльевич Шмидт 1891-1956 / Л. В. Матвеева. - К., 2006. - 229 c. - (Науч.-библиограф. лит). - Библиогр.: с. 224-228 - рус.Рассмотрены основные жизненные этапы, научная, организационная и государственная деятельность О.Ю.Шмидта - выдающегося математика, известного исследователя-географа, руководителя крупных полярных экспедиций, геофизика, астронома, историка науки, крупного государственного и общественного деятеля, Героя Советского Союза, академика Академии наук СССР и УССР. На базе исследования опубликованных трудов О.Ю.Шмидта и его обширного архива освещены научные достижения известного ученого, организатора науки и советского книгоиздательства, популяризатора научных знаний, талантливого педагога, реформатора школьного образования и вузовской системы обучения. Приведены материалы о полярных экспедициях и географических исследованиях О.Ю.Шмидта 1928 - 1936 гг. Індекс рубрикатора НБУВ: Б.д(2) Шмідт ,О.Ю.
Рубрики:
Шифр НБУВ: ВА686122 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Матвеева Л. В. Владислав Бузескул - историк своего времени : монография / Л. В. Матвеева; НАН Украины, Ин-т востоковедения им. А.Крымского. - К. : Стилос, 2008. - 711 c. - рус.Освещена научная деятельность профессора Харьковского университета, академика Российской и Украинской академий наук, выдающегося учёного, историка античности, всеобщей истории, истории науки и историографии - В.П. Бузескула (1858 - 1931). Індекс рубрикатора НБУВ: Т1(4УКР)-8Бузескул
Рубрики:
Шифр НБУВ: ВА705594 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Матвеева Л. Е. Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри / Л. Е. Матвеева // Пробл. программирования. - 2004. - 2-3 [спец. вып.]. - С. 108-117. - Библиогр.: 19 назв. - рус.Зазначено, що за останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідного тестування програмних і технічних систем, зокрема телекомунікаційних протоколів. Запропоновано автоматизований технологічний процес формальної специфікації та верифікації телекомунікаційної системи. Формальну модель системи побудовано у вигляді ординарної мережі Петрі. Аналіз системи виконано за допомогою методів лінійної алгебри. Індекс рубрикатора НБУВ: З973-018.2 + З810.21
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Матвеева Л. Е. Формальное представление и анализ свойств асинхронных динамических систем / Л. Е. Матвеева // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 168-174. - Библиогр.: 6 назв. - рус.Посредством формальной спецификации некоторые выделенные свойства программной или аппаратной системы представлены в виде модели, которая затем верифицирована. С помощью различных инструментальных средств анализа доказано, имеет ли модель требуемые зафиксированные свойства реальной системы. Описано применение формализма сетей Петри к исследованию свойств телефонной системы, основанное на использовании методов линейной алгебры. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Крывый С. Л. Формальные методы анализа свойств систем / С. Л. Крывый, Л. Е. Матвеева // Кибернетика и систем. анализ. - 2003. - № 2. - С. 15-36. - Библиогр.: 40 назв. - рус.Представлено загальний огляд застосувань формальних методів для специфікації та верифікації програмних технічних систем, а також запропоновано підхід до ідентифікації розв'язку проблеми конфлікту функціональностей (Feature Interaction) у телекомунікаційних системах за допомогою формальних методів. Ключ. слова: транзиционные системы, формальные методы, спецификация, верификация, конфликт функциональностей, сети Петри Індекс рубрикатора НБУВ: З970.3
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Крывый С. Л. Исследование свойств документов MSC с помощью преобразования их в сети Петри / С. Л. Крывый, А. В. Чугаенко, Л. Е. Матвеева // Кибернетика и систем. анализ. - 2009. - 45, № 6. - С. 165-171. - Библиогр.: 13 назв. - рус.Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується; послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем. Індекс рубрикатора НБУВ: З973-018.021.1
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Матвеева Л. В. Виктор Григорович - первый украинский славяновед-византолог (1815 - 1876) : монография / Л. В. Матвеева; Ин-т востоковедения им. А.Ю.Крымского НАН Украины. - К. : Стилос, 2010. - 192 c. - рус.Освещены жизненный путь и научная деятельность В.И. Григоровича - выдающегося отечественного ученого, историка, славяноведа-византиниста, одного из основоположников славянской филологии, профессора Новороссийского университета, члена-корреспондента Российской академии наук. Отмечено, что в своих работах В.И. Григорович показал глубокое значение внутренней византийской истории для славяноведения, что способствовало объединению научного славяноведения с научным византоведением. Дана информация о его научных трудах, в которых впервые были исследованы многочисленные византийские источники. Індекс рубрикатора НБУВ: Т1(4УКР)-(0)44 + Ш.г(4УКР)5 д Григорович В.И.
Рубрики:
Шифр НБУВ: ВА727019 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Матвеева Л. Е. Использование принципов IBAgileD при внедрении процесса производства программного продукта, основанного на IBСMMID / Л. Е. Матвеева // Управляющие системы и машины. - 2010. - № 4. - С. 47-57. - Библиогр.: 9 назв. - рус. Індекс рубрикатора НБУВ: З973-018.1
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Венгер Е. Ф. Радиационно-стимулированные эффекты в гетероструктурах с фуллеренами / Е. Ф. Венгер, Л. А. Матвеева, П. Л. Нелюба // Оптоэлектроника и полупроводниковая техника. - 2011. - Вып. 46. - С. 43-48. - Библиогр.: 16 назв. - рус. Індекс рубрикатора НБУВ: В379.227
Рубрики:
Шифр НБУВ: Ж60673 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Венгер Е. Ф. Получение, свойства и применение тонких нанонеоднородных пленок Ge на GaAs-подложках / Е. Ф. Венгер, П. М. Литвин, Л. А. Матвеева, В. Ф. Митин, В. В. Холевчук // Технология и конструирование в электрон. аппаратуре. - 2014. - № 4. - С. 39-44. - Библиогр.: 12 назв. - рус.Исследована технология конденсации в вакууме тонких нанонеоднородных пленок 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. Індекс рубрикатора НБУВ: З843.395 + В379.2
Рубрики:
Шифр НБУВ: Ж14479 Пошук видання у каталогах НБУВ
|
|
|