نتایج جستجو برای: discrete trace transition system

تعداد نتایج: 2610063  

Journal: :Journal of Physical Chemistry B 2021

The non-equilibrium thermo-field dynamics formulation of the hierarchical equations motion combined with tensor-train representation density matrix is discussed, and a new numerical integration scheme introduced. methodology based on an adaptive low-rank Galerkin reduction can preserve linear invariants (such as trace matrix). method applied to study charge transfer in model pentacene molecular...

Journal: :Physics of Fluids 2023

The mechanism of constant electric field regulation on droplet formation in a T-junction microchannel is investigated numerically, and the law discrete phase fluid behavior different viscosity systems summarized. This research develops two-phase-electrohydrodynamic solver OpenFOAM® framework. uses leaky medium model to simulate microfluidic system volume method trace interface. It found that ge...

2012
Mohamad Faizal Bin Samsudin Yoshito Sawatsubashi Katsunari Shibata

For developing a robot that learns long and complicated action sequences act in the real-world, autonomous learning of multi-step discrete state transition is significant. It is generally thought to be difficult to achieve both holding and transition of states through learning in a recurrent neural network. In this paper, only through the reinforcement learning using rewards and punishments in ...

نقوی, محسن,

Background and objectives: Data on transitions in health status are among the most important types of information used for promotion of health and social development. Health transition comprises two elements: demographic and epidemiologic transition. This paper depicts the health transition in I.R. Iran over the last few decades. Methods: We used demographic data gathered over the last 45 ye...

2000
Tamás S. Biró

Using the method of prolongation we generate new stationary solutions from a recently obtained simple particular solution for relativistic transverse flow with cylindrical symmetry in 1+3 dimension. This is an extension of the longitudinal Bjorken flow ansatz and can be applied to situations during a first order phase transition in a fast expanding system. The prolongated solution allows us to ...

Journal: :Theor. Comput. Sci. 1992
Mogens Nielsen Grzegorz Rozenberg P. S. Thiagarajan

Transition systems are a simple and powerful formalism for explaining the operational behaviour of models of concurrency. They provide a common framework for investigating the interrelationships between different approaches to the study of distributed systems. Hence an important question to be answered is: which subclass of transition systems corresponds to a particular model of distribted syst...

Journal: :Inf. Comput. 1997
Thomas A. Henzinger Orna Kupferman Sriram K. Rajamani

The simulation preorder for labeled transition systems is defined locally as a game that relates states with their immediate successor states. Simulation enjoys many appealing properties. First, simulation has a fully abstract semantics: system S simulates system I iff every computation tree embedded in the unrolling of I can be embedded also in the unrolling of S. Second, simulation has a logi...

1996
Padmanabhan Krishnan

We describe an event structure model in which issues related to continuous systems can be studied. The event structure model for hybrid system consists of a continuous component and a discrete component which interact with each other via the usual enabling and connict relations. The continuous components behave like communicating sequential agents. The discrete component can be viewed as a prim...

Optimal discrete-time control of linear systems has been presented already. There are some difficulties to design an optimal discrete-time control of robot manipulator since the robot manipulator is highly nonlinear and uncertain. This paper presents a novel robust optimal discrete-time control of electrically driven robot manipulators for performing repetitive tasks. The robot performs repetit...

2010
STEVEN SPALLONE

Let G be a reductive algebraic group over Q, and suppose that Γ ⊂ G(R) is an arithmetic subgroup defined by congruence conditions. A basic problem in arithmetic is to determine the multiplicities of discrete series representations in L2(Γ\G(R)), and in general to determine the traces of Hecke operators on these spaces. In this paper we give a conjectural formula for the traces of Hecke operator...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید