Concurrent Software Simulation (CSS)

1994 ◽  
pp. 109-113
Author(s):  
Ernst G. Ulrich ◽  
Vishwani D. Agrawal ◽  
Jack H. Arabian
Keyword(s):  
Concurrent Software ◽  
Software Simulation

BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

2004 ◽  
Vol 30 (6) ◽  
pp. 403-417 ◽  
Author(s):  
Farn Wang ◽  
K. Schmidt ◽  
Fang Yu ◽  
Geng-Dian Huang ◽  
Bow-Yaw Wang
Keyword(s):  
Data Structures ◽  
Safety Analysis ◽  
Symmetry Reduction ◽  
Concurrent Software ◽  
Graph Automorphism

scholarly journals Shock Mechanism Analysis and Simulation of High-Power Hydraulic Shock Wave Simulator

2017 ◽  
Vol 2017 ◽  
pp. 1-10 ◽  
Author(s):  
Xiaoqiu Xu ◽  
Han Tao ◽  
Junwei Han
Keyword(s):  
Shock Wave ◽  
High Power ◽  
Structure Optimization ◽  
Simulation Method ◽  
Mechanism Analysis ◽  
Hydraulic Shock ◽  
Characteristic Parameters ◽  
Software Simulation ◽  
Shock Mechanism ◽  
Shock Characteristic

The simulation of regular shock wave (e.g., half-sine) can be achieved by the traditional rubber shock simulator, but the practical high-power shock wave characterized by steep prepeak and gentle postpeak is hard to be realized by the same. To tackle this disadvantage, a novel high-power hydraulic shock wave simulator based on the live firing muzzle shock principle was proposed in the current work. The influence of the typical shock characteristic parameters on the shock force wave was investigated via both theoretical deduction and software simulation. According to the obtained data compared with the results, in fact, it can be concluded that the developed hydraulic shock wave simulator can be applied to simulate the real condition of the shocking system. Further, the similarity evaluation of shock wave simulation was achieved based on the curvature distance, and the results stated that the simulation method was reasonable and the structural optimization based on software simulation is also beneficial to the increase of efficiency. Finally, the combination of theoretical analysis and simulation for the development of artillery recoil tester is a comprehensive approach in the design and structure optimization of the recoil system.

Application of Configuration Technology in Traffic Light Control System Based on PLC

2012 ◽  
Vol 151 ◽  
pp. 510-513 ◽  
Author(s):  
Yu Peng Yao ◽  
Ying Shi ◽  
Ji You Fei
Keyword(s):  
Control System ◽  
New Technology ◽  
Computer Control ◽  
Good Condition ◽  
Control Technology ◽  
Light Control ◽  
Traffic Light ◽  
Software Simulation ◽  
Traffic Lights ◽  
Traffic Light Control

Configuration technology is a new technology for monitoring in the current society; it is the result of the development of computer control technology. To traffic light control system, it is to combine the use of configuration technology and procedures related to PLC, and through software simulation and traffic lights light changes, traffic light control system could achieve the monitoring problem, and if the system is in good condition, its application can save a lot of labor powers and materials.

Teaching Short - Circuit Calculation with Off - Nominal Turns Ratio Transformers

TEM Journal ◽  
2021 ◽  
pp. 1525-1533
Author(s):  
Allen A. Castillo ◽  
M. Natalia Galván Osuna ◽  
Norma A. Barboza Tello ◽  
Alejandra J. Vega
Keyword(s):  
Case Studies ◽  
Short Circuit ◽  
Circuit Analysis ◽  
Industrial System ◽  
Software Simulation ◽  
Three Phase ◽  
Short Circuit Calculation ◽  
The Subject ◽  
Ieee Standards ◽  
Short Circuit Analysis

Teaching short-circuit analysis is conducted primarily through case studies; however, there are not many validated short-circuit studies available on the subject, especially when considering off-nominal turns ratio transformers. In order to improve the teaching of short-circuit analysis, a three phase short-circuit study in an industrial system according to ANSI/IEEE standards by means of Zmatrix method is presented; two case studies are considered: the industrial system with nominal and offnominal turns ratio transformers, in both cases the step by step solution is given in an explicit manner and the analytical results are validated through software simulation.

Computer-Assisted Instruction in Reducing Errors in Scoring of the WISC—III

1999 ◽  
Vol 85 (3) ◽  
pp. 825-833
Author(s):  
Cathy W. Hall
Keyword(s):  
Graduate Students ◽  
Computer Assisted Instruction ◽  
Computer Assisted ◽  
Initial Training ◽  
Software Simulation ◽  
Correct Assignment ◽  
Classroom Training ◽  
Assisted Instruction ◽  
Do So

The current study assessed the effectiveness of interactive computer-assisted instruction software in reducing subsequent errors in scoring the WISC–III. Errors in scoring from 84 protocols of graduate students presented with this software simulation as part of their initial training were compared with errors in scoring from 77 protocols of graduate students without such training. These were different sets of students matched for amount of training and differing in having the training component. Protocols from the former group contained significantly fewer errors of correct assignment of points, failure to question when specified to do so, and over-all total number of errors. Mechanical errors, conversion errors, and errors establishing correct starting and stopping points (basal and ceiling points) were not significant. The results support the effectiveness of computer-assisted instruction when used in conjunction with classroom training.

A Localization Algorithm Research to Eliminate the Indoor NLOS Error

2014 ◽  
Vol 989-994 ◽  
pp. 2232-2236 ◽  
Author(s):  
Jia Zhi Dong ◽  
Yu Wen Wang ◽  
Feng Wei ◽  
Jiang Yu
Keyword(s):  
Indoor Environment ◽  
Arrival Time ◽  
Channel Model ◽  
Indoor Positioning ◽  
Superior Performance ◽  
Line Of Sight ◽  
Localization Algorithm ◽  
Positioning Accuracy ◽  
Software Simulation ◽  
Positioning Algorithm

Currently, there is an urgent need for indoor positioning technology. Considering the complexity of indoor environment, this paper proposes a new positioning algorithm (N-CHAN) via the analysis of the error of arrival time positioning (TOA) and the channels of S-V model. It overcomes an obvious shortcoming that the accuracy of traditional CHAN algorithm effected by no-line-of-sight (NLOS). Finally, though MATLAB software simulation, we prove that N-CHAN’s superior performance in NLOS in the S-V channel model, which has a positioning accuracy of centimeter-level and can effectively eliminate the influence of NLOS error on positioning accuracy. Moreover, the N-CHAN can effectively improve the positioning accuracy of the system, especially in the conditions of larger NLOS error.

scholarly journals Dynamic Reductions for Model Checking Concurrent Software

2017 ◽  
pp. 246-265 ◽  
Author(s):  
Henning Günther ◽  
Alfons Laarman ◽  
Ana Sokolova ◽  
Georg Weissenbacher
Keyword(s):  
Model Checking ◽  
Concurrent Software
Sign in / Sign up

Export Citation Format

Share Document