Molecular modeling in the radiation therapy. The algebraic approach

The rapid development of the chemical industry and science, and new challenges in the healthcare sector, put forward increased demands for the development of the theory of organic and inorganic chemistry, for the search and implementation of new modeling and analysis methods, and for the improvement of technological processes. One of the main challenges at the intersection of chemistry, physics, biology, medicine, and genetics is the search for new methods and approaches to the diagnosis and treatment of cancer. A deeper understanding of cancer’s genetics and molecular biology has led to the identification of an increasing number of potential molecular targets that can be used for the discovery and development of anticancer drugs, radiation therapy, etc. One of the main places in this is occupied by molecular modeling. Despite the availability of more and more data on existing proteins and nucleic acids and the availability of modeling methods and tools, the development and use of a wide variety of combined methods and tools for modeling and computing large molecular systems remain an open issue. One of the possible solutions for this problem is the application of the algebraic approach and the corresponding formal methods, which have proven effective in many other fields today. The main idea of the research is the application of algebraic modeling technology and quantum chemical apparatus for modeling and verification of organic chemistry problems, in particular, modeling and analysis of radiation therapy problems. The paper presents the first steps of the research. The example of the formalization of the synchrotron operation principle and the example of the interaction of protons with substance in the example of the determination/calculation of the physically absorbed dose are given in the paper.Стрімкий розвиток хімічної промисловості та науки, нові виклики у сфері охорони здоров’я, висувають підвищені вимоги до розвитку теорії органічної та неорганічної хімії, пошуку та впровадження нових методів моделювання та аналізу, удосконалення технологічних процесів. Одним із основних викликів на перетині хімії, фізики, біології, медицини та генетики – є пошук нових методів та підходів до діагностики та лікування ракових захворювань. Поглиблене розуміння генетики та молекулярної біології раку призвело до виявлення все більшої кількості потенційних молекулярних мішеней для відкриття та розробки протипухлинних препаратів, променевої терапії. Одне з головних місць при цьому посідає молекулярне моделювання. Не зважаючи на доступність все більшої кількості даних щодо існуючих білків і нуклеїнових кислот та наявність методів та засобів моделювання, розробка та використання найрізноманітніших комбінованих методів та інструментів для моделювання та обчислення великих молекулярних систем залишається відкритим питанням. Одним із можливих рішень є застосування алгебраїчного підходу та відповідних формальних методів, які на сьогодні показали свою ефективність у багатьох інших галузях. Основною ідеєю дослідження є застосування технології алгебраїчного моделювання та квантово-хімічного апарату для моделювання та верифікації задач органічної хімії, зокрема, моделювання та аналізу задач променевої терапії. У роботі представлено перші кроки дослідження. Приведено приклади формалізації роботи синхротрона та взаємодії протонів з речовиною на прикладі визначення/обчислення фізично-поглинутої дози

RESEARCH OF INFLUENCE OF QUALITY OF ELECTRONIC EDUCATIONAL RESOURCES ON QUALITY OF TRAINING WITH USE OF DISTANCE TECHNOLOGIES

Communication improving of educational processes requires today new approaches to the management arrangements and forming of educational policy in the field of distance learning, which is based on the use of modern information and communication technologies. An important step in this process is the continuous monitoring of the development and implementation of information technology and, in particular, the distance learning systems in higher educational establishments. The main objective of the monitoring is the impact assessment on the development of distance learning following the state educational standards, curricula, methodical and technical equipment and other factors; factors revelation that influence the implementation and outcomes of distance learning; results comparison of educational institution functioning and distance education systems in order to determine the most efficient ways of its development. The paper presents the analysis results of the dependence of the quality of educational services on the electronic educational resources. Trends in educational services development was studied by comparing the quality influence of electronic educational resources on the quality of educational services of higher pedagogical educational institutions of Ukraine as of 2009-2010 and 2012-2013. Generally, the analysis of the survey results allows evaluating quality of the modern education services as satisfactory and it can be said that almost 70% of the success of their future development depends on the quality of the used electronic educational resources and distance learning systems in particular

Formal semantics and analysis of tokenomics properties

Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same time, the most difficult task for each project is the creation of a self-governing token economy. The violation of properties, such as equilibrium and decentralization, can result in the failure of a project and financial losses. Using the math and formal methods is a simple and efficient way to create self-sustainable token economies right at the stage of MVP development. Despite the rapid development of tokenomics, its popularity, and the rapid pace of implementing blockchain technology in various business areas, only a small number of works have examined formal models of tokenomics. In this study, we present an algebraic approach to analyzing the properties of tokenomics. The algebraic modeling approach is implemented within the framework of the Insertion Modeling System (IMS) that was developed at the Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine under the guidance of an Academician of the National Academy of Sciences of Ukraine, Professor A.A. Letichevsky. The algebraic modeling methods prove the properties of safety and liveness. Insertion modeling is an approach for modeling complex distributed systems, which is based on the theory of interaction between agents and environments. The modeling algorithm is based on the historical data of exchange trading and the liquidity of tokens - which allows us to make accurate predictions and show possible outcomes. The interaction of tokenomics agents and their behavior, represented by the equations of behavioral algebra, is considered. The use of the algebraic approach to tokenomics development for the Internet of Things is considered, and the formal representations and methods of property analysis are presented. The obtained results allow us to discuss the possibility of using formal methods in the study of tokenomics.Сьогодні ми спостерігаємо швидкий розвиток продуктів і послуг, в основі яких лежить технологія блокчейн. Криптовалюти та токени стають невід’ємною частиною повсякденного життя людини. Одним із головних і, водночас, найскладніших задач для кожного проєкту є створення самокеруючої економіки токенів. Порушення таких властивостей, як рівновага та децентралізація, може призвести до провалу проєкту та фінансових втрат. Використання математичних і формальних методів є простим і ефективним способом створення самокеруючої економіки токенів на етапі розробки MVP. Незважаючи на швидкий розвиток токеноміки, її популярність і швидкі темпи впровадження технології блокчейн в різних сферах бізнесу, побудові формальних моделей токеноміки присвячено мало наукових та технічних робіт. У цьому дослідженні ми представляємо алгебраїчний підхід до аналізу властивостей токеноміки. Підхід до алгебраїчного моделювання реалізовано в рамках системи інсерційного моделювання (IMS), розробленої в Інституті кібернетики ім. Глушкова НАН України під керівництвом академіка НАН України, проф. О.А. Летичевського. Методи алгебраїчного моделювання доводять властивості безпеки та живучості. Інсерційне моделювання — це підхід до моделювання складних розподілених систем, який базується на теорії взаємодії агентів та середовищ. Алгоритм моделювання базується на історичних даних біржової торгівлі та ліквідності токенів, що дозволяє нам робити точні прогнози та показувати можливі результати. Розглянуто взаємодію агентів токеноміки та їх поведінку, представлену рівняннями поведінкової алгебри. Розглянуто використання алгебраїчного підходу до розробки токеноміки для Інтернету речей, представлено формальні представлення та методи аналізу властивостей. Отримані результати дозволяють обговорювати можливість використання формальних методів у дослідженні токеноміки

THE USE OF COMPUTER MEANS OF COMMUNICATION FOR TRAINING FUTURE SOFTWARE ENGINEERS

Вінник, М. О. ВИКОРИСТАННЯ КОМП’ЮТЕРНИХ ЗАСОБІВ КОМУНІКАЦІЇ В ПІДГОТОВЦІ МАЙБУТНІХ ІНЖЕНЕРІВ-ПРОГРАМІСТІВ / М. О. Вінник, Ю. С. Лазаренко, Ю. В. Корж, Ю. Г. Тарасіч // ПЕДАГОГІЧНИЙ АЛЬМАНАХ. – 2014. – Вип. 21. - С. 100-108.З упровадженням сучасної парадигми освіти використання інформаційних технологій студентами стало основою освітнього та виховного процесу. Завдяки цьому зростає роль соціальних мереж як одного з видів інформаційно-комунікаційного середовища, що в свою чергу є невід'ємною частиною інформаційно-комунікаційного педагогічного середовища ВНЗ. Використання ІКТ у навчальному процесі дозволяє реалізовувати два основних принципи сучасної освіти – «освіта для всіх» і «освіта протягом життя», що робить їх перспективним та пріоритетним напрямком розвитку для всіх інституцій вищої освіти. С использованием современной парадигмы образования использование информационных технологий студентами стало основой образовательного и воспитательного процесса. Благодаря этому возрастает роль социальных сетей как одного из видов информационно-коммуникационной среды, что в свою очередь есть неотъемлемой частью информационно-коммуникационной педагогической среды ВУЗов. Использование ИКТ в учебном процессе позволяет реализовывать два основных принципа современного образования - «образование для всех» и «образование в течении жизни», что делает их перспективным и приоритетным направлением развития для всех институтов высшего образования. After modern paradigm of education has been implemented, the use of information technologies by students became the basis of their training process. As a result, the role of social networks is increasing, which are one more kind of information-communicative environment, which, in turn, are integral part of information-communicative pedagogic environment of the higher educational institution. Reviewing the possible scenarios of using social networks in training purposes, we can see that social education theory abroad emerges full blown, which includes assumption that students learn more effectively when interacting with other students within the appropriate topic or project. The use of ICT in educational process allows to realize two basic principles of modern education: «Education for everybody» and «Lifelong learning» that makes them perspective and priority way of development for all higher education institutions not only in Ukraine but also abroad. During last ten years, many steps towards implementation and effective use of new training technologies in higher education, based on information and communication technologies (ICT) have been made. Today, students may freely select and percept the information flow. Instead of the desire of the consistent education, by textbooks, the desire to study in the form of participation, experiment and social practice became more developed. As a result the need in significant changes of patterns and students activities appeared