Ecological aspects of dyeing on a geterokoagulyation mechanism

Запропоновано нову технологію гетерокоагуляційного фарбування, яка базується на засадах «зеленої хімії», і призводить до суттєвого зменшення викидів токсичних речовин, економії обсягів води та енергоресурсів, покращення умов праці.Technology of the geterokoagulyation of dyeing is based on principles of «green chemistry». Results in the substantial diminishing of consumption of water, power expenses, improvements condition of labour of working personnel.Предложено новую технологию гетерокоагуляционного крашения, которая основана на принципах «зеленой химии», и приводит к существенному уменьшению выбросов токсических веществ, экономии воды и затрат энергоносителей, улучшению условий труда

Проверка моделей распределенных систем с помощью аффинного представления данных

A new data structure is suggested for symbolic model checking of distributed systems defined by linear functions of integer variables.Предложено эффективное символьное представление распределенных систем, определяемых линейными функциями над целочисленными переменными

Оптимизационные процедуры в аффинной проверке моделей

Symbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic techniques, for example, constraint based model checking and regular model checking. In this paper we suggest improved algorithms for an algebraic data representation, namely, optimization algorithms for affine data structures.Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть три основных направления символьной проверки моделей: методы, основанные на бинарных разрешающих диаграммах, ограниченная проверка моделей, использующая SAT-решатели, и различные алгебраические подходы к эффективному представлению данных. В данной работе предлагается рассмотреть улучшенные алгоритмы манипуляции с алгебраическим представлением данных, а именно алгоритмы оптимизации аффинных представлений данных

Феномен социальной памяти в духовной эволюции общества

The peculiarities of interpretation of social memory are certain in socio-humanitarian knowledge are described, the correlation of concepts «culture» and «social memory» is explained, position about growth of influence of social memory on the spiritual world of personality in the process of evolution is grounded. The peculiarities of social memory functioning are described in global society. The negative aspects of constructing social memory are described on the basis of information technologies: control and manipulation of the content of spiritual life of society.Определены особенности трактовки социальной памяти в социогуманитарном знании, объяснено соотношение понятий «культура» и «социальная память», обосновано положение о возрастании влияния социальной памяти на духовный мир личности в процессе эволюции. Показаны особенности функционирования социальной памяти в глобализирующемся обществе: мультикультурность, интерсубъективность, открытость контента. Охарактеризованы негативные аспекты конструирования социальной памяти на основе информационных технологий: контроль и манипулирование содержанием духовной жизни общества

Общие знания в хорошо структурированных системах с абсолютной памятью

We investigate a model checking problem for the logic of common knowledge and fixpoints µPLCn in well-structured multiagent systems with perfect recall. In this paper we show that a perfect recall synchronous environment over a well-structured environment forms a well-structured environment provided with a special PRS-order. This implies that the model checking problem for the disjunctive fragment of µPLCn is decidable.В данной работе исследуется задача проверки моделей для логики общих знаний и неподвижных точек µPLCn в хорошо структурированных мультиагентных системах с абсолютной памятью. Показано, что среда с абсолютной памятью, порожденная хорошо структурированной средой и снабженная специальным PRS-порядком, образует хорошо структурированную среду. Из этого следует, что проверка моделей для дизъюнктивного фрагмента µPLCn разрешима

Тождественность прошлого и настоящего: контексты социокультурной идентификации субъекта

The characteristic of national and cultural identity as necessary basis of unity of the subject and social community is given. Psychological, axiological and cognitive aspects of identity are allocated. The content of categories of social memory, social character and mentality as mechanisms of formation of social identity of the subject is defined. Social memory is considered as an embodiment of objective spirit (last historical experience of the mankind) forming the mental features of the subject acting as an identification matrix by means of social character. The dominating role of social memory in relation to social character and mentality in an identification context is proved.Дана характеристика национально-культурной идентичности как необходимой основы единства субъекта и социального сообщества. Выделены психологический, аксиологический и когнитивный аспекты идентичности. Определено содержание категорий социальной памяти, социального характера и менталитета как механизмов формирования социальной идентичности субъекта. Социальная память рассмотрена как воплощение объективного духа (прошлого исторического опыта человечества), формирующего посредством социального характера ментальные особенности субъекта, выступающие матрицей идентификации. Обоснована доминантная роль социальной памяти по отношению к социальному характеру и менталитету в идентификационном контексте

Подход к верификации семейства мультиагентных систем разрешения конфликтов

In the paper, we describe a verification method for families of distributed systems generated by context-sensitive network grammar of a special kind. This grammar includes special non-terminal symbols, so called quasi-terminals, which uniquely correspond to grammar terminals. These quasi-terminals specify processes which are merging of base system processes, in contrast to simple nonterminals which specify networks of parallel compositions of the processes. The method is based on model checking technique and abstraction. An abstract representative model for a family of systems depends on their specification grammar and system properties to be verified. This model simulates the behaviour of the systems in such a way that the properties which hold for the representative model are satisfied for all these systems. The properties of the representative model can be verified by model checking method. The properties of a generated system are specified by universal branching time logic ∀CTL with finite deterministic automata as atomic formulas. We show the use of this method for verification of some properties of a multiagent system for conflict resolution, in particular, for context-dependent disambiguation in ontology population. We also suggest that this approach should be used for verification of computations on sub-grids which are sub-graphs of computation grids. In particular, we consider the computation of parity of the active processes number in a sub-grid.В данной работе мы описываем метод верификации для семейств распределенных систем, которые порождаются контекстно-зависимой сетевой грамматикой специального вида. Эта грамматика содержит специальные нетерминальные символы ䷘ квази-терминалы. Квази-терминалы однозначно соответствуют терминалам грамматики и могут задавать процессы,которые определяются слиянием базовых процессов системы, в то время как нетерминалы задают сети параллельных композиций этих процессов. Данный метод верификации основан на техниках верификации моделей и абстракции. Абстрактная репрезентативная модель семейства систем зависит от задающей их грамматики и верифицируемых свойств системы. Эта модель симулирует поведение заданных систем таким образом, что свойства, которые выполняются в репрезентативной модели, также выполняются и во всех заданных системах. Проверку свойств репрезентативной модели можно осуществлять с помощью метода проверки моделей. Свойства порождаемых систем специфицируются с помощью универсальной логики ветвящегося времени ∀CTL с конечными детерминированными автоматами в качестве атомарных формул. Мы показываем, что предложенный метод верификации можно применять для проверки некоторых свойств мультиагентных систем разрешения конфликтов, в частности, систем разрешения неоднозначностей при пополнении онтологий. Также показано, что этот подход можно использовать для верификации вычислений на подрешетках, являющихся подграфами решеток вычислений, например, для вычисления четности числа работающих процессов

Гуманизация управленческой деятельности

The article deals with determining the basic directions of humanizing the administrative activity in organization the content of which provides a constructive dialog in the «leader-subordinate» system based on taking into account of many-sided nature of a human being, social responsibility of management subject and object. Contradictions of this process conditioned estrangement of people in the vertical line of imperious relations, by displays of destructive qualities of human being are also described.Определяются основные направления гуманизации управленческой деятельности в организации, содержание которых составляет обеспечение конструктивного диалога в системе «руководство-подчинение», базирующееся на учете многогранной природы человека, социальной ответственности субъекта и объекта управления. Охарактеризованы противоречия этого процесса, обусловленные отчужденностью людей в вертикали властных отношений, проявлениями деструктивных качеств человека

poST

Publisher Copyright: AuthorThis paper presents the core concepts for the poST language - a process-oriented extension of the IEC 61131-3 Structured Text (ST) language which intends to provide a conceptual consistency of the PLC source code with technological description of the plant operating procedure. The poST can be seamlessly used as a textual programming language for complex PLC software in the context of IEC 61131-3 (3rd Edition). The language combines the advantages of FSM-based programming with the conventional syntax of the ST language which would facilitate its adoption. The poST language assumes that a poST-program is a set of weakly connected concurrent processes, structurally and functionally corresponding to the technological description of the plant. Each process is specified by a sequential set of states. The states are specified by a set of the ST constructs, extended by TIMEOUT operation, SET STATE operation, and START / STOP / check state operations to communicate with other processes. The paper describes the basic syntax of the poST language, demonstrates the usage of the poST language by developing control software for an elevator, and compares the development in poST with pure Structured Text.Peer reviewe