Cyber physical systems (CPS) are vulnerable to malicious attacks that might put lives at risk or cause environmental damage (CPS). While the widespread use of CPSs has many positive social effects, this study presents a systematic approach ensuring safety such by combining model checking with UPPAAL inspect CPS’s OT for signs breach. Security limitations generated in methodical fashion. These a...

OBJECTIVE In this study, we compared how users locate physical and equivalent three-dimensional images of virtual objects in a cave automatic virtual environment (CAVE) using the hand to examine how human performance (accuracy, time, and approach) is affected by object size, location, and distance. BACKGROUND Virtual reality (VR) offers the promise to flexibly simulate arbitrary environments ...

Utilizing principles from parallel and distributed processing combined with inspiration from modular robotics, we developed the modular interactive tiles. As an educational tool, the modular interactive tiles facilitate the learning of multi-agent systems and interactive agent-based games. The modular and physical property of the tiles provides students with hands-on experience in exploring the...

abstract aims: regular physical activity can reduce the burden of chronic diseases, such as heart disease, diabetes, and some cancers, and can prevent early death. this study examined the impact of performing health promotion model intervention on physical activity of the health volunteers. materials & methods: this cross-sectional research is part of a three-month intervening study started in ...

background: lifestyle-modification programs including physical activity are essential for both treatment and prevention of type 2 diabetes mellitus ( t2dm ). however, factors associated with physical activity among patients are poorly understood. this study applied social-cognitive theory (sct) for predicting determinants of physical activity among women with t2dm in iran, 2013. methods: in thi...

This work proposes to learn linguistically-derived sub-unit classifiers for sign language. The responses of these classifiers can be combined by Markov models, producing efficient sign-level recognition. Tracking is used to create vectors of hand positions per frame as inputs for sub-unit classifiers learnt using AdaBoost. Grid-like classifiers are built around specific elements of the tracking...

The flow in the bend channel used as spillway chute is complex due to turbulence, presence of shock waves, and vibrations. These transverse waves can damage hydraulic structure. Our aim this paper investigate distribution water surface five curved channels with relative curvatures ρ , different bottom slopes (1%, 2%, 10%...