A Formal Technique to Analyze Event Concurrent Response

スポンサーリンク

概要

• 論文の詳細を見る

• We present that event-transition diagrams are useful to analyze event concurrent response visually. Event-transition diagrams are dual for state-transition diagrams in graph theory. As an example of an usage of an event-transition diagram, a simple model of a railroad crossing is presented.

• 社団法人電子情報通信学会の論文
• 1995-10-25

著者

• KOBAYASHI Hiromi

  Department of Molecular Pathology, Institute of Biomolecular and Integrated Medical Sciences, Gradua

• Kobayashi H

  Tokai Univ. Hiratsuka

• Shidama Yasunari

  Department of Information Engineering, Shinshu University

• Shidama Y

  Shinshu Univ. Nagano‐shi Jpn

• Shidama Yasunari

  Department Of Information Engineering Faculty Of Engineering Shinshu University

• Kobayashi Hiromi

  Department Of Dermatology Osaka City University Graduate School Of Medicine

関連論文

• An Active Learning Algorithm Based on Existing Training Data
• A Topology Preserving Neural Network for Nonstationary Distributions
• Acceleration Techniques for the Network Inversion Algorithm
• Kohonen Learning with a Mechanism, the Law of the Jungle, Capable of Dealing with Nonstationary Probability Distribution Functions
• Frequent aberrant methylation of the promoter region of sterile α motif domain 14 in pulmonary adenocarcinoma
• An Extract of the Root of Lithospermun erythrorhison Accelerates Wound Healing in Diabetic Mice
• A Formal Technique to Analyze Event Concurrent Response
• Laminin-511, inducer of hair growth, is down-regulated and its suppressor in hair growth, laminin-332 up-regulated in chemotherapy-induced alopecia
• Increased cytoplasmic S100A6 expression is associated with pulmonary adenocarcinoma progression
• The Object-Space Parallel Processing of the Multipass Rendering Method on the (Μπ)^2 with a Distributed-Frame Buffer System
• (Mπ)^2: A Hierarchical Parallel Processing System for the Multipass Rendering Method (Special Issue on Architectures Algorithms and Networks for Massively parallel Computing)
• Rechnungsmethode fur nichtlineare quadratische Problem mit unbekannter Endzeit
• An Optimal Nonlinear Regulator Design with Neural Network and Fixed Point Theorem (Special Section on Neural Nets, Chaos and Numerics)
• Sensitization from cobalt chloride by patch testing
• State Fence Diagrams : A Visual Formalism to Analyze Discrete-Event Systems
• A case of contact dermatitis due to arbutin
• Spatial and temporal control of laminin-511 and -332 expressions during catagen
• The papillary structure identified by a novel nail wound healing model in mice
• Yellow urticaria associated with hepatitis type-C liver cirrhosis
• Properties of Role-Based Access Control in a Teaching Management System(Educational Technology)
• Checking of Timing Constraint Violation Based on Graph in Reactive Systems
• Effect of Normal Human Erythrocytes on Blood Rheology in Microcirculation
• Rechnungsmethode fur nichtlineare quadratische Probleme mit unbekannter Endzeit
• Allergic contact dermatitis caused by gum rosin and wood rosin in Tako-no-Suidashi ointment
• Recalcitrant subungual verruca of a child successfully treated with combination use of traditional Japanese herbal medicines, shokenchuto and makyoyokukanto
• Atypical epidermolysis bullosa simplex with a missense keratin 14 mutation p.Arg125Cys
• A Fixed-Point Theoretic Solution of the Hamilton-Jacobi Equation and Its Application to Nonlinear H_∞ Control

もっと見る 閉じる

スポンサーリンク