310 research outputs found
The influence of film criticism on the interpretation of the film by the audience
The article is devoted to the study of the specificity of the influence of the film criticism on the perception, understanding and evaluation of the film by the audience. The authors consider film criticism in the context of the phenomena of media competence, media education and media enlightenment and designate media-enlightenment potential of the film criticis
Automation of Formal Verification of Programs in the Pifagor Language
Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programminglanguage and it has the capability of partial automation of the proof process. However, the method of deduction is not widely used for verification of parallel programs because of high complexity of theprocess. The usage of the functional data-flow paradigm of parallel programming allows to decrease the complexity of the proof process. In this article a proof process of correctness of functional data-flow parallel programs in the Pifagor language is considered. The proof process of a program correctness is considered as a tree where each node is a program data-flow graph, whose edges are marked with formulas in a specification language. The tree root is the initial program data-flow graph with a precondition and a postcondition, which describe restrictions on input variables and correctness conditions of the result of the program execution, respectively. Basic transformations of the data-flow graph are edge marking, equivalent transformation, splitting, folding of the program. By means of these transformations the data-flow graph is transformed and finally is reduced to a set of formulas in the specification language. If all these formulas are identically true, the program is correct. Several modules is distinguished in the system: “Program correctness prover”, “Axioms and theorems library management system” and “Errors analysis and output of information about errors”. According to this architecture, the toolkit for supporting formal verification was developed. The main functionality of the system implementation is considered
Nanodomain structure evolution investigation during polarization reversal of lithium niobate monocrystals with modified surface layers by proton exchange with different thicknesses
Целью работы является исследование эволюции формы микродоменов и формирования нанодоменных структур в ниобате лития с поверхностным слоем, модифицированным методом протонного обмена различной толщины.
Работа направлена на решение фундаментальных и прикладных проблем физики сегнетоэлектриков. Целью работы является экспериментальное исследование формирования и эволюции микро- и нанодоменных структур в неравновесных условиях, обусловленных неэффективным экранированием деполяризующих полей, реализуемых при переключении поляризации в монокристаллах ниобата лития с поверхностным слоем, модифицированным методом протонного обмена.
Исследование влияния поверхностных диэлектрических слоев на кинетику переключения поляризации имеет важное фундаментальное и прикладное значение. Изучение кинетики доменов в присутствии диэлектрических слоев важно для выяснения роли естественного поверхностного диэлектрического слоя в наблюдаемых закономерностях динамики доменов. С практической стороны, использование слоев с контролируемыми свойствами открывает дополнительные возможности для управления кинетикой и геометрией доменной структуры и разработки новых методов построения различных акустических, нелинейно-оптических и электро-оптических устройств с помощью доменной инженерии.
В качестве объекта исследования в данной работе используется ниобат лития LiNbO3, различные модификации которого на сегодняшний день являются наиболее востребованными материалами для построения большого класса устройств нелинейной оптики, в том числе с использованием подходов доменной инженерии. В работе будет исследован ниобат лития конгруэнтного состава (CLN). В качестве методики модификации поверхностного слоя СLN используется классическая техника создания волноводов – протонный обмен (PE), который позволяет создавать на поверхности диэлектрические слои с хорошо контролируемыми параметрами (глубиной, формой профиля и поверхностной проводимостью). Сочетание важного для применений материала и разработанной методики модификации поверхности обусловливает актуальность проводимых исследований.
Основные результаты, полученные в хоте выполнения работы:
• Установлено, что увеличение порогового поля пропорционально толщине модифицированного слоя.
• Показано, что при переключении поляризации в растущем поле независимо от толщины PE-слоя кинетика доменной структуры начинается с появления и роста шестиугольных доменов;
• Установлено, что в образцах с толщиной модифицированного слоя 1,7 и 3,4 мкм наблюдается два типа эволюции доменных структур: 1) рост «широкой доменной границы» (wide domain boundary - WDB) в слабом и среднем поле и
2) формирование микро- и нанодоменных ансамблей в сильном поле.
• Обнаружено, что в образцах с толщиной модифицированного слоя 4,6 мкм реализуется дискретное переключение, и формируются паутинообразные доменные структуры, состоящие из изолированных доменов.
• Показано, что полевые зависимости скорости распространения фронта нанодоменов могут быть аппроксимированы активационной зависимостью с полем активации Ea = 3,3 ± 0,1 кВ/мм.
Место выполнения работы. Работа выполнена в лаборатории сегнетоэлектриков НИИ физики и прикладной математики Института естественных наук Уральского федерального университета имени первого Президента России Б.Н.Ельцина на оборудовании Уральского центра коллективного пользования «Современные нанотехнологии» ИЕН УрФУ.Программа развития УрФУ на 2013 год (п.2.1.2.1
ThermoCalc Modelling of the Effect of Chemical Composition on the Phase Transformations Temperatures of Ti-0.4Al Alloy
The effect of chemical composition of Ti-0.4 Al α-titanium alloy (PT-1M alloy) on the phase transformation temperatures up to melting temperature has been investigated using ThermoCalc software. The possibility of appearance of Ti2N nitride, Tix(CN)-type carbonitride, and Ti2Fe-type intermetallic in the alloy structure in equilibrium state has been proved by thermodynamic calculations. It has been proposed the so-called aluminum equivalent (Aleq) for PT-1M alloy to analyze the effect of chemical composition on the phase transformation temperatures change. The following equivalents have been suggested: AleqTβ for β↔(β+α)- transformation, AleqTliq for L↔β-transformation, and AleqTsol for (L+β)↔β-transformation. It has been shown the linear correlation between the characteristic temperatures of phase transformations in the investigated alloy and the proposed aluminum equivalents. © Published under licence by IOP Publishing Ltd.The work was financially supported by Russian Science Foundation grant No. 18-79-10107
Orientational ordering of nanorods in diblock copolymers
Orientational ordering of rod-like nanoparticles in the lamellae phase of diblock copolymers has been considered theoretically using the model of a nanoparticle with two interaction centres. It has been shown that strongly anisotropic nanoparticles order spontaneously in the boundary region between the blocks where the orientational order is induced by the interface and by the interaction with monomer units in different blocks. The nematic order parameter possesses opposite signs in adjacent blocks which means that the nanorods are aligned parallel or perpendicular to the boundary between the blocks on different sides of their interface. Concentration and nematic order parameter profiles have been calculated numerically for different values of the nanoparticle length and compared with the results of recent computer simulations and with the results of the previous molecular theory based on nanoparticles of spherical shape
Досвід стратегічного управління розвитком об`єднаних територіальних громад
The article identifies the factors, which determine the need for strategic planning of local development in a context of decentralization, namely: reforms or dynamic changes that are taking place today in all spheres of socio-economic and political life in Ukraine; reorientation to new management models due to the need for clear goal-setting and development of projects and programs for achieving goals; amalgamation of communities puts forward the need to create a methodological basis for the independent decision-making on a strategic choice of ways of development, etc. The research is based on the experience of designing and implementing strategies and projects for the development of the amalgamated territorial communities of Dnipropetrovs’k Oblast in which the authors of the publication participated as expert-consultants. The role and specific features of the strategic development management process of the amalgamated territorial communities are described. The corresponding principles of management of the implementation of the strategy of development of the amalgamated territorial community (in particular, providing a meaningful relationship between the strategy and other planning documents; timeliness and prevention; personal responsibility; openness and transparency for the public; current scientific and communication support for the implementation of the strategy; etc.) as well as the role of certain processes and functions in managing the implementation of the strategy are substantiated. The paper shows the importance of the multi-level system of personal responsibility for implementation of strategic priorities - from carrying out of each project from the corresponding portfolio of projects of strategic priorities implementation to responsibility for implementation of the strategy as a whole. In order to ensure efficient management of the strategy implementation, a separate authorized body - Strategy Implementation Management Committee (SIMC) - is suggested to be formed. The functions of the SIMC in the amalgamated territorial communities, which differ in content from the functions of other authorized bodies (working group, strategic committee, etc.) traditionally created to manage the implementation of the strategy of local (regional) development are described. It is grounded the necessity of monitoring and adjusting of certain parameters of the strategy (goals, set of projects, financing, terms of implementation, executors, and expected results, etc.) in case of changes, for example, external environment, loss of relevance of certain strategic or operational goals (projects) or, conversely, new goals (projects), etc. An algorithm for making changes to the strategy summary document is described.Исходя из опыта разработки и реализации стратегий и проектов развития объединенных территориальных громад Днепропетровской области, в которых авторы публикации принимали участие в качестве экспертов-консультантов, определено факторы, которые обуславливают необходимость стратегического планирования местного развития в условиях децентрализации. Охарактеризована роль и специфические особенности процесса управления стратегическим развитием объединенных территориальных громад. Обосновано соответствующие принципы управления реализацией стратегии развития объединенной территориальной громады, а также роль отдельных процессов и функций в управлении реализацией стратегии. Показана важность многоуровневой системы персональной ответственности за реализацию стратегических приоритетов – от выполнения каждого из проектов из соответствующего портфеля проектов реализации стратегических приоритетов, до ответственности за выполнение стратегии в целом. С целью обеспечения эффективного управления реализациею стратегии предложено формирование отдельного уполномоченного органа – Комитета по управлению реализацией стратегии (КУРС). Охарактеризовано функции КУРС в объединенных территориальных громадах, которые несколько отличаются по своему содержанию от функций других уполномоченных на то органов (рабочей группы, стратегического комитета и т.д.), традиционно создаваемых для управления реализацией стратегии местного (регионального) развития. Обосновано необходимость мониторинга и корректировки отдельных параметров стратегии (цель, набор проектов, финансирование, сроки реализации, исполнители, ожидаемые результаты и т.д.) в случае изменений, например, внешней среды, потери актуальности определенной стратегической или операционной цели (проекта), или, напротив, приобретение актуальности новой целью (проектом) и т.п. Охарактеризован алгоритм внесения изменений к итоговому документу стратегии.Виходячи з досвіду розробки та реалізації стратегій та проектів розвитку об’єднаних територіальних громад Дніпропетровської області, у яких автори публікації брали участь у якості експертів-консультантів, визначено фактори, які обумовлюють необхідність стратегічного планування місцевого розвитку в умовах децентралізації. Охарактеризовано роль та специфічні особливості процесу управління стратегічним розвитком об’єднаних територіальних громад. Обґрунтовано відповідні принципи управління реалізацією стратегії розвитку об’єднаної територіальної громади, а також роль окремих процесів та функцій в управлінні реалізацією стратегії. Показано важливість багаторівневої системи персональної відповідальності за реалізацію стратегічних пріоритетів – від виконання кожного з проектів із відповідного портфелю проектів реалізації стратегічних пріоритетів, до відповідальності за виконання стратегії у цілому. З метою забезпечення ефективного управління реалізацію стратегії запропоновано формування окремого уповноваженого органу – Комітету з управління реалізацією стратегії (КУРС). Охарактеризовано функції КУРС в об’єднаних територіальних громадах, які дещо відрізняються за своїм змістом від функцій інших уповноважених на те органів (робочої групи, стратегічного комітету тощо), традиційно створюваних для управління реалізацією стратегії місцевого (регіонального) розвитку. Обґрунтовано необхідність моніторингу та корегування окремих параметрів стратегії (цілі, набір проектів, фінансування, терміни реалізації, виконавці, очікувані результати тощо) у випадку змін, наприклад, зовнішнього середовища, втрати актуальності визначених стратегічних чи операційних цілей (проектів) або, навпаки, набуття актуальності новими цілями (проектами) тощо. Охарактеризовано алгоритм внесення змін до підсумкового документу стратегії
A Quantitative Theory of Mechanical Unfolding of a Homopolymer Globule
We propose the quantitative mean-field theory of mechanical unfolding of a
globule formed by long flexible homopolymer chain collapsed in poor solvent and
subjected to extensional deformation. We demonstrate that depending on the
degree of polymerization and solvent quality (quantified by the Flory-Huggins
parameter) the mechanical unfolding of the collapsed chain may either
occur continuously (by passing a sequence of uniformly elongated
configurations) or involves intra-molecular micro-phase coexistence of a
collapsed and a stretched segment followed by an abrupt unraveling transition.
The force-extension curves are obtained and quantitatively compared to our
recent results of numerical self-consistent field (SCF) simulations. The phase
diagrams for extended homopolymer chains in poor solvent comprising one- and
two-phase regions are calculated for different chain length or/and solvent
quality.Comment: 24 pages, 18 figure
Orientational ordering of nanorods of different length in diblock copolymers
Orientational and positional ordering of nanorods in the lamellae phase of diblock copolymers has been investigated using a simple theoretical model and dissipative dynamics simulations. Orientational order parameter and local concentration profiles of nanorods are calculated numerically and extracted from computer simulations data for different values of the nanoparticle length and different number of the interaction sites in the model nanorod. The predictions of the molecular theory are compared with the results of computer simulations. It has been found that the nanorods are orientationally ordered in the boundary region between the domains and the orientational order parameter changes its sign at the domain wall. At the same time there exists some quantitative discrepancy between theory and computer simulations which is partially removed when a similar model of a nanorod is employed both in the molecular theory and in coarse-grained molecular dynamics simulations
- …