Бази даних

Автореферати дисертацій - результати пошуку

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (8)Наукова електронна бібліотека (157)Реферативна база даних (817)Книжкові видання та компакт-диски (68)Журнали та продовжувані видання (2)
Пошуковий запит: (<.>K=ФАЙЛ$<.>)
Загальна кількість знайдених документів : 31
Представлено документи з 1 до 20
...

      
1.

Чаплагін М.П. 
Інформаційні технології пошуку та зберігання даних про графічні об'єкти на основі їх семантики: автореф. дис... канд. техн. наук: 05.13.06 / М.П. Чаплагін ; Нац. ун-т "Львів. політехніка". — Л., 2008. — 19 с. — укp.

Досліджено питання організації пошуку даних про графічні об'єкти у сховищі даних на основі їх семантики для потреб оператора АСУ та розробки методів зберігання таких даних. Сформульовано основні підходи до вирішення проблеми зменшення потоків даних у системі управління потоками даних й організації пошуку графічних об'єктів їх заміною даними про графічні об'єкти. Розроблено метод подання таких даних про графічні об'єкти, метод визначення повноти та достатності словника графічних об'єктів, метод визначення семантичної значущості та семантичної суперечності елементів їх опису. Сформовано словник графічних елементів, серед яких визначено лінію, криву, коло, "майже" коло, трикутник, "майже" трикутник, чотирикутник, багатокутник, "майже" багатокутник. Такий словник дозволяє організувати швидкий і ефективний пошук даних про графічні об'єкти з використанням розробленого алгоритму фільтрації семантичних описів графічних об'єктів. Розроблений метод подання даних про графічні об'єкти дозволяє зменшити розмір файлів, що передаються між блоками системи для подальшої обробки, до 10-ти разів. Ефективність першого семантичного фільтра наближається до 90 %, другий семантичний фільтр визнаний неефективним. Використання в алгоритмі пошуку тільки першого та третього семантичних фільтрів дозволило зменшити час пошуку удвічі без втрати результату.

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.6-015 +
Шифр НБУВ: РА360571

Рубрики:

      
2.

Шарій Т. В. 
Інформаційна технологія обробки мовних даних на основі нечітких когнітивних моделей: автореф. дис. ... канд. техн. наук: 05.13.06 / Т. В. Шарій ; Донец. нац. ун-т. — Донецьк, 2011. — 20 с. — укp.

Розглянуто питання розв'язання наукової задачі підвищення якості автоматичного розпізнавання слів у мовному сигналі (МС). Проаналізовано проблему побудови автоматичних систем розпізнавання мови. Наведено альтернативну схему обробки МС, що базується на багаторівневому врахуванні акустичної інформації про сигнал. Розроблено й експериментально обгрунтовано метод автоматичної сегментації МС, що враховує, поряд зі швидкістю зміни MFCC-кепстра, ступінь кепстральної гладкості ділянки сигнала. Викладено підхід до зважування мовних сегментів на основі просодичних параметрів сигнала й урахування ваг на етапі постобробки. Описано модель звукового образу фонеми на основі перетворення Карунена - Лоева. Розроблено нечітку когнітивну модель FCAS постобробки МС, що містить сітку елементарних фонетичних процесорів ознакового, фонемного та словесного рівней. Прийнято рішення щодо розпізнаного слова на основі вихідних значень процесорів. Експериментально встановлено, що запропоновані моделі й методи зменшують кількість помилок розпізнавання слів. Розроблено інформаційну технологію та програмний комплекс CogniSPEECH розпізнавання мовних команд і пошуку ключових слів у файлах. Досліджено характеристики системи, доведено доцільність її застосування у програмах голосового набору телефонних номерів, мовного керування роботом і пошуку слів у мовних файлах.

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.664-01
Шифр НБУВ: РА380851 Пошук видання у каталогах НБУВ 

Рубрики:

      
3.

Хаб Раман Х. А. 
Інформаційна технологія реконструкції форм просторових об'єктів за фотограмметричними сигналами їх подання / Х. А. Хаб Раман. — Б.м., 2021 — укp.

На сьогодні одним із ключових напрямків досліджень у галузі телекомунікацій є завдання стиснення даних для забезпечення їхньої ефективної передачі по каналах зв'язку, які мають обмежену пропускну здатність.Для вирішення цього завдання необхідно розробляти високоефективні методи і алгоритми зменшення надмірності вихідних даних, які передаються по каналах зв`язку.Дисертаційна робота присвячена вирішенню важливого і актуального питання у галузі сучасних телекомунікаційних систем - розробленню методики, математичних моделей та ефективних технологій формування та зменшення надмірності тривимірних зображень, які передаються по каналах зв`язку.У дисертаційній роботі вирішено важливу науково-практичну задачу у галузі моделювання – запропоновано дискретну матричну модель (ДММ) подання просторових об'єктів для задач синтезу, реконструкції і аналізу їх форми. Модель побудовано на основі дискретних даних про об'єкт, якими, наприклад, є растрові зображення або данi з просторових сканерів. На відміну від подібних воксельних моделей, матричні моделі описують не об'єм, а поверхні об'єктів і зберігаючи перевали воксельних моделей, такі як простота і регулярність структури, усувають властиву їм надмірність. У роботі показано, що, зберігаючи інформацію про форму, достатню для візуалізації об'єкта, матрична модель може займати в 4-8 разів менший об'єм пам'яті порівняно з воксельною (порівняння проводилося для моделей у форматі VOX пакета MagicaVoxel). Встановлено умови, за яких матрична модель залишається економнішою за воксельну і показано, що ці умови виконуються для практично значимих випадків.У процесі виконання роботи вперше отримано такі наукові результати.У дисертаційній роботі запропоновано методику доступних і недорогих технологій формування тривимірних зображень багатоповерхових будівель, в якій для визначення висоти будівлі використовуються супутникові знімки надвисокої просторової роздільної здатності.У дисертаційній роботі було вирішено важливу науково - практичну задачу в області зменшення надмірності тривимірних зображень - запропоновано дискретну матричну модель представлення просторових об'єктів, яка дозволяє істотно зменшити розмір файлів, що передаються по каналах зв'язку.Також результатом представленої роботи є побудована матрична модель, яка, також як і існуючі воксельні моделі, ґрунтуючись на дискретності вихідних даних про об'єкт, на відміну від останніх, враховує тільки форму поверхні просторового тіла і тим самим усуває надмірність, пов'язану з необхідністю зберігання інформації про об'єм об'єкта.Порівняння запропонованої матричної моделі для представлення тих просторових об'єктів, що й воксельні моделі у форматі VOX, використовуваному в пакеті MagicaVoxel, підтверджує їхню економічність. Залежно від конкретної форми, ДМ вимагає об'єму пам'яті, який в 4-8 разів менше, ніж для ВМ.До обмежень запропонованої моделі належить відсутність врахування прозорості, що долається у воксельних моделях шляхом використання вокселей різної оптичної щільності. Дане питання потребує опрацювання в подальших дослідженнях.У результаті, одним із напрямків майбутніх досліджень є знаходження ефективного перетворення матричної моделі в опис форми на підставі графічних примітивів сучасних систем моделювання (наприклад, Blender) або бібліотек візуалізації (наприклад, OpenGL). Крім того, вивчення вимагають перспективи використання запропонованої ДММ у додатках, що використовують аналіз поверхні об'єктів для їхньої реконструкції та ідентифікації.^UToday, one of the key areas of research in the field of telecommunications is the task of compressing multidimensional data sets to ensure their efficient transmission over communication channels that have limited bandwidth.To solve this problem, it is necessary to develop highly effective methods and algorithms for reducing the redundancy of multidimensional data arrays transmitted over communication channels.The dissertation work is devoted to the decision of an important and actual question in the field of modern telecommunication systems - to development of a technique, mathematical models and effective technologies of formation and reduction of redundancy of the three-dimensional images which are transferred on communication channels.In the dissertation the important scientific and practical problem in is solved branches of modeling - The discrete matrix model of representation of spatial objects for problems of synthesis, reconstruction and the analysis of their form is offered. The model is based on discrete data about the object which, for example, are raster images or readings of spatial scanners. In contrast to such voxel models, matrix models do not describe the volume but the surface of objects, and while maintaining the advantages of voxel models, such as simplicity and regularity of structure, eliminate their inherent redundancy. It is shown that by storing information about the form sufficient for object visualization, the matrix model can occupy 4-8 times less memory compared to voxel (the comparison was made for models in the VOX format of the MagicaVoxel package). The conditions under which the matrix model remains more economical than the voxel model is established, and it is shown that these conditions are fulfilled for practically significant cases.In the process of performing the work for the first time the following scientific results were obtained.In the dissertation work the technique of accessible and inexpensive technologies of formation of three-dimensional images of multistory buildings in which for definition of height of the building is offered, ultra-high spatial resolution satellite images are used.In the dissertation work the important scientific and practical problem in the field of reduction of redundancy of three-dimensional images was solved - the discrete matrix model of representation of spatial objects which allows to reduce the size of the files transferred on communication channels is offered.Also, the result of the presented work is a matrix model, which, as well as existing voxel models, based on the discreteness of the original data about the object and their simplicity, in contrast to the latter, takes into account only the surface shape of the spatial body and thus eliminates redundancy. associated with the need to store information about the volume of the object.Comparison of the proposed matrix model to represent those spatial objects as voxel models in VOX format used in the MagicaVoxel package, confirms their cost-effectiveness Depending on the specific form, DM requires a memory volume that is 4-8 times less than for VM.The limitations of the proposed model include the lack of accounting for transparency, which is overcome in voxel models by using voxels of different optical densities. This issue needs to be addressed in further research.As a result, one of the areas of future research is to find an effective transformation of the matrix model into a description of the form based on graphical primitives of modern modeling systems (by the way, Blender) or visualization libraries (by the way, OpenGL).In addition, the studies require the prospects of using the proposed DMM in applications that use the analysis of the surface of objects for their reconstruction and identification.


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

      
4.

Лисенко С. М. 
Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм: автореф. дис. ... канд. техн. наук : 05.13.06 / С. М. Лисенко ; Терноп. нац. екон. ун-т. — Т., 2010. — 20 с.: a-рис. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З973-018.025
Шифр НБУВ: РА377687 Пошук видання у каталогах НБУВ 

Рубрики:

      
5.

Жогов В. С. 
Адміністративно-правові засади забезпечення в Українізахисту об'єктів авторських і суміжних прав, що виражені у цифровій формі. / В. С. Жогов. — Б.м., 2021 — укp.

Дисертація присвячена дослідженню адміністративно-правових засадзабезпечення в Україні захисту об'єктів авторських і суміжних прав, щовиражені у цифровій формі. Висвітлено загальнотеоретичні та практичніпитання забезпечення захисту об'єктів авторських і суміжних прав, щовиражені у цифровій формі.Досліджено історичний шлях інституту захисту авторських і суміжнихправ на території сучасних країн, таких як Україна, США, країн ЗахідноїЄвропи. Звернено особливу увагу на розвиток адміністративно-правовихвідносин щодо захисту цифрових об'єктів авторських і суміжних прав.Автором наголошено, що право інтелектуальної власності є однією знайдавніших складових суспільно-правових відносин, і проблеми, щостосуються цієї галузі права, часто виходили на перший план уєвропейському суспільстві. Необхідність захищати інтелектуальну власністьвиникала через бажання авторів зберегти право отримувати вигоду зі своготвору, а також через постійні випадки зазіхання на продукціюінтелектуальної власності. Незважаючи на те, що проблема праваінтелектуальної власності та її захисту була завжди досить актуальною,античність і середньовіччя не знали універсальних кодексів, які бзабезпечували відповідне правове підґрунтя права інтелектуальної власності.Аргументовано, що новий час і суттєвий прогрес у виробництвіпризвели до розгалуження права інтелектуальної власності, оскільки виникаєнеобхідність регулювати ускладнені правовідносини як у сфері промисловихвинаходів, так і в сфері авторського права на художні твори. З розвиткомміжнародних відносин система реєстрації авторських прав ускладнюється таглобалізується, виникають міжнародні інститути регулювання правовідносину сфері інтелектуальної власності. Поступовий розвиток цієї сфери триваєдосі та буде тривати в подальшому через постійний розвиток технологійвиробництва та трансляції інформації.Досліджено особливості правового регулювання існування об'єктівавторських і суміжних прав, що виражені у цифровій формі. Авторомнаголошено, що об'єкти авторського права, що виражені у цифровій формі,виступають в якості інформації, яка поширюється каналами зв'язку, аправова регламентація захисту та обіг такої інформації відноситься допредметної сфери інформаційного права. Це вимагає включення до складусуб'єктів інформаційних правовідносин не тільки авторів, правовласників таінших осіб, які безпосередньо беруть участь у створенні, поширенні івикористанні творів, а й суб'єктів, які забезпечують технічну сторонуінформаційного обміну.Обґрунтовано висновок, що природа об'єктів авторських і суміжнихправ, що виражені у цифровій формі дещо ширша за межі авторського права,це висуває додаткові вимоги до правового регулювання їх обігу і захисту всилу того, що такі вимоги виходять також й за межі інформаційного права.Наявність таких особливостей, а також однорідних суспільних відносин, щовиникають з приводу створення, поширення і використання творівлітератури, науки і мистецтва, що виражені в цифровій формі та захистутаких об'єктів в технічно складному та наукоємному глобальномуінформаційному середовищі, є вагомою підставою для виникнення окремогоінституту захисту таких об'єктів, а саме інституту захисту авторських ісуміжних прав на об'єкти, що виражені в цифровій формі.Встановлено, що основними принципами захисту авторських ісуміжних прав на об'єкти, що виражені в цифровій формі, які реалізуютьсяінформаційно-правовими способами є: принцип транскордонності татранспарентності глобального інформаційного середовища; принципвідповідальності учасників інформаційного обміну за незаконне розміщенняматеріалів, що захищаються авторським правом в інформаційному просторі;принцип обмеженої відповідальності оператора зв'язку за зберігання тапередачу інформації, яка захищається авторським правом, без дозволу їїправовласників; принцип можливості обмеження доступу до інформації длязахисту законних інтересів авторів і правовласників .Досліджено існуючий на сьогоднішній день стан захисту авторських ісуміжних прав на національному та міжнародному рівнях. Міжнароднийдосвід свідчить про необхідність використання принципово нових підходівдо правового регулювання в даній сфері. При цьому деякими країнами,такими, як ФРН, США, Франція були вироблені необхідні правовіінструменти, які слід імплементувати в українське національне право,наприклад, законодавче регулювання діяльності сервіс-провайдерів,файлообмінних сервісів та ін.Встановлено, що правовий супровід інтелектуальної діяльності тазахист прав творчої особистості або винахідника у міжнародномузаконодавстві достатньо широко представлений та чітко структурований.Процес удосконалення нормативної бази зазначеної сфери розпочався ще уХІХ ст., але досконалості набув у ХХІ ст., коли суспільство стикнулися ізстрімкими глобалізаційними змінами.^UThe dissertation is devoted to the research of administrative and legal basesof ensuring in Ukraine protection of objects of copyright and related rights, whichare expressed in digital form. The general theoretical and practical issues ofensuring the protection of copyright and related rights, expressed in digital form,are covered.The historical way of the institute of protection of copyright and relatedrights on the territory of modern countries, such as Ukraine, the USA, the countriesof Western Europe is investigated. Particular attention is paid to the developmentof administrative and legal relations for the protection of digital objects ofcopyright and related rights.The author emphasizes that intellectual property law is one of the oldestcomponents of social and legal relations, and problems related to this area of lawhave often come to the fore in European society. The need to protect intellectualproperty arose because of the authors' desire to retain the right to benefit from theirwork, as well as through constant cases of encroachment on intellectual propertyproducts. Despite the fact that the problem of intellectual property rights and itsprotection has always been quite relevant, antiquity and the Middle Ages did notknow universal codes that would provide the appropriate legal basis for intellectualproperty rights.It is argued that new times and significant progress in production have led tothe branching of intellectual property rights, as there is a need to regulate complexlegal relations in the field of industrial inventions and in the field of copyright inworks of art. With the development of international relations, the system ofcopyright registration is becoming more complex and globalized, there areinternational institutions for regulating legal relations in the field of intellectualproperty. The gradual development of this area continues to this day and willcontinue in the future through the constant development of technologies for theproduction and transmission of information.The peculiarities of legal regulation of the existence of objects of copyrightand related rights, expressed in digital form, are studied. The author emphasizesthat the objects of copyright, expressed in digital form, act as informationdisseminated through communication channels, and the legal regulation ofprotection and circulation of such information belongs to the subject area ofinformation law. This requires the inclusion in the subjects of information relationsnot only authors, rightholders and others who are directly involved in the creation,distribution and use of works, but also entities that provide the technical side ofinformation exchange.The conclusion is substantiated that the nature of objects of copyright andrelated rights, expressed in digital form, is somewhat wider than copyright, it putsforward additional requirements to the legal regulation of their circulation andprotection due to the fact that such requirements also go beyond information law.The presence of such features, as well as homogeneous social relations arisingfrom the creation, dissemination and use of works of literature, science and art,expressed in digital form and the protection of such objects in a technicallycomplex and science-intensive global information environment, is a good basis forthe emergence of a separate institution for the protection of such objects, namelythe institution for the protection of copyright and related rights to objects expressedin digital form.It is established that the main principles of protection of copyright andrelated rights to objects expressed in digital form, which are implemented ininformation and legal ways are: the principle of cross-border and transparency ofthe global information environment; the principle of responsibility of participantsof information exchange for illegal placement of materials protected by copyrightin the information space; the principle of limited liability of the communicationoperator for the storage and transmission of information protected by copyright,without the permission of its copyright holders; the principle of the possibility ofrestricting access to information to protect the legitimate interests of authors andright holders.The current state of copyright and related rights protection at the nationaland international levels has been studied. International experience shows the needto use fundamentally new approaches to legal regulation in this area. At the sametime, some countries, such as Germany, the United States, and France, havedeveloped the necessary legal instruments that should be implemented intoUkrainian national law, such as legislative regulation of service providers, filesharing services, and others.


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

      
6.

Опанасенко В.М. 
Архітектурно-структурна організація, розробка і застосування реконфігуровних пристроїв на базі ПЛІС: Автореф. дис... д-ра техн. наук: 05.13.05 / В.М. Опанасенко ; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2007. — 32 с. — укp.

Розроблено теоретичні засади побудови та проектування реконфігурованих пристроїв на базі програмованих логічних інтегральних схем (ПЛІС). Створено нові формалізовані методики побудови та динамічної перебудови архітектури та структури цифрових пристроїв з високим ступенем реконфігурованості з урахуванням властивостей реалізованих алгоритмів, логічних, конструктивних і технологічних особливостей ПЛІС, а також інструментальних засобів їх проектування. Розроблено теорію адаптивних логічних мереж, призначених для розв'язання широкого класу задач шляхом безпосередньої структурної реалізації алгоритмів обробки та прямого відображення вхідних даних у вихідні шляхом функціонального та структурного налаштування універсальних компонентів мережі. Розроблено алгоритми синтезу адаптивних логічних мереж на задані класи задач. Запропоновано методику проектування засобів обчислювальної техніки з використанням стандартизованих САПР ПЛІС, на базі якої розроблено структуру реконфігурованого процесора, що реалізує конвеєрний/паралельний принцип обробки даних, з відкритою бібліотекою файлів конфігурації для базових блоків, зокрема, межового пристрою, суматра Хемінга, пристроїв сортування, медіанних фільтрів, пристроїв множення матриць. Розглянуто питання організації обчислювального процесу в системах зі спеціалізованою та проблемно-орієнтованою конфігурацією.

  Скачати повний текст


Індекс рубрикатора НБУВ: З844.150.2 +
Шифр НБУВ: РА348646

Рубрики:

      
7.

Скрипник А. В. 
Використання інформації з електронних носіїв у кримінальному процесуальному доказуванні. / А. В. Скрипник. — Б.м., 2021 — укp.

У роботі досліджено проблемні теоретичні і практичні аспекти використання інформації з електронних носіїв у кримінальному процесуальному доказуванні. Автором проведено огляд наявних у науковій літературі доробок описаної проблематики і виокремлено найбільш перспективні напрями наукових пошуків. Проведено дослідження найбільш цінного з компаративістської точки зору зарубіжного досвіду використання інформації з електронних носіїв як доказів у кримінальному процесі, виокремлено найбільш раціональні практики та висловлено пропозиції, спрямовані на вдосконалення нормативного та правозастосовного компонентів.У дисертації проаналізовано запропоновані наукою і практикою терміни для позначення предмету дослідження, критично осмислено їхню обґрунтованість та запропоновано вживання найбільш раціонального з технічної і філософської точок зору терміну. Доведено, що категорії «дані», «інформація», «відомості», «знання» не є тотожними та синонімічними, як і прикметникові варіанти «цифровий», «електронний», «комп'ютерний», «машинний». Запропоновано такий терміновжиток: а) цифрові дані – для позначення дискретних сигналів різної природи (магнітних, оптичних, електронних); б) машинні носії, накопичувачі цифрових даних, носії для збереження цифрових даних – для позначення технічних засобів, призначених для передачі цифрових сигналів у часі і просторі; в) цифрова інформація – для позначення збережуваної (статичної) і представленої (динамічної) у формі файлу (на фізичному і логічному рівнях) цілісної сукупності даних, які мають смисл у вигляді, придатному для сприйняття людиною; г) носій цифрової інформації – для позначення файлу.Значна увага у роботі приділена характерним рисам цифрової інформації, які доцільно класифікувати у такий спосіб: 1) ознаки, які випливають із сутності цифрової інформації, що пов'язані: а) із самою інформацією; б) з її носієм; 2) ознаки цифрової інформації, які проявляються у доказуванні (ознаки цифрового доказу). З огляду на виокремлені ознаки автором запропоновано вважати цифровим доказом: а) цифрову інформацію, почерпнуту шляхом відтворення з використанням технічних засобів змісту файлу, збережуваного на носії цифрових даних (теоретичне визначення); б) цифрову інформацію, отриману у передбаченому КПК порядку, на підставі якої дізнавач, слідчий, прокурор, слідчий суддя і суд встановлюють наявність чи відсутність фактів та обставин, що мають значення для кримінального провадження та підлягають доказуванню (нормативне визначення). Джерелом цифрового доказу варто вважати носій цифрової інформації – файл.Автором наголошено на тому, що у науці і практиці відсутнє єдине розуміння місця цифрових доказів в системі процесуальних джерел: висловлюються аргументи як на користь віднесення до традиційних (речові докази, документи), так і на користь виділення окремої групи процесуальних джерел (цифрових чи електронних доказів). З огляду на правову природу цифрового доказу та найбільш ефективний спосіб його використання у доказовій діяльності аргументовано виділення носіїв цифрової інформації в окреме процесуальне джерело доказів.У контексті визначення категорій «оригінал», «дублікат», «копія» щодо цифрової інформації автор доводить потребу використання диференційованого підходу: а) у теоретичній, нормативній та практичній площинах; б) з точки зору чинного закону (de lege lata) та такого, прийняття якого бажане (de lege ferenda). З точки зору чинної редакції КПК носії цифрової інформації, за загальним правилом, мають бути представлені в оригіналі, а виключення допускаються лише у прямо передбачених законом випадках. З точки ж зору перспективного закону, найбільш вдалою видається диференціація, що передбачає виділення: 1) цифрового оригіналу – а) для електронного документа – файл з електронним підписом; б) для іншої цифрової інформації – файл, створений найпершим з представлених, до якого не вносилися зміни, не пов'язані з його створенням (визнається допустимим і достовірним (заслуговує на найбільшу процесуальну довіру); 2) цифрового дублікату – це файл, створений пізніше за оригінал, але зміни до якого були внесені тільки у зв'язку з копіюванням (тобто сама цифрова інформація залишилась незмінною) (підтверджується обчисленням контрольної суми оригіналу і дублікату, обрахованої після копіювання і збереженої в окремому файлі; цифровий дублікат має визнаватися оригіналом і використовуватися у доказуванні на рівних з ним засадах); 3) цифрової копії – а) скопійований файл без підтвердження автентичності (без хеш-суми); б) електронне або паперове відображення змісту файлу (принтскрин, роздруківка тощо) (можуть бути допустимі як доказ лише у разі неможливості доступу до оригіналу/дублікату та підтвердження достовірності відображення за допомогою інших процесуальних джерел доказів).^UThe dissertation investigates the problematic theoretical and practical aspects of the use of information from electronic media within criminal procedural evidence. The author reviews the scientific works on the described issues and identifies the most promising directions of scientific research. Due to comparative point of view the most valuable foreign experience in the use of information from electronic media as evidence within criminal proceedings was observed, the most rational practices were highlighted, and the proposals aimed to improving the regulatory and law enforcement components were made. The dissertation analyzes the terms proposed by science and practice, denoting the subject of the research, critically interprets their validity and proposes the use of the most rational ones from a technical and philosophical point of view. It is proved that the categories: "data", "information", "intelligence", "knowledge" are not identical or synonymous, as well as the adjective variants: "digital", "electronic", "computer", "machine". The following terms are proposed: a) digital data – to denote discrete signals of different nature (magnetic, optical, electronic); b) machine media, digital data storage, digital data storage media – to indicate the technical means intended for the transmission of digital signals in time and space; c) digital information – to denote stored (static) and presented (dynamic) in the form of a file (at the physical and logical levels) of a complete set of data that make sense in a form suitable for human perception; d) digital information carrier – to indicate the file. Considerable attention is paid to the characteristic features of digital information, which should be classified as follows: 1) features that follow from the essence of digital information, which are related to: a) the information itself; b) with its carrier; 2) signs of digital information, which are manifested during the evidence (signs of digital evidence). Taking into account the selected features, the author proposes to consider digital evidence: a) digital information obtained by reproducing the contents of a file, stored on digital media (theoretical definition); b) digital information obtained in the way, prescribed by the CPC, on the basis of which the coroner, investigator, prosecutor, investigating judge and court establish the presence or absence of facts and circumstances relevant to criminal proceedings and subject to proof (normative definition). A file (a medium of digital information) should be considered as the source of digital evidence. The author emphasizes that in science and practice there is no common understanding of the place of digital evidence in the system of procedural sources: arguments are made both in favor of traditional (material evidence, documents), and in favor of a separate group of procedural sources (digital or electronic evidence). Due to the legal nature of digital evidence and the most effective way of using it while evidence, the allocation of digital media in a separate procedural source of evidence is argued. In the context of defining the categories "original", "duplicate", "copy" in relation to digital information, the author proves the need in use of a differentiated approach: a) in theoretical, regulatory and practical areas; b) from the point of view of the current law (de lege lata) and the one, whose adoption is desirable (de lege ferenda). In correspondence of the current version of the CPC, digital media, as a general rule, must be presented in the original, and exceptions are allowed only in cases expressly provided by the law. From the point of view of the perspective law, the most successful differentiation provides the following allocation: 1) the digital original – a) for the electronic document – a file with the electronic signature; b) for other digital information – a file created by the first of the submitted ones, to which no changes were made, related to its creation (recognized as valid and reliable (deserves the greatest procedural trust); 2) digital duplicate – is a file, created later of the original, but which have been modified only while coping (vs the digital information itself has remained unchanged), (confirmed by calculating the checksum of the original and duplicate, calculated after copying and saved in a separate file; digital duplicate must be recognized as original and used in proof on an equal footing); 3) digital copy – a) a copied file without authentication (without hash sum); b) electronic or paper display of the file content (print screen, printout, etc.) (may be admissible while evidence only in case of impossibility of access to the original / duplicate and confirmation of the authenticity of the display by the other procedural sources of evidence).


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

      
8.

Кукліна О.Ю. 
Геометричне моделювання елементів проточних частин діагональних турбомашин: Автореф. дис... канд. техн. наук: 05.01.01 / О.Ю. Кукліна ; Київ. нац. ун-т буд-ва і архіт. — К., 2003. — 19 с. — укp.

Розроблено методи, алгоритми і програми геометричного моделювання елементів проточних частин турбін діагонального конструктивного оформлення та їх візуалізації на екрані монітора ПЕОМ з застосуванням сучасних досягнень прикладної та обчислювальної геометрії, комп'ютерної графіки в області аналітичного подання кривих і поверхонь складних технічних форм. Запропоновано комплексний підхід до геометричного моделювання рухомих і нерухомих елементів проточних частин турбін діагонального типу. Розглянуто методи геометричного моделювання робочих коліс діагонального типу. Запропонована геометрична модель містить блоки геометричного моделювання меридіональних меж колеса та формування робочих поверхонь лопаток. З використанням методів геометричного моделювання робочих коліс діагональних турбін з невисоким ступенем діагональності розглянуто питання моделювання профілів лопаток осьових ступенів, які входять до конструкцій турбін діагонального типу. Подано методи геометричного моделювання нерухомих елементів діагональних турбомашин (ДТ). Розроблено програми геометричного моделювання та візуалізації елементів проточних частин ДТ для ПЕОМ у системі програмування Borland Pascal 7.0 з формуванням script-файлів і побудовою в автоматичному режимі зображень у графічному пакеті AutoCAD.

  Скачати повний текст


Індекс рубрикатора НБУВ: В181.3 + З363-04е116
Шифр НБУВ: РА326702

Рубрики:

      
9.

Чмерук Г.Г. 
Економіко-математичне моделювання інформаційного забезпечення управління підприємством: Автореф. дис... канд. екон. наук: 08.03.02 / Г.Г. Чмерук ; Львів. нац. ун-т ім. І.Франка. — Л., 2001. — 17 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: У9(4УКР)290-210.301
Шифр НБУВ: РА313996 Пошук видання у каталогах НБУВ 

Рубрики:

Географічні рубрики:

      
10.

Марчук Ю.М. 
Забезпечення регіональних органів управління ситуативною інформацією: бібліографознавчий підхід: Автореф. дис... канд. пед. наук: 07.00.08 / Ю.М. Марчук ; Київ. нац. ун-т культури і мистец. — К., 2003. — 21 с.: рис. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Ч758.41 + Ч238.431.1 +
Шифр НБУВ: РА327345

Рубрики:

      
11.

Пустовіт О. С. 
Застосування теорії екстремальних графів до сучасних проблем інформаційної безпеки / О. С. Пустовіт. — Б.м., 2021 — укp.

Об'єктом дослідження є Марковський процес блукання на алгебраїчних графах та задач дослідження його криптографічних властивостей. Метою дисертаційної роботи є розв'язання нових постквантових задач захисту інформації. Методи дослідження. При вирішенні поставлених задач у дисертаційній роботі було використано методи Екстремальної теорії графів, Теорії скінченних геометрій та Теорії символьних обчислень разом із методами некомутативної криптографії та прикладної алгебраїчної геометрії.Для задач симетричної криптографії (потокове шифрування та створення дайджестів електронних документів) використовувались обчислювальні методи. При дослідженні властивостей (швидкодія, степені змішування) вживались статистичні методи. Новизна: вперше в термінах теорії алгебраїчних графів та графів-експандерів створено криптографічно стійкі постквантові швидкі алгоритми для хешування великих файлів у дайджестy заданих розмірiв, який буде чутливим до будь-яких змін символів у файлі; вперше розроблені алгоритми створення чутливих дайджестів електронних файлів для виявлення кібератак на віртуальні організації з покращеним на 45% показником аваланч ефекту; вперше в термінах Алгебраїчної Геометрії запропоновано нову парадигму, в якій теорія алгебраїчних графів та некомутативна алгебра використовується для розробки та впровадження нових несиметричних інструментів криптографії (протоколи, криптосистеми, інструмент контролю доступу), стійких до кібератак супротивника у постквантову епоху; вперше в термінах теорії алгебраїчних графів створено алгоритми використання напівгрупи над скінченними комутативними кільцями для розробки швидких потокoвих алгоритмів шифрування зi зростаючим простором відкритих текстів; вперше теорію скінченних геометрій використано для створення алгоритмів електронного підпису криптографії від багатьох змінних, які замість публічних ключів використовують протоколи некомутативної криптографії. Впровадження в: Київському університеті імені Бориса Грінченка в рамках навчальних дисциплін «Методи побудови та аналізу криптосистем», «Математичні методи криптографії» та впроваджені в програмно-апаратне забезпечення «Центру технологій захисту інформаційних активів» при розгортанні Лабораторії криптографічного та технічного захисту інформації. ТОВ «Алгорітм –Х» у програмно-апаратне забезпечення при створенні алгоритмів захисту мереж ситуаційних центрів та алгоритмів виявлення кібератак. Сфера використання – кібербезпека.^UThe dissertation, devoted to the solution of a topical scientific and practical problem, reveals the methods of data protection involved in the Big Data call and the first samples of a quantum computer appear. A new class of groups and semigroups of transformations of the affine space K^n is considered, which satisfy the properties of superposition, ie, the possibility of calculating the product of n elements for the polynomial time T (n). These algebraic objects are defined in terms of special graphs defined by the commutative ring K. They are the tool for constructing cryptographic algorithms in the cases K=F_q (finite field), Z_m (arithmetic ring of surpluses modulo m), K=B(m,2) (Boolean ring of size 2^n). The paper describes in detail a new flow symmetric encryption algorithm for the known family of graphs A (n, K) and the corresponding group of cubic transformations of the open text space K^n. The encoding speed O (n) is comparable to the file read speed. With a certain length restriction, different slogans correspond to different ciphers. The properties of mixing were investigated based on the results of computer simulation. It is shown that linearization attacks require O(n^3) plaintext / corresponding ciphertext interceptions. The complexity of the linearization attack is O(n^10). The algorithm is supported by a secure post-quantum protocol, the safety of which is determined by the task of scheduling the transformation of the Cremona group into the product of known generators. Fast, post-quantum stable algorithms for creating digests of electronic documents are offered. New algorithms with a public key defined by transformations from many variables of unlimited degree are described. The properties of new asymmetric El Gamal-type encryption algorithms defined by post-quantum protocols are investigated. New digital signature algorithms are proposed, the security of which is also determined by post quantum protocols of non-commutative cryptography, defined in terms of cryptography from many variables.


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

      
12.

Лобузіна К.В. 
Класифікаційні схеми в лінгвістичному забезпеченні електронних бібліотек: Автореф. дис... канд. техн. наук: 05.13.06 / К.В. Лобузіна ; НАН України. Нац. б-ка України ім. В.І.Вернадського. — К., 2007. — 18 с. — укp.

Досліджено особливості формування, організації та функціонування бібліотечних класифікацій у структурі лінгвістичного забезпечення електронних бібліотек. Досліджено проблему використання традиційних універсальних бібліотечних класифікацій у сучасних інформаційних сервісах. Здійснено розробку й актуалізацію розділів рубрикатора наукової бібліотеки "Кібернетика", "Інформаційна й обчислювальна техніка". Створено авторитетний файл для підтримки рубрикатора наукової бібліотеки, який реалізує механізм семантичної мережі. Розроблено програмні засоби для гіпертекстового представлення бібліотечної класифікації. Запропоновано модель Internet/Internet технології підтримки рубрикатора електронної бібліотеки.

  Скачати повний текст


Індекс рубрикатора НБУВ: Ч737.21 + Ш111 +
Шифр НБУВ: РА351375

Рубрики:

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

Демидович О.В. 
Математичні моделі оптимального розподілу інформаційних ресурсів серед вузлів обчислювальних мереж та методи їх реалізації: Автореф. дис... канд. техн. наук: 01.05.02 / О.В. Демидович ; Нац. ун-т "Львів. політехніка". — Львів, 2001. — 20 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: з970.315
Шифр НБУВ: РА315934 Пошук видання у каталогах НБУВ 

Рубрики:

      
14.

Тичковський Р. О. 
Математичне та програмне забезпечення оптимального розподілу ресурсів серед вузлів комп'ютерних мереж: автореф. дис. ... канд. техн. наук : 01.05.03 / Р. О. Тичковський ; Нац. ун-т "Львів. політехніка". — Л., 2010. — 20 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.31-016
Шифр НБУВ: РА373256 Пошук видання у каталогах НБУВ 

Рубрики:

      
15.

Аль Шибані Салім 
Метод та засоби організації розподілених баз даних в комп'ютерній мережі: Автореф. дис... канд. техн. наук: 05.13.13 / Аль Шибані Салім ; Нац. авіац. ун-т. — К., 2007. — 20 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.612 +
Шифр НБУВ: РА351577

Рубрики:

      
16.

Колісник О.В. 
Метод та засоби підвищення швидкодії мереж зберігання даних: автореф. дис... канд. техн. наук: 05.13.05 / О.В. Колісник ; Нац. авіац. ун-т. — К., 2008. — 20 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.31-013.3 +
Шифр НБУВ: РА362278

Рубрики:

      
17.

Аль-Сурікі Ібрагім Мохаммад Салем 
Метод та засоби розміщення інформаційних файлів в розподіленій обчислювальній системі: автореф. дис... канд. техн. наук: 05.13.05 / Аль-Сурікі Ібрагім Мохаммад Салем ; Нац. авіац. ун-т. — К., 2008. — 20 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.26-015.0 +
Шифр НБУВ: РА360959

Рубрики:

      
18.

Войтенко В.В. 
Методи програмної підтримки складних екологічних моделей та побудова інформаційної системи захисту довкілля: Автореф. дис... канд. техн. наук: 01.05.02 / В.В. Войтенко ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2000. — 20 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Б1ф1,022
Шифр НБУВ: РА309517 Пошук видання у каталогах НБУВ 

      
19.

Сало А.М. 
Методи та засоби конфігурування архітектури програмованих спеціалізованих процесорів: автореф. дис... канд. техн. наук: 05.13.05 / А.М. Сало ; Нац. ун-т "Львів. політехніка". — Л., 2008. — 19 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.7-048 +
Шифр НБУВ: РА361824

Рубрики:

      
20.

Кицун Г.В. 
Методи та засоби підвищення ефективності процесора комп'ютера з простою системою команд: автореф. дис... канд. техн. наук: 05.13.05 / Г.В. Кицун ; Нац. ун-т "Львів. політехніка". — Л., 2009. — 18 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З973-048 +
Шифр НБУВ: РА364787

Рубрики:
...
 

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