Perfil criminológico de um perpetrador de alta traição

The article presents the analysis of specific criminological features of the persons who have committed high treason in order to know their typical criminological profile. For the purpose of that, 39 court decisions of the Unified State Register of Judgments (hereinafter: USRJ) of Ukraine, which were made against persons who committed this type of crime, were examined. Socio-demographic (gender, age, education, nationality) and criminal-law (motivation of the criminal behavior, single or group criminal character of criminal activity, duration of criminal activity, presence or absence of criminal record, etc.) were estimated in investigation. Generalization and interpretation of the results of court decisions made it possible to simulate a typical criminological profile of the perpetrator of the state treason and to identify certain specific characteristics of the subjects of this crime. It is concluded that knowledge of the criminological profile of the state traitor is of great importance for the profile of criminals by law enforcement agencies, which are empowered to prevent crime in the field of national security

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

This paper reports a research that established the possibility of increasing the effectiveness of the method of figurative transformations to minimize partially defined Boolean functions. The method makes it possible, without loss of functionality, to reduce the complexity of the minimization procedure, compared to sorting out binary definitions of partially defined Boolean functions. The interpretation of the result is that the 2-(n, b)-design, 2-(n, x/b)-design systems are a reflection of logical operations. Therefore, the identification of such combinatorial systems in the truth table of logical functions directly and unambiguously establishes the location of logical operations for equivalent transformations of Boolean expressions. This, in turn, implicates an algorithm for simplifying Boolean functions, including partially defined Boolean functions. Thus, the method of figurative transformations simplifies and speeds up the procedure for minimizing partially defined Boolean functions, compared to analogs. This indicates that the visual-matrix form of the analytical method still has the prospect of increasing its hardware capabilities, including in terms of minimizing partially defined Boolean functions. It has been experimentally confirmed that the method of figurative transformations increases the efficiency of minimizing partially defined Boolean functions, compared with analogs, by 100–200 %. There is reason to argue about the possibility of increasing the efficiency of minimizing partially defined Boolean functions in the main and polynomial bases by the specified method. The effectiveness of the method, in particular, is ensured by carrying out all operations of generalized gluing of variables for dead-end disjunctive normal forms (DNF), followed by the use of implicant tables; optimal combination of a sequence of logical operations for gluing variablesПроведеними дослідженнями встановлена можливість збільшення ефективності методу образних перетворень для мінімізації частково визначених булевих функцій. Метод дає змогу без втрати функціональності зменшити складність процедури мінімізації, порівняно з перебором бінарних довизначень частково визначених булевих функцій. Інтерпретація результату полягає у тому, що системи 2-(n, b)-design, 2-(n, x/b)-design є відображенням логічних операцій. Тому виявлення таких комбінаторних систем у таблиці істинності логічних функцій безпосередньо і однозначно встановлює локацію логічних операцій для рівносильних перетворень булевих виразів. Це, у свою чергу, імплікує алгоритм спрощення булевих функцій, у тому числі й частково визначених булевих функцій. Таким чином метод образних перетворень спрощує та пришвидшує процедуру мінімізації частково визначених булевих функцій, порівняно з аналогами. Це вказує та те, що візуально-матрична форма аналітичного методу, все ще має перспективу нарощувати свої апаратні можливості, зокрема й стосовно мінімізації частково визначених булевих функцій. Експериментально підтверджено, що метод образних перетворень підвищує ефективність мінімізації частково визначених булевих функцій, порівняно з аналогами на 100–200 %. Є підстави стверджувати про можливість збільшення ефективності мінімізації частково визначених булевих функцій в основному та поліномному базисах зазначеним методом. Ефективність методу, зокрема, забезпечується проведенням всіх операцій узагальненого склеювання змінних для тупикових диз’юнктивних нормальних форм (ДНФ) з наступним застосуванням імплікантних таблиць; оптимальним комбінуванням послідовності логічних операцій склеювання змінни