469,768 Hits in 6.8 sec

Risk Assessment on the Transition Program for Air Traffic Control Automation System Upgrade

Dong Bin Li, Yu Mei Liu, Jian Wu Xu, Yuan Zhou, Yu Song, J.C.M. Kao, W.-P. Sung
2016 MATEC Web of Conferences  
probability of success of the air traffic control automation system upgrade transition.  ...  We analyzed the safety risks of the transition program for Air Traffic Control (ATC) automation system upgrade by using the event tree analysis method in this paper.  ...  Acknowledgement This research was financially supported by the National Science Foundation of China (Grant No.U1233130).  ... 
doi:10.1051/matecconf/20166304041 fatcat:xaopx57qkffntnwjsavgpt7pva

An Integration Test Order Strategy to Consider Control Coupling

S. JIANG, Miao Zhang, Yanmei Zhang, Rongcun Wang, Qiao Yu, Jacky Wai Keung
2019 IEEE Transactions on Software Engineering  
We advance the concept of transitive relationship to describe this kind of interclass dependency and propose a new measurement method to estimate the complexity of control coupling, which is the complexity  ...  of stubs created for a transitive relationship.  ...  This work is supported in part by the National Natural Science  ... 
doi:10.1109/tse.2019.2921965 fatcat:g72wirdcx5chxlnnleo45x2foe

Mining Dynamic Network-Wide Traffic States

Alexander Paz, Carlos Gaviria, Cristian Arteaga, Jose Torres-Jimenez
2018 2018 21st International Conference on Intelligent Transportation Systems (ITSC)  
It is a condition of access that users recognise and abide by the legal requirements associated with these rights.  ...  If the document is available under a Creative Commons License (or other specified license) then refer to the Licence for details of permitted re-use.  ...  The existing literature has proposed a variety of models to manage and control vehicular traffic systems based on the calculation of the transition probability across traffic states.  ... 
doi:10.1109/itsc.2018.8569383 dblp:conf/itsc/PazGAT18 fatcat:rm7yjyb4tbfdja6cpjhzgoicwe

The Realization of a Speech-control Unit Used for Intelligent Household Appliance

Jing-Hong YAO, Jia-Wei ZHOU
2017 DEStech Transactions on Engineering and Technology Research  
This paper introduces a speech-control unit to control the switch of household appliance.  ...  According to the specific target of the speech-control unit, we introduce the two methods to realize the speech-control unit, and discuss some specific problems during its realization in C language.  ...  Acknowledgement This research is financially supported by the National University Student Innovation and Entrepreneurship Training Program (201410876004).  ... 
doi:10.12783/dtetr/sste2016/6513 fatcat:cediyj6wmvfgrbfwtqtewvl3da

SAMPLE and TEST: Two FORTRAN IV programs for analysis of discrete-state, time-varying data using first-order, Markov-chain techniques

Robert B. Arundale
1984 Behavoir research methods, instruments & computers  
A first-order, discrete-state Markov chain is a sequence of behavior states in which the probability of the organism or system's being in a given state at time t 2 depends on the state the entity was in  ...  If the assumptions are valid, program TEST allows one to test both for significant differences between pairs of transition probability matrices and for homogeneity among a group of matrices.  ...  Both programs are formatted so that output may be viewed conveniently on a CRT device, as well as in standard listings.  ... 
doi:10.3758/bf03202418 fatcat:hnq3ncqfkbhl3dk6z3lyg6po44

Stochastic computing with biomolecular automata

R. Adar, Y. Benenson, G. Linshiz, A. Rosner, N. Tishby, E. Shapiro
2004 Proceedings of the National Academy of Sciences of the United States of America  
We constructed a stochastic molecular automaton in which stochastic choice is realized by means of competition between alternative biochemical pathways, and choice probabilities are programmed by the relative  ...  Stochastic computing has a broad range of applications, yet electronic computers realize its basic step, stochastic choice between alternative computation paths, in a cumbersome way.  ...  We thank A. Regev for critical review of this manuscript. This work was supported by grants from the Israeli Ministry of Science, the Israeli Science Foundation, and the Minerva Foundation.  ... 
doi:10.1073/pnas.0400731101 pmid:15215499 pmcid:PMC454388 fatcat:5vus5bwy2fhwhclcs4liopykde

Estimation of transitional probabilities of discrete event systems from cross-sectional survey and its application in tobacco control

Feng Lin, Xinguang Chen
2010 Information Sciences  
The estimated transitional probabilities can be used in predicting the future smoking behavior for decision-making, planning and evaluation of various tobacco control programs.  ...  In this paper, we propose a method to estimate transitional probabilities from cross-sectional survey data. The method is novel and is based on a discrete event system framework.  ...  We would like to thank George Yin for several inspiring discussions on the subject.  ... 
doi:10.1016/j.ins.2009.09.018 pmid:20161437 pmcid:PMC2789352 fatcat:ycjxokyhnfde7eylefj4kbbrcu

Data for the ins and outs of involuntary part-time employment

Daniel Borowczyk-Martins, Etienne Lalé
2021 Data in Brief  
The time series obtained through these adjustments allow for a comprehensive account of the cyclical dynamics of involuntary part-time employment.  ...  Stocks and flows are cleared from discrepancies over time caused by the 1994 redesign of the CPS, and they are adjusted to control for margin error problems and time aggregation biases.  ...  Acknowledgments Authors are grateful to Anne Polivka and Steve Miller at the U.S. Bureau of Labor Statistics for discussing with us the adjustments made to construct these data.  ... 
doi:10.1016/j.dib.2020.106686 pmid:33426243 pmcid:PMC7776922 fatcat:ab7dumvi2fajdiw7ll3wk6ij24

Solving POMDPs using quadratically constrained linear programs

Christopher Amato, Daniel S. Bernstein, Shlomo Zilberstein
2006 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06  
We then propose a new approach that formulates the problem as a quadratically constrained linear program (QCLP), the solution of which provides an optimal controller of a desired size.  ...  One promising approach is based on representing POMDP policies as finite-state controllers. This method has been used successfully to address the intractable memory requirements of POMDP algorithms.  ...  selection and node transition probabilities of the controller.  ... 
doi:10.1145/1160633.1160694 dblp:conf/atal/AmatoBZ06 fatcat:3gvgfex2z5gqrnk363ngwk25di

Monitoring with uncertainty

Ezio Bartocci, Radu Grosu
2013 Electronic Proceedings in Theoretical Computer Science  
Finally, we present and discuss some techniques developed in the last three years to estimate the probability that a property of interest is violated in the presence of an incomplete trace.  ...  These gaps can occur when a monitoring overhead control mechanism is introduced to disable the monitor of an application with real-time constraints.  ...  The main concepts and ideas presented in this invited talk were developed (and presented in several papers) in collaboration with Scott A. Smolka, Scott D.  ... 
doi:10.4204/eptcs.124.1 fatcat:wny2mr5vuvaszn4kyxbmetkn2y

A Barrier-Based Scenario Approach to Verify Safety-Critical Systems [article]

Prithvi Akella, Aaron D. Ames
2022 arXiv   pre-print
Furthermore, we show that our method is system-independent by performing the same verification method on a quadrupedal system in a multi-agent setting as well.  ...  The solution to this program then provides either a probabilistic verification statement or a counterexample.  ...  The variance in the true violation probability is on the order of 10 −5 and is just not visible at the scale shown. attempt, we calculated the true violation probability of the our solution γ * N by uniformly  ... 
arXiv:2202.11177v1 fatcat:arb5qznv5vc5fpp6jgplijj2tm

A Study on the Control Technique of Construction Project Process

Changming Hu, Shaoping Zhang, Xueyan Wang
2013 Engineering  
The construction process control of large-scale projects is one of the difficulties and the keys in the owner's project management.  ...  According to the Markov process forecasting model and by means of MATLAB program, the project process forecast is realized, and the completion probability in contract period is obtained.  ...  Therefore, as long as the initial state a 0 (or the initial distribution) and one-step matrix of transition probabilities P are given, the sample value a 1 (state) of X(1) can be calculated by time sequence  ... 
doi:10.4236/eng.2013.53041 fatcat:ri4vy46bebeghp6kyjgxrks46a

The Paradigm For Solving The Derivation Problem In Infinite Models

2021 European Journal of Science and Technology  
The Viterbi algorithm has been adopted to one-counter grammar that is a sub-class of stochastic context-free grammar to solve this issue.  ...  The Paradigm for Solving the Derivation Problem in Infinite Models. Abstract The problem of finding the most probable derivation for probabilistic context-free grammar is expensive.  ...  Along these lines, as per the outcomes, the adopted Viterbi calculation is utilized as a dynamic programming algorithm in the derivation problem of languages delivered by a one-counter grammar. for (t  ... 
doi:10.31590/ejosat.1008716 fatcat:oi4mngoacngihims5q3wqnlmei

Stochastic error rate estimation for adaptive speed control with field delay testing

Shoichi Iizuka, Masafumi Mizuno, Dan Kuroda, Masanori Hashimoto, Takao Onoye
2013 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)  
The proposed framework is implemented for adaptive speed control systems based on timing error prediction and scan-test.  ...  This paper proposes a stochastic framework for error rate estimation that models adaptive speed control as a continuous-time Markov process and derives its transition rates using developed similarity database  ...  Acknowledgements This work was supported by Semiconductor Technology Academic Research Center (STARC) and the New Energy and Industrial Technology Development Organization (NEDO) of Japan.  ... 
doi:10.1109/iccad.2013.6691105 dblp:conf/iccad/IizukaMKHO13 fatcat:qzyirthv6ja7fpaclzsigt7u2y

Finite state machine induction using genetic algorithm based on testing and model checking

Fedor Tsarev, Kirill Egorov
2011 Proceedings of the 13th annual conference companion on Genetic and evolutionary computation - GECCO '11  
The approach described is tested on the problem of finite state machine induction for elevator doors controlling.  ...  Input data for the genetic algorithm is a set of tests and a set of properties described using linear time logic.  ...  The research was supported by Ministry of Education and Science of Russian Federation in the context of Federal Program "Scientific and pedagogical personnel of innovative Russia".  ... 
doi:10.1145/2001858.2002085 dblp:conf/gecco/TsarevE11 fatcat:2quwxajerbcwbiibvmpbdxphjm
« Previous Showing results 1 — 15 out of 469,768 results