Design of the Time Interval Generator Automatic Verification and Management System

2012 ◽  
Vol 605-607 ◽  
pp. 1099-1104
Author(s):  
Yong Jie Fu ◽  
Xing Bo Hou
Keyword(s):  
Working Condition ◽  
Automatic Verification ◽  
Time Interval ◽  
Practical Application ◽  
Standard Equipment ◽  
Verification Method ◽  
Result Show ◽  
Design Requirements ◽  
Low Efficiency ◽  
Manual Test

This paper is aimed at the matter that verification method of time interval generator is still manual test, low efficiency, heavy workload, and for mechanical stopwatch calibrator can not be test because of lack of a machine / electrical converter. The author developed a machine/electrical switch, and programmed the automatic verification and management software using VB language, which realized the automatic verification and information management for various types of time interval generator. The machine/electrical switch is tested by NIM, the result show that the main indexes meet the design requirements. By practical application, the system has been working condition, which can be used as standard equipment of time and frequency parameter.

scholarly journals Black TiOx Films with Photothermal-Assisted Photocatalytic Activity Prepared by Reactive Sputtering

Materials ◽  
2021 ◽  
Vol 14 (10) ◽  
pp. 2508
Author(s):  
Quan Mao ◽  
Meng Liu ◽  
Yajie Li ◽  
Yuquan Wei ◽  
Yong Yang ◽  
...  
Keyword(s):  
Photocatalytic Activity ◽  
Magnetron Sputtering ◽  
High Light ◽  
Chemical Compositions ◽  
Practical Application ◽  
Dc Magnetron Sputtering ◽  
Optical Absorbance ◽  
Low Efficiency ◽  
Tio2 Phase ◽  
Photocatalytic Tio2

Titanium oxide is widely applied as a photocatalyst. However, its low efficiency and narrow light absorption range are two main disadvantages that severely impede its practical application. In this work, black TiOx films with different chemical compositions were fabricated by tuning target voltage and controlling O2 flow during reactive DC magnetron sputtering. The optimized TiOx films with mixed phases (TiO, Ti2O3, Ti3O5, and TiO2) exhibited fantastic photothermal and photocatalytic activity by combining high light-absorptive Ti2O3 and Ti3O5 phases with the photocatalytic TiO2 phase. The sample prepared with oxygen flow at 5.6 ± 0.2 sccm and target voltage near 400 V exhibited excellent optical absorbance of 89.29% under visible light, which could improve surface temperature to 114 °C under sunlight. This film could degrade Rhodamine-B up to 74% after 150 min of UV irradiation. In a word, this work provides a guideline for fabricating black TiOx films with photothermal-assisted photocatalytic activity by reactive DC magnetron sputtering, which could avoid the usage of hydrogen and is convenient for quantity preparation.

scholarly journals Refinement Algoritm of Hypotheses Testing Research Based on Geochronological Tracking

2020 ◽  
Vol 6 (1) ◽  
pp. 86-93
Author(s):  
R. Ivakin ◽  
Y. Ivakin ◽  
S. Potapichev
Keyword(s):  
Spatial Data ◽  
Optimization Problem ◽  
Retrospective Studies ◽  
Subject Area ◽  
Statistical Testing ◽  
Time Interval ◽  
Data Sets ◽  
Hypotheses Testing ◽  
Practical Application ◽  
Spatial Data Sets

Geochronological tracking is an effective information technology for digital cartographic spatial data sets processing. It is widely known in retrospective patterns research about geographic relocation of figures, or any other units for a given time interval. Software component of geochronological tracking is becoming one the most popular GIS-integrated applications. The article presents the basic provisions for the algorithmization of the geochronological tracking procedure for statistical testing of retrospective studies hypotheses. We can observe the results of solving this optimization problem in a general form and in a number of the most typical variants. The obtained results of solving the optimization problem are interpreted in terms of the retrospective studies subject area. There are shown the ways of further practical application of the optimized algorithm in the tasks of modern logistics, data mining and formalized knowledge.

scholarly journals On Formal and Automatic Security Verification of WSN Transport Protocols

2014 ◽  
Vol 2014 ◽  
pp. 1-20 ◽  
Author(s):  
Vinh Thong Ta ◽  
Levente Buttyán ◽  
Amit Dvir
Keyword(s):  
Wireless Sensor Networks ◽  
Real Time ◽  
Formal Language ◽  
Process Analysis ◽  
Automatic Verification ◽  
Wireless Sensor ◽  
Behavioral Characteristics ◽  
Transport Protocols ◽  
Verification Method ◽  
Security Verification

We address the problem of formal and automated security verification of transport protocols for wireless sensor networks (WSN) that may perform cryptographic operations. The verification of this class of protocols is difficult because they typically consist of complex behavioral characteristics, such as real-time, probabilistic, and cryptographic operations. To solve this problem, we propose a probabilistic timed calculus for cryptographic protocols and demonstrate how to use this formal language for proving security or vulnerability of protocols. The main advantage of the proposed language is that it supports an expressive syntax and semantics, allowing for studying real-time, probabilistic, and cryptographic issues at the same time. Hence, it can be used to verify systems that involve these three properties in a convenient way. In addition, we propose an automatic verification method, based on the well-known PAT process analysis toolkit, for this class of protocols. For demonstration purposes, we apply the proposed manual and automatic proof methods for verifying the security of DTSN and SDTP, which are two of the recently proposed WSN transport protocols.

Developing a variable time-interval continuous verification method for ensemble flood forecasts

2020 ◽  
Author(s):  
Schalk Jan van Andel
Keyword(s):  
Flood Event ◽  
False Alarms ◽  
Time Interval ◽  
Forecast Verification ◽  
Time Intervals ◽  
Verification Method ◽  
Variable Time ◽  
Equal Interval ◽  
Flood Warning ◽  
Variable Duration

<p>Most continuous verification metrics for hydrometeorological forecasts are based on equal interval forecasts and observations (e.g. daily, 6-hourly, etc.). For some purposes of verification, however, it might be more beneficial to have variable time intervals that take into account the duration of events, e.g. rainfall or flood event (or discharge exceeding a flood warning threshold). Such verification, however, is challenged by defining the length of the non-event intervals for scoring correct rejections and false alarms, needed for continuous verification.  The work presented here suggests how to approach this challenge and presents verification results of a continuous forecast verification method that take into account variable duration of events.</p>

A New Intelligent Jigsaw Puzzle Algorithm Base on Mixed Similarity and Symbol Matrix

2017 ◽  
Vol 32 (02) ◽  
pp. 1859001 ◽  
Author(s):  
Lifang Chen ◽  
Dai Cao ◽  
Yuan Liu
Keyword(s):  
Error Rate ◽  
Real Life ◽  
Image Editing ◽  
Jigsaw Puzzle ◽  
Practical Application ◽  
New Methods ◽  
Crime Scene Reconstruction ◽  
Two Measures ◽  
Low Efficiency ◽  
Algorithm Base

Jigsaw puzzle algorithm is important as it can be applied to many areas such as biology, image editing, archaeology and incomplete crime-scene reconstruction. But, still, some problems exist in the process of practical application, for example, when there are a large number of similar objects in the puzzle fragments, the error rate will reach 30%–50%. When some fragments are missing, most algorithms fail to restore the images accurately. When the number of fragments of the jigsaw puzzle is large, efficiency is reduced. During the intelligent puzzle, mainly the Sum of Squared Distance Scoring (SSD), Mahalanobis Gradient Compatibility (MGC) and other metrics are used to calculate the similarity between the fragments. On the basis of these two measures, we put forward some new methods: 1. MGC is one of the most effective measures, but using MGC to reassemble the puzzle can cause an error image every 30 or 50 times, so we combine the Jaccard and MGC metric measure to compute the similarity between the image fragments, and reassemble the puzzle with a greedy algorithm. This algorithm not only reduces the error rate, but can also maintain a high accuracy in the case of a large number of fragments of similar objects. 2. For the lack of fragmentation and low efficiency, this paper uses a new method of SSD measurement and mark matrix, it is general in the sense that it can handle puzzles of unknown size, with fragments of unknown orientation, and even puzzles with missing fragments. The algorithm does not require any preset conditions and is more practical in real life. Finally, experiments show that the algorithm proposed in this paper improves not only the accuracy but also the efficiency of the operation.

scholarly journals The Effect Of Determinant Factors In The Family On The Arrival Time Of Patients Stroke In Emergency Installation

2020 ◽  
Vol 9 (1) ◽  
pp. 44-53
Author(s):  
Muhammad Ikhwan Kosasih ◽  
Nugrahaeni Firdausi ◽  
Erwin Yektiningsih ◽  
Zauhani Kusnul
Keyword(s):  
Significant Relationship ◽  
Arrival Time ◽  
Decision Makers ◽  
Time Interval ◽  
Stroke Patients ◽  
The Family ◽  
Result Show ◽  
Important Health ◽  
Level Of Knowledge ◽  
The Right

Stroke is an important health problem. The speed with which a stroke sufferer gets the right treatment cause a big influence on stroke management. This study analyze the influence of various factors in the family on the arrival time of stroke patients in the emergency department of the Kediri district hospital. The study was conducted during May-July 2019 and found stroke patients as many as 88. The result show that educational factors have a significant relationship with the level of knowledge, and  the family age, job, people who knew the stroke and decision-makers in the family have a significant relationship with the time interval between the stroke attack with the arrival of patients in the emergency room. From this study, it can be concluded that family factors play an important role in the time interval between a stroke and the arrival of a patient on IGD to get proper treatment.

scholarly journals Ontological synthesis of non-stationary dynamics models of on-board intelligence systems

2021 ◽  
Vol 11 (1) ◽  
pp. 117-125
Author(s):  
Yu.I. Nechaev ◽  
Keyword(s):  
Evolutionary Dynamics ◽  
Theoretical Models ◽  
Stability Loss ◽  
Time Interval ◽  
Practical Application ◽  
Computing Environment ◽  
Stationary Object ◽  
Safety Systems ◽  
Dynamics Models ◽  
Urgent Computing

An ontological synthesis of models for interpreting non-stationary dynamics in onboard intelligence systems operating in the emergency computing mode (Urgent Computing - UC) is considered. The ontological system of a dynamic knowledge base is formulated on the basis of theoretical models of the modern catastrophe theory (СT). The analysis and forecast of the evolutionary dynamics of a non-stationary object is implemented in a multiprocessor computing environment. Within the framework of the ontological system, an approach to the interpretation of non-stationary dy-namics using fractal geometry and the theory of dynamical systems stability is formulated. The practical application of the developed ontology model is discussed in relation to the interpretation of the interaction of a marine dynamic object (MDO) with the external environment at a given time interval. The dynamic СT model determines the motion of the MDO system to the target attractor and in case of stability loss. Examples of the implementation of the ontological synthesis of non-stationary dynamics in safety systems for navigation and landing of ship-based aircraft are given.

scholarly journals Studying dietary intake in daily life through multilevel two-part modelling: a novel analytical approach and its practical application

2021 ◽  
Vol 18 (1) ◽  
Author(s):  
Alea Ruf ◽  
Andreas B. Neubauer ◽  
Ulrich Ebner-Priemer ◽  
Andreas Reif ◽  
Silke Matura
Keyword(s):  
Dietary Intake ◽  
Analytical Approach ◽  
Daily Life ◽  
Multilevel Modelling ◽  
Dual Process ◽  
Outcome Variable ◽  
Time Interval ◽  
Practical Application ◽  
The Impact ◽  
Part Model

Abstract Background Understanding which factors influence dietary intake, particularly in daily life, is crucial given the impact diet has on physical as well as mental health. However, a factor might influence whether but not how much an individual eats and vice versa or a factor’s importance may differ across these two facets. Distinguishing between these two facets, hence, studying dietary intake as a dual process is conceptually promising and not only allows further insights, but also solves a statistical issue. When assessing the association between a predictor (e.g. momentary affect) and subsequent dietary intake in daily life through ecological momentary assessment (EMA), the outcome variable (e.g. energy intake within a predefined time-interval) is semicontinuous. That is, one part is equal to zero (i.e. no dietary intake occurred) and the other contains right-skewed positive values (i.e. dietary intake occurred, but often only small amounts are consumed). However, linear multilevel modelling which is commonly used for EMA data to account for repeated measures within individuals cannot be applied to semicontinuous outcomes. A highly informative statistical approach for semicontinuous outcomes is multilevel two-part modelling which treats the outcome as generated by a dual process, combining a multilevel logistic/probit regression for zeros and a multilevel (generalized) linear regression for nonzero values. Methods A multilevel two-part model combining a multilevel logistic regression to predict whether an individual eats and a multilevel gamma regression to predict how much is eaten, if an individual eats, is proposed. Its general implementation in R, a widely used and freely available statistical software, using the R-package brms is described. To illustrate its practical application, the analytical approach is applied exemplary to data from the Eat2beNICE-APPetite-study. Results Results highlight that the proposed multilevel two-part model reveals process-specific associations which cannot be detected through traditional multilevel modelling. Conclusions This paper is the first to introduce multilevel two-part modelling as a novel analytical approach to study dietary intake in daily life. Studying dietary intake through multilevel two-part modelling is conceptually as well as methodologically promising. Findings can be translated to tailored nutritional interventions targeting either the occurrence or the amount of dietary intake.

scholarly journals Key role of hydrochar in heterogeneous photocatalytic degradation of sulfamethoxazole using Ag3PO4-based photocatalysts

RSC Advances ◽  
2019 ◽  
Vol 9 (61) ◽  
pp. 35636-35645 ◽  
Author(s):  
Li Zhou ◽  
Min Cai ◽  
Xu Zhang ◽  
Naxin Cui ◽  
Guifa Chen ◽  
...  
Keyword(s):  
Photocatalytic Degradation ◽  
Photogenerated Carrier ◽  
Practical Application ◽  
Low Efficiency

To overcome the practical application limitations of Ag3PO4 such as photocorrosion and relatively low efficiency of photogenerated carrier seperation, Ag3PO4 particles were loaded onto hydrochar.

Automatic verification method of ATC command repetition based on Siamese network

2021 ◽  
Author(s):  
ZhiHong Wang ◽  
NianSheng Chen ◽  
YiPing Ma ◽  
Lei Rao ◽  
GuangYu Fan
Keyword(s):  
Automatic Verification ◽  
Verification Method ◽  
Siamese Network
Sign in / Sign up

Export Citation Format

Share Document