scholarly journals Efficient data validation for geographical interlocking systems

2021 ◽  
Author(s):  
Jan Peleska ◽  
Niklas Krafczyk ◽  
Anne E. Haxthausen ◽  
Ralf Pinger
Keyword(s):  
Model Checking ◽  
Model Transformations ◽  
Configuration Model ◽  
Data Validation ◽  
Control Logic ◽  
Distributed Communication ◽  
Efficient Data ◽  
High Level ◽  
Fail Safe ◽  
And Control

AbstractIn this paper, an efficient approach to data validation of distributed geographical interlocking systems (IXLs) is presented. In the distributed IXL paradigm, track elements are controlled by local computers communicating with other control components over local and wide area networks. The overall control logic is distributed over these track-side computers and remote server computers that may even reside in one or more cloud server farms. Redundancy is introduced to ensure fail-safe behaviour, fault-tolerance, and to increase the availability of the overall system. To cope with the configuration-related complexity of such distributed IXLs, the software is designed according to the digital twin paradigm: physical track elements are associated with software objects implementing supervision and control for the element. The objects communicate with each other and with high-level IXL control components in the cloud over logical channels realised by distributed communication mechanisms. The objective of this article is to explain how configuration rules for this type of IXLs can be specified by temporal logic formulae interpreted on Kripke Structure representations of the IXL configuration. Violations of configuration rules can be specified using formulae from a well-defined subset of LTL. By decomposing the complete configuration model into sub-models corresponding to routes through the model, the LTL model checking problem can be transformed into a CTL checking problem for which highly efficient algorithms exist. Specialised rule violation queries that are hard to express in LTL can be simplified and checked faster by performing sub-model transformations adding auxiliary variables to the states of the underlying Kripke Structures. Further performance enhancements are achieved by checking each sub-model concurrently. The approach presented here has been implemented in a model checking tool which is applied by Siemens Mobility for data validation of geographical IXLs.

Non-Communicable Diseases and Global Health Politics

2019 ◽  
pp. 626-659
Author(s):  
Roger Magnusson
Keyword(s):  
Respiratory Diseases ◽  
Communicable Diseases ◽  
World Health ◽  
Global Response ◽  
Non Communicable Diseases ◽  
Health Politics ◽  
Chronic Respiratory Diseases ◽  
Health Organization ◽  
High Level ◽  
And Control

Non-communicable diseases (NCDs), including cardiovascular disease, cancer, chronic respiratory diseases, and diabetes, are responsible for around 70 percent of global deaths each year. This chapter describes how NCDs have become prevalent and critically evaluates global efforts to address NCDs and their risk factors, with a particular focus on the World Health Organization (WHO) and United Nations (UN) system. It explores the factors that have prevented those addressing NCDs from achieving access to resources and a priority commensurate with their impact on people’s lives. The chapter evaluates the global response to NCDs both prior to and since the UN High-Level Meeting on Prevention and Control of Non-communicable Diseases, held in 2011, and considers opportunities for strengthening that response in future.

scholarly journals Boundaryless working hours and recovery in Germany

2021 ◽  
Author(s):  
Laura Vieten ◽  
Anne Marit Wöhrmann ◽  
Alexandra Michel
Keyword(s):  
Working Hours ◽  
Working Time ◽  
Overtime Work ◽  
Psychological Detachment ◽  
Representative Study ◽  
Flexible Working ◽  
Recovery Experiences ◽  
High Level ◽  
And Control ◽  
Extended Work

Abstract Objective Due to recent trends such as globalization and digitalization, more and more employees tend to have flexible working time arrangements, including boundaryless working hours. The aim of this study was to investigate the relationships of various aspects of boundaryless working hours (overtime, Sunday work, and extended work availability) with employees’ state of recovery. Besides, we examined the mediating and moderating role of recovery experiences (psychological detachment, relaxation, mastery, and control) in these relationships. Methods We used data from 8586 employees (48% women; average age of 48 years) who took part in the 2017 BAuA-Working Time Survey, a representative study of the German working population. Regression analyses were conducted to test main effects as well as mediation and moderation. Results Overtime work, Sunday work, and extended work availability were negatively related to state of recovery. Psychological detachment mediated these relationships. Furthermore, we found that relaxation and control mediated the association between extended work availability and state of recovery. However, no relevant moderating effects were found. Conclusions Altogether, our findings indicate that various aspects of boundaryless working hours pose a risk to employees’ state of recovery and that especially psychological detachment is a potential mechanism in these relationships. In addition, the results suggest that a high level of recovery experiences cannot attenuate these negative relationships in leisure time. Therefore, employers and employees alike should try to avoid or minimize boundaryless working hours.

scholarly journals Molecular epidemiology of coxsackievirus A16 circulating in children in Beijing, China from 2010 to 2019

2021 ◽  
Author(s):  
Ya-Fang Hu ◽  
Li-Ping Jia ◽  
Fang-Yuan Yu ◽  
Li-Ying Liu ◽  
Qin-Wei Song ◽  
...  
Keyword(s):  
Molecular Epidemiology ◽  
Evolutionary Rate ◽  
Foot And Mouth Disease ◽  
Recent Common Ancestor ◽  
Rt Pcr ◽  
Coxsackievirus A16 ◽  
Most Recent Common Ancestor ◽  
Etiological Agents ◽  
High Level ◽  
And Control

Abstract Background Coxsackievirus A16 (CVA16) is one of the major etiological agents of hand, foot and mouth disease (HFMD). This study aimed to investigate the molecular epidemiology and evolutionary characteristics of CVA16. Methods Throat swabs were collected from children with HFMD and suspected HFMD during 2010–2019. Enteroviruses (EVs) were detected and typed by real-time reverse transcription-polymerase chain reaction (RT-PCR) and RT-PCR. The genotype, evolutionary rate, the most recent common ancestor, population dynamics and selection pressure of CVA16 were analyzed based on viral protein gene (VP1) by bioinformatics software. Results A total of 4709 throat swabs were screened. EVs were detected in 3180 samples and 814 were CVA16 positive. More than 81% of CVA16-positive children were under 5 years old. The prevalence of CVA16 showed obvious periodic fluctuations with a high level during 2010–2012 followed by an apparent decline during 2013–2017. However, the activities of CVA16 increased gradually during 2018–2019. All the Beijing CVA16 strains belonged to sub-genotype B1, and B1b was the dominant strain. One B1c strain was detected in Beijing for the first time in 2016. The estimated mean evolutionary rate of VP1 gene was 4.49 × 10–3 substitution/site/year. Methionine gradually fixed at site-23 of VP1 since 2012. Two sites were detected under episodic positive selection, one of which (site-223) located in neutralizing linear epitope PEP71. Conclusions The dominant strains of CVA16 belonged to clade B1b and evolved in a fast evolutionary rate during 2010–2019 in Beijing. To provide more favorable data for HFMD prevention and control, it is necessary to keep attention on molecular epidemiological and evolutionary characteristics of CVA16.

scholarly journals Effect of Ionizing Radiation on the Bacterial and Fungal Endophytes of the Halophytic Plant Kalidium schrenkianum

2021 ◽  
Vol 9 (5) ◽  
pp. 1050
Author(s):  
Jing Zhu ◽  
Xiang Sun ◽  
Zhi-Dong Zhang ◽  
Qi-Yong Tang ◽  
Mei-Ying Gu ◽  
...  
Keyword(s):  
Genetic Diversity ◽  
Ionizing Radiation ◽  
Endophytic Bacteria ◽  
Fungal Endophytes ◽  
Root Endophytes ◽  
Fungal Community Structure ◽  
Geochemical Factors ◽  
Bacteria And Fungi ◽  
High Level ◽  
And Control

Endophytic bacteria and fungi colonize plants that grow in various types of terrestrial and aquatic ecosystems. Our study investigates the communities of endophytic bacteria and fungi of halophyte Kalidium schrenkianum growing in stressed habitats with ionizing radiation. The geochemical factors and radiation (at low, medium, high level and control) both affected the structure of endophytic communities. The bacterial class Actinobacteria and the fungal class Dothideomycetes predominated the endophytic communities of K. schrenkianum. Aerial tissues of K. schrenkianum had higher fungal diversity, while roots had higher bacterial diversity. Radiation had no significant effect on the abundance of bacterial classes. Soil pH, total nitrogen, and organic matter showed significant effects on the diversity of root endophytes. Radiation affected bacterial and fungal community structure in roots but not in aerial tissues, and had a strong effect on fungal co-occurrence networks. Overall, the genetic diversity of both endophytic bacteria and fungi was higher in radioactive environments, however negative correlations were found between endophytic bacteria and fungi in the plant. The genetic diversity of both endophytic bacteria and fungi was higher in radioactive environments. Our findings suggest that radiation affects root endophytes, and that the endophytes associated with aerial tissues and roots of K. schrenkianum follow different mechanisms for community assembly and different paradigms in stress response.

scholarly journals Does Gamifying Homework Influence Performance and Perceived Gameful Experience?

2021 ◽  
Vol 13 (9) ◽  
pp. 4829
Author(s):  
Ahmed Hosny Saleh Metwally ◽  
Maiga Chang ◽  
Yining Wang ◽  
Ahmed Mohamed Fahmy Yousef
Keyword(s):  
Learning Analytics ◽  
Educational Settings ◽  
Control Groups ◽  
Level Of Satisfaction ◽  
Growing Body ◽  
High Level ◽  
And Control

There is a growing body of literature that recognizes the importance of applying gamification in educational settings. This research developed an application to gamify students’ homework to address the concern of the students’ inability to complete their homework. This research aims to investigate students’ performance in doing their homework, and reflections and perceptions of the gameful experience in gamified homework exercises. Based on the data gathered from experimental and control groups (N = 84) via learning analytics, survey, and interview, the results show a high level of satisfaction according to students’ feedback. The most noticeable finding to extract from the analysis is that students can take on a persona, earn points, and experience a deeper sense of achievement through doing the gamified homework. Moreover, the students, on the whole, are likely to be intrinsically motivated whenever the homework is attributed to factors under their own control, when they consider that they have the expertise to be successful learners to achieve their desired objectives, and when they are interested in dealing with the homework for learning, not just achieving high grades.

scholarly journals Neoteric Fuzzy control stratagem and design of Chopper fed Multilevel Inverter for enhanced Voltage Output involving Plug-In Electric Vehicle (PEV) applications

Electronics ◽  
2019 ◽  
Vol 8 (10) ◽  
pp. 1092 ◽  
Author(s):  
Sunddararaj ◽  
Rangarajan ◽  
Gopalan
Keyword(s):  
Electric Vehicle ◽  
New Technologies ◽  
Control Strategies ◽  
Economic Benefits ◽  
Multilevel Inverter ◽  
Control Logic ◽  
Bidirectional Converters ◽  
Hybrid Controller ◽  
And Control ◽  
Novel Design

The utilization of plug-in electric vehicles (PEV) has started to garner more attention worldwide considering the environmental and economic benefits. This has led to the invention of new technologies and motifs associated with batteries, bidirectional converters and inverters for Electric Vehicle applications. In this paper, a novel design and control of chopper circuit is proposed and configured with the series and parallel connection of the power electronic based switches for two-way operation of the converter. The bidirectional action of the proposed converter makes it suitable for plug-in electric vehicle applications as the grid is becoming smarter. The DC–DC converter is further interfaced with the designed multilevel inverter (MLI). The reduced switches associated with the novel design of MLI have overcome the cons associated with the conventional inverters in terms of enhanced performance in the proposed design. Further, novel control strategies have been proposed for the DC–DC converter based on Proportional Integral (PI) and Fuzzy based control logic. For the first time, the performance of the entire system is evaluated based on the comparison of proposed PI, fuzzy, and hybrid controllers. New rules have been formulated for the Fuzzy based controllers that are associated with the Converter design. This has further facilitated the interface of bidirectional DC–DC converter with the proposed MLI for an enhanced output voltage. The results indicate that the proposed hybrid controller provides better performance in terms of voltage gain, ripple, efficiency and overall aspects of power quality that forms the crux for PEV applications. The novelty of the design and control of the overall topology has been manifested based on simulation using MATLAB/SIMULINK.

scholarly journals Biotech/GM crops in horticulture: plum cv. HoneySweet resistant to Plum pox virus

2012 ◽  
Vol 48 (Special Issue) ◽  
pp. S43-S48 ◽  
Author(s):  
J. Polák ◽  
J. Kumar ◽  
B. Krška ◽  
M. Ravelonandro
Keyword(s):  
Tree Breeding ◽  
Fruit Tree ◽  
Eating Quality ◽  
Plum Pox Virus ◽  
Infection Pressure ◽  
Public Sector Research ◽  
The Usa ◽  
Chlorotic Leaf ◽  
High Level ◽  
And Control

Commercialisation of Biotech/GM (Biotech) crops started in 1995. Not only field crops, but also horticultural transgenic crops are under development and are beginning to be commercialised. Genetic engineering has the potential to revolutionise fruit tree breeding. The development of transgenic fruit cultivars is in progress. Over the past 20 years an international public sector research team has collaborated in the development of HoneySweet plum which is highly resistant to Plum pox virus (PPV) the most devastating disease of plums and other stone fruits. HoneySweet was deregulated in the USA in 2010. HoneySweet (aka C5) has been evaluated for eleven years (2002–2012) in a regulated field trial in the CzechRepublic for the resistance to PPV, Prune dwarf virus (PDV), and Apple chlorotic leaf spot virus (ACLSV), all of them being serious diseases of plum. Even under the high and permanent infection pressure produced through grafting, PPV has only been detected in HoneySweet trees in several leaves and fruits situated close to the point of inoculum grafting. The lack of infection spread in HoneySweet demonstrates its high level of PPV resistance. Co-infections of PPV with PDV and/or ACLSV had practically no influence on the quantity and quality of HoneySweet fruit which are large, sweet, and of a high eating quality. In many respects, they are superior to the fruits of the well-known cultivar Stanley. Many fruit growers and fruit tree nurseries in the CzechRepublic are supportive of the deregulation of HoneySweet plum to help improve the plum production and control the spread of PPV.

LSI Microcomputer and Digital Control

1975 ◽  
Vol 97 (2) ◽  
pp. 149-156 ◽  
Author(s):  
I. Lee
Keyword(s):  
Digital Control ◽  
Historical Background ◽  
Control System Design ◽  
Future Trends ◽  
Digital Control System ◽  
Control Logic ◽  
Present Trend ◽  
Potential Impact ◽  
Microprocessor Technology ◽  
And Control

This paper gives a tutorial presentation and overview of LSI microprocessor technology for control engineers and control logic designers. The historical background, present status and future trends of this dynamic technology are presented, and its enormous potential impact on digital control system design and implementation is explored through examples and extrapolation of the present trend.

scholarly journals Evaluation of aqueous humor and serum clusterin levels in patients with glaucoma

2021 ◽  
Vol 21 (1) ◽  
Author(s):  
Fuat Yavrum ◽  
Ufuk Elgin ◽  
Zeynep Adiyaman Kocer ◽  
Vildan Fidanci ◽  
Emine Sen
Keyword(s):  
Anterior Chamber ◽  
Aqueous Humor ◽  
Open Angle Glaucoma ◽  
Control Group ◽  
Posterior Chamber ◽  
Serum Samples ◽  
Chi Square ◽  
New Finding ◽  
High Level ◽  
And Control

Abstract Background To compare the aqueous humor (AH) and the serum clusterin levels of patients with pseudoexfoliation syndrome (PEX), pseudoexfoliation glaucoma (PEXG), and primary open-angle glaucoma (POAG) with each other and with an age- and sex-matched control group. Methods This prospective, cross-sectionalstudy evaluated 92 eyes from 92 adult cases of uncomplicated phacoemulsification and posterior chamber intraocular lens (IOL) implantation. The cases were divided into PEX, PEXG, POAG, and control groups. Serum samples were taken from the antecubital vein just before the surgery, and the AH samples were aspirated at the beginning of the surgery. Kruskal-Wallis H, One-way ANOVA, Mann-Whitney U with Bonferroni correction and Chi-Square tests were used for statistical analysis. Results The serum clusterin levels were the highest in the PEXG group, but no statistically significant differences were observed between the groups (p=0.633). The mean AH clusterin levels were 286.79±29.64 μg/mL in the PEXG group, 263.92±31.70 μg/mL in the PEX group, 272.59±49.71 μg/mL in the POAG group, and 193.50±62.38 μg/mL in the control group (p< 0.001). This came out to be 1.48 times increase for the PEXG group, 1.36 for the PEX group, and 1.41 for the POAG group when compared with the control subjects. Conclusions A higher level of clusterin in the anterior chamber was found to be associated with PEX and PEXG. In addition, a high level of anterior chamber clusterin in POAG, which is a new finding, showed that this molecule might be important not only in pseudoexfoliation, but also other types of glaucoma like POAG.

Sign in / Sign up

Export Citation Format

Share Document