In a state-based modelling method - Event-B, the next event to be executed is selected non-deterministically among all the currently enabled events. The information about event ordering has to be embedded into guards and before-after predicates of events. This results in entanglement of control flow and functional specification plus the addition of extra variables resulting increased complexity and reduced readability of a model. In this paper we consider Event-B and discuss how to complement the Event-B development process with a workflow view. Proposed approach combines the elements of a workflow language and state-based modelling.

The strategic outlook on the quality management of Romanian universities it is shown.

Проаналізовано систему менеджменту якості та його стратегії, необхідні для здійснення якісної педагогічної освіти.

Проанализирована система менеджмента качества и его стратегии, необходимые для осуществления качественной педагогической деятельности.

It is based the National system of innovation and technology transfer in Romania

Встановлено, що інтенсифікація глобалізаційних процесів призвела до зростання значення міжнародної співпраці у сфері обміну інформації, а також сприяла створенню могутніх наукових співтовариств і збереженню актуальності місцевих чинників у пристосуванні та використанні інформації. Розглянуто систему інноваційної діяльності в Румунії.

Выявлено, что интенсификация глобализационных процессов привела к возрастанию значения международного сотрудничества в сфере обмена информацией, а также способствовала созданию мощных научных сообществ и сохранению актуальности местных факторов в приспособлении и использовании информации. Рассмотрена система инновационной деятельности в Румынии.

Досліджено вплив екзометаболітів штаму Bacillus amyloliquefaciens subsp. plantarum IMB B-7404 на активність фенілаланін-амоній-ліази (ФАЛ, 4.3.1.24) в проростках озимої пшениці. Показано значне підвищення активності ФАЛ через 4 - 6 год після обробки екзометаболітами штаму IMB B-7404 коренів рослин та у разі інфікування листків фітопатогеном Bipolaris sorokiniana. Встановлено, що зміна активності ФАЛ поряд зі зменшенням площі ураженої грибним патогеном поверхні листків свідчать про індукцію системної стійкості у проростків озимої пшениці, зумовлену екзометаболітами штаму. Зроблено висновок, що ці показники можуть бути використані як модельні системи під час вивчення механізмів активації фітоімунітету.

Цель работы - исследовать влияние экзометаболитов штамма Bacillus amyloliquefaciens subsp. plantarum ИМВ В-7524 на индукцию защитных реакций в растениях озимой пшеницы. В исследовании применены методы: микробиологические, биохимические, фитопатологические, статистические. Установлено, что при предварительном поливе растений озимой пшеницы салициловой кислотой, бесклеточной культуральной жидкостью и липопептидной фракцией экзометаболитов штамма ИМВ В-7524, с последующим инфицированием растений фитопатогеном Bipolaris sorokiniana, площадь пораженной поверхности листьев уменьшалась в 10 и более раз по сравнению с контролем. Также показано повышение L-фенилаланин-аммоний-лиазной (ФАЛ) активности приблизительно в 3 раза через 2 ч в корнях и побегах растений озимой пшеницы. Выводы: уменьшение площади пораженной поверхности листьев при действии грибного фитопатогена и изменение ФАЛ активности в растениях свидетельствуют об индукции защитных реакций под действием антибиотических экзометаболитов штамма B. amyloliquefaciens subsp. plantarum ИМВ В-7524.

Thermally stimulated conductivity of the InGaAs - GaAs heterostructures with quantum wires was studied using different quantum energies of exciting illumination. The structures reveal long-term photoconductivity decay within the temperature range 100 to 200 K, and effect of residual conductivity after turning-off the illumination. Analyzing the data of thermally stimulated conductivity, the following energies of electron traps were found: 90, 140, and 317 meV. The role of deep traps in recombination process as well as the photoconductivity mechanism was discussed.

Запропоновано використовувати сервіс-орієнтовану природу архітектури підприємства для аналізу реорганізаційних проектів і розробки варіантів реалізації таких проектів. Наведено алгоритм проведення сервіс-орієнтованого аналізу архітектурних рішень, та запропоновано варіант адаптації відомих моделей щодо визначення вимог до сервісів різних шарів архітектури підприємства.

The paper focuses on experimental study of the photovoltage time decay in ITO - Ge - Si heterojunction with Ge nanostructured thin film. Kinetics under 650 nm excitation within the temperature range 80 to 290 K are successfully described by a single exponential function with temperature-dependent decay constants. Photovoltage relaxation is modeled taking into account the hopping nature of electron transport in the band of localized states.

Reveals critical socio-economic factors that influence a low level of the implementation of reforms and transformations in the social sphere and reduce the indirect effects of economic cooperation in the sphere of social protection of employees, migration and development of social infrastructure. The necessity to develop the directions of cooperation in the sphere of employment, social policy and equal opportunities for the population in order to confront social challenges and improve the quality of life, which is caused by a number of quantitative and qualitative changes, is substantiated. It is proved that solving the problem of the selection of skilled personnel in the Ukrainian labour market would help to improve employment opportunities for the Ukrainian workforce, including labour migrants and internally displaced people. The reforms of state policy in the social sphere should be primarily aimed at solving the social problem of late payment of salaries, the problem of widespread use of shadow pay schemes, which negatively affect the efficiency of management and social protection of workers. The means of expanding cooperation that are aimed at improving the quality of life, confronting social challenges and realizing equal opportunities of the Ukrainian population, are suggested. The priority directions and means of intensifying the implementation of reforms and transformations in the social sphere are singled out. The proposed measures will promote the efficient implementation of the Conception on social policy of Ukraine until 2023 and the Strategy of overcoming poverty for the period up to 2020, help to maintain effective employment of the population and reduce the number of compulsory redundant workers, ensure efficient cooperation in the sphere of the social policy and equal opportunities for the population within the framework for the implementation of the economic component of the association agreement.