Логический подход к интеграции программных приложений поддержки междисциплинарных научных исследований

У статті пропонується підхід до інтеграції програмних застосувань на прикладі функціонування Світової системи даних. Авторами розроблено загальну архітектуру системи інтеграції програмних застосувань, механізми якої побудовані на базі моделей та методів математичної логіки і теорії штучного інтелекту. Визначено формальну мову для описання застосувань, правила виведення для побудови схем взаємодії методів застосувань і обміну даними. Працездатність підходу продемонстрована на одній із задач забезпечення сталого розвитку регіонів України.The paper proposes an approach to the solution of software applications integration problem dealing with the support of interdisciplinary research on the example of the functioning of World Data System using the apparatus of mathematical logic and the theory of artificial intelligence. The authors proposed the overall architecture of the system integration, a formal language for description of existing applications and their functionalities. The inference rules were formulated that define the implementation circuit of application methods and data exchange in the users’ tasks solution process and the algorithm of the mechanism work dealing with the building of the users’ tasks tree solution based on the received output was designed. The proposed approach and the developed models and algorithms are illustrated with the help of the life safety component calculation task and indication of the threat critical values for the analysis of Ukrainian regions sustainable development, and this analysis is carried out annually by the World Data Center for Geoinformatics and Sustainable Development on behalf of the Committee on the systematic analysis of the Ukrainian NAS Presidium.В статье предлагается подход к интеграции программных приложений на примере функционирования Всемирной системы данных. Авторами разработана общая архитектура системы интеграции программных приложений, механизмы которой построены на базе моделей и методов математической логики и теории искусственного интеллекта. Определен формальный язык для описания приложений, правила вывода для построения схем взаимодействия методов приложений и обмена данными. Работоспособность подхода продемонстрирована на одной из задач обеспечения устойчивости развития регионов Украины

Storage and display curricula of the department using diagram’s view for web application “IST Syllabi”

Curricula and syllabus – are the main parts of each educational process in every institute, university, school etc., as so there are a lot of materials, research exist for creating methods of clarification curricula and best representation of syllabi for each person related to educational process or who will be involved in the future. Syllabi defines the mainstream and provides all necessary information for each discipline and for curricula. In educational process very important to have fast mechanism to search syllabus for each discipline, but not only. As syllabuses are strongly connected to curricula, we need a curricula management system to be implemented as well. Among all semesters, specialty, courses, forms and other data provide for curricula mechanism to monitor not only schedule, but department program needs to be developed. The main task of educational units is not only to facilitate the work of the teaching staff, timely provision of students with the necessary information on training, as well as improving the interaction of departments and institutes with each other, but to clarify educational process as well. You can cope with this task by creating a resource that will contain updated, relevant data on curricula in various disciplines studied at the departments. With this service, all students, teachers, and others have the opportunity to learn all the current and past curricula of each stream and semester. An important task is to navigate and correctly represent syllabus information and it better to be done as WIKI-document – wellstructured, referenced and quick navigation inside of text. Current material provides a mechanism to demonstrate curriculum diagram for some department for each year of education. Based on modern technology mechanism was implemented in Faculty of Informatics and Computer Science of the National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” department of Information Systems and Technologies WEB-site and added quick search, using main attributes to monitor necessary syllabi as well. The system includes partially syllabus and curricula management system elements. For using WIKI-document view markdown structured document was used to generate each syllabus for provided system

Functional characterization of the evolutionarily divergent fern plastocyanin

De functie van eiwitten die betrokken zijn bij insulinewerking en glucose hemeostrase en de rol van genetische varianten hierin bij de ontwikkeling van type 2 diabete

Data synchronization in distributed information systems

В статті запропоновано механізм синхронізації даних у розподілених системах з урахуванням типів роботи з таблицями та інтеграцією елементів версійності даних. Дослідження присвячено вирішенню завдання підтримки актуальності даних на окремих вузлах розподіленої системи. Проаналізовано особливості роботи розподіленої системи, в рамках якої кожен окремий вузол має локальну копію даних, з якими він працює, та періодично синхронізує данні з центральним сервером. Запропоновано загальний підхід для вирішення проблеми забезпечення актуальності та несуперечливості стану даних кожного користувача системи засобами ведення контролю версій даних та вирішення конфліктів, що виникають в процесі проведення синхронізації. Розглянуто моделі, що використовуються для реалізації підходу.In the article proposes a data synchronization mechanism in distributed systems based on the types of work with tables and the integration of data versioning elements. Investigation focused on solving tasks support the relevance of the data on the individual nodes of a distributed system. Analyzed the distributed system features in which each individual node has a local copy of the data with which it works and periodically synchronize data with a central server. A general approach has been proposed to solving the problem of ensuring relevance and coherence state of the information for each user of the system by means of doing versioning control of data, recording the changed data and resolving conflicts that arise in the process of synchronization. The models used for the approach implementation have been considered