монографія

Конституційний процес в Україні та світовий досвід конституціоналізму : монографія / [Шемшученко Ю. С., Батанов О. В., Крусян А. Р. та ін.] ; наук. ред. Ю. С. Шемшученко, відп. ред. Н. М. Пархоменко. - Київ : Видавництво "Юридична думка", 2014. - 262 с.У монографії на основі аналізу конституційних перетворень в Україні в контексті сприйняття і втілення принципів європейського конституціоналізму, теоретико- методологічних проблем оновлення Конституції України та національного законодавства у зв'язку із асоціацією України з Європейським Союзом, вивчення історичних і сучасних особливостей конституційного процесу та конституційного ладу в країнах пострадянського простору, основних етапів генезису Конституції та конституційного законодавства в Україні, реформування конституційно-правового статусу Президента України в напрямі поділу влади та зміни форми республіканського правління, тенденцій розвитку вітчизняного законодавства про місцеве самоврядування з огляду на міжнародні стандарти муніципальної демократії, основних сучасних тенденцій конституціоналізму у світі та Україні визначені особливості конституційного процесу в нашій країні та країнах пострадянського простору, розвитку конституційного законодавства в напрямі конституційної модернізації, сучасні тенденції світового конституціоналізму і вітчизняної конституційної практики. Запропоновано зміни до Конституції та чинної системи законодавства України. Розрахована на науковців, викладачів, аспірантів і студентів, політиків та працівників державного апарату, насамперед Верховної Ради України, Кабінету Міністрів України та Конституційного Суду України, а також всіх, хто цікавиться проблемами розвитку конституційного права України

Static Analysis of IMC

AbstractProcess algebras formalism is highly suitable for producing succinct descriptions of reactive concurrent systems. Process algebras allow to represent them in a compositional way, as processes that run in parallel and interact, for example, through synchronisation or message passing. On the other hand, checking properties on process algebraic descriptions is often hard, while “unfolding” them into the Labelled Transition Systems can lead to the infamous state space explosion problem.In this work we use a subtype of Data Flow Analysis on systems defined by finite-state process algebras with CSP-type synchronisation – in particular, on our variant of IMC with a more permissive syntax, i.e. with a possibility to start a bounded number of new processes. We prove that the defined Pathway Analysis captures all the properties of the systems, i.e. is precise. The results of the Pathway Analysis can be therefore used as an intermediate representation format, which is more concise than the Labelled Transition System with all the states explicitly represented and more suitable for devising efficient verification algorithms of concurrent systems than their process algebraic descriptions – see, for example, the reachability algorithm in Skrypnyuk and Nielson (2011) [17]

ФОРМАЛІЗАЦІЯ ВИБОРУ ДОЦІЛЬНОГО ВАРІАНТА РІШЕННЯ НА ДІЇ ВІЙСЬК З УРАХУВАННЯМ ПОТРЕБ В ІНФОРМАЦІЇ ТА СТРУКТУРИ СИСТЕМИ УПРАВЛІННЯ

The issues relevant to the selection of an appropriate decision variant affecting military troops activities given information requirements to realize this decision and and the command and control system structure are considered. An approach to formalize the selection criteria of an appropriate decision variant based on the exclusion of options that are not supported by the information required for their realization is proposed.Розглянуто питання вибору доцільного варіанта рішення на дії військ з урахуванням потреб в інформації для його реалізації та структури системи управління. Запропоновано підхід до формалізації критерію вибору доцільного варіанта рішення шляхом виключення тих, що не забезпечуються потрібною для їх реалізації інформацією

Small size digital frequency counters of high-frequency range

The article presents the review of operation principles, application, brief technical and metrological characteristics of frequency counters as UA Ч3-63/3, UA Ч3-79M, UA Ч3-101