Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

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

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

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


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

Прохорова Ю. В. 
Сучасні тенденції та механізм здійснення споживчого кредитування в Україні [Електронний ресурс] / Ю. В. Прохорова, М. Д. Самойлова // Бізнес Інформ. - 2012. - № 7. - С. 132-135. - Режим доступу: http://nbuv.gov.ua/UJRN/binf_2012_7_36
Попередній перегляд:   Завантажити - 304.659 Kb    Зміст випуску     Цитування
2.

Прохорова Ю. В. 
Економічна політика як умова забезпечення оптимальної структури оборотного капіталу підприємства [Електронний ресурс] / Ю. В. Прохорова // Бізнес Інформ. - 2012. - № 9. - С. 221-224. - Режим доступу: http://nbuv.gov.ua/UJRN/binf_2012_9_46
Попередній перегляд:   Завантажити - 320.798 Kb    Зміст випуску     Цитування
3.

Прохорова Ю. С. 
Фондовий ринок України та шляхи його розвитку [Електронний ресурс] / Ю. С. Прохорова // Управління розвитком. - 2013. - № 14. - С. 76-78. - Режим доступу: http://nbuv.gov.ua/UJRN/Uproz_2013_14_32
Попередній перегляд:   Завантажити - 252.136 Kb    Зміст випуску     Цитування
4.

Остроумов С. Б. 
О тестировании программно-аппаратных средств для плис-ориентированных критических приложений [Електронний ресурс] / С. Б. Остроумов, Ю. Н. Прохорова, А. А. Андрашов, А. Д. Герасименко // Радіоелектронні і комп’ютерні системи. - 2008. - № 6. - С. 224–228. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_6_41
Предложены элементы методики тестирования компонентов Quartus и Nios фирмы Altera, используемых для разработки ПЛИС проектов критического применения, а также статического анализа программного кода, реализующего логику технологического процесса на ядре Nios. Проанализированы результаты тестирования компонентов, используемых при создании ПТК ИУС АЭС.
Попередній перегляд:   Завантажити - 407.447 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Прохорова Ю. Н. 
Применение Event-B для создания систем на программируемой логике [Електронний ресурс] / Ю. Н. Прохорова, С. Б. Остроумов, Е. А. Трубицына, Л. В. Лайбинис // Радіоелектронні і комп’ютерні системи. - 2009. - № 6. - С. 245–250. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_6_48
Приведены особенности создания формальной спецификации систем на программируемой логике. Рассмотрены примеры описания таких систем в Event-B. Предложены элементы методики формального описания и трансляции полученной спецификации в код на языке описания аппаратуры VHDL.
Попередній перегляд:   Завантажити - 628.562 Kb    Зміст випуску    Реферативна БД     Цитування
6.

Прохорова Ю. Н. 
Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в Event-B [Електронний ресурс] / Ю. Н. Прохорова // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 135–142. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_25
Предложен метод, который позволяет объединить метод анализа деревьев отказов (FTA) и формальную спецификацию в Event-B. Использование методики формальной разработки гарантирует корректность внедрения требований по функциональной безопасности в спецификацию систем критического применения. Предложенный подход основан на пошаговом внедрении результатов анализа по принципу "сверху вниз" на каждом этапе детализации спецификации, начиная с абстрактной и заканчивая реализацией. Приведены измененные модели жизненного цикла разработки программного обеспечения информационно-управляющих систем в соответствии с предлагаемым методом. В качестве примера внедрения FTA в формальную спецификацию была использована противообледенительная система самолета АН-140М.
Попередній перегляд:   Завантажити - 554.388 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Прохорова Ю. С. 
Теорія споживчої поведінки в сучасних умовах [Електронний ресурс] / Ю. С. Прохорова // Управління розвитком. - 2014. - № 4. - С. 158-160. - Режим доступу: http://nbuv.gov.ua/UJRN/Uproz_2014_4_69
Попередній перегляд:   Завантажити - 322.523 Kb    Зміст випуску     Цитування
8.

Прохорова Ю. В. 
Аналіз діяльності банків на фондовому ринку України [Електронний ресурс] / Ю. В. Прохорова, Е. К. Дробілко // Вісник економіки транспорту і промисловості. - 2010. - № 29. - С. 280-282. - Режим доступу: http://nbuv.gov.ua/UJRN/Vetp_2010_29_70
Попередній перегляд:   Завантажити - 336.541 Kb    Зміст випуску     Цитування
9.

Прохорова Ю. В. 
Дослідження стану ринку факторингу в Україні [Електронний ресурс] / Ю. В. Прохорова, М. О. Терновська // Вісник економіки транспорту і промисловості. - 2010. - № 30. - С. 53-56. - Режим доступу: http://nbuv.gov.ua/UJRN/Vetp_2010_30_14
Попередній перегляд:   Завантажити - 262.951 Kb    Зміст випуску     Цитування
10.

Прохорова Ю. В. 
Оцінка ефективності залучення позикових засобів для формування оборотного капіталу [Електронний ресурс] / Ю. В. Прохорова // Вісник економіки транспорту і промисловості. - 2010. - № 32. - С. 139-144. - Режим доступу: http://nbuv.gov.ua/UJRN/Vetp_2010_32_30
Попередній перегляд:   Завантажити - 290.492 Kb    Зміст випуску     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

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