![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Локазюк В$<.>) |
Загальна кількість знайдених документів : 21
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Локазюк В. М. Мікропроцесори та мікроЕОМ у виробничих системах : Навч. посіб. для студ. вищ. техн. навч. закл. / В. М. Локазюк. - Хмельницький : ТУП, 2001. - 242 c. - Бібліогр.: 20 назв. - укp.Висвітлено загальні питання проектування та функціонування мікропроцесорів і мікроЕОМ, визначено їх функціональне призначення в автоматизованих системах керування технологічними процесами, радіоелектронній та контрольно-вимірювальній техніці. Розглянуто архітектуру сучасних мікропроцесорів на прикладі мікропроцесорів фірми Intel і мікроЕОМ, побудованих на їх основі. Запропоновано сучасні апаратні та програмні засоби діагностування мікропроцесорів і комп'ютерів. Індекс рубрикатора НБУВ: З973-048я73 + З973.4я73
Рубрики:
Шифр НБУВ: ВА609247 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Локазюк В. М. Основи інформатики : Навч. посіб. для студ. вищ. навч. закл., які навч. за напрямами "Комп'ютер. інженерія" та "Радіотехніка" / В. М. Локазюк, В. І. Спиридонов, В. М. Джулій. - Хмельниц. : ХНУ, 2004. - 176 c. - Бібліогр.: с. 173. - укp.Розкрито засади мови програмування Pascal та операційної системи Windows - 2000. Висвітлено особливості роботи з текстовим редактором Word і табличним процесором Excel. Розглянуто основні питання роботи з комп'ютерними мережами та Internet. Раскрыты основы языка программирования Pascal и операционной системы Windows - 2000. Освещены особенности работы с текстовым редактором Word и табличным процессором Excel. Рассмотрены основные вопросы работы с компьютерными сетями и Internet. Індекс рубрикатора НБУВ: З970 я73-1
Рубрики:
Шифр НБУВ: ВА657873 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Локазюк В. М. Мікропроцесори та мікроЕОМ у виробничих системах : Посіб. / В. М. Локазюк. - К. : ВЦ "Академія", 2002. - 368 c. - (Альма-матер). - Бібліогр.: с. 366-367. - укp.Наведено відомості про функціонування та проектування мікропроцесорів і мікроЕОМ, а також їх застосування в автоматичних системах керування технологічними процесами, радіоелектронній та контрольно-вимірювальній техніці. Значну увагу приділено архітектурі сучасних мікропроцесорів фірми Intel, у тому числі останніх моделей Pentium 4, та мікроЕОМ, побудованих на їх базі. Розглянуто архітектуру мікроконтролерів, сучасні засоби діагностування мікропроцесорів і комп'ютерів. Приведены сведения о функционировании и проектировании микропроцессоров и микроЭОМ, а также их применении в автоматических системах управления технологическими процессами, радиоэлектронной и контрольно-измерительной технике. Значительное внимание уделено архитектуре современных микропроцессоров фирмы Intel, в том числе последних моделей Pentium 4, а также микроЭВМ, построенных на их базе. Рассмотрены архитектура микроконтролеров, современные средства диагностирования микропроцессоров и компьютеров. Індекс рубрикатора НБУВ: З973.4я73-1
Шифр НБУВ: ВА630153 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Локазюк В. М. Надійність, помилки і тестування програмного забезпечення комп'ютерних пристроїв та систем : Навч. посіб. для студ. вищ. техн. навч. закл. / В. М. Локазюк; Технол. ун-т Поділля. - Хмельниц., 2003. - 74 c. - Бібліогр.: 14 назв. - укp.Розглянуто питання надійності і достовірності роботи програмного забезпечення сучасних комп'ютерів. Проаналізовано методики тестування програмних модулів, їх інтеграції у комплекси програмних додатків. Описано ознаки найпоширеніших програмних помилок. Рассмотрены вопросы надежности и достоверности работы программного обеспечения современных компьютеров. Проанализированы методики тестирования программных модулей, их интеграции в комплексы программных приложений. Описаны свойства распространеннейших программных ошибок. Індекс рубрикатора НБУВ: З973-018.10я73
Рубрики:
Шифр НБУВ: ВА638184 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Локазюк В. М. Надійність, контроль, діагностика і модернізація ПК : Посіб. / В. М. Локазюк, Ю. Г. Савченко. - К. : Вид. центр "Академія", 2004. - 376 c. - (Сер. "Альма-матер"). - Бібліогр.: с. 365-367. - укp.Висвітлено різноманітні аспекти забезпечення надійності обчислювальних пристроїв, персональних комп'ютерів (ПК) та комп'ютерних систем, методи контролю цифрових пристроїв. Розглянуто методи діагностування ПК, питання програмного забезпечення, модернізації та експлуатаційного обслуговування ПК. Освещены разнообразные аспекты обеспечения надежности вычислительных устройств, персональных компьютеров (ПК) и компьютерных систем, методы контроля цифровых устройств. Рассмотрены методы диагностирования ПК, вопросы программного обеспечения, модернизации и эксплуатационного обслуживания ПК. Індекс рубрикатора НБУВ: З97-07я73-1 + З973.86-07я73-1
Рубрики:
Шифр НБУВ: ВА645484 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Герасимов Б. М. Інтелектуальні системи підтримки прийняття рішень : навч. посіб. / Б. М. Герасимов, В. М. Локазюк, О. Г. Оксіюк, О. В. Поморова; Європ. ун-т. - К., 2007. - 335 c. - Бібліогр.: с. 326-334. - укp.Викладено питання проектування, практичного застосування й оцінки ефективності систем підтримки прийняття рішень (СППР). Висвітлено особливості людино-машинних процедур прийняття рішень, математичних моделей їх зображення й опрацювання, прийняття рішень за умов невизначеності. Розглянуто типові задачі та засоби інтелектуального аналізу даних, приклади практичної реалізації інтелектуальних й інформаційно-розрахункових СППР. Наведено критерії та методи оцінки ефективності СППР, зокрема процесу діагностування цифрових і мікропроцесорних пристроїв. Изложены вопросы проектирования, практического применения и оценки эффективности систем поддержки принятия решений (СППР). Освещены особенности человеко-машинных процедур принятия решений, математических моделей их изображения и обработки, принятия решений в условиях неопределенности. Рассмотрены типовые задачи и средства интеллектуального анализа данных, примеры практической реализации интеллектуальных и информационно-рассчетных СППР. Приведены критерии и методы оценки эффективности СППР, в частности процесса диагностирования цифровых и микропроцессорных устройств. Індекс рубрикатора НБУВ: З970.53я73-1
Шифр НБУВ: ВА688397 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Локазюк В. М. Інформаційна система пошуку діагностичної інформації мікропроцесорних пристроїв / В. М. Локазюк, В. Я. Ляшкевич // Радіоелектрон. і комп'ют. системи. - 2006. - № 6. - С. 103-109. - Бібліогр.: 5 назв. - укp.Представлено інтелектуальну інформаційну систему пошуку діагностичної інформації для тестування мікропроцесорних пристроїв. До складу системи введені такі інтелектуальні компоненти, як база знань та модуль штучної нейронної мережі, що дає можливість інтелектуалізувати процес пошуку діагностичної інформації, визначати її достатність для тестування комп'ютерних пристроїв і цим самим уникнути повного аналізу всіх відомих джерел інформації. Ключ. слова: комп'ютерні пристрої, мікропроцесорні пристрої, тестування, діагностична інформація, штучна нейронна мережа Індекс рубрикатора НБУВ: З973.4-07
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Локазюк В. М. Метод розрахунку окупності основних видів телекомунікаційних послуг для різних груп абонентів / В. М. Локазюк, О. В. Іванов // Радіоелектрон. і комп'ют. системи. - 2006. - № 7. - С. 180-184. - Бібліогр.: 2 назв. - укp.Представлено метод розрахунку економічної доцільності надання телекомунікаційних послуг (ТКП), котрий враховує реальний стан надання таких послуг у конкретних мікрорайонах міст. Метод є основою розроблення інтелектуальної системи підтримки прийняття рішень для визначення стратегій надання ТКП певним групам абонентів. Ключ. слова: телекомунікаційні послуги, телефонний зв'язок, абонентське середовище, штучна нейронна мережа Індекс рубрикатора НБУВ: З882
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Локазюк В. М. Розроблення програмного забезпечення для опрацювання текстів з діагностичною інформацією / В. М. Локазюк, В. Я. Ляшкевич, О. Я. Олар // Радіоелектрон. і комп'ют. системи. - 2007. - № 6. - С. 123-129. - Бібліогр.: 5 назв. - укp.Представлено програмне забезпечення для опрацювання текстів з діагностичною інформацією. Програма реалізує взаємозв'язок ключових слів текстів із експертними знаннями, а також представляє їх у зручному вигляді для опрацювання штучною нейронною мережею, що розташована в структурі інформаційно-пошукової системи. Індекс рубрикатора НБУВ: З973-018.14
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Локазюк В. М. Інтелектуальний метод вирішення задачі прогнозування розвитку ситуації для оперативно-чергових служб / В. М. Локазюк, В. Ю. Тітова // Радіоелектрон. і комп'ют. системи. - 2008. - № 7. - С. 59-66. - Бібліогр.: 7 назв. - укp.Розглянуто задачу прогнозування розвитку ситуації та визначення наслідків первинних рішень. Для вирішення даної задачі використано неповнозв'язну прямонапрямлену нейронну мережу, яка стала основою для створення підсистеми прогнозування розвитку ситуації системи підтримки прийняття рішень для оперативно-чергових служб. Запропоновано структуру штучної нейронної мережі, визначено кількість шарів цієї мережі, активаційні функції нейронів кожного шару та алгоритм навчання мережі. Індекс рубрикатора НБУВ: З810.22 + З813.8
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Локазюк В. М. Математичні моделі підвищення ефективності технології підтримки прийняття рішень забезпечення виробництва взуття / В. М. Локазюк, Є. Й. Котляр // Радіоелектрон. і комп'ют. системи. - 2008. - № 6. - С. 24-31. - Бібліогр.: 6 назв. - укp.Розглянуто математичні моделі підтримки прийняття рішень процесу забезпечення виробництва взуття та підвищення його ефективності на основі запропонованих моделей. Індекс рубрикатора НБУВ: М55-64
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Локазюк В. М. Архітектура системи підтримки прийняття рішень матеріального забезпечення виробництва взуття / В. М. Локазюк, Є. Й. Котляр // Радіоелектрон. і комп'ют. системи. - 2009. - № 6. - С. 197-204. - Бібліогр.: 5 назв. - укp.Розглянуто архітектуру інтелектуальної системи підтримки прийняття рішень (СППР) процесу забезпечення виробництва взуття, а також проведено порівняльну оцінку ефективності традиційної СППР із СППР, побудованою на основі штучних нейронних мереж. Під час використання нейромережної СППР значно зменшується кількість вхідної експертної інформації, що, в свою чергу, підвищує достовірність підтримки прийняття рішень. Індекс рубрикатора НБУВ: З970.53 + М55-6
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Локазюк В. М. Засади систем підтримки прийняття рішень на основі комп'ютерних систем та їх компонентів : навч. посіб. / В. М. Локазюк, О. В. Іванов, В. Ю. Тітова; Хмельниц. нац. ун-т. - Хмельниц. : Гонта А.С., 2010. - 338 c. - Бібліогр.: с. 327-335. - укp.Розглянуто питання проектування, практичного застосування й оцінювання ефективності систем підтримки прийняття рішень (СППР). Наведено загальну характеристику задач, розв'язуваних СППР, та визначено етапи їх реалізації. Розкрито особливості людинно-машинних процедур прийняття рішень, математичних моделей їх представлення й опрацювання, прийняття рішень за умов невизначеності. Описано типові задачі та засоби інтелектуального аналізу даних. Увагу приділено питанням практичної реалізації інформаційно-розрахункових та інтелектуальних СППР. Наведено критерії та методи оцінювання ефективності СППР, зокрема, ефективності процесу діагностування цифрових і мікропроцесорних пристроїв. Рассмотрены вопросы проектирования, практического применения и оценки эффективности систем поддержки принятия решений (СППР). Дана общая характеристика задач, решаемых СППР, и определены этапы их реализации. Раскрыты особенности человеко-машинных процедур принятия решений, математических моделей их представления и обработки, принятия решений в условиях неопределенности. Описаны типовые задачи и средства интеллектуального анализа данных. Внимание уделено вопросам практической реализации информационно-расчётных и интеллектуальных СППР. Изложены критерии и методы оценки эффективности СППР, в частности, эффективности процесса диагностирования цифровых и микропроцессорных устройств. Індекс рубрикатора НБУВ: З970.53я73
Шифр НБУВ: ВА733628 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Харченко В. С. Моделирование гарантоспособных систем и сетей = Modeling of Dependable Systems and Networks : лекции / В. С. Харченко, А. В. Боярчук, С. А. Куланов, В. Н. Локазюк, О. Н. Одарущенко, О. В. Поморова; Нац. аэрокосм. ун-т им. Н.Е.Жуковского "ХАИ". - Х., 2009. - 336 c. - (Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing). - рус.Описаны методы и средства моделирования гарантоспособных компьютерных систем, сетей и сервисов. Изложены методы моделирования компьютерных систем с учетом интенсивностей потоков отказов и восстановлений (ИПОВ) программных и аппаратных средств. Уделено внимание методике и анализу результатов моделирования систем при изменении ИПОВ программных средств. Описаны технология GRID для распределения вычислений в компьютерных сетях и методы моделирования GRID-систем и средств повышения отказоустойчивости, в частности, методы прогнозирования потоков заявок, поведения брокера ресурсов. Разработаны и исследованы модели гарантоспособности сервис-ориентированных web-систем с учетом уязвимостей их компонент. Предложена методика разработки марковских моделей web-сервисов. Рассмотрены методы, средства и технологии искусственного интеллекта (экспертных знаний и систем, искусственных нейронных сетей) и особенности их применения для моделирования и разработки гарантоспособных систем. Індекс рубрикатора НБУВ: З970.2 я7 + З970.31 я7
Рубрики:
Шифр НБУВ: ВА723539 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Локазюк В. Н. Отказоустойчивые встроенные системы на программируемой логике = Fault-Tolerant Embedded PLD-systems : лекции / В. Н. Локазюк, С. Б. Остроумов, О. В. Поморова, Ю. Н. Прохорова, А. А. Ушаков, В. С. Харченко; Нац. аэрокосм. ун-т им. Н.Е.Жуковского "ХАИ". - Х., 2008. - 264 c. - (Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing). - рус.Рассмотрены методы и средства разработки встроенных отказоустойчивых систем с использованием технологий программируемой логики - программируемых логических контроллеров и программируемых логических интегральных схем, а также микропроцессоров. Описаны варианты архитектур таких систем, устойчивых к физическим и проектным дефектам, технологии их разработки и верификации. Раскрыты методы и средства диагностирования систем на базе микропроцессоров и программируемой логики, в том числе с использованием принципов искусственного интеллекта. Даны примеры отказоустойчивых решений встроенных систем для аэрокосмических и других критических приложений на программируемой логике. Індекс рубрикатора НБУВ: З965.974 я7 + З972-02 я7 + З973-048 я7
Рубрики:
Шифр НБУВ: ВА723536 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Локазюк В. М. Інтелектуальні методи та засоби діагностування комп'ютерних систем / В. М. Локазюк // Пробл. інформатизації та упр.. - 2008. - Вип. 1. - С. 207-214. - Бібліогр.: 2 назв. - укp.Розглянуто новий підхід до діагностування комп'ютерних систем на базі теоретичних основ штучного інтелекту. Розширення множин технічних станів комп'ютерних систем дає можливість розробити такі траєкторії станів, що фіксують перехід від справного стану до несправного. Це, в свою чергу, дає можливість ідентифікувати несправності комп'ютерних систем. Індекс рубрикатора НБУВ: З97-07
Рубрики:
Шифр НБУВ: Ж71869 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Тітова В. Ю. Створення системи підтримки прийняття рішень для оперативно-чергових служб / В. Ю. Тітова, В. М. Локазюк // Пробл. інформатизації та упр.. - 2008. - Вип. 1. - С. 240-248. - Бібліогр.: 9 назв. - укp.Досліджено забезпечення інформаційно-аналітичної підтримки прийняття рішень оперативному черговому оперативно-чергової служби. Для досягнення мети деталізовано задачі, які постають перед оперативним черговим після надходження інформації про виникнення ситуації, проведено розмежування цих задач та перенесено виконання більшої їх частини на систему підтримки прийняття рішень для оперативно-чергових служб. Функціонування зазначеної системи базується на використанні штучних нейронних мереж та удосконаленому методі оцінювання ефективності рішень. Індекс рубрикатора НБУВ: З970.53
Рубрики:
Шифр НБУВ: Ж71869 Пошук видання у каталогах НБУВ
|
| | | | |
18. |
Локазюк В. М. Аналіз методів тестування та модель життєвого циклу прикладного програмного забезпечення / В. М. Локазюк, Т. О. Пантелєєва // Вісн. Вінниц. політехн. ін-ту. - 2003. - № 6. - С. 311-317. - Бібліогр.: 7 назв. - укp.Проаналізовано відомі методи тестування прикладного програмного забезпечення. Розглянуто каскадну модель життєвого циклу програмного забезпечення. Проаналізовано дослідження та публікації, в яких започатковано розв'язання даної проблеми. Звернуто увагу на недоліки відомих методів тестування прикладного програмного забезпечення, а також розглянутої моделі життєвого циклу програмного забезпечення. Запропоновано певні шляхи вирішення даних проблем. Індекс рубрикатора НБУВ: З973-018.14
Рубрики:
Шифр НБУВ: Ж68690 Пошук видання у каталогах НБУВ
|
| | | | |
19. |
Локазюк В. М. Композиційний підхід до синтезу кільцевих структур цифрових пристроїв / В. М. Локазюк, С. І. Перевозніков, Н. О. Біліченко // Вісн. Вінниц. політехн. ін-ту. - 2003. - № 3. - С. 63-69. - Бібліогр.: 7 назв. - укp.Розглянуто метод декомпозиційного представлення цифрових пристроїв шляхом формування кільцевих структур. Даний підхід базується на способі внесення в об'єкти послідовностей додаткових каналів передачі текстової інформації, що досягається тимчасовою зміною внутрішніх зв'язків пристроїв. Запропоновано метод синтезу фрагментів схем, що генерують, який дозволяє прискорити процедури діагностування цифрових схем. Індекс рубрикатора НБУВ: З972-02
Рубрики:
Шифр НБУВ: Ж68690 Пошук видання у каталогах НБУВ
|
| | | | |
20. |
Локазюк В. М. Модель прогнозування стану взаємоблокування процесів комп'ютерної системи / В. М. Локазюк, О. С. Савенко, С. В. Мостовий // Вісн. Вінниц. політехн. ін-ту. - 2011. - № 4. - С. 130-133. - Бібліогр.: 7 назв. - укp.Проведено аналіз життєвого циклу процесу комп'ютерної системи. Виділено граничний стан, який передує стану взаємоблокування процесів. Це дозволяє в поточний момент часу визначити множину процесів, які можуть потрапити в стан взаємоблокування в наступний момент часу. Індекс рубрикатора НБУВ: З973-07
Рубрики:
Шифр НБУВ: Ж68690 Пошук видання у каталогах НБУВ
| | |
|
|