A complete theory of deterministic event structures

This paper generalizes the Huet and Lévy theory of normalization by neededness to an abstract setting. We define Stable Deterministic Residual Structures (SDRS) and Deterministic Family Structures (DFS) by axiomatizing some properties of the residual relation and the family relation on redexes in an Abstract Rewriting System. We present two proofs of the Relative Normalization Theorem, one for SDRSs for regular stable sets, and another for DFSs for all stable sets of desirable ‘normal forms’. We further prove the Relative Optimality Theorem for DFSs. We extend this result to deterministic Computation Structures which are deterministic Event Structures with an extra relation expressing self-essentiality.

The study of sentence patterns plays a very important role in foreign language learning. Linguistic researchers have analyzed and discussed sentence meaning structures and their representation from various angles, but few of them except theories of event structures study from the origin of sentence production. The current mainstream theories of the event structures mainly introduce the event structures by the characteristics of verbs. These theories are bound to lead to the existence of many inexplicable linguistic expressions within their own theoretical frameworks. Adapting to the trend of integrated study of events, the present study attempts to integrate the basic views of events in the various fields and puts forward a view of attribute-space-time based events. On that basis, this study further defines and classifies the events and finally represents their event structures. The mastery of attribute-space-time events, event structures and their representations can help foreign language learners to better grasp the laws of foreign language and to learn them more effectively.

In Mandarin Chinese, there exists such adverbial clause as “Li Zhen cuicuide zhale yipan huashengmi” (Li Zhen fried a dish of peanuts crispy), in which the adverbial modifies the predicate verb but semantically orients to the object. This kind adverbial clause can be formulated as “NPs+APo+De+VP+NPo=NP+VP+O and O is characterized by the adverbial”. The object-oriented adverbial clause is a mismatched syntax-semantics phenomenon, with the mapping between form and meaning distorted. Many previous studies have proposed not fully identical analyses for the syntactic distribution, pragmatic motivation and constraints. However, few researches have made syntactic and semantic analyses from the perspective of event structure in the framework of formal linguistics, which leaves wide space for further study.Event structure theory is adopted in this paper to make analysis of object-oriented adverbial clauses in event semantics perspective. This paper aims to examine the syntactic structure from the perspective of event semantic structure and explore how event structure is represented in syntactic structure of object-oriented adverbial clause.

We provide a model-checking technique for a logic for true concurrency, whose formulae predicate about events in computations and their causal dependencies. The logic, that represents the logical counterpart of history-preserving bisimilarity, is naturally interpreted over event structures. It includes minimal and maximal fixpoint operators and thus it can express properties of infinite computations. Global algorithms are not convenient in this setting, since the event structure associated with a system is typically infinite (even if the system is finite state), a fact that makes also the decidability of model-checking non-trivial. Focusing on the alternation free fragment of the logic, along the lines of some classical work for the modal mu-calculus, we propose a local model-checking algorithm. The algorithm is given in the form of a tableau system, for which, over a class of event structures satisfying a suitable regularity condition, we prove termination, soundness and completeness.

Perception verbs – such as look, see, taste, hear, feel, sound, listen, and observe – present unresolved problems for linguistic theories. This book examines the predictability of relations between their semantics and syntactic behaviour, the different kinds of polysemy they exhibit, and the role of evidentiality in verbs like seem and appear. After an opening chapter explaining the nature of the issues, there is a concise introduction to Word Grammar. Chapter 3 considers the implications of the approach for a general theory of event structure, and looks at how Word Grammar can be applied to causation, argument linking, and the modelling of polysemy. Chapter 4 explores the polysemy of see; chapter 5 looks at relations between verbs of active perception like listen, and verbs of involuntary perception such as hear; chapter 6 explores the semantics of non‐finite predicative complementation; and chapter 7 discusses verbs of appearance. Chapter 8 presents some conclusions.

The event structures expressed by sentences consist of relations among subevents and their participant roles, called thematic roles or relations. We will say that a theory of the thematic structure of sentences is strictly configurational if every thematic role distinction is represented by a configurationally distinct position in this structure. Strict Thematic Configurationality therefore implies an isomorphism between thematic relations and equivalence classes of positions in syntactic structures. Thus, given this principle, thematic or event-structural aspects of semantics must be purely syntactic. More specifically, meaning or interpretation in respect to these aspects must be a function of category type (functional properties) and configuration (purely formal structural/syntactic relations) only. There can be no representation of thematic relations as substantive categories or features. The syntactic forms representing thematic structure may or may not be identified with those of a component of grammatical syntax. However, a minimalist conception of Strict Thematic Configurationality would seem to require that they are: that there is no autonomous system of thematic relations apart from grammatical syntax.

A logical characterization of well branching event structures

Event Structures for Local Traces

The matrix theory of framed structures to applicable in principle to frames of arbitrary finite extent, but difficulties of computation preclude its use for analyzing structures with many degrees of freedom. A class of structures is defined that includes some well-known large-span domes. It is shown that for these structures a highly significant decoupling of the stiffness equations is achieved by the use of finite Fourier series with vector coefficients. For certain kinds of loading the theory is extended to treat nonlinear elastic behavior, and computable criteria of elastic buckling are established.

Hybrid continuous-time and discrete-event system models are developed for applications to intelligent robot and autonomous control systems. Certain general properties, including the interface structure between the discrete event part and the continuous part of hybrid systems, are studied. Petri nets are proposed as the model for the discrete event sub-system (DES), and state equations with a set of binary parameters as the model for the continuous time sub-system (CTS) in a hybrid system. The quantized CTS is formulated in prime event structures, which can also be modeled by a condition/event Petri net. Therefore, a complete hybrid system can be fit into an extended Petri net formalism, which provides a unified framework for hybrid system description. The validity of the proposed model is demonstrated by modeling a two-tank system.

The present volume is centered around five linguistic themes: argument structure and encoding strategies; argument structure and verb classes; unexpressed arguments; split intransitivity; and existential and presentational constructions. The articles also cover a variety of typologically different languages, and they offer new data from under-researched languages on the issues of event and argument structure. In some cases novel perspectives from widely discussed languages on highly debated topics are offered, also addressing more theoretical aspects concerning the predictability and derivation of linking. Several contributions apply current models of the lexicon–syntax interface to synchronic data. Other contributions focus on diachrony and are based on extensive use of corpora. Yet others, although empirically and theoretically grounded, privilege a methodological discussion, presenting analyses based on thorough and long-standing fieldwork.

This paper introduces projective systems for topological and probabilistic event structures. The projective formalism is used for studying the domain of configurations of a prime event structure and its space of maximal elements. This is done from both a topological and a probabilistic viewpoint. We give probability measure extension theorems in this framework.

Model theory for universal classes with the amalgamation property: A study in the foundations of model theory and algebra

Cellular structures like honeycombs or reticulated micro-frames are widely used in sandwich construction because of their superior structural static and dynamic properties. Aim of this study is to evaluate the dynamic behavior of bi-dimensional cellular structures, with focus on the effect of the geometry of the unit cell composing the solid on the dynamics of the propagation of elastic waves within the structure. The characteristics of wave propagation for the considered class of cellular solids are analyzed through the Finite Element model of the unit cell and the application of the theory of periodic structures. This combined analysis yields the phase constant surfaces, which define the directions of wave propagation in the plane of the structure for assigned frequency values. The analysis of iso-frequency contour lines in the phase constant surfaces allows predicting the location and extension of angular ranges, and therefore regions within the structures, where waves do not propagate. The performance of honeycomb grids of regular hexagonal topology is compared with that of grids of various geometries, with emphasis on configurations featuring a negative Poisson's ratio behavior. The harmonic response of the considered structures at specified frequencies confirms the predictions from the analysis of the phase constant surfaces and demonstrates the strongly spatial dependent characteristics of periodic cellular structures. The presented numerical results indicate the potentials of the phase constant surfaces as tools for the evaluation of the wave propagation characteristics of this class of two-dimensional periodic structures. Optimal design configurations can be identified in order to achieve desired transmissibility levels in specified directions and to obtain efficient vibration isolation capabilities. The findings from the presented investigations and the described analysis methodology will provide invaluable guidelines for the prototyping of future concepts of honeycombs or cellular structures with enhanced vibro-acoustics performance.

A new theory of coherent structure in wall turbulence is presented. The theory is the first to predict packets of hairpin vortices and other structure in turbulence, and their dynamics, based on an analysis of the Navier–Stokes equations, under an assumption of a turbulent mean profile. The assumption of the turbulent mean acts as a restriction on the class of possible structures. It is shown that the coherent structure is a manifestation of essentially low-dimensional flow dynamics, arising from a critical-layer mechanism. Using the decomposition presented in McKeon & Sharma (J. Fluid Mech., vol. 658, 2010, pp. 336–382), complex coherent structure is recreated from minimal superpositions of response modes predicted by the analysis, which take the form of radially varying travelling waves. The leading modes effectively constitute a low-dimensional description of the turbulent flow, which is optimal in the sense of describing the resonant effects around the critical layer and which minimally predicts all types of structure. The approach is general for the full range of scales. By way of example, simple combinations of these modes are offered that predict hairpins and modulated hairpin packets. The example combinations are chosen to represent observed structure, consistent with the nonlinear triadic interaction for wavenumbers that is required for self-interaction of structures. The combination of the three leading response modes at streamwise wavenumbers $6, ~1, ~7$ and spanwise wavenumbers $\pm 6, ~\pm 6, ~\pm 12$, respectively, with phase velocity $2/ 3$, is understood to represent a turbulence ‘kernel’, which, it is proposed, constitutes a self-exciting process analogous to the near-wall cycle. Together, these interactions explain how the mode combinations may self-organize and self-sustain to produce experimentally observed structure. The phase interaction also leads to insight into skewness and correlation results known in the literature. It is also shown that the very large-scale motions act to organize hairpin-like structures such that they co-locate with areas of low streamwise momentum, by a mechanism of locally altering the shear profile. These energetic streamwise structures arise naturally from the resolvent analysis, rather than by a summation of hairpin packets. In addition, these packets are modulated through a ‘beat’ effect. The relationship between Taylor’s hypothesis and coherence is discussed, and both are shown to be the consequence of the localization of the response modes around the critical layer. A pleasing link is made to the classical laminar inviscid theory, whereby the essential mechanism underlying the hairpin vortex is captured by two obliquely interacting Kelvin–Stuart (cat’s eye) vortices. Evidence for the theory is presented based on comparison with observations of structure in turbulent flow reported in the experimental and numerical simulation literature and with exact solutions reported in the transitional literature.