scholarly journals Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

2014 ◽  
Vol 2014 ◽  
pp. 1-20
Author(s):  
Xinyan Gao ◽  
Yingcai Ding ◽  
Wenbo Liu ◽  
Kaidi Zheng ◽  
Siyu Huang ◽  
...  
Keyword(s):  
State Space ◽  
Permutation Group ◽  
Symmetry Reduction ◽  
Point Of View ◽  
Mathematical Framework ◽  
Theoretical Point ◽  
Practical Applications ◽  
Event Structures ◽  
Basic Facts ◽  
Equivalence Relationship

Nonclassical slicing and symmetry reduction can act as efficient structural abstract methods for pruning state space when dealing with verification problems. In this paper, we mainly address theoretical and algorithmic aspects for nonclassical slicing and symmetry reduction over prime event structures. We propose sliced and symmetric quotient reduction models of event structures and present their corresponding algorithms. To construct the underlying foundation of the proposed methodologies, we introduce strong and weak conflict concepts and a pair of mutually inverse operators and extend permutation group based symmetry notion of event structures. We have established a unified mathematical framework for slicing and symmetry reduction, and further investigated the translation, isomorphism, and equivalence relationship and other related basic facts from a theoretical point of view. The framework may provide useful guidance and theoretical exploration for overcoming verification challenges. This paper also demonstrates their practical applications by two cases.

scholarly journals The island model as a Markov dynamic system

2012 ◽  
Vol 22 (4) ◽  
pp. 971-984 ◽  
Author(s):  
Robert Schaefer ◽  
Aleksander Byrski ◽  
Maciej Smołka
Keyword(s):  
Markov Chain ◽  
Formal Analysis ◽  
Convergent Subsequence ◽  
Point Of View ◽  
Island Model ◽  
Island Population ◽  
Mathematical Framework ◽  
Theoretical Point ◽  
Single Population ◽  
Mild Assumption

Parallel multi-deme genetic algorithms are especially advantageous because they allow reducing the time of computations and can perform a much broader search than single-population ones. However, their formal analysis does not seem to have been studied exhaustively enough. In this paper we propose a mathematical framework describing a wide class of island-like strategies as a stationary Markov chain. Our approach uses extensively the modeling principles introduced by Vose, Rudolph and their collaborators. An original and crucial feature of the framework we propose is the mechanism of inter-deme agent operation synchronization. It is important from both a practical and a theoretical point of view. We show that under a mild assumption the resulting Markov chain is ergodic and the sequence of the related sampling measures converges to some invariant measure. The asymptotic guarantee of success is also obtained as a simple issue of ergodicity. Moreover, if the cardinality of each island population grows to infinity, then the sequence of the limit invariant measures contains a weakly convergent subsequence. The formal description of the island model obtained for the case of solving a single-objective problem can also be extended to the multi-objective case

Study of the properties of materials under complicated conditions of low cycle deformation

2021 ◽  
Vol 87 (7) ◽  
pp. 49-58
Author(s):  
N. A. Makhutov ◽  
М. M. Gadenin ◽  
О. F. Cherniavsky ◽  
A. О. Cherniavsky
Keyword(s):  
Initial Data ◽  
Equations Of State ◽  
Complex Loading ◽  
Time Factors ◽  
Point Of View ◽  
Theoretical Point ◽  
Operational Parameters ◽  
Practical Applications ◽  
Wide Range ◽  
Deformation Diagrams

Operational integrity of structures under complex combined modes of a loading depends on a significant number of combinations of operational parameters of thermomechanical impacts in part of loads, temperatures, duration, number of cycles, and deformation rates. The main laws governing the deformation of structural materials under complex loading are determined in conditions of combined standard, unified and special tests in laboratories. Using representative substantiations of physical and mechanical models for deformation diagrams in a wide range of loading conditions, taking into account the different scales of models, the structure of materials and the responsibility of structures, a stepwise consideration of the corresponding types of deformation is proposed: elastic, sign-variable flow, progressing accumulation of strains and their combination. At the same time, calculations of the structures can be carried out in the form of a hierarchical system in which each next level specifies the boundaries of permissible impacts towards expansion of the range of acting loadings, temperatures, rates and modes of deformation, which entails an increase in the bulk of the required initial data and complicates the calculations. The proposed methods of schematization of the physicomechanical properties and types of the equations of state for description of the deformation curves take into account the requirements of compactness of the initial data and the need of using both standard and unified methods for determining the characteristics of cyclic inelastic deformation and special methods as well. To describe the kinetics of deformation diagrams under aforementioned conditions both from the theoretical point of view and from the point of view of practical applications, power equations appeared most suitable; to reflect the role of the temperature factor exponential dependences should be used; whereas power dependences are useful to take into account time factors, strain rate, and conditions of two-frequency loading. The refined calculations at the higher and more complicated steps of the considered hierarchy providing the maximum possible use of the deformation and strength reserves of the materials and structures are to be based on the kinetic laws describing processes of low cycle deformation under complex modes of loading.

scholarly journals On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width

10.29007/cvnz ◽  
2018 ◽  
Author(s):  
Gergely Kovásznai ◽  
Andreas Fröhlich ◽  
Armin Biere
Keyword(s):  
Point Of View ◽  
Satisfiability Modulo Theories ◽  
Theoretical Point ◽  
Fixed Size ◽  
Practical Applications ◽  
Binary Encoding ◽  
Complexity Results ◽  
Bit Vector

Bit-precise reasoning is important for many practical applications ofSatisfiability Modulo Theories (SMT). In recent years efficient approachesfor solving fixed-size bit-vector formulas have been developed. Fromthe theoretical point of view, only few results on the complexity offixed-size bit-vector logics have been published. In this paper we showthat some of these results only hold if unary encoding on the bit-width ofbit-vectors is used. We then consider fixed-size bit-vector logics withbinary encoded bit-width and establish new complexity results. Our proofsshow that binary encoding adds more expressiveness to bit-vector logics,e.g. it makes fixed-size bit-vector logic even without uninterpretedfunctions nor quantication NExpTime-complete. We also show that undercertain restrictions the increase of complexity when using binary encodingcan be avoided.

scholarly journals Decidable Reasoning in Terminological Knowledge Representation Systems

1993 ◽  
Vol 1 ◽  
pp. 109-138 ◽  
Author(s):  
M. Buchheit ◽  
F. M. Donini ◽  
A. Schaerf
Keyword(s):  
Knowledge Representation ◽  
Knowledge Bases ◽  
Point Of View ◽  
Theoretical Point ◽  
General Technique ◽  
Practical Applications ◽  
Constraint Systems ◽  
Representation Systems ◽  
Concept Languages ◽  
Knowledge Representation Systems

Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a theoretical point of view a TKRS whose capabilities go beyond the ones of presently available TKRSs. The new features studied, often required in practical applications, can be summarized in three main points. First, we consider a highly expressive terminological language, called ALCNR, including general complements of concepts, number restrictions and role conjunction. Second, we allow to express inclusion statements between general concepts, and terminological cycles as a particular case. Third, we prove the decidability of a number of desirable TKRS-deduction services (like satisfiability, subsumption and instance checking) through a sound, complete and terminating calculus for reasoning in ALCNR-knowledge bases. Our calculus extends the general technique of constraint systems. As a byproduct of the proof, we get also the result that inclusion statements in ALCNR can be simulated by terminological cycles, if descriptive semantics is adopted.

Timber Auctions in the Context of the Modern Auction Theory

2007 ◽  
pp. 86-94
Author(s):  
A. Manakov
Keyword(s):  
Theoretical Analysis ◽  
Auction Theory ◽  
Point Of View ◽  
Theoretical Point ◽  
English Auction ◽  
Analysis And Evaluation

The article provides theoretical analysis and evaluation of the timber auctions reforms in Russia. The author shows that the mechanism of the "combined auctions", which functioned until recently, is more appropriate from the theoretical point of view (and from the point of view of the Russian practice) as compared to the officially approved format of the English auction.

A novel cryptosystem based on abstract automata and Latin cubes

2015 ◽  
Vol 52 (2) ◽  
pp. 221-232
Author(s):  
Pál Dömösi ◽  
Géza Horváth
Keyword(s):  
Block Cipher ◽  
Finite Automata ◽  
Theoretical Background ◽  
Point Of View ◽  
Theoretical Point ◽  
Transition Matrices ◽  
Encryption And Decryption ◽  
Secret Keys ◽  
Automata Network ◽  
Fully Functioning

In this paper we introduce a novel block cipher based on the composition of abstract finite automata and Latin cubes. For information encryption and decryption the apparatus uses the same secret keys, which consist of key-automata based on composition of abstract finite automata such that the transition matrices of the component automata form Latin cubes. The aim of the paper is to show the essence of our algorithms not only for specialists working in compositions of abstract automata but also for all researchers interested in cryptosystems. Therefore, automata theoretical background of our results is not emphasized. The introduced cryptosystem is important also from a theoretical point of view, because it is the first fully functioning block cipher based on automata network.

Graffiti als Version und Subversion–Praxen kultureller Re-Regulierung und die Möglichkeit von Gratiforschung

2010 ◽  
Vol 55 (2) ◽  
pp. 11-25 ◽  
Author(s):  
Bernd Dollinger
Keyword(s):  
Social Life ◽  
Point Of View ◽  
Theoretical Point ◽  
Research Practice ◽  
Wird Eine ◽  
Multiple Perspectives

Der Beitrag geht von Versuchen aus, integrative Perspektiven einer überaus heterogenen Graffitiforschung zu bestimmen. In Auseinandersetzung insbesondere mit Bruno Latours Ansatz des »Iconoclash« wird eine kulturtheoretische Referenz bestimmt, die Graffiti als Version identifiziert, d. h. als semiotisch orientierte Veränderung räumlich situierter Ordnungs- und Regulierungspraxen. Ihnen kann, wenn auch nicht zwingend, eine subversive Qualität zukommen. Durch die Ausrichtung am Konzept einer Version wird beansprucht, Forderungen einer normativ weitgehend abstinenten, nicht-essentialistischen und für komplexe Fragen der Identitäts- und Raumpolitik offenen Forschungspraxis einzulösen.<br><br>The contribution attempts to integrate multiple perspectives of current largely heterogeneous graffiti scholarship. Referring to Bruno Latour’s concept »iconoclash«, we discuss graffiti from a cultural-theoretical point of view as a »version«. It appears as a semiotically oriented modification of spatially situated practices that regulate social life. Often, but not necessarily, these practices involve subversive qualities. The concept of »version« facilitates a non-normative and non-essentialist strategy of research. This enables an explorative research practice in which the complex matters of identity and space politics that are associated with graffiti can be addressed.

scholarly journals How Digital Inclusion Increase Opportunities for Young People: Case of NEETs from Bulgaria, Romania and Turkey

2021 ◽  
Vol 13 (14) ◽  
pp. 7894
Author(s):  
Gabriela Neagu ◽  
Muhammet Berigel ◽  
Vladislava Lendzhova
Keyword(s):  
Data Analysis ◽  
Rural Areas ◽  
Secondary Data ◽  
Point Of View ◽  
Multidimensional Analysis ◽  
Theoretical Point ◽  
Digital Inclusion ◽  
Virtual Mobility ◽  
Alternative Research ◽  
High Share

This paper examines the perspectives of rural NEETs in the information society. Our analysis focuses on the situation of three European countries—Bulgaria, Romania, and Turkey—characterized by a high share of rural areas and a population of NEETs. From a methodological point of view, we use alternative research methods (secondary data analysis) with statistical methods (simple linear regression). From a theoretical point of view, we will opt for a multidimensional analysis perspective: the theory of digital divide, digital inclusion, virtual mobility, etc. Through data analysis, we expect to obtain a more complete and detailed picture of the ICT situation in rural areas (level of digital skills, level of digital inclusion) to demonstrate the importance of ICT in optimizing virtual mobility for the living conditions of the population, especially the NEET population.

scholarly journals Verbena officinalis Verbenaceae (Lamiales): a new plant model system for phyllotaxis research

2021 ◽  
Author(s):  
Beata Zagórska-Marek ◽  
Magdalena Turzańska ◽  
Klaudia Chmiel
Keyword(s):  
Vascular System ◽  
Cumulative Effect ◽  
Point Of View ◽  
Theoretical Point ◽  
Inflorescence Axis ◽  
Organ Identity ◽  
Lateral Organ ◽  
Complex Relationships ◽  
Secondary Transitions

AbstractPhyllotactic diversity and developmental transitions between phyllotactic patterns are not fully understood. The plants studied so far, such as Magnolia, Torreya or Abies, are not suitable for experimental work, and the most popular model plant, Arabidopsis thaliana, does not show sufficient phyllotactic variability. It has been found that in common verbena (Verbena officinalis L.), a perennial, cosmopolitan plant, phyllotaxis differs not only between growth phases in primary transitions but also along the indeterminate inflorescence axis in a series of multiple secondary transitions. The latter are no longer associated with the change in lateral organ identity, and the sequence of phyllotactic patterns is puzzling from a theoretical point of view. Data from the experiments in silico, confronted with empirical observations, suggest that secondary transitions might be triggered by the cumulative effect of fluctuations in the continuously decreasing bract primordia size. The most important finding is that the changes in the primary vascular system, associated with phyllotactic transitions, precede those taking place at the apical meristem. This raises the question of the role of the vascular system in determining primordia initiation sites, and possibly challenges the autonomy of the apex. The results of this study highlight the complex relationships between various systems that have to coordinate their growth and differentiation in the developing plant shoot. Common verbena emerges from this research as a plant that may become a new model suitable for further studies on the causes of phyllotactic transitions.

scholarly journals Modeling and theoretical description of magnetic hybrid materials—bridging from meso- to macro-scales

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Andreas M. Menzel ◽  
Hartmut Löwen
Keyword(s):  
Colloidal Particles ◽  
Colloidal Particle ◽  
Theoretical Description ◽  
Point Of View ◽  
Material Behavior ◽  
Theoretical Point ◽  
Mechanical Stiffness ◽  
Theoretical Approaches ◽  
Theoretical Predictions ◽  
Particle Level

Abstract Magnetic gels and elastomers consist of magnetic or magnetizable colloidal particles embedded in an elastic polymeric matrix. Outstanding properties of these materials comprise reversible changes in their mechanical stiffness or magnetostrictive distortions under the influence of external magnetic fields. To understand such types of overall material behavior from a theoretical point of view, it is essential to characterize the substances starting from the discrete colloidal particle level. It turns out that the macroscopic material response depends sensitively on the mesoscopic particle arrangement. We have utilized and developed several theoretical approaches to this end, allowing us both to reproduce experimental observations and to make theoretical predictions. Our hope is that both these paths help to further stimulate the interest in these fascinating materials.

Sign in / Sign up

Export Citation Format

Share Document