Бази даних

Реферативна база даних - результати пошуку

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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Книжкові видання та компакт-диски (2)
Пошуковий запит: (<.>A=Алексеєв В$<.>)
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13

      
Категорія:    
1.

Алексеєв В. А. 
Багатоаспектна декомпозиція як засіб проектування архітектури інформаційних систем. Ч. 1. Декомпозиція структур об'єкта та системи / В. А. Алексеєв, В. І. Дехтяренко, В. Е. Рогачов, В. С. Терещенко // Пробл. програмув. - 2006. - № 4. - С. 5-15. - Бібліогр.: 20 назв. - укp.

Запропоновано підхід до проектування архітектури територіально-розподілених, ієрархічно-організованих інформаційних систем, який, завдяки багатоаспектній декомпозиції організаційної структури та інформаційного поля функціональної діяльності об'єкта автоматизації і структури ідеалізованої інформаційної системи на складові елементи, дозволяє спроектувати необхідну за складом структурних компонентів архітектуру системи.


Індекс рубрикатора НБУВ: З970.41-02

Рубрики:

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

      
Категорія:    
2.

Алексеєв В. А. 
Багатоаспектна декомпозиція як засіб проектування архітектури інформаційних систем. Ч. 2. Побудова архітектури інформаційної системи / В. А. Алексеєв, В. С. Терещенко // Пробл. програмув. - 2007. - № 1. - С. 31-37. - Бібліогр.: 11 назв. - укp.

Запропоновано підхід до проектування архітектури територіально-розподілених, ієрархічно-організованих інформаційних систем (ІС), який, завдяки багатоаспектній декомпозиції організаційної структури та інформаційного поля функціональної діяльності об'єкта автоматизації і структури ідеалізованої ІС на складові елементи, дозволяє спроектувати необхідну за складом структурних компонентів архітектуру системи.


Індекс рубрикатора НБУВ: З970.41-02

Рубрики:

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

      
Категорія:    
3.

Алексеєв В. А. 
Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі / В. А. Алексеєв, С. А. Ільїн, В. С. Терещенко // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 548-559. - Бібліогр.: 11 назв. - укp.

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


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

Рубрики:

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

      
Категорія:    
4.

Алексеєв В. А. 
Міжвідомчі інформаційно-телекомунікаційні системи як результат реалізації цільових програм щодо обміну інформаційними ресурсами між державними органами / В. А. Алексеєв, В. С. Терещенко // Пробл. програмув. - 2009. - № 2. - С. 50-66. - Бібліогр.: 22 назв. - укp.

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


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

Рубрики:

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

      
Категорія:    
5.

Алексеєв В. А. 
Стан та перспективи розвитку інформатики в Україні : монографія / В. А. Алексеєв, Н. І. Алішов, П. І. Андон, А. В. Анісімов, Л. Б. Баран, В. М. Бєлов, В. П. Боюн, В. М. Булавацький, С. Г. Бунін, В. Я. Валах; НАН України. - К. : Наук. думка, 2010. - 1006 c. - укp.

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

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


Індекс рубрикатора НБУВ: З81 е(4УКР) + З970 е(4УКР)

Рубрики:

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

      
Категорія:    
6.

Алексеєв В. А. 
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В. А. Алексеєв, В. С. Терещенко // Пробл. програмув. - 2009. - № 4. - С. 33-48. - Бібліогр.: 19 назв. - укp.

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


Індекс рубрикатора НБУВ: З973-018.11

Рубрики:

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

      
Категорія:    
7.

Алексеєв В. В. 
Моделювання теплової ізоляції будівель / В. В. Алексеєв, К. В. Зубкова // Пр. Тавр. держ. агротехнол. ун-ту. - 2010. - 7, вип. 10. - С. 339-342. - Бібліогр.: 2 назв. - укp.

Приведено алгоритм розрахунку теплової ізоляції будівель.


Індекс рубрикатора НБУВ: Н113.6

Рубрики:

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

      
Категорія:    
8.

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

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


Індекс рубрикатора НБУВ: З973-018.14

Рубрики:

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

      
Категорія:    
9.

Алексеєв В. А. 
Реєстрація та облік інформації про події у спеціалізованих інформаційно-телекомунікаційних системах / В. А. Алексеєв, А. П. Кузміч, В. С. Терещенко // Пробл. програмув. - 2011. - № 1. - С. 49-62. - Бібліогр.: 19 назв. - укp.

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


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

Рубрики:

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

      
Категорія:    
10.

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

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


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

Рубрики:

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

      
Категорія:    
11.

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

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


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

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

      
Категорія:    
12.

Алексеєв В. А. 
Рольова функціональність суб'єктів експертизи програмного забезпечення інформаційно-телекомунікаційних систем / В. А. Алексеєв, В. С. Терещенко // Пробл. програмув.. - 2013. - № 1. - С. 23-44. - Бібліогр.: 17 назв. - укp.

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


Індекс рубрикатора НБУВ: З973-018.10

Рубрики:

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

      
Категорія:    
13.

УкрПрогАсп-2022-1. 1-а конференція молодих вчених з програмування (26.10.2022, Київ) = UkrProgAsp 2022-1. 1st Conference of Young Scientists in Programming (26.10.2022, Kyiv) : зб. матеріалів / ред.: І. П. Сініцин, П. І. Андон, В. Л. Шевченко, А. Ю. Дорошенко, Р. М. Федоренко, Р. Д. Григорян, Д. С. Берестов, В. А. Алексеєв, С. В. Поперешняк, П. М. Складанний; Інститут програмних систем, Національна академія наук України. - Київ : ІПС НАНУ, 2022. - 28 c. - Бібліогр. в кінці ст. - укp.

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


Індекс рубрикатора НБУВ: З973-018 я431(4УКР)

Рубрики:

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

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