scholarly journals Balancing Automation and Control for Formal Verification of Microprocessors

2021 ◽  
pp. 26-45
Author(s):  
Shilpi Goel ◽  
Anna Slobodova ◽  
Rob Sumners ◽  
Sol Swords
Keyword(s):  
Formal Verification ◽  
Large Scale ◽  
Theorem Prover ◽  
Current Status ◽  
Formal Validation ◽  
Automation And Control ◽  
Software And Hardware ◽  
Main Engine ◽  
And Control ◽  
Hardware Industry

AbstractFormal methods are becoming an indispensable part of the design process in software and hardware industry. It takes robust tools and proofs to make formal validation of large scale projects reliable. In this paper, we will describe the current status of formal verification at Centaur Technology. We will explain our challenges and our methodology—how various proofs and verification artifacts are interconnected and how we keep them consistent over the duration of a project. We also describe our main engine—a powerful symbolic simulator with rewriting capabilities that is integrated in a theorem prover and proven correct.

scholarly journals Ways of reduction of pollution of an environment by ship power installations

2019 ◽  
pp. 479-485
Author(s):  
Andrei V Ivanov ◽  
Valery A. Petuchov
Keyword(s):  
Electric Power ◽  
Control Systems ◽  
Cooling Water ◽  
Exhaust Gases ◽  
Automation And Control ◽  
Complex Automation ◽  
Main Engine ◽  
And Control ◽  
Power Installations

In the report are discussed ways of reduction of pollution of an environment by ship power installations. Among them it is necessary to select optimization of regimes of operations of main traditional ship sources of the electric power, the installation of systems of utilization of refuse energy of the exhaust gases and cooling water from main and auxiliary engines, application of new types of sources of the electric power and the using of complex automation and control systems for exhaust gases and for selecting of regimes main engine, auxiliary engine, utilize boiler, auxiliary boiler, shaft generator.

scholarly journals Cybersecurity of Railway Command and Control Systems

2020 ◽  
Vol 18 (2) ◽  
Author(s):  
Alexey Ozerov
Keyword(s):  
Control Systems ◽  
Large Scale ◽  
Risk Mitigation ◽  
Command And Control ◽  
Holistic Approach ◽  
Remote Access ◽  
External Effects ◽  
Computer Based ◽  
Software And Hardware ◽  
And Control

With the large-scale migration to computer-based and network technology, the threat of unauthorized remote access to railway command and control systems does not appear to be something extraordinary.But external effects shall be considered alongside with internal factorsof signalling software and hardware such errors and undocumented features. Risk mitigation in terms of cybersecurity of signalling installations can onlybe achieved as a combination of means designed within some holistic approach integrating both safety and IT security aspects.

scholarly journals What matters: non-pharmaceutical interventions for COVID-19 in Europe

2022 ◽  
Vol 11 (1) ◽  
Author(s):  
Yan Liu ◽  
Qiuyan Yu ◽  
Haoyu Wen ◽  
Fang Shi ◽  
Fang Wang ◽  
...  
Keyword(s):  
Prevention And Control ◽  
Large Scale ◽  
Great Influence ◽  
Control Measures ◽  
European Countries ◽  
World Health ◽  
Current Status ◽  
Key Factors ◽  
Prevention And Control Measures ◽  
And Control

Abstract Objectives The purpose of this study is to describe the situation of COVID-19 in European countries and to identify important factors related to prevention and control. Methods We obtained data from World Health Statistics 2020 and the Institute for Health Metrics and Evaluation (IHME). We calculated the Rt values of 51 countries in Europe under different prevention and control measures. We used lasso regression to screen factors associated with morbidity and mortality. For the selected variables, we used quantile regression to analyse the relevant influencing factors in countries with different levels of morbidity or mortality. Results The government has a great influence on the change in Rt value through prevention and control measures. The most important factors for personal and group prevention and control are the mobility index, testing, the closure of educational facilities, restrictions on large-scale gatherings, and commercial restrictions. The number of ICU beds and doctors in medical resources are also key factors. Basic sanitation facilities, such as the proportion of safe drinking water, also have an impact on the COVID-19 epidemic. Conclusions We described the current status of COVID-19 in European countries. Our findings demonstrated key factors in individual and group prevention measures.

scholarly journals What Matters among Non-pharmaceutical Interventions on COVID-19 in Europe?

2021 ◽  
Author(s):  
Chuanhua Yu ◽  
Yan Liu ◽  
Qiuyan Yu ◽  
Haoyu Wen ◽  
Fang Shi ◽  
...  
Keyword(s):  
Prevention And Control ◽  
Large Scale ◽  
Great Influence ◽  
Control Measures ◽  
European Countries ◽  
World Health ◽  
Current Status ◽  
Key Factors ◽  
Prevention And Control Measures ◽  
And Control

Abstract Objectives The purpose of this study is to describe the situation of the COVID-19 in European countries and identify important factors related to prevention and control. Methods We obtained data from World Health Statistics 2020 and the Institute for Health Metrics and Evaluation (IHME). We caculated the Rt values of 51countries in Europe under different prevention and control measures. We used lasso regression to screen factors associated with morbidity and mortality. For variables selected, we used quantile regression to analyze the relevant influencing factors in countries with different levels of morbidity or mortality. Results The government has a great influence on the change of Rt value through prevention and control measures. The most important factor for personal and group prevention and control is the mobility index, testing, the closure of educational facilities, restrictions on large-scale gatherings, and commercial restrictions. The number of ICU beds and doctors in medical resources are also key factors. Basic sanitation facilities, such as the proportion of safe drinking water, also have an impact on the COVID-19 epidemic. Conclusions This study describes the current status of COVID-19 in European countries. We found key factors in individual prevention and control measures and group prevention and control measures.

scholarly journals Development of Moodle based e-learning to improve the effectiveness of learning fundamental automation and control system technology

2020 ◽  
Vol 9 (8) ◽  
pp. e236983427
Author(s):  
Hariyono .
Keyword(s):  
Learning Outcomes ◽  
Large Scale ◽  
Basic Material ◽  
Small Scale ◽  
Post Test ◽  
Student Questionnaire ◽  
Systems Learning ◽  
Automation And Control ◽  
E Learning ◽  
And Control

The aim of this study is examine the influence of Moodle-based e-learning learning to improve learning outcomes of cadets on the basic material of pneumatic systems. Method used in this study is research and development design. Subject of research was the fourth semester cadets majoring in electro navigation at Surabaya Merchant Marine Polytechnic which was determined by convenience sampling. The data taken from the feasibility in terms of material and media through questionnaires, learning outcomes through pre-test and post-test, as well as students and teacher responses through questionnaires. Expert responses show that Moodle-based e-learning is feasible in terms of media and feasible in terms of material. Learning outcomes in large-scale trials indicate that the results of student questionnaire responses to small-scale and large-scale trials indicate that the majority of students give positive responses to learning activities using Moodle-based e-learning media. Lecturer responses based on the results of the questionnaire showed that lecturers were interested in learning using Moodle-based e-learning learning media that had been applied. Based on the results of the analysis and discussion it can be concluded that Moodle-based e-learning is feasible and effectively applied to the basic material of pneumatic systems. Learning by e-learning has a significant impact on improving the learning outcomes of cadets.

Collaboration, Power, Participation and Control on a Large Scale Research Team: Multiple Perspectives from the Oxford House Research Project

2001 ◽  
Author(s):  
Bradley Olson ◽  
Leonard Jason ◽  
Joseph R. Ferrari ◽  
Leon Venable ◽  
Bertel F. Williams ◽  
...  
Keyword(s):  
Large Scale ◽  
Research Team ◽  
Multiple Perspectives ◽  
Research Project ◽  
Oxford House ◽  
And Control

Interference mitigation in point to point wireless sensor networks using LSP protocol and time division multiplexing approach

2020 ◽  
Vol 39 (4) ◽  
pp. 5449-5458
Author(s):  
A. Arokiaraj Jovith ◽  
S.V. Kasmir Raja ◽  
A. Razia Sulthana
Keyword(s):  
Energy Consumption ◽  
Large Scale ◽  
Control Parameter ◽  
Interference Mitigation ◽  
Wireless Sensor ◽  
Point To Point ◽  
A Minor ◽  
Two Stages ◽  
Time Division ◽  
And Control

Interference in Wireless Sensor Network (WSN) predominantly affects the performance of the WSN. Energy consumption in WSN is one of the greatest concerns in the current generation. This work presents an approach for interference measurement and interference mitigation in point to point network. The nodes are distributed in the network and interference is measured by grouping the nodes in the region of a specific diameter. Hence this approach is scalable and isextended to large scale WSN. Interference is measured in two stages. In the first stage, interference is overcome by allocating time slots to the node stations in Time Division Multiple Access (TDMA) fashion. The node area is split into larger regions and smaller regions. The time slots are allocated to smaller regions in TDMA fashion. A TDMA based time slot allocation algorithm is proposed in this paper to enable reuse of timeslots with minimal interference between smaller regions. In the second stage, the network density and control parameter is introduced to reduce interference in a minor level within smaller node regions. The algorithm issimulated and the system is tested with varying control parameter. The node-level interference and the energy dissipation at nodes are captured by varying the node density of the network. The results indicate that the proposed approach measures the interference and mitigates with minimal energy consumption at nodes and with less overhead transmission.

Sign in / Sign up

Export Citation Format

Share Document