scholarly journals Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods

2005 ◽  
pp. 70-88 ◽  
Author(s):  
Frédéric Lang
Keyword(s):  
Partial Order ◽  
Flexible Tool ◽  
Verification Methods

Formal Verification of Control System Software

2019 ◽  
Author(s):  
Pierre-Loïc Garoche
Keyword(s):  
Control System ◽  
Formal Verification ◽  
Formal Analysis ◽  
Critical Systems ◽  
System Software ◽  
Unified Approach ◽  
Verification Methods ◽  
Autonomous Cars ◽  
Computer Scientists ◽  
Verification Techniques

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Deriving the Partial Order of Documents to Extend Clustering Applications

2019 ◽  
Vol 7 (1) ◽  
pp. 424-430
Author(s):  
A. George Louis Raja ◽  
F. Sagayaraj Francis ◽  
P. Sugumar
Keyword(s):  
Partial Order

STORM ICE OIL WIND WAVE WATCH SYSTEM (SIOWS): WEB GIS APPLICATION FOR MONITORING THE ARCTIC

2017 ◽  
Author(s):  
Alexander Myasoedov ◽  
Alexander Myasoedov ◽  
Sergey Azarov ◽  
Sergey Azarov ◽  
Ekaterina Balashova ◽  
...  
Keyword(s):  
Satellite Data ◽  
Wind Wave ◽  
Arctic Region ◽  
Web Gis ◽  
The Arctic ◽  
Flexible Tool ◽  
In Situ Data ◽  
Current State ◽  
Watch System

Working with satellite data, has long been an issue for users which has often prevented from a wider use of these data because of Volume, Access, Format and Data Combination. The purpose of the Storm Ice Oil Wind Wave Watch System (SIOWS) developed at Satellite Oceanography Laboratory (SOLab) is to solve the main issues encountered with satellite data and to provide users with a fast and flexible tool to select and extract data within massive archives that match exactly its needs or interest improving the efficiency of the monitoring system of geophysical conditions in the Arctic. SIOWS - is a Web GIS, designed to display various satellite, model and in situ data, it uses developed at SOLab storing, processing and visualization technologies for operational and archived data. It allows synergistic analysis of both historical data and monitoring of the current state and dynamics of the "ocean-atmosphere-cryosphere" system in the Arctic region, as well as Arctic system forecasting based on thermodynamic models with satellite data assimilation.

PENGARUH CITRA PERUSAHAAN DAN KEPERCAYAAN TERHADAP KEPUASAN PASIEN PADA RUMAH SAKIT MITRA MEDIKA NAROM KABUPATEN BEKASI

2020 ◽  
Vol 7 (1) ◽  
pp. 41-49
Author(s):  
Ajat Sudrajat
Keyword(s):  
Patient Satisfaction ◽  
Health Services ◽  
Corporate Image ◽  
Ordinal Scale ◽  
Survey Method ◽  
Microsoft Excel ◽  
Analysis Techniques ◽  
Level Of Satisfaction ◽  
Verification Methods ◽  
High Level

Patient satisfaction at the hospital is a benchmark that is a benchmark for patients in getting health care. Each hospital must run a variety of strategies so that patients feel satisfied with health services, one of the strategies is through a good corporate image and trust, where a good corporate image can increase trust. So that affecting patient satisfaction Mitra Medika Narom Hospital Kabupaten Bekasi.             This research was conducted with descriptive and verification methods, namely knowing, analyzing, explaining and testing hypotheses, and making conclusions and suggestions. The sample in this study amounted to 240 respondents using the Eksplanary Survey method. Data analysis techniques used are ordinal scale techniques and path analysis using the Method of Successive Interval (MSI) tool, Microsoft Excel 2016 computer programs and SPSS 16.             The results of this study reveal that the company's image at the Mitra Medika Narom Hospital in Kabupaten Bekasi is in the agreed criteria, meaning that Mitra Medika Narom Hospital has built and made a good company image so that it is better known to all people. Furthermore, trust in Mitra Medika Narom Hospital in Kabupaten Bekasi is in the agreed criteria, meaning that Mitra Medika Narom Hospital has succeeded in building a good and optimal Trust so that patients trust Mitra Medika Narom Hospital to obtain health services. Then the patient satisfaction at the Mitra Medika Narom Hospital in Kabupaten Bekasi is in the agreed criteria, meaning that the patients as respondents feel a high level of satisfaction after completing treatment at the Mitra Medika Narom Hospital. There is a positive, strong and two-way correlation between company image and trust variables of 0.646. There is a partial influence of company image on patient satisfaction at Mitra Medika Narom Hospital significantly by 11.98%. There is a partial influence of trust on patient satisfaction at Mitra Medika Narom Hospital significantly by 25.08%. Then there is a simultan influence of corporate image and trust on patient satisfaction at Mitra Medika Narom Hospital positively and significantly by 37.06% while the remaining 62.94% is contributed by other variables not examined

Application of experimental design for selection of optimal modes of electro-deformation cladding with a flexible tool

2020 ◽  
pp. 71-76
Author(s):  
M.A. Levantsevich ◽  
E.V. Pilipchuk ◽  
N.N Maksimchenko ◽  
L.S. Belevskiy ◽  
R.R. Dema
Keyword(s):  
Composite Material ◽  
Experimental Design ◽  
Statistical Models ◽  
Experiment Planning ◽  
Flexible Tool ◽  
Tool Coating ◽  
Coating Composite ◽  
Selection Of

Experimental-statistical models of the process of forming composite chromium coatings by electrodeformation cladding with a flexible tool are developed, which allow to determine the parameters of the regimes for obtaining coatings of the required thickness and roughness. Keywords electrodeformation cladding, flexible tool, coating, composite material, experiment planning, noncompositional plan, thickness, roughness. [email protected]

Is JUUL marketing to kids on social media? Analysis of JUUL Twitter Followers� Age (Preprint)

2018 ◽  
Author(s):  
Annice Kim ◽  
Robert Chew ◽  
Michael Wenger ◽  
Margaret Cress ◽  
Thomas Bukowski ◽  
...  
Keyword(s):  
Social Media ◽  
Application Programming Interface ◽  
Media Analysis ◽  
Prediction Algorithm ◽  
Social Media Networks ◽  
Verification Methods ◽  
Twitter Account ◽  
Application Programming ◽  
Age Verification ◽  
Age Category

BACKGROUND JUUL is an electronic nicotine delivery system (ENDS) resembling a USB device that has become rapidly popular among youth. Recent studies suggest that social media may be contributing to its popularity. JUUL company claims their products are targeted for adult current smokers but recent surveillance suggests youth may be exposed to JUUL products online. To date, there has been little attention on restricting youth exposure to age restricted products on social media. OBJECTIVE The objective of this study was to utilize a computational age prediction algorithm to determine the extent to which underage youth are being exposed to JUUL’s marketing practices on Twitter. METHODS We examined all of @JUULvapor’s Twitter followers in April 2018. For followers with a public account, we obtained their metadata and last 200 tweets using the Twitter application programming interface. We ran a series of classification models to predict whether the account following @JUULvapor was an underage youth or an adult. RESULTS Out of 9,077 individuals following @JUULvapor Twitter account, a three-age category model predicted that 44.9% are 13 to 17 years old (N=4,078), 43.6% are 18 to 24 years old (N=3,957), and 11.5% are 25 years old or older (N=1,042); and a two-age category model predicted that 80.6% (N=7,313) are under 21 years old. CONCLUSIONS Despite a disclaimer that followers must be of legal age to purchase tobacco products, the majority of JUUL followers on Twitter are under age. This suggests that ENDS brands and social media networks need to implement more stringent age-verification methods to protect youth from age-restricted content.

Network-based Simulation in Water Construction – a Flexible Tool for Equipment Selection

2016 ◽  
Vol 26 (1) ◽  
pp. 55-58
Author(s):  
Gerhard Höfinger ◽  
Stefan Brunner
Keyword(s):  
Flexible Tool ◽  
Equipment Selection
Sign in / Sign up

Export Citation Format

Share Document