Vernadsky National Library of Ukraine
The scientific electronic library of periodicals of the National Academy of Sciences of UkraineNot a member yet
199706 research outputs found
Sort by
Formal and intelligent methods for automating the design of software systems (transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, February 19, 2025)
No full textУ доповіді обговорено результати робіт, виконаних в Інституті програмних систем НАН України, з розвитку формальних та інтелектуальних методів автоматизації проєктування програмних систем, які сьогодні широко використовують у галузі безпеки та оборони, метеорології, екології, енергетиці, нанотехнологіях, робототехніці тощо. Наголошено, що українська наукова школа з цього напряму, започаткована ще академіком В.М. Глушковим, сьогодні займає передові позиції у світі. Розвиток формальних та інтелектуальних методів автоматизації проєктування програмних систем досяг необхідної наукової і технологічної зрілості, щоб стати основою цифрової трансформації галузей економіки України.The report discusses the results of the works carried out at the Institute of Soft ware Systems of the National Academy of Sciences of Ukraine on the development of formal and intelligent methods for automating the design of soft ware systems, which are widely used in security and defense, meteorology, ecology, energy, nanotechnology, robotics, etc. It is emphasized that the Ukrainian scientific school in this area, founded by Academician V.M. Glushkov, is now at the forefront in the world. The development of formal and intelligent methods for automating the design of soft ware systems has reached the necessary scientific and technological maturity to become the basis for the digital transformation of Ukraine’s economic sectors
The formation of the first state bodies of the migration service of Ukraine (1991–1994)
No full textМета статті: проаналізувати на основі джерел становлення перших державних органів міграційної служби України (1991–1994), проблеми, які виникали в ході їхньої практичної діяльності під час реалізації державної політики у сферах міграції, діяльність яких до сьогодні не була спеціальним об’єктом дослідження в історичній науці. Методологічною основою дослідження є принципи історизму, наукової об’єктивності та систематичності, що дало можливість неупереджено з’ясувати логічні зміни в історичному процесі. Методи дослідження представлені як загальнонауковими (історичний, логічний), так і спеціальними (історико-порівняльний, історико-генетичний, предметно-хронологічний, ретроспективний) методами. Наукова новизна дослідження полягає в першій спробі комплексного аналізу становлення перших державних органів міграційної служби України, діяльність яких стала основою для формування та реалізації сучасної міграційної політики України, подальшого утворення єдиного державного органу виконавчої влади – Державної міграційної служби України. Висновки відповідають поставленій меті дослідження. Глибокий аналіз джерельної бази дозволив з’ясувати становлення перших державних органів міграційної служби України (1991–1994), їх повноваження, виявив значні проблеми при формуванні та реалізації національної міграційної політики, яка лише зароджувалася.The purpose of the article: to analyze, based on sources of the formation of the first state bodies of the migration service of Ukraine (1991–1994), problems that arose in the course of their practical activities in the implementation of state policy in areas of migration, activities of which have not been a special object of study in historical science to date. The methodological basis of the study is principles of historicism, scientific objectivity and systematic character, which made it possible to impartially clarify logical changes in the historical process. The research methods are presented by both general scientific methods (historical, logical) and special ones (historical-comparative, historical-genetic, subject-chronological, retrospective). The scientific novelty of the study lies in the first attempt at a comprehensive analysis of the formation of the first state bodies of the migration service of Ukraine, activities of which became the basis for the formation and implementation of the modern migration policy of Ukraine, the further formation of a single state body of executive power – the State Migration Service of Ukraine. Сonclusions correspond to the stated purpose of the study. An in-depth analysis of the source database allowed us to clarify the formation of the first state bodies of the migration service of Ukraine (1991–1994), their authority, and revealed significant problems in the formation and implementation of the national migration policy, which was only just emerging
Mixed formulation of finite element method within strain gradient elasticity
No full textОднією з узагальнених теорій континууму, пов’язаних із розміром мікроструктури, є градієнтна теорія пружності Тупіна—Міндліна, яка дає змогу врахувати структурні неоднорідності та пошкодження матеріалу на мікрорівні. Особливість розв’язання варіаційних рівнянь градієнтної теорії полягає в урахуванні перших частинних похідних від компонентів тензора малих деформацій. Необхідною умовою збіжності розв’язання методом скінченних елементів є властивість апроксимувальних функцій забезпечувати неперервність переміщень та їхніх перших похідних на межі між елементами. Це призводить до ускладнення структури скінченних елементів та труднощів математичного й обчислювального характеру. У цій статті розглядається альтернативний підхід, згідно з яким розв’язання крайових задач градієнтної теорії пружності ґрунтується на застосуванні варіаційного формулювання щодо переміщень — деформацій — напружень та їхніх градієнтів. За таким формулюванням значно спрощується вибір апроксимувальних функцій, оскільки зникає необхідність використання скінченних елементів, що забезпечують неперервність перших похідних від переміщень між елементами. Для аналізу коректності змішаної апроксимації варіаційні рівняння змішаного методу перетворюються на еквівалентну форму щодо переміщень, деформацій та їхніх градієнтів. Досліджено збіжність змішаної апроксимації до точного розв’язання варіаційної задачі. На основі отриманих апріорних оцінок визначено умови, що забезпечують збіжність наближених розв’язків на основі змішаної апроксимації. Відзначено, що суперзбіжність перших похідних від переміщень на рівномірних та квазірівномірних розбиттях покращує точність обчислення деформацій та їхніх градієнтів, що дозволяє обґрунтувати збіжність змішаного методу навіть для простіших лінійних скінченних елементів, які використовуються для апроксимації переміщень. Достатні умови збіжності змішаного методу полягають у неперервній апроксимації полів переміщень скінченними елементами другого або вищого порядку апроксимації та неперервній апроксимації деформацій скінченними елементами не нижче першого порядку апроксимації, причому ці апроксимації взаємопов’язані між собою умовою розв’язання скінченновимірної задачі.One of the generalized continuum theories related to the microstructure scale is the Toupin-Mindlin gradient theory of elasticity, which allows one to take into account structural inhomogeneities and material damage at the micro level. The peculiarity of solving variational equations in gradient theory is the consideration of the first partial derivatives of the components of the small strain tensor. A necessary condition for the convergence of a solution based on the finite element method is the property of the approximation functions that ensures the continuity of displacements and their first derivatives at the boundary between elements. This study considers an alternative approach, according to which the solution of boundary value problems in gradient elasticity theory is based on the use of a variational formulation of displacements, deformations, stresses, and their gradients. This formulation greatly simplifies the choice of approximation functions, since there is no need to use finite elements that ensure the continuity of the first derivatives of displacements between elements. To analyze the correctness of the mixed approximation, the variational equations of the mixed method are transformed into an equivalent form with respect to displacements, strains, and their gradients. Based on the obtained a priori estimates, conditions that ensure the convergence of approximate solutions based on the mixed approximation are determined
Світло великої людини (до вікового ювілею академіка НАН України Чумаченка Миколи Григоровича)
No full textWays to increase the effectiveness of drugs (Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, January 22, 2025)
No full textУ доповіді наведено результати фундаментальних та прикладних досліджень, проведених в Інституті біології клітини НАН України, з визначення шляхів усунення притаманних багатьом лікарським засобам недоліків, таких як неадресна дія ін’єктованих ліків і, як наслідок, їхня гепатотоксичність, кардіотоксичність, нефротоксичність, нейротоксичність, генотоксичність, імуносупресивна дія. Істотними вадами протипухлинних і протитуберкульозних ліків є також їхня погана розчинність у воді та швидкий (впродовж 6—12 місяців) розвиток множинної медикаментозної резистентності.The report presents the results of fundamental and applied research conducted at the Institute of Cell Biology of the National Academy of Sciences of Ukraine to identify ways to eliminate the shortcomings inherent in many drugs, such as the non-targeted effect of injected drugs and, as a result, their hepatotoxicity, cardiotoxicity, nephrotoxicity, neurotoxicity, genotoxicity, and immunosuppressive effect. Important disadvantages of antitumor and antituberculosis drugs are also their poor solubility in water and the rapid (within 6-12 months) development of multiple drug resistance
The movement for the autocephaly of the Ukrainian Church in the first year of the revolution: sentiments, trends and internal resistance among clergy (based on materials of the «Nova Rada» newspaper)
No full textМетою розвідки є вивчення розмаїття настроїв і тенденцій руху за автокефалію української Церкви серед духовенства в перший рік революції. На основі публікацій газети «Нова Рада» авторка розглядає ключові аспекти цього процесу, зокрема внутрішній спротив, відсутність належної підтримки з боку новоствореної влади, а також практичні кроки з упровадження ідеї незалежності. Методи. У роботі застосовано історико-аналітичний метод для визначення суспільно-політичного контексту подій, контент-аналіз для вивчення публікацій газети «Нова Рада», а також порівняльний метод для зіставлення різних позицій щодо автокефалії. Системний підхід дозволяє розглядати цей рух як багатовимірний процес, що розгортався під впливом як внутрішніх обставин, так і зовнішніх політичних умов. Новизна дослідження полягає в комплексному аналізі публікацій «Нової Ради» як важливого джерела для вивчення процесу церковної автономії в 1917 р. Уперше акцентовано не лише на боротьбі за автокефалію, а й на настроях духовенства, труднощах ініціаторів руху та рівні підтримки їхніх ідей у суспільстві. Це дозволяє глибше зрозуміти механізми формування української релігійної незалежності в період доленосних змін. Висновки. Дослідження засвідчує, що, незважаючи на революційний поштовх до обговорення автокефалії, її реалізація зіткнулася з потужним опором значної частини духовенства й не отримала завершеного оформлення в тогочасних політичних і суспільних реаліях.The aim of the research is to study the diversity of sentiments and trends in the movement for the autocephaly of the Ukrainian Church among the clergy in the first year of the revolution. Based on the publications of the «Nova Rada» newspaper, the author examines key aspects of this process, including internal resistance, the lack of proper support from the newly established government, and the practical steps taken to implement the idea of independence. Methods. The study applies a historical-analytical method to determine the socio-political context of events, content analysis to study the publications of «Nova Rada», and a comparative method to contrast different positions on autocephaly. A systemic approach allows for the consideration of this movement as a multi-dimensional process, unfolding under the influence of both internal circumstances and external political conditions. The novelty of the research lies in the comprehensive analysis of the publications of «Nova Rada» as an important source for studying the process of church autonomy in 1917. It focuses not only on the struggle for autocephaly but also on sentiments of the clergy, challenges faced by the movement’s initiators, and the level of support for their ideas in society. This provides a deeper understanding of mechanisms behind the formation of Ukrainian religious independence during a period of crucial change. Conclusions. The research demonstrates that despite the revolutionary push for the discussion of autocephaly, its implementation encountered strong resistance from a significant portion of the clergy and did not achieve full realization in the political and social realities of the time
До 85-річчя доктора економічних наук, професора БУЛЄЄВА Івана Петровича, головного наукового співробітника відділу проблем ефективності підприємств Інституту економіки промисловості НАН України
No full text80th anniversary of Corresponding Member of the NAS of Ukraine V.M. Pugatch
No full text30 січня виповнюється 80 років доктору фізико-математичних наук, професору, завідувачу відділу фізики високих енергій Інституту ядерних досліджень (ІЯД) НАН України члену-кореспонденту НАН України Валерію Михайловичу Пугачу
Construction of Irreducible ()ᴳ′-Modules and Discretely Decomposable Restrictions
No full textIn this paper, we study the irreducibility of ()ᴳ′-modules on the spaces of intertwining operators in the branching problem of reductive Lie algebras, and construct a family of finite-dimensional irreducible ()ᴳ′-modules using the Zuckerman derived functors. We provide criteria for the irreducibility of ()ᴳ′-modules in the cases of generalized Verma modules, cohomologically induced modules, and discrete series representations. We treat only discrete decomposable restrictions with certain dominance conditions (quasi-abelian and in the good range). To describe the ()ᴳ′-modules, we give branching laws of cohomologically induced modules using ones of generalized Verma modules when ′ acts on / transitively.This work is based on a part of my Ph.D. Thesis under the supervision of Professor Toshiyuki Kobayashi. I am deeply grateful to him for his continuous support, invaluable advice, and constant encouragement. I thank the anonymous referees for valuable comments that improved the exposition and clarified the results. This work was supported by JSPS KAKENHI Grant Number JP23K12963