ПЕРСОНАЛЬНІ БАЗИ ДАНИХ ТА ЗНАНЬ ВІРТУАЛЬНИХ ДОСЛІДНИЦЬКИХ СПІЛЬНОТ
Journal Title: Науковий вісник НЛТУ України - Year 2017, Vol 27, Issue 6
Abstract
Досліджено процеси набуття та управління персональними даними і знаннями, а також комунікації в межах віртуальних дослідницьких спільнот. Розглянуто поняття віртуального наукового колективу та особливості захисту інформації у налагодженні процесів комунікації в ньому. Висвітлено проблеми в організації ефективної комунікації між учасниками віртуальних дослідницьких спільнот, що породжені відсутністю цілісного технологічного рішення, яке забезпечило б надійність, приватність, швидкодію та структурованість потоків інформації, даних і знань. Запропоновано принципово новий підхід до проектування платформ комунікації, що ґрунтується на ідеях децентралізації та крипто-безпеки. Проаналізовано методологічні відмінності між поняттями "інформація", "дані" та "знання". Висвітлено сучасний підхід до здійснення міркування в онтологічній моделі подання знань, що ґрунтується на використанні апарату теорії типів та асистента доведення теорем Coq. Структуровано подано відношення між логікою та теорією типів, а також наведено спосіб подання основних елементів онтології формальною мовою системи Coq. Розглянуто приклад здійснення міркування з використанням мови тактик Ltaс над фрагментом онтології, що описує певні відношення з предметної області функціонування віртуальних дослідницьких спільнот. Вказано шляхи та інструменти здійснення подальшого дослідження.
Authors and Affiliations
Н. Е. Кунанець, В. С. Ленько, Пасічник В. В. , Ю. М. Щербина
Keywords
Related Articles
- EP ID EP252274
- DOI 10.15421/40270638
- Views 106
- Downloads 0
ДЕНДРОФЛОРА БАЛКИ ШИРОКА (ОСТРІВ ХОРТИЦЯ)
Байрачні ліси Запорізької обл. відносять до байраків порожистої частини Дніпра. Вони мають важливе кліматичне та ґрунтозахисне значення, у них трапляються представники лісових, степових, лугових фітоценозів, часто – рідк...
ВПЛИВ ТЕХНОГЕННИХ ФАКТОРІВ НА ЗМІНУ ФЕНОЛОГІЧНИХ ФАЗ ВУЛИЧНИХ ДЕРЕВНИХ НАСАДЖЕНЬ МІСТА ХМЕЛЬНИЦЬКОГО
Динаміка росту та розвитку рослин залежить від впливу сезонних змін кліматичних умов та низки техногенних факторів, що зумовлюють підвищення рівня забруднення повітря, ґрунтів і водних систем міського середовища тощо. Пр...
THE ALTERNATIVE GREENIZATION OF THE RESIDENTIAL AREA IN KYIV CITY
Green infrastructure of modern cities is an essential element of city planning, which provides recreational facilities and performs environmental functions, namely climate regulation, pollution and noise retention, ecolo...
КОТЕЛЬНЯ НА ОСНОВІ УДОСКОНАЛЕНОЇ ПАЛИВНІ ПІДВИЩЕНОЇ ЕФЕКТИВНОСТІ
Для забезпечення технологічності виготовлення обладнання котельні, скорочення обсягу монтажних робіт, підвищення рівня ремонтопридатності і зручності обслуговування, а також ефективності, обладнання котельні запропонован...
ДИНАМІКА ЗАПАСІВ І ПЛОЩ ГОЛОВНИХ ЛІСОТВІРНИХ ПОРІД КИЇВСЬКОЇ ОБЛАСТІ
Важливим показником оцінки лісостану є його продуктивність, тому важливою проблемою лісового господарства є питання з підвищення продуктивності лісів. Проведено аналіз та виявлено закономірності збільшення основних показ...