CafeOBJ as a Tool for Behavioral System Verification

2003 ◽  
pp. 461-470 ◽  
Author(s):  
Akira Mori ◽  
Kokichi Futatsugi
Keyword(s):  
Behavioral System ◽  
System Verification

An Integrated Social and Behavioral System Approach to Evaluation of Healthcare Information Technology for Polychronic Conditions

2021 ◽  
pp. 1-14
Author(s):  
Thomas T.H. Wan ◽  
Bing Long Wang
Keyword(s):  
Information Technology ◽  
Healthcare Delivery ◽  
Healthcare Information Technology ◽  
Theoretical Frameworks ◽  
Behavioral Determinants ◽  
The Public ◽  
Behavioral System ◽  
Practical Evaluation ◽  
Efficiency And Effectiveness ◽  
Behavioral System Approach

Healthcare delivery systems are evolving with the advances in health information technology (HIT) development and its applications to coordinated or guided care for polychronic conditions. The design features of artificial intelligence in healthcare reflect the public interest in optimizing care coordination and communication between providers and patients. This article offers a practical evaluation and assessment of the relevance of theoretical frameworks and appropriate methodologies to formalize a multi-criteria optimization of a logic model applicable for achieving the system’s efficiency and effectiveness. In specifying theoretical constructs and evaluation methods for HIT evaluation, a three-fold purpose is to show the relevance of personal and behavioral determinants of HIT use, articulate the need for developing a transdisciplinary framework, and formulate appropriate multilevel modeling and causal analysis of the determinants of HIT use and its impacts on chronic care.

The Design of Avionics System Interfaces Emulation and Verification Platform Based on QAR Data

2014 ◽  
Vol 668-669 ◽  
pp. 879-883 ◽  
Author(s):  
Yi Gang Sun ◽  
Li Sun
Keyword(s):  
Mathematical Modeling ◽  
Theoretical Data ◽  
Environmental Data ◽  
Input Output ◽  
Output Data ◽  
Running Performance ◽  
Excitation Signal ◽  
Data Platform ◽  
System Verification ◽  
System Interfaces

In order to avoid the complex mathematical modeling and ensure the reliability of avionics system verification, this paper has designed an interfaces emulation and verification platform of avionics system based on QAR data. Platform includes 2 parts: Emulator and Simulator. Simulator generates the flight environmental data which is come from QAR and transforms the data into excitation signal of devices. Emulator emulates the interface features of avionic devices according to the ICD and can be replaced with real devices. By comparing the actual input-output data of devices with QAR theoretical data, this platform can evaluate the running performance of avionic systems or devices and the rationality of the ICD.

scholarly journals Petri nets with causal time for system verification

2003 ◽  
Vol 68 (5) ◽  
pp. 85-100 ◽  
Author(s):  
C. Bui Thanh ◽  
H. Klaudel ◽  
F. Pommereau
Keyword(s):  
Petri Nets ◽  
System Verification

L'attaccamento al partner e a Dio come risorsa psicologica nel processo di adattamento alla malattia cancro

2009 ◽  
pp. 59-74
Author(s):  
R. Cassibba ◽  
E. Costantino ◽  
S. Papagna ◽  
R. Montanaro ◽  
V. Mattioli
Keyword(s):  
Specific Aspect ◽  
Insecure Attachment ◽  
Attachment To God ◽  
Secure Attachment ◽  
Coping With Cancer ◽  
Behavioral System ◽  
Fighting Spirit ◽  
Diagnosis Of Cancer ◽  
Relational Resources

- The diagnosis of cancer troubles people and their identity; it is a threat for their survival. To cope with cancer, people have to collect all their psychological and relational resources. The behavioral system of attachment is activated when people are in danger and it makes them looking for significant others who can be a "secure base" for them. This study investigates the role of specific adult attachment relationships, such as the bond with God and with the partner, on coping with cancer, hypothesizing that patients with a secure attachment with God or with the partner cope better and perceive less stress, respect to patients with an insecure attachment. The results show that the intensity of religious beliefs and security of attachment with God and with the partner are associated to some specific coping strategies to cancer. In particular, insecurity of attachment to God and a specific aspect of insecurity of attachment to the partner (fear of loss) are connected to a higher level of anxiety and a lower level of fighting spirit in coping with cancer. Only attachment to God is associated to a lower level of perceived stress.

The Caregiving System Scale

2021 ◽  
Author(s):  
Daiana Colledani ◽  
Anna M. Meneghini ◽  
Mario Mikulincer ◽  
Phillip R. Shaver
Keyword(s):  
Factor Structure ◽  
Future Research ◽  
Human Beings ◽  
Research Directions ◽  
Gender Invariance ◽  
Caregiving System ◽  
Attachment Orientations ◽  
Behavioral System ◽  
Future Research Directions ◽  
Provision Of Care

Abstract. According to attachment theory, the propensity of human beings to care for others is governed by an inborn caregiving behavioral system that aims to promote welfare and reduce the distress of other people through effective provision of care. However, some individuals may develop non-optimal caregiving strategies, such as anxious hyperactivation and avoidant deactivation. These two non-optimal caregiving strategies can be evaluated in adults using the Caregiving System Scale (CSS). Recent findings suggested that the factor structure of the instrument may be more complex than was intended. The present work examines in-depth the factor structure of the CSS to provide a clearer understanding of the underlying dimensions. Gender invariance and the contribution of attachment orientations to CSS scores are also examined. Findings reveal that, whereas the CSS-deactivation subscale is unidimensional, the CSS-hyperactivation subscale is better represented by two distinct yet related constructs – caregiving-related worries/doubts and intrusive/coercive caregiving. Partial strict gender invariance is supported. The contribution of attachment orientations to non-optimal caregiving strategies is consistent with theoretical expectations. Results and future research directions are discussed in the final section.

Dynamic Modeling of the NSSS Based on NHR200-II Nuclear Heating Reactor

2018 ◽  
Author(s):  
Zhe Dong ◽  
Yifei Pan ◽  
Miao Liu ◽  
Xiaojin Huang
Keyword(s):  
Control System ◽  
System Design ◽  
Dynamic Modeling ◽  
Primary Circuit ◽  
Control System Design ◽  
Plant Design ◽  
Pressurized Water ◽  
Nuclear Heating Reactor ◽  
System Verification ◽  
Nuclear Heating

The nuclear heating reactor (NHR) is a typical integral pressurized water reactor (iPWR) developed by the institute of nuclear and new energy technology (INET) of Tsinghua University, which has the safety advanced features such as the primary circuit integral arrangement, full-range natural circulation, self-pressurization. Power-level control is crucial for the operational stability and efficiency of the NHR, and the dynamic modeling is a basis for control system design and verification. From the conservation laws of mass, energy and momentum, a lumped-parameter dynamical model is proposed for the nuclear steam supply system (NSSS) based on the 200MWth nuclear heating reactor II (NHR200-II). The steady-state model validation is given by the comparing the parameter values of this model and that for plant design. Then, both the open-loop responses under the disturbances of reactivity and coolant flowrates as well as the closed-loop responses under the case of power ramp are given, where the rationality of the responses are analyzed from the viewpoint of plant physics and thermal-hydraulics. This model can be utilized for not only the control system design but also the development of a real-time simulator for the hardware-in-loop control system verification.

Sign in / Sign up

Export Citation Format

Share Document