![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
2,288 Result(s)
-
Article
A note on algebraic independence of numbers
-
Article
Topological computation of indefinite matrix
A digraph associated with an indefinite matrix is augmented. Both the first-order and second-order cofactors can be obtained by finding all the directed trees in the augmented digraph and eliminating the need ...
-
Article
A note on certain fields of finite transcendence type
Let \(\mathbb{K} \subseteq \mathbb{C}\) be a finitely generated extension field of ℚ, andα i,βj(1⩽i⩽...
-
Chapter and Conference Paper
Specifying communicating systems with temporal logic
We introduce a temporal logic for specifying external behaviour of systems. Predicates INT, PASS and CLD are the primitives of the logic to record temporal states of a communication channel, intending to do a com...
-
Article
On dense sequences of polynomials in several variables
In the present paper a form of generalization of Gelfond's lemma on dense sequences of polynomials is proposed. For a set of complex numbersθ 1, ...,θ s we define the coefficie...
-
Article
Denote CSP with temporal formulas
This is a sequel of [1] to give a temporal semantics to a full version of CSP, including hiding operator and nested parallelism. The semantic definition is of denotational style, and employs set of temporal fo...
-
Article
Criteria of algebraic independence of complex numbers over a field of finite transcendence type (II)
In the present paper we establish a criterion of algebraic independence of complex numbersθ 1, ...,θ n over a field ...
-
Chapter and Conference Paper
A Model for Synchronous Switching Circuits and its Theory of Correctness
Following Bryant [2], an algorithm is given for translating a switching circuit design into a program which simulates its dynamic behaviour. A theory of assertions based on Dijkstra [4] and UNITY [3] is then d...
-
Chapter and Conference Paper
Duration specifications for shared processors
We present a specification oriented real-time semantics for real-time programs consisting of communicating sequential processes running on a shared processor configuration. The semantics, which is given in Dur...
-
Article
The algebraic independence of certain transcendental continued fractions
In the present note the algebraic independence of certain continued fractions is proved. Especially, we prove that the Böhmer-Mahler's series ...
-
Article
Experimental GH singularity field around growing crack-tip
The displacement fieldsu x ,u y at growing crack tip of LY12-M specimens with double edge cracks are measured...
-
Chapter and Conference Paper
Semantics and completeness of Duration Calculus
Duration Calculus was introduced in [1] as a notation to specify real-time systems, and as a calculus to verify theorems about such systems. Its distinctive feature is reasoning about durations of states within a...
-
Article
A model for synchronous switching circuits and its theory of correctness
Following Bryant [2], an algorithm is given for translating a switching circuit design into a program that simulates its dynamic behavior. A theory of assertions based on Dijkstra [5] and UNITY [4] is then dev...
-
Article
Practical application of an innovative microseismic source location procedure
A detailed case study conducted at a Canadian gold mine is presented to demonstrate the practical usefulness of the source location data analysis theory developed by Ge and Kaiser (1990). The basic concept of ...
-
Chapter and Conference Paper
Decidability and undecidability results for duration calculus
-
Chapter and Conference Paper
Duration Calculi: An overview
The Duration Calculi are calculi for designing real-time software embedded systems. The Calculi overviewed in the paper include the Duration Calculus, the Extended Duration Calculus, the Mean Value Calculus an...
-
Chapter and Conference Paper
An extended duration calculus for hybrid real-time systems
Duration Calculus is a real-time interval logic which can be used to specify and reason about timing and logical constraints on discrete states in a dynamic system. It has been used to specify and verify desig...
-
Article
On some multi-dimensional quadrature formulas with number-theoretic nets
In the present paper some multi-dimensional quadrature formulas of periodic functions are established by means of the number-theoretic method. Some results of Hua and Wang[2] are generalized or improved.
-
Chapter and Conference Paper
Formal design of hybrid systems
A hybrid system is a system containing both of time-evolving components and event-driven components. A formal approach is explored in this paper, based on Extended Duration Calculus (EDC), for the development of ...
-
Chapter and Conference Paper
A formal proof of the Deadline Driven scheduler
This paper presents an approach to formalizing and proving real-time properties of schedulers. The formal logic that we propose to use is the Duration Calculus [1], and the scheduler that we select here to ser...