scholarly journals The Foundations of Branching Space-Times

2021 ◽  
pp. 24-42
Author(s):  
Nuel Belnap ◽  
Thomas MÜller ◽  
Tomasz Placek
Keyword(s):  
Causal Relation ◽  
Basic Notion ◽  
Partially Ordered ◽  
The Core ◽  
Core Theory ◽  
Point Event ◽  
Discursive Approach

In this chapter the reader is guided through the construction of the core theory of Branching Space-Times. This discursive approach culminates in proposing a set of postulates that a structure of the core theory of Branching Space-Times (common BST) has to satisfy. The theory’s basic notion is that of a set of events, partially ordered by a pre-causal relation. Histories are then defined as maximal directed subsets of the base set. The chapter proves essential facts about histories and the postulates that the core of BST is assumed to satisfy. Among other things, it proves the so-called M-property that determines how any two point event in a common BST structure are related.

Buckling and Postbuckling of Sandwich Beams With Delaminated Faces Based on Higher Order Core Theory

1999 ◽  
Author(s):  
R. F. Li ◽  
Y. Frostig ◽  
G. A. Kardomateas
Keyword(s):  
Nonlinear Distortion ◽  
Variational Principles ◽  
Vertical Direction ◽  
Initial Imperfection ◽  
Order Theory ◽  
Sandwich Beams ◽  
Postbuckling Behavior ◽  
The Core ◽  
Core Theory ◽  
The Face

Abstract Delaminations within the face sheets are often observed when a sandwich structure is exposed to impact loads. The buckling and postbuckling behavior of sandwich beams with delaminated faces is investigated in this work. The governing nonlinear equations, boundary conditions, and continuity conditions are formulated through variational principles. The beam construction consists of upper and lower, metallic or composite laminated symmetric skins, and a soft core of a foam or low strength honeycomb type. A high order theory is used for the core that accounts for the nonlinear distortion of the plane of section of the core and the compressibility in the vertical direction. The delamination considered is an interface crack, in which the substrate includes the transversely flexible core. The case of a debond at one of the skin-core interfaces is also included. The effects of the delamination length and location on the overall and local behavior are examined with an arbitrary initial imperfection.

The Canon

Voice Leading ◽  
2016 ◽  
Author(s):  
David Huron
Keyword(s):  
Voice Leading ◽  
The Core ◽  
Core Theory ◽  
Schools Of Music

A brief review is provided of sixteen core traditional rules of voice leading as formulated in the late Baroque period. These rules are typically taught as part of the core theory curriculum in conservatories and schools of music.

Introduction and Synopsis

2020 ◽  
pp. 1-10
Author(s):  
Georges Rey
Keyword(s):  
Body Problem ◽  
Critical Discussion ◽  
Linguistic Theory ◽  
The Core ◽  
Core Theory ◽  
Mind Body Problem ◽  
The Mind

The book is divided into three parts1. Part I provides a somewhat novel exposition and defense of what I regard as the core ideas of a Chomskyan linguistic theory; Part II, a discussion of some of the core philosophical claims that surround it; and Part III, a more contentious discussion of the ultimate problem that concerns me: whether and how the core theory is committed to a philosophically troublesome notion of intentionality that is associated with the near ubiquitous term “representation.” The last chapter will conclude with a brief critical discussion of a few further philosophical views that Chomsky has expressed regarding the mind–body problem, which many might—mistakenly—take to be essential to his theory....

The Application of Space Syntax in the Conservation and Regeneration of Historical Areas

2011 ◽  
Vol 255-260 ◽  
pp. 1383-1387
Author(s):  
Bing Xu
Keyword(s):  
Design Process ◽  
Space Syntax ◽  
Present Situation ◽  
Situation Analysis ◽  
Literature Research ◽  
The Core ◽  
Historical Literature ◽  
Core Theory ◽  
Scheme Evaluation ◽  
Ideal Framework

Based on the key problems of historical areas revitalization and the core theory of Space Syntax, this paper probes into the application of Space Syntax to quantify the space configuration in the conservation and regeneration of historical areas. According to the design process, an ideal framework which includes historical literature research, present situation analysis and optional scheme evaluation is put forward.

A Theory of Distributed Markov Chains

2020 ◽  
Vol 175 (1-4) ◽  
pp. 301-325
Author(s):  
P. S. Thiagarajan ◽  
Shaofa Yang
Keyword(s):  
Markov Chains ◽  
Linear Time ◽  
New Techniques ◽  
Statistical Model Checking ◽  
Bounded Linear ◽  
The Core ◽  
Core Theory ◽  
Disjoint Sets ◽  
Linear Time Temporal Logic ◽  
Checking Procedure

We present the theory of distributed Markov chains (DMCs). A DMC consists of a collection of communicating probabilistic agents in which the synchronizations determine the probability distribution for the next moves of the participating agents. The key feature of a DMC is that the synchronizations are deterministic, in the sense that any two simultaneously enabled synchronizations involve disjoint sets of agents. Using our theory of DMCs we show how one can analyze the behavior using the interleaved semantics of the model. A key point is, the transition system which defines the interleaved semantics is—except in degenerate cases—not a Markov chain. Hence one must develop new techniques to analyze these behaviors exhibiting both concurrency and stochasticity. After establishing the core theory we develop a statistical model checking procedure which verifies the dynamical properties of the trajectories generated by the the model. The specifications consist of Boolean combinations of component-wise bounded linear time temporal logic formulas. We also provide a probabilistic Petri net representation of DMCs and use it to derive a probabilistic event structure semantics.

The Core Theory

2017 ◽  
pp. 27-35
Author(s):  
David G. Attfield
Keyword(s):  
The Core ◽  
Core Theory

Analysis on the Core Theory of Mechanical Abstractive Design

2013 ◽  
Vol 481 ◽  
pp. 268-271
Author(s):  
Xia Yang
Keyword(s):  
Computer Technology ◽  
Technical College ◽  
Mechanical Design ◽  
Design Concept ◽  
Theory Analysis ◽  
Processing Efficiency ◽  
Design Work ◽  
The Core ◽  
Intelligent Processing ◽  
Core Theory

ive Design Xia Yang Luzhou Vocational and Technical College, Luzhou, Sichuan, 646005, China [email protected] Keywords: Machinery; Abstraction; Design; Core Theory; Analysis. Abstract. The theory of mechanical abstractive design is the newest mechanical design concept at present. Lots of software achieve a certain degree of intelligence with the development of computer technology. And the processing efficiency is improved to a great deal through intelligent processing. Many suggestions for reference can be proposed during the processing. The study is based on the concept and characteristics of mechanical design. And the core theory of mechanical abstractive design, such as intelligence, automatic modeling and relative abstraction, was analyzed combined with the implication of abstractive design. Thus, a certain degree of reference is hopefully provided for the pragmatic design work.

Sign in / Sign up

Export Citation Format

Share Document