Бази даних


Наукова періодика України - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (9)Автореферати дисертацій (1)Реферативна база даних (19)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій



Пошуковий запит: (<.>A=Пустоваров В$<.>)
Загальна кількість знайдених документів : 22
Представлено документи з 1 до 20
...
1.

Пустоваров В. І. 
Супроводження контролю відповідності програм і моделей формальним специфікаціям задач [Електронний ресурс] / В. І. Пустоваров // Вісник Національного технічного університету України "КПІ". Іформатика, управління та обчислювальна техніка. - 2007. - Вип. 47. - С. 271-281. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkpi_iuot_2007_47_31
Запропоновано механізми автоматизації доказового об'єктно-орієнтованого програмування задач за специфікаціями на базі контролю семантичної коректності взаємних перетворень кодів програм і специфікацій. Через ці механізми обгрунтовано використання аналітичного типу даних, який можна вбудувати до мов і систем програмування. Запропонований підхід дозволяє автоматизувати доказові перетворення кодів і специфікацій у системах автоматизації програмування та моделювання для задач формальної верифікації та синтезу кодів.
Попередній перегляд:   Завантажити - 269.471 Kb    Зміст випуску    Реферативна БД     Цитування
2.

Пустоваров В. І. 
Механізми включення засобів формальних специфікацій до баз знань ком’пютерних мов [Електронний ресурс] / В. І. Пустоваров // Вісник Національного технічного університету України "КПІ". Іформатика, управління та обчислювальна техніка. - 2011. - Вип. 53. - С. 142-148. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkpi_iuot_2011_53_24
Попередній перегляд:   Завантажити - 1.012 Mb    Зміст випуску     Цитування
3.

Пустоваров В. В. 
Шляхи удосконалення системи навігації літальних апаратів [Електронний ресурс] / В. В. Пустоваров // Системи озброєння і військова техніка. - 2011. - № 4. - С. 81-83. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2011_4_20
Розроблено пропозиції щодо підвищення вірогідності правильної прив'язки матричних радіометричних кореляційно-екстремальних систем навігації (СН) літальних апаратів на основі обліку змін радіояскравісної температури під час формування поточного зображення СН. Представлено одержані аналітичні вирази для розрахунків.
Попередній перегляд:   Завантажити - 326.441 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Пустоваров В. Е. 
Метод обработки контролируемого параметра, позволяющий оценивать состояние человека-оператора в реальном масштабе времени [Електронний ресурс] / В. Е. Пустоваров, Д. В. Ириков, А. Б. Егоров // Системи обробки інформації. - 2003. - Вип. 1. - С. 63-68. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2003_1_12
Попередній перегляд:   Завантажити - 260.102 Kb    Зміст випуску     Цитування
5.

Пустоваров В. В. 
Разработка радиометра с компенсацией флуктуаций коэффициента усиления радиометра и узкополосной помехи [Електронний ресурс] / В. В. Пустоваров // Системи обробки інформації. - 2003. - Вип. 1. - С. 212-217. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2003_1_34
Попередній перегляд:   Завантажити - 246.832 Kb    Зміст випуску     Цитування
6.

Пустоваров В. Е. 
Алгоритм очередности запуска асинхронных двигателей [Електронний ресурс] / В. Е. Пустоваров, А. Б. Егоров // Системи обробки інформації. - 2002. - Вип. 1. - С. 140-143. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2002_1_27
Попередній перегляд:   Завантажити - 273.484 Kb    Зміст випуску     Цитування
7.

Соколов В. И. 
Проявление переходов с переносом заряда в спектрах фотолюминесценции оксидных материалов Zn1–xMexO (Me — Mn, Ni, Co) [Електронний ресурс] / В. И. Соколов, Н. Б. Груздев, В. А. Пустоваров, В. Н. Чурманов // Физика низких температур. - 2013. - Т. 39, № 1. - С. 116-120. - Режим доступу: http://nbuv.gov.ua/UJRN/PhNT_2013_39_1_17
Исследованы кристаллы <$E{ roman Zn} sub 1-x { roman Co} sub x roman O}> и <$E{ roman Zn} sub 1-x { roman Ni} sub x roman O> методом фотолюминесценции при температурах 8 и 90 К. Принимая во внимание разложения полученных спектров на суммы функций распределения Гаусса, а также известные положения донорных и акцепторных уровней 3d-примесей относительно краев разрешенных зон, проводилась интерпретация наблюдаемых пиков в спектрах фотолюминесценции как результатов излучательной рекомбинации через донорные и акцепторные уровни ионов никеля и кобальта. Полученные результаты сравнены с наблюдаемыми ранее особенностями в спектрах фотолюминесценции кристаллов <$E{ roman Zn} sub 1-x { roman Mn} sub x roman O>.
Попередній перегляд:   Завантажити - 350.574 Kb    Зміст випуску    Реферативна БД     Цитування
8.

Груздев Н. Б. 
Люминесценция твердых растворов Co1–xZnxO при межзонном возбуждении [Електронний ресурс] / Н. Б. Груздев, В. И. Соколов, В. А. Пустоваров, В. Н. Чурманов // Физика низких температур. - 2015. - Т. 41, № 3. - С. 285-288. - Режим доступу: http://nbuv.gov.ua/UJRN/PhNT_2015_41_3_13
Попередній перегляд:   Завантажити - 423.87 Kb    Зміст випуску     Цитування
9.

Чурманов В. Н. 
Низкотемпературная фотолюминесценция в нанокристаллах NixMg1–xO [Електронний ресурс] / В. Н. Чурманов, Н. Б. Груздев, В. И. Соколов, В. А. Пустоваров, В. Ю. Иванов, Н. А. Миронова-Улмане // Физика низких температур. - 2015. - Т. 41, № 3. - С. 304-307. - Режим доступу: http://nbuv.gov.ua/UJRN/PhNT_2015_41_3_15
Изучены спектры фотолюминесценции и возбуждения фотолюминесценции нанокристаллов NixMg1-xO при низких температурах. Рассмотрены процессы концентрационного тушения и предполагаемые механизмы миграции энергии в NixMg1-xO. Показано, что краевые энергии переходов с переносом заряда в NixMg1-xO (x = 0,008) и NiO практически совпадают.
Попередній перегляд:   Завантажити - 565.057 Kb    Зміст випуску    Реферативна БД     Цитування
10.

Пустоваров В. И. 
Функциональные расширения промышленных автоматизированных систем контроля и управления [Електронний ресурс] / В. И. Пустоваров, В. В. Бойко, В. А. Лемешко // Вісник Національного технічного університету України "КПІ". Інформатика, управління та обчислювальна техніка. - 2013. - Вип. 58. - С. 104-108. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkpi_iuot_2013_58_16
Представлены особенности системы тестирования, контроля и управления наличными ресурсами элементов производства и требования, используемые в разных технических отраслях хозяйства. Рассмотрены основные свойства подсистем измерения и накопления результатов испытаний от отдельных технических элементов производства до подсистем сейсмического анализа состояния конструкций в подземных производственных комплексах. Отмечены проблемы подключения подсистемы к действующей системе и предложены пути расширения функциональных возможностей системы.
Попередній перегляд:   Завантажити - 433.447 Kb    Зміст випуску    Реферативна БД     Цитування
11.

Чурманов В. Н. 
Переходы с переносом заряда в оптических спект-рах оксидов NicMg1–cO [Електронний ресурс] / В. Н. Чурманов, В. И. Соколов, В. А. Пустоваров, Н. Б. Груздев, М. А. Уймин, И. В. Бызов, А. В. Дружинин, А. В. Королев, Г. А. Ким, А. Ф. Зацепин // Физика низких температур. - 2017. - Т. 43, № 4. - С. 649-656. - Режим доступу: http://nbuv.gov.ua/UJRN/PhNT_2017_43_4_19
В оксидах NicMg1-cO (c = 0,008) наблюдалась излучательная рекомбинация с переносом заряда в интервале температур 8 - 300 K, возникающая за счет сильной гибридизации 3d-состояний иона Ni<^>2+ и зонных состояний. В спектре возбуждения излучения с переносом заряда зарегистрированы колебательные LO повторения двух экситонных линий с переносом заряда с интервалом по энергии приблизительно 25 мэВ. В спектре поглощения нанокристаллов NiO обнаружены 2 слабых пика с энергиями 3,510 и 3,543 эВ, сильно зависящих от температуры. Они интерпретируются как экситоны с переносом заряда на краю фундаментального поглощения NiO. Расстояние между экситонными линиями с переносом заряда в спектрах оксидов NicMg1-cO обусловлено спин-орбитальным расщеплением вершины валентной зоны, формируемой p-состояниями иона кислорода.
Попередній перегляд:   Завантажити - 1.116 Mb    Зміст випуску    Реферативна БД     Цитування
12.

Пустоваров В. В. 
Бюджетне регулювання відтворювальних процесів у національній економіці [Електронний ресурс] / В. В. Пустоваров // Інвестиції: практика та досвід. - 2014. - № 13. - С. 98-103. - Режим доступу: http://nbuv.gov.ua/UJRN/ipd_2014_13_23
Попередній перегляд:   Завантажити - 247.289 Kb    Зміст випуску     Цитування
13.

Пустоваров В. В. 
Вплив бюджету на процеси нагромадження в національній економіці [Електронний ресурс] / В. В. Пустоваров // Інвестиції: практика та досвід. - 2014. - № 14. - С. 83-88. - Режим доступу: http://nbuv.gov.ua/UJRN/ipd_2014_14_18
Попередній перегляд:   Завантажити - 270.072 Kb    Зміст випуску     Цитування
14.

Пустоваров В. В. 
Бюджетне стимулювання розвитку галузей та секторів національної економіки [Електронний ресурс] / В. В. Пустоваров // Інвестиції: практика та досвід. - 2014. - № 15. - С. 107-112. - Режим доступу: http://nbuv.gov.ua/UJRN/ipd_2014_15_24
Попередній перегляд:   Завантажити - 271.25 Kb    Зміст випуску     Цитування
15.

Чурманов В. Н. 
Проявление экситонов в спектрах низкотемпературной люминесценции твердых растворов оксидов цинка и никеля [Електронний ресурс] / В. Н. Чурманов, В. И. Соколов, В. А. Пустоваров, Н. Б. Груздев, В. Ю. Иванов // Фізика низьких температур. - 2019. - Т. 45, № 2. - С. 258-262. - Режим доступу: http://nbuv.gov.ua/UJRN/PhNT_2019_45_2_16
Досліджено спектри рентгенолюмінесценції твердих розчинів Zn1-xNixO, що мають різний склад, включаючи оксид нікелю (x = 1), поблизу ліній I1 і I2 з енергіями 3,339 і 3,393 еВ. Раніше було виявлено сильну температурну залежність цих ліній, яка є подібною до виявленої під час спостереження донорних та акцепторних екситонів 3d-домішок у сполуках II - VI:3d, а також зміна співвідношення інтенсивності з підвищенням температури та різна кінетика загасання, що надало можливість імовірно пов'язати походження ліній I1 і I2 з випромінювальним розпадом екситонів, які мають різну природу. На підставі отриманих результатів підтверджено, що ширина забороненої щілини даних сполук не залежить від складу розчинів (тобто від концентрації x), а в сполуці NiO поблизу дна зони провідності є набір станів нікелю як d-, так і s-типу. На підставі проведеного аналізу електронного енергетичного спектра, який розраховано для досліджених твердих розчинів Zn1-xNixO, встановлено, що одна з ліній спектра рентгенолюмінесценції, яка спостерігається, пов'язана з екситоном s - p-типу, а інша - з екситоном p - d-типу.
Попередній перегляд:   Завантажити - 547.256 Kb    Зміст випуску    Реферативна БД     Цитування
16.

Герасимов С. В. 
Особливості визначення точності вимірювань інерціальних приладів визначення координат [Електронний ресурс] / С. В. Герасимов, О. В. Коломійцев, В. В. Пустоваров // Системи управління, навігації та зв'язку. - 2018. - Вип. 6. - С. 3-8. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2018_6_3
Показано, що в основу функціонування існуючих приладів інерціальних навігаційних систем літальних апаратів (ЛА) покладено властивість швидкообертових гіроскопів зберігати незмінним напрямок осі обертання в просторі (гіроскопічний ефект). При цьому у загальному випадку похибки гіроскопічних пристроїв (приладів) залежать як від їх конструкції, так і від умов їх роботи. Обгрунтовано актуальну наукову задачу - проведення аналізу особливостей визначення точності вимірювань інерціальних навігаційних систем при розрахунку координат ЛА. Наведено, що в ідомий метод часткової компенсації похибок вимірювань аналітичним шляхом на основі обчислення їх значень, є недосконалим. Запропоновано для обчислення й подальшої компенсації похибок навігаційних вимірювань розробити математичну модель похибок інерціальних навігаційних систем. Така модель аналітично описує зв'язок між вхідними похибками інерціальних навігаційних систем, обумовленими недоліками гіроскопів й акселерометрів, та її вихідними похибками у визначенні координат ЛА. Запропоновані три складові математичної моделі-блоки розрахунку координат ЛА. Обгрунтовано, що діапазон вихідних похибок інерціальних навігаційних систем є невеликим, що дозволяє застосувати для дослідження динаміки похибок відомі методи лінеаризації функцій. Розглянуто динаміку утворення похибок у блоку обчислення к утових швидкостей і моментів. Ефективність компенсації зростаючих з часом функціонування похибок інерціальних навігаційних систем залежить від того, наскільки точно апріорно відомі чисельні значення дрейфівгіроскопів і похибок акселерометрів. Подальші дослідження запропоновано направити для перевірки адекватності запропонованої математичної моделі похибок інерціальних навігаційних систем реальним процесам за допомогою результатів імітаційного моделювання з використанням нелінійної моделі формування похибок.
Попередній перегляд:   Завантажити - 381.993 Kb    Зміст випуску    Реферативна БД     Цитування
17.

Пустоваров В. В. 
Бюджетні ресурси в структурі капітальних інвестицій в Україні [Електронний ресурс] / В. В. Пустоваров. // Ефективна економіка. - 2015. - № 12. - Режим доступу: http://nbuv.gov.ua/UJRN/efek_2015_12_60
Попередній перегляд:   Завантажити - 179.378 Kb    Зміст випуску     Цитування
18.

Коломійцев О. В. 
Пропозиції щодо підвищення точності сегментації міських будов на цифрових космічних і аерофотознімках при автоматизованому моніторингу міського середовища [Електронний ресурс] / О. В. Коломійцев, В. В. Пустоваров // Сучасні інформаційні технології у сфері безпеки та оборони. - 2020. - № 3. - С. 81-90. - Режим доступу: http://nbuv.gov.ua/UJRN/sitsbo_2020_3_11
Попередній перегляд:   Завантажити - 1.081 Mb    Зміст випуску     Цитування
19.

Коломійцев О. В. 
Метод контролю частоти власних коливань для визначення ваги тіла космонавта і малої ваги в умовах невагомості [Електронний ресурс] / О. В. Коломійцев, В. О. Комаров, О. М. Дмітрієв, В. В. Пустоваров, Р. М. Олійник // Сучасні інформаційні системи. - 2022. - Т. 6, № 2. - С. 74-81. - Режим доступу: http://nbuv.gov.ua/UJRN/adinsys_2022_6_2_14
Попередній перегляд:   Завантажити - 742.355 Kb    Зміст випуску     Цитування
20.

Старцев В. В. 
Напрямки щодо удосконалення системи логістичного забезпечення військових частин (підрозділів) при розміщенні у польових умовах в сучасних збройних конфліктах [Електронний ресурс] / В. В. Старцев, О. В. Коломійцев, О. М. Гурін, В. Ф. Третяк, В. В. Пустоваров, Р. М. Олійник // Збірник наукових праць Державного науково-дослідного інституту випробувань і сертифікації озброєння та військової техніки. - 2022. - Вип. 4. - С. 118-134. - Режим доступу: http://nbuv.gov.ua/UJRN/swsrdi_2022_4_15
Попередній перегляд:   Завантажити - 1.353 Mb    Зміст випуску     Цитування
...
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського