Бази даних

Юристам - Реферативна інформація - результати пошуку

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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: ((<.>U=Х$<.>)+(<.>RZN=Х$<.>))*(<.>TJ=Проблеми програмування<.>)
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6

1.
Алексеєв В. А. 
Архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності / В. А. Алексеєв, В. В. Мостовий, В. С. Терещенко, А. Л. Яловець // Пробл. програмув.. - 2012. - № 4. - С. 96-104. - Бібліогр.: 3 назв. - укp.

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


Індекс рубрикатора НБУВ: Х811.120.34:З97

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 
Повний текст  Наукова періодика України 

2.
Лесько О. В. 
Анализ семантики естественно-языковых законодательных документов с использованием онтологии предметной области / О. В. Лесько, Ю. В. Рогушина // Проблеми програмув.. - 2015. - № 4. - С. 58-71. - Библиогр.: 7 назв. - рус.

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


Індекс рубрикатора НБУВ: З970.43 + Х8(4УКР)-30 в83

Рубрики:

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

3.
Сініцин І. П. 
Комплексний підхід до побудови системи кіберзахисту критичної інформаційної інфраструктури держави / І. П. Сініцин, П. П. Ігнатенко, О. О. Слабоспицька, О. В. Артеменко // Проблеми програмування. - 2017. - № 3. - С. 128-148. - Бібліогр.: 30 назв. - укp.

Надано комплексний підхід до вирішення проблем забезпечення кіберзахисту об'єктів критичної інформаційної інфраструктури держави з урахуванням кращих світових і вітчизняних практик та апробованих програмно-апаратних і програмних засобів кібернетичного захисту. Для ефективної реалізації підходу запропоновано інтелектуальну інформаційну технологію керівництва кібербезпекою. Вона поєднує доробок авторів з підтримки прийняття організаційних рішень (експертно-аналітичних і ділових) з новітніми підходами до управління вигодами від належної кібербезпеки та ризиками її порушення. Застосування підходу сприятиме підвищенню кіберзахисту критичної інформаційної інфраструктури держави.


Індекс рубрикатора НБУВ: З970.40 + Х849(4УКР)04:З97 + Х819(4УКР)126

Рубрики:

Шифр НБУВ: Ж69331 Пошук видання у каталогах НБУВ 
Повний текст  Наукова періодика України 

4.
Peschanenko V. 
Use of metods of algebraic programming for the formal verification of legal ACTS / V. Peschanenko, M. Poltorackiy // Проблеми програмування. - 2018. - N 2/3 (спец. вип.). - С. 109-114. - Бібліогр.: 10 назв. - англ.

Стисло описано програмний інструмент для аналізу нормативно-правового документа. Існує механізм перевірки законних вимог. Модель правового документа представлено у вигляді набору спеціальних правил. Верифікація забезпечується за допомогою алгебричного програмування та методів символьного програмування. Цей підхід надає змогу проаналізувати законодавчу базу на наявність структурно логічних помилок, перевіряти правові вимоги на протиріччя, повноту та цілісність.


Індекс рубрикатора НБУВ: З973-018.025 + Х8(4УКР)-328.1

Рубрики:

Шифр НБУВ: Ж69331 Пошук видання у каталогах НБУВ 
Повний текст  Наукова періодика України 

5.
Степанюк М. Ю. 
Проблема створення інформаційної системи логістики в Збройних силах України, що відповідає стандартам НАТО / М. Ю. Степанюк, І. П. Сініцин, О. В. Котеля // Проблеми програмування. - 2018. - № 4. - С. 101-110. - Бібліогр.: 11 назв. - укp.

Розглянуто проблему створення інформаційної системи логістики в Збройних силах України (ЗСУ), яка відповідає стандартам НАТО. Проведено аналіз існуючих інформаційних систем (ІС) логістики НАТО та їх застосовності в Україні. Визначено наукомісткі аспекти створення ІС логістики. Визначено необхідність розробки вітчизняного математичного забезпечення (моделей, методів, алгоритмів) підтримки прийняття рішень (ППР) у логістиці ЗСУ. Обгрунтовано доцільність і можливість застосування підходів технології автоматизації управління дискретними технологічними й інформаційними процесами для ППР у логістиці.


Індекс рубрикатора НБУВ: Х819(4Укр)111

Рубрики:

Шифр НБУВ: Ж69331 Пошук видання у каталогах НБУВ 
Повний текст  Наукова періодика України 

6.
Семенченко А. І. 
Організаційно-правові механізми державного управління забезпеченням кібербезпеки та кіберзахисту України: сутність, стан та перспективи розвитку / А. І. Семенченко, В. Л. Плескач, О. А. Заярний, М. В. Плескач // Проблеми програмування. - 2020. - N 2/3 (спец. вип.). - С. 278-286. - Бібліогр.: 11 назв. - укp.

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


Індекс рубрикатора НБУВ: Х849(4УКР)04:З97

Рубрики:

Шифр НБУВ: Ж69331 Пошук видання у каталогах НБУВ 
Повний текст  Наукова періодика України 
 
Національна юридична бібліотека
(НЮБ)

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