PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Таблична інтерпретація темпоральної дескриптивної логіки LTLALC
No full textDescription logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. Thanks to this, conceptual of subject areas modeling has become one of the fields of application of descriptive logics, taking into account the use of inference mechanisms. Conceptual modeling is used to create databases and knowledge bases. A key issue of the subject area modeling is the ability to monitor the dynamics of changes in the state of the subject area over time. It is necessary to describe not only the current actual state of the database (knowledge bases), but also the background. Temporal descriptive logics are used to solve this problem. They have the same set of algorithmic problems that are presented in conventional descriptive logics, but to them are added questions related to the description of knowledge in time. This refers to the form of time (continuous or discrete), time structure (moments of time, intervals, chains of intervals), time linearity (linear or branched), domain (present, past, future), the concept of “now”, the method of measurement, etc. An urgent task today is to create an algorithm for the temporal interpretation of conventional descriptive logics. That is, to show a way in which temporal descriptive logic can be applied to ordinary descriptive logic. The paper presents an algorithm for temporal interpretation of LTL into ALC. Linear, unbranched time is chosen for the description goal. It is presented in the form of a whole temporal axis with a given linear order on it. Only the future tense is considered. The algorithm contains graphic notations of LTL application in ALC: concepts, concept constructors, roles, role constructors, TBox and ABox. Numerous examples are used to illustrate the application of the algorithm.Prombles in programming 2022; 3-4: 216-230тужний механізм, що надає можливість виводу знань із уже існуючих. Завдяки цьому, концептуальне моделювання предмет- них областей, з урахуванням використання механізмів виводу, стало однією з галузей застосування дескриптивних логік. Концептуальне моделювання використовується для створення баз даних та знань. Ключовим питанням при моделюванні предметної області постає можливість відслідковувати динаміку зміни стану предметної області у часі. Тобто, потрібно описати не лише поточний актуальний стан бази даних (знань), але і передісторію також. Для вирішення цієї задачі ви- користовуються темпоральні дескриптивні логіки. Вони мають такий самий набір алгоритмічних проблем, який присутній у звичайних дескриптивних логіках, але до них додаються питання, пов’язані з описом знань у часі. Це стосується форми часу (неперервний чи дискретний), структури (моменти часу, інтервали, ланцюжки інтервалів), лінійності (лінійний чи розгалужений), область (теперішній, минулий, майбутній), поняття «зараз», спосіб вимірювання тощо. Актуальною за- дачею на сьогоднішній день є створення алгоритму темпоральної інтерпретації звичайних дескриптивних логік. Тобто, показати спосіб, яким чином темпоральну дескриптивну логіку можна застосувати до звичайної дескриптивної логіки. У роботі представлено алгоритм інтерпретації темпоральної LTL у ALC. Для опису обрано лінійний, не розгалужений час, що представлений у вигляді цілої тимчасової осі з заданою на ній лінійною впорядкованістю. Розглядається лише майбутній час. Алгоритм містить графічні нотації застосування LTL у ALC: концептів, конструкторів концептів, ролей, конструкторів ролей, TBox та ABox. Для наочності застосування алгоритму використовуються багаточисельні приклади.Prombles in programming 2022; 3-4: 216-23
Програмний пакет для адаптивного навчання контролерів роборуки на основі нейромереж
Get PDFThe article deals with the development of a software solution for the application of neuroevolution algorithms when creating a controller for controlling a robotic arm. The main principles of the neuroevolutionary approach for training neural network controllers in tasks requiring reinforcement learning are considered. In particular, the advantages of the adaptive approach are determined for a wide class of scenarios in which the working limb can work: implementation of stable grasping, positioning, manipulation of objects. It is noted that the final result of neuroevolution is an optimal network topology, which makes the model more resource-efficient and easier to analyze. The paper considers a software system that provides the developer with all the necessary tools for modeling the behavior of a robotic agent in environments of various levels of complexity: both two-dimensional and three-dimensional. In addition, the possibility of specifying the state of the agent not only as a set of data from sensors, but also as an image of the current environment from the camera is considered. According to the results of the experiments, the high efficiency of the search for the best solution using the NEAT algorithm is noted. It has been established that the proposed solution allows productively obtaining an effective policy in the form of a neural network, which has a minimal configuration, which will allow to increase the speed of the controller, which is critical for the operation of a real system.Thus, the use of a software solution for the adaptive development of a neuroevolutionary controller for solving tasks with a robotic limb allows to increase the efficiency of the learning process and obtain an optimal network topology.Prombles in programming 2023; 4: 98-107В статті досліджено процес розробки програмних засобів із застосуванням алгоритмів нейроеволюції для навчання нейромережевих контролерів у процесі управління роботизованою кінцівкою. Описано основні аспекти нейроеволюційного підходу для навчання нейромережі у задачах, що не мають найкращого рішення та потребують навчання з підкріпленням. Задача позиціонування має такий ландшафт функцій пристосованості, що робить її схильною потрапляти у пастки локального оптимуму, звідки виникає потреба розробки програмного забезпечення для роботи з нейроеволюційними підходами.Розробка оптимальних засобів управління із застосуванням нейроеволюційного підходу може забезпечити не лише високу точність позиціонування, а й мінімальну конфігурацію, що підвищує швидкодію системи. Майбутні дослідження з використанням представленого пакету для вирішення задач маніпулювання та позиціонування становлять особливий інтерес для покращення програмних контролерів управління роботизованими кінцівками в динамічних умовах реального світу.Prombles in programming 2023; 4: 98-10
Особливості побудови рекомендаційних систем на основі технології нейронних мереж з використанням багатопотоковості
No full textThe article is devoted to the creation of a recommendation system for tourists regarding hotels using a neural network based on a multi- layer perceptron. The work uses the mechanism of parallelization of the training sample of the neural network. To check the quality of the provided recommendations, the average absolute and root mean square errors, accuracy and completeness were used. The results of the experiments showed that when analyzing 10 html pages with descriptions of hotels, the metrics of root mean square error and accuracy gave the best results at 500,000 epochs of neural network training when using 8 processors.Prombles in programming 2022; 3-4: 289-300У статті розглянуто питання створення прикладного програмного забезпечення з використанням багатопотоковості. Розроблено рекомендаційну систему, призначену для надання рекомендацій туристам щодо готелів. Для створення рекомендацій побудовано модель оцінювання готелів, що описуються об’єктивними та суб’єктивними аспектами. До об’єктивних аспектів відносяться характеристики готелів, які можуть бути представлені у вигляді бінарного значення (наявність чи відсутність) чи кількісної оцінки характеристик готелю (кількість поверхів, площина тощо). Серед суб’єктивних характеристик найціннішими є текстові відгуки туристів, які аналізуються з визначенням певного емоційного забарвлення; відгук може бути класифікований як позитивний, нейтральний чи негативний. Розробку рекомендаційної системи виконано з використанням мови програмування Python та супутніх бібліотек.Prombles in programming 2022; 3-4: 289-30
Симулятор фізіологічних надсистем лю- дини: взаємодія систем кровообігу, терморегуляції та зовнішнього дихання
No full textSpecial quantitative model of the human thermoregulatory system (MTS) functioning with cardiovascular and lung systems is created. These systems form a human physiological supersystem (HPSS). MTS describes thermoregulatory responses to alterations of both external environmental physical characteristics and internal biological characteristics. Algorithms provide designing of scenarios including simulation of either short-time or long-time (hours or days) observations. Input data include different combinations of environmental variables (air or water temperature, air humidity, wind or water flow speed, light intensity, infrared radiation) for a naked or wear human, as well as for given dynamics of biological characteristics (rate of heat production including its components associated with metabolism and ATP molecules leasing during mental and physical activities). Human body is presented by a core, blood, and a skin compartments. Skin and lung evaporation are under hypothalamic control based on afferent impulse patterns from internal, and skin heat and cold receptors. Dynamic output data include blood, hypothalamic, and skin temperatures, hemodynamic parameters like heart rate, cardiac output, regional blood flows, vascular resistances, blood pressures, and regional blood volumes. Serotonin and melatonin concentrations modulating biological heat production rate are associated with a day/night light intensity. Currently, the PCbased simulator is autonomous software to be used both for educational purposes and for providing of special computer research. In a near future, this simulator has to be widened by models of kidneys, and a mechanism of liverpancreas interaction.Problems in programming 2023; 3: 81-90 Створено спеціальну кількісну модель взаємодії терморегуляторної системи (МТС) людини із серцево-судинною та легеневою системами. Ці системи утворюють фізіологічну суперсистему людини (ФССС). MTС описує реакції терморегуляції на зміни фізичних характеристик зовнішнього середовища та внутрішніх біологічних характеристик. Алгоритми забезпечують сценарії моделювання короткочасних або тривалих (години чи дні) спостережень. Вхідні дані включають різні комбінації змінних навколишнього середовища (температура повітря або води, вологість повітря, швидкість вітру, інтенсивність світла) для голої або одягненої людини, а також для заданої динаміки біологічних характеристик (швидкість теплопродукції, включаючи його компоненти, пов’язані з метаболізмом і виділенням молекул АТФ під час розумової та фізичної діяльності). Організм людини представлений відділами серцевини, крові та шкіри. Випаровування шкіри та легенів контролюється гіпоталамусом на основі аферентних імпульсів від внутрішніх і шкірних теплових і холодових рецепторів. Динамічні вихідні дані включають температуру крові, гіпоталамуса та шкіри, гемодинамічні параметри, такі як частота серцевих скорочень, серцевий викид, регіональні кровотоки, судинний опір, артеріальний тиск і регіональні об’єми крові. Концентрація серотоніну та мелатоніну, яка регулює швидкість виробництва біологічного тепла, пов’язана з денною/нічною інтенсивністю світла. На сьогоднішній день симулятор на базі ПК є автономним програмним забезпеченням (мова С+) для використання як у навчальних цілях, так і для проведення спеціальних комп’ютерних досліджень. Найближчим часом цей симулятор має бути розширений моделями нирок та механізму взаємодії печінки та підшлункової залози.Prombles in programming 2023; 3: 81-9
Технологічні тренди та освіта з інженерії програмного забезпечення: систематизоване оглядове дослідження
No full text The quality of software engineering education is influenced by the consideration of modern industrial trends, IT trends and software development methodologies. The transition to a new level of industry - “Industry 4.0”, characterized by robotics and cyber-social- ization, brings a wave of new, never-before-seen challenges to the field of IT and programming. Under such conditions, it is impos- sible to achieve the desired synergistic effect without the formation of an appropriate informational and educational environment in institutions of higher education. One of the sources of the content of such an environment can be the publications of the world scientific community registered in international scientometric databases. On this basis, it becomes possible not only to provide effec- tive digital educational content, but also to choose and use the latest technological means of learning support. A targeted review of primary sources in the Web of Science Core Collection database made it possible to identify, select, synthesize and evaluate research evidence relevant to the research questions: (i) what technological trends are analyzed in research, (ii) what information technolo- gies are considered in research, (iii) what strategies are reflected in publications to overcome the above challenges of SE teaching and learning. According to the results of the study, we offer to improve the educational and methodological support of software engineering education based on ontological modeling of the integration of the requirements of modern trends in the development of the industry and the IT sector, international recommendations and the capabilities of technological teaching aids. This approach is a good basis for the processes of intellectualization of information systems of the educational environment and the construction of appropriate technological educational tools on their basis.Prombles in programming 2022; 3-4: 107-116На якість освіти з інженерії програмного забезпечення впливає урахування в її методичному забезпеченні сучасних про- мислових трендів, ІТ-тенденцій та методологій розробки програмного забезпечення. Перехід до нового щабля промисло- вості – «Індустрії 4.0», що характеризується роботизацією і кібер-соціалізацією, несе хвилю нових, ще не бачених викликів у сферу ІТ і програмування. У таких умовах досягти потрібного синергетичного ефекту неможливо без формування у закладах вищої освіти відповідного інформаційно-освітнього середовища. Одним з джерел контенту такого середовища можуть бути публікації світової наукової спільноти, що реєструються у міжнародних наукометричних базах даних. На цій основі стає можливим не лише забезпечення ефективного цифрового освітнього контенту, а й вибір та застосування новітніх технологічних засобів підтримки навчання. Проведений цілеспрямований огляд первинних джерел у базі Web of Science Core Collection дозволив визначити, відібрати, синтезувати та оцінити докази дослідження, що мають відношення до поставлених дослідницьких питань: які технологічні тренди аналізуються у дослідженнях, які інформаційні технології розглядаються у дослідженнях, які стратегії відображені в публікаціях для подолання вище наведених проблем викладання та навчання SE. В результаті запропоновано удосконалення навчально-методичного забезпечення освіти з інженерії про- грамного забезпечення на основі онтологічного моделювання інтеграції вимог сучасних трендів розвитку індустрії та галузі ІТ, міжнародних рекомендацій та можливостей технологічних засобів навчання. Такий підхід є гарним підґрунтям процесів інтелектуалізації інформаційних систем освітнього середовища та побудови на їхній основі відповідних технологічних навчальних засобів.Prombles in programming 2022; 3-4: 107-116
Метод семантичного визначення відповідності змістовних категорій онтологій із узагальненням описових структур
No full textThe presented work addresses the issue of semantic alignment of ontology components with a generalized structured corpus. The field of research refers to the sphere of determining the features of trust in artificial intelligence. An alignment method is proposed at the level of semantic components of the general alignment system. The method is a component of a broader alignment system and compares entities at the level of meaningful correspondence. Moreover, only the alignment entities’ descriptive content is considered within the proposed technique. Descriptive contents can be represented by variously named id and semantic relations. The method defines a fundamental ontol- ogy and a specific alignment structure. Semantic correspondence in the form of information scope is formed from the alignment structure. In this way, an entity is formed on the side of the alignment structure, which would correspond in the best meaningful way to the entity from the ontology in terms of meaningful descriptiveness. Meaningful descriptiveness is the filling of information scope. Information scopes are formed as a final form of generalization and can consist of entities, a set of entities, and their partial union. In turn, entities are a generalization of properties that are located at a lower level of the hierarchy and, in turn, are a combination of descriptors. Descriptors are a fundamental element of generalization that represent principal content. Descriptors can define atomic content within a knowledge base and represent only a particular aspect of the content. Thus, the element of meaningfulness is not self-sufficient and can manifest as separate meaningfulness in the form of a property, as a minimal representation of the meaningfulness of an alignment. Descriptors can also supplement the content at the level of information frameworks, entities, and properties. The essence of the alignment in the form of information scope cannot be represented as a descriptor or their combination. It happens because the descriptive descriptor does not represent the content in the completed form of the correspondence unit. The minimum structure of representation of information scope is in the form of properties. This form of organization of establishing the correspondence of the semantic level of alignment allows you to structure and formalize the information content for areas with a complex form of semantic mapping. The hierarchical representation of the generalization not only allows simplifying the formalization of semantic alignment but also enables the formation of information entities with the possibility of discretization of content at the level of descriptors. In turn, descriptors can expand meaningfulness at an arbitrary level of the generalization hierarchy. This provides quantization of informational content and flexibility of the alignment system with discretization at the level of descriptors. The proposed method is used to formalize the semantic alignment of ontology entities and areas of structured representation of information.Prombles in programming 2022; 3-4: 355-363В статті розглядається проблема семантичного порівняння складових онтології з узагальненим структурованим корпусом. Область дослідження відноситься сфери визначення складових довіри до штучного інтелекту. Пропонується метод порівняння на рівні семантичних складових загальної системи порівняння. Метод є складовою більш широкої системи порівняння та здійснює порівняння сутностей на рівні змістовної відповідності. В пропонованому методі враховуються тільки описові змістовності сутностей порівняння. Описові змістовності можуть бути представленні різними іменованими назвами та структурними зв’язками. В методі визначається базова онтологія та певна структура порівняння. Із структури порівняння формується семантична відпо- відність у вигляді інформаційних рамок. Таким чином на стороні структури порівняння формується сутність, яка б найкращим змістовним чином відповідала сутності з онтології за змістовною описовістю. Змістовна описовість є наповненням інформаційних рамок. Інформаційні рамки формується у вигляді кінцевої форми узагальнення та можуть складатися із сутностей, сукупнос- ті сутностей та їхнього часткового об’єднання. В свою чергу сутності є узагальненням властивостей, які розташовані на нижчому рівні ієрархії та свою чергу є поєднанням описових дескрипторів. Описові дескриптори є базовим елементом узагальнення та є представленням базової змістовності. Описові дескриптори можуть визначати атомарну змістовність в межах бази знань та представляють лише певний аспект змістовності. Таким аспект змістовності не є самодостатнім та можу проявлятись у виді відокремленої змістовності у вигляді властивості, як мінімальні формі представлення змістовності порівняння. Також описові дескрипторі можуть доповнювати змістовність на рівні інформаційних рамок, сутностей та властивостей. Сутність порівняння у вигляді інформаційних рамок не може бути представлена у вигляді описового дескриптора або їх поєднанням. Це зумовлено тим, що описових дескриптор не представляє змістовність в завершеній формі одиниці відповідності. Мінімальна форма представлення інформаційних рамок полягає у вигляді властивостей. Така форма організації встановлення відповідності семантичного рівня порівняння дозволяє структурувати та формалізувати інформаційну змістовність для областей із складною формою семантичного відображення. Ієрархічне представлення узагальнення дозволяє не тільки спростити формалізацію семантичного порівняння, а також дає змогу формувати інформаційні сутності із можливістю дискретизації змістовності на рівні описових дескрипторів. В свою чергу описові дескрипторі можуть розширити змістовність на довільному рівні ієрархії узагальнення. Це забезпечує квантування інформаційної змістовності та гнучкість системи порівняння з дискретизаціє на рівні описових дескрипторів. Запропонований метод використовується для формалізації семантичного порівняння сутностей онтології та областей структурованого представлення інформації. Prombles in programming 2022; 3-4: 355-36
Метод оцінки зв’язності вузлів бездротових епізодичних мереж за умови застосування безпілотних літальних апаратів
Get PDFThe paper considers a method for assessing the connectivity of nodes of wireless episodic networks (WEN) under the condition of using unmanned aerial vehicles (UAVs). It is proposed to perform an evaluation of the connectivity of a pair of nodes according to a method, which is based on: an evaluation of geometric connectivity, which is limited to the maximum range of radio visibility at the physical level and the vulnerability interval of a given multiple access protocol at the channel level; assessment of information connectivity, which takes into account the presence of not only a physical connection of a given reliability, but also the presence of a free channel resource, a given amount of transmission delay at a given traffic limit value; assessment of the duration of connectivity taking into account the mobility of network nodes.On the basis of analytical mathematical models, the duration of connectivity of mobile subscribers (nodes) (MS) of the WEN consisting of MS and UAVs in direct radio visibility conditions and taking into account relaying was investigated. The connectivity of a pair of nodes is determined by the characteristics of different levels of OSI information interaction, such as radio range, channel bandwidth, information transmission delay, etc. It is shown that the duration of connectivity is directly proportional to the size of the coverage zone and inversely proportional to the speed of movement of nodes. The nature (scenario) of node mobility also affects the duration of connectivity. The simulation of the movement of nodes was carried out under 4 scenarios: «march», «skirmish», «random wandering in the field» and «random wandering in the city». The largest values of the duration of connectivity correspond to the third scenario, and the smallest to the second (with a fixed radius of the coverage area and the speed of movement of nodes). Thus, the average connection duration of the UAV-pedestrian connection in the event of a «difference» will be of the order of 36 minutes, and the UAV-car connection of the order of 5 minutes. The obtained results can be used in the UAV network topology control method.Prombles in programming 2022; 3-4: 455-468 В роботі розглянутий метод оцінки зв’язності вузлів бездротових епізодичних мереж (БЕМ) за умови застосування безпілотних літальних апаратів (БПЛА). Запропоновано виконання оцінки зв’язності пари вузлів методом, який ґрунтується на: оцінці гео- метричної зв’язності, що обмежується максимальною дальністю радіовидимості на фізичному рівні та інтервалом уразливості заданого протоколу множинного доступу на канальному рівні; оцінці інформаційної зв’язності, що враховує наявність не тільки фізичного з’єднання заданої достовірності, а й наявність вільного канального ресурсу, заданої величини затримки передачі при заданому граничному значенні трафіку; оцінці тривалості зв’язності з урахуванням мобільності вузлів мережі.На основі аналітичних математичних моделей було досліджено тривалість зв’язності мобільних абонентів (вузлів) (МА) БЕМ, що складається із МА та БПЛА в умовах прямої радіо видимості та з урахуванням ретрансляції. Зв’язність пари вузлів визна- чається характеристиками різних рівнів інформаційної взаємодії OSI, такими як дальність радіозв’язку, пропускна здатність каналів, затримка передачі інформації та ін. Показано, що тривалість зв’язності прямо пропорційна розміру зони покриття та обернено пропорційна швидкості переміщення вузлів. На величину тривалості зв’язності також впливає характер (сценарій) мо- більності вузлів. Було виконано моделювання переміщення вузлів за 4-ма сценаріями: «марш», «різнобій», «випадкове блукання в полі» та «випадкове блукання в місті». Найбільші значення тривалості зв’язності відповідають третьому сценарію, а найменші– другому (за умови фіксованого радіусу зони покриття та швидкості переміщення вузлів). Так середня тривалість зв’язності з’єднання «БПЛА-пішохід» на випадок «різнобою» становитиме порядку 36 хвилин, а з’єднання «БПЛА-автомобіль» порядку 5 хвилин. Отримані результати можуть бути використані у методі управління топологією мережі БПЛА.Prombles in programming 2022; 3-4: 455-46
Методика аналітичного пошуку інформації у текстах
No full textPaper proposes an approach aimed at question oriented searching of information in texts. Texts are parsed, keywords and extra features of questions are marked, and sentences in text with the most relevant information to question are defined. Proposed approach is applied to Cyrillic and Latin languages.Case study illustrates how to obtain answers to questions about Bulgarian fairytale that is represented on different languages (Bulgarian and English). Evaluation of the proposed approach is introduced. Description of the software architecture and source code of the corresponding software system are represented. Data structures and examples of *.xml files for storing information about question and answers are outlined.Prombles in programming 2022; 3-4: 281-288У роботі представлено методику пошуку інформації в текстах на запит. Тексти аналізуються, визначаються ключові слова та додаткові характеристики запитань, потім, у тексті шукаються речення з найбільш релевантною інформацією щодо запитання. Запропонована матодика застосовується до мов, що використовують як кирилицю так і латиницю. У прикладі показано, як отримати відповіді на запитання про болгарську казку, яка представлена різними мовами (болгарською та англійською). У роботі представлено оцінювання запропонованого підходу. Представлено опис архітектури програмного забезпечення та вихідного коду відповідної програмної системи. Описано структури даних та приклади *.xml файлів для зберігання інформації про запитання та відповіді.Prombles in programming 2022; 3-4: 281-28
Методи вмявлення НТТР атак на розумний будинок за допомогою методу алгебраїчного співставлення
No full textAll international and domestic spheres of production and service are developing at a frantic pace, and in modern life it is no longer possible to imagine any enterprise or government institution without connecting to the Internet and using cloud services. The development of digital technologies forces the application of innovative solutions in everyday life and entertainment. In our modern age with society’s current dependence on high-tech gadgets and the Internet, we can definitely mark the emergence of smart home technology. In this regard, interest in private information on the network is growing, more approaches to attacks are appearing, cybercrime is becoming more organized, and its level is increasing. This work aims to show the types of cyber attacks on smart homes, as well as tools and methods for their detection, in particular, the method of mathematical comparison, which provides an opportunity to create stable web applications and services, taking into account the requirements for their security and reliability.Prombles in programming 2022; 3-4: 396-402Всі міжнародні та внутрішні сфери виробництва та обслуговування розвиваються шаленими темпами, і в сучасному житті вже неможливо уявити собі будь-яке підприємство чи державну установу без підключення до мережі Інтернет та використання хмарних сервісів. Розвиток цифрових технологій змушує застосовувати інноваційні рішення в повсякденне життя та сфери розваг. У нашу сучасну епоху з нинішньою залежністю суспільства від високотехнологічних гаджетів та Інтернету ми можемо точно відзначити появу технології розумного дому. В зв’язку з цим зростає інтерес до приватної інформації в мережі, з’являється все більше підходів до атак, кіберзлочинність стає більш організованою, а її рівень зростає. Дана робота має на меті показати види кібератак на розумні будинки, а також інструменти та методи для їх виявлення, зокрема і методу математичного співставлення, що надає можливість для створення стабільних веб-додатків та сервісів з врахуванням вимог до їх безпеки та надійності.Prombles in programming 2022; 3-4: 396-40
Моделювання гемодинамічних реакцій людини на зміни температури та об’єму крові
No full textAn advanced version (AV) of special software based on modified quantitative models of mechanisms that provide the overall control of human circulation is proposed. AV essentially expands the range of tasks concerning the modeling of cardiovascular physiology, in particular, the range of mechanisms controlling cardiac function, vascular hemodynamics, and total blood volume under unstable internal/ external physiochemical environments. The models are verified on data representing hemodynamic responses to certain physical tests. In the publication, two test scenarios, namely blood temperature and volume dynamic alterations, have been simulated and analyzed in detail. The user-friendly interface provides all stages of preparation and analysis of computer simulation. The PC-based simulator can also be used for educational purposes.Prombles in programming 2023; 1: 19-29 Запропоновано вдосконалену версію (ВВ) спеціального програмного забезпечення на основі модифікованих кількісних моделей механізмів контролю кровообігу людини. ВВ суттєво розширює коло завдань щодо моделювання фізіології серцево-судинної системи (ССС), зокрема механізмів, що контролюють роботу серця, судинну гемодинаміку та загальний об’єм крові в умовах нестабільного внутрішнього/зовнішнього фізико-хімічного середовища. Моделі перевірялися на даних, що представляють гемо- динамічні реакції на певні фізичні тести. У публікації було змодельовано та детально проаналізовано два тестових сценарія – динамічні зміни температури крові та її об’єму. ВВ надає фізіологам нову технологію дослідження, що істотно розширює та поглиблює фундаментальні знання про кровообіг людини. Результати моделювання містять більш повний спектр фізіологічної інформації, ніж традиційно надається в емпіричних дослідженнях. Це головна перевага нашої ВВ. Це також хороший сучасний інструмент на базі ПК для одночасної візуалізації динамічних характеристик ССС в залежності від обраних зі списку вхідних навантажень. Останній аспект сприятиме студентам-медикам краще розуміти неявну інтегративну фізіологію людини та спеціальні патології. ВВ також є гарною комп’ютерною програмою для використання в освітніх цілях для ілюстрації основних фізіологічних і деяких патологічних закономірностей. Ми плануємо розширити моделі та програмне забезпечення, щоби набагато реалістичніше симулювати сценарії як нормальної, так і патологічної фізіології людини. Програмне забезпечення, створене в рамках технології .NET, є автономним файлом .EXE для виконання на ПК.Prombles in programming 2023; 1: 19-2