The effectiveness of program developed from cognitive-experiential self-theory and life skills technique on adolescent coping with stress

ABSTRACT Many methodologies to decrease stress in adolescents have been introduced and implemented. However, it seems that the problems in their physical, mental, emotional, and learning conditions still exist, especially for long term. The proposed program with some booster was used to solve the long run problems. To examine the effectiveness of program developed from cognitive-experiential self-theory and life skills technique on adolescent coping with stress. A quasi-experimental research in two groups is used to modify theoretical concepts of cognitive-experiential self-theory and life skills technique on adolescent coping with stress. The students of secondary schools in Nakhon Sawan Province Thailand were the target population. Two schools were randomly chosen, one for control and the other for experiment. The sample size of 84 students was randomly selected and requested to be volunteers and 44 volunteers were trained on concept of thinking, strategies to resolve the problem and control emotion for 5 days and booster in school for 9 months in every fortnight and was measured 5 times, before and after interventions at 3 rd , 6 th and 9 th months. We used independent t-test, paired t-test, analysis of variance and covariance for data analysis. There were no difference in the mean of summation of knowledge, attitude and practice of pre-test score between treatment and control group (P=0.124). After the training program, the volunteers showed significant improvement of knowledge, attitude and practice (P<0.05) and the level of stress decreased was statistically significant (P<0.05). The results indicated that the training program with modify theoretical concepts of cognitive -experiential self-theory and life skills technique on adolescent enabled the participants to improve knowledge, attitude and practice in coping with stress

Towards Architecture-wide Analysis, Verification, and Validation for Total System Stability During Goal-Seeking Space Robotics Operations

In this paper we discuss the beginnings of an attempt to define and analyze the stability of an entire modular robotic system architecture – one which includes a three-tier (3T) layer breakdown of capabilities, with symbolic, deterministic planning at the highest level. We approach the problem from the standpoint of a control theory outlook, and try to formalize the issues that result from trying to quantitatively characterize the overall performance of a well-defined system without a need for exhaustive testing. We start by discussing the concept of bounded-input bounded-output stability, giving examples where the technique might not be sufficient to guarantee what we term “total system stability” due to complications associated with the levels of abstraction between the modules and components that are being chained together in the architecture. We then go on to discuss necessary conditions that may fall out of this naturally as a result. We further try to better-define the input and output constraints needed to guarantee total system stability, using an assumption-guarantee-like contractual framework that sits alongside the architecture; the requirements then may have influence across multiple modules, in order to keep consistency. We also discuss how the structure of the architectural modules may help or hinder the process of capability characterization and performance analysis of each module and a given architecture configuration as a whole. We then discuss two overlapping methods that, combined, should allow us to analyze the effectiveness of the architecture, and help towards verification and validation of both the components and the system as a whole. Demonstrative examples are given using a specific architectural implementation called the Resilient Spacecraft Executive. In future work, we hope to define both necessary and sufficient conditions for total system stability across such a system architecture for robotics useQC 20201124</p

Towards Architecture-wide Analysis, Verification, and Validation for Total System Stability During Goal-Seeking Space Robotics Operations

In this paper we discuss the beginnings of an attempt to define and analyze the stability of an entire modular robotic system architecture - one which includes a three-tier (3T) layer breakdown of capabilities, with symbolic, deterministic planning at the highest level. We approach the problem from the standpoint of a control theory outlook, and try to formalize the issues that result from trying to quantitatively characterize the overall performance of a well-defined system without a need for exhaustive testing. We start by discussing the concept of bounded-input bounded-output stability, giving examples where the technique might not be sufficient to guarantee what we term "total system stability" due to complications associated with the levels of abstraction between the modules and components that are being chained together in the architecture. We then go on to discuss necessary conditions that may fall out of this naturally as a result. We further try to better-define the input and output constraints needed to guarantee total system stability, using an assumption-guarantee-like contractual framework that sits alongside the architecture; the requirements then may have influence across multiple modules, in order to keep consistency. We also discuss how the structure of the architectural modules may help or hinder the process of capability characterization and performance analysis of each module and a given architecture configuration as a whole. We then discuss two overlapping methods that, combined, should allow us to analyze the effectiveness of the architecture, and help towards verification and validation of both the components and the system as a whole. Demonstrative examples are given using a specific architectural implementation called the Resilient Spacecraft Executive. In future work, we hope to define both necessary and sufficient conditions for total system stability across such a system architecture for robotics use

Proving the correctness of the implementation of a control-command algorithm

Abstract. In this article, we study the interactions between a controlcommand program and its physical environment via sensors and actuators. We are interested in finding invariants on the continuous trajectories of the physical values that the program is supposed to control. The invariants we are looking for are periodic sequences of intervals that are abstractions of the values read by the program. To compute them, we first build octrees that abstract the impact of the program on its environment. Then, we compute a period of the abstract periodic sequence and we finally define the values of this sequence as the fixpoint of a monotone map. We present a prototype analyzer that computes such invariants for C programs using a simple specification language for describing the continuous environment. It shows good results on classical benchmarks for hybrid systems verification. 1 Introduction. The behavior of an embedded, control-command program depends on both

A survey on recent progress in control of swarm systems

It has been witnessed that swarm systems are superior to individual agents in performing complicated tasks. In recent years, new results in some branches of control for swarm systems have developed and investigated with respect to various objectives and scenarios. This survey is to take a glimpse into some newly developed control techniques for swarm systems, especially those presented after 2013. The covered topics include some up-to-date progress in the areas of consensus, formation, flocking, containment, optimal coverage/mission planning, and sensor networks. Contributions and connections of the mentioned references are discussed briefly. Based on the new results in control of swarm systems, some possible new future research topics are suggested