We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic logic). Given a Kripkean view on the semantics of SDL in terms of directed graphs where arrows → represent the accessibility relation between worlds, reactive models add two elements: arrows → are labelled as “active” or “inactive”, and double arrows ։ connect arrows, e.g., (x1 → x2) ։ (x3 → x4). T...

In this paper, we proposed a data-driven spatio-temporal deep learning (SDL) model, to simulate forward and reflected ultrasonic wave propagation in the 2D geometrical domain, by implementing convolutional long short-term memory (ConvLSTM) algorithm. The SDL model learns underlying physics from datasets. Two different models are trained, with following time-domain finite element (FE) simulation...

In this paper, the problems of control and stabilization of switched nonlinear cascade systems is investigated. The so called simultaneous domination limitation (SDL) is introduced in previous works to assure the existence of a common quadratic Lyapunov function (CQLF) for switched nonlinear cascade systems. According to this idea, if all subsystems of a switched system satisfy the SDL, a CQLF ...

This paper formalizes the manner in which statistical disclosure limitation (SDL) hinders empirical research in economics. We also highlight a hitherto unappreciated advantage of SDL, formal privacy models, and synthetic data systems: they can serve as a defense against model overfitting and false-discovery bias. More specifically, a synthetic data validation system can – and we argue should – ...

Recombination decreases the association of linked nucleotide sites and can influence levels of polymorphism in natural populations. When coupled with selection, recombination may relax potential conflict among linked genes, a concept that has played a central role in research on the evolution of recombination. The sex determination locus (SDL) of the honeybee is an informative example for explo...

background and purpose: in education of medical science courses, there has been a growing orientation towards replacing traditional teaching in with e-learning education. since the modern system of education is based on self-directed learning, e-learning requires special powers to deal with new-emerging challenges and professionally encounter the learning environment. the purpose of the present...

Web In this paper we have developed the ontology for Specification and Description Language (SDL), an object-oriented, formal language defined by ITUT as recommendation Z.100. The language is intended for the specification of realtime complex and concurrent applications that communicate using discrete signals. SDL formal model bridges the gap between ideas in our minds and the actual implementa...

This paper describes the use of the specification and description language (SDL) as a prototyping tool for a developing low rate wireless personal area network protocol. A simplification of the guidelines for protocol formalization using SDL is used to create a behavioral model. This behavior model is then hand-tested for protocol behavior using software tools that permit simulation of the SDL ...

A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data types, simplify and unify concepts of previous language versions and provide an alignment with UML. Due to the significant changes to SDL it was necessary to define a new formal semantics for SDL. Abstract State Machi...