Learn More
The traffic forecasting model, when considered as a system with inputs of historical and current data and outputs of future data, behaves in a nonlinear fashion and varies with time of day. Traffic data are found to change abruptly during the transition times of entering or leaving rush hours. Accurate and real-time models are needed to approximate the(More)
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-supported approach to integrate product-line FTA into AADL (Architecture Analysis and Design Language) models and associated AADL Error Models of a product line. With concrete(More)
We address the problem of how to provide guarantees to a user that an automatically generated composition of independently developed web services meets the non-functional requirements (NFR). The user-specified NFR are in the form of hard constraints. We introduce an automata-based model for representing and reasoning about non-functional requirements for(More)
Changes to safety-critical product lines can jeopardize the safety properties that they must ensure. Thus, evolving software product lines must consider the impact that changes to requirements may have on the existing systems and their safety. The contribution of this work is a systematic, tool-supported technique to support safe evolution of product-line(More)
Customizing web services according to users' individual functional and non-functional requirements has become increasingly difficult as the number of users increases. This paper introduces a new way to customize and verify composite web services by incorporating a software product-line engineering approach into web-service composition. The approach uses a(More)
This paper addressed a framework of a traffic prediction model which could eliminate the noises caused by random travel conditions. In the meantime, this model can also quantitatively calculate the influence of special factors. This framework combined several artificial intelligence technologies such as wavelet transform, neural network, and fuzzy logic. In(More)
Electromuscular incapacitating devices (EMDs), such as Tasers, deliver high current, short duration pulses that cause muscular contractions and temporarily incapacitate the human subject. Some reports suggest that EMDs can kill. To help answer the question, "Can the EMD directly cause ventricular fibrillation (VF)?", ten tests were conducted to measure the(More)
Designers of electromuscular incapacitation devices need to know efficacy. Which areas of nerve and muscle are stimulated and are these areas adequate to cause incapacitation? This paper focuses on efficacy, which used a torso-sized finite element model with a mesh of about 5 mm. To estimate the neuromuscular regions stimulated by the Taser X26,(More)
The maximum distance between the heart and a model Taser stimulation dart, called the dart-to-heart distance, at which the Taser can directly cause ventricular fibrillation (VF), was measured in pigs. A 9-mm-long blunt probe was advanced snugly through the surrounding tissues toward the heart. Five animals [pig mass=61.2+/-6.23 standard deviation (SD) kg](More)