1. Synchronizing Automata Preserving a Chain of Partial Orders Abstract We present a new class of automata which strictly contains the class of aperiodic automata and shares with the latter certain synchronization properties. In particular, every strongly connected automaton in this new class is synchronizing and has a reset word of length [(n(n+1)/6] where n is the number of states of the automaton. © Springer-Verlag Berlin Heidelberg 2007. Published 2007
2. Interface and Visualization Metaphors Abstract The paper is devoted to problems of computer metaphors, such as Interface metaphor and Visualization metaphor. Interface metaphor is considered as the basic idea of likening between interactive objects and model objects of the application domain. A visualization metaphor is defined as a map establishing the correspondence between concepts and objects of the application domain under modeling and a system of some similarities and analogies. This map generates a set of views and a set of methods for communication with visual objects. Some positions of the metaphor theory are discussed. Concept of metaphor action is suggested.. "Formula" of metaphor is constructed. A set of examples of metaphor was analyzed. Aprioristic quality criteria of interface and visualization metaphors are suggested. These criteria allow evaluating as existing metaphors and to search for adequate metaphors for designing new specialized systems. © Springer-Verlag Berlin Heidelberg 2007. Published 2007
3. Development of Multi Agent Resource Conversion Processes Model and Simulation System Abstract The mathematical model of multi agent resource conversion processes (RCP) is developed by the means of discrete-event simulation systems and expert systems. Within the framework of mathematical model RCP are defined: production system of the RCP structure, that taking into account conflicts origin. The discrete-event simulation system "BPsim" is developed on the basis of the multi agent RCP mathematical model. The "BPsim" system is inculcated on the firms in Ural region (Russia). © Springer-Verlag Berlin Heidelberg 2006. Published 2006
4. Synchronizing Automata with a Letter of Deficiency 2 Abstract We present two infinite series of synchronizing automata with a letter of deficiency 2 whose shortest reset words are longer than those for synchronizing automata obtained by a straightforward modification of Černý's construction. © Springer-Verlag Berlin Heidelberg 2006. Published 2006
5. The Monte Carlo and Molecular Dynamics Simulation of Gas-surface Interaction Abstract A testing procedure and a program product for modeling gas-surface scattering process have been developed. Using the developed product the numerical simulation of the thermal transpiration phenomenon at free molecular conditions of the gas flow in channels with the use of different scattering kernels has been carried out. The surface structure influence on energy and momentum exchange in a gas-surface system has been studied by the use of Molecular Dynamics method. © Springer-Verlag Berlin Heidelberg 2005. Published 2005