Research on the application of virtual instrument technology in simulation training

In orde to improve the space launch capability, the virtual instrument of the ground test equipment of the measuring system is studied by using the LaBVIEW technology in view of the present situation that there is no actual training equipment for measurement system in the emission field. A suit of virtual instrument for ground test equipment is developed to meet the requirements of daily post training. By analyzing the composition, function and working principle of the simulation training platform, this paper designs the system structure, simulation members, communication protocol and simulation flow of the simulation training platform, which can be used to complete the unit test, subsystem test, integrated test and fault disposal of the aircraft. The test operator can use the virtual instrument to have an intimate knowledge of the test flow, the operation steps, the test status, the fault disposal measures and other work contents. It can effectively improve the training level and test ability of the test operator in the emission field measurement system.

The Influence of the Test Operator on the Expressive Power of PDL-like Logics

Berman and Paterson proved that test-free propositional dynamic logic (PDL) is weaker than PDL. One would raise questions: does a similar result also hold for extensions of PDL? For example, is test-free converse-PDL (CPDL) weaker than CPDL? In what circumstances the test operator can be eliminated without reducing the expressive power of a PDL-based logical formalism? These problems have not yet been studied. As the description logics $\mathcal{ALC}_{trans}$ and $\mathcal{ALC}_{reg}$ are, respectively, variants of test-free PDL and PDL, there is a concept of $\mathcal{ALC}_{reg}$ that is not equivalent to any concept of $\mathcal{ALC}_{trans}$. Generalizing this, we prove that there is a concept of $\mathcal{ALC}_{reg}$ that is not equivalent to any concept of the logic that extends $\mathcal{ALC}_{trans}$ with inverse roles, nominals, qualified number restrictions, the universal role and local reflexivity of roles. We also provide some results for the case with RBoxes and TBoxes. One of them states that tests can be eliminated from TBoxes of the deterministic Horn fragment of $\mathcal{ALC}_{reg}$.

A Theory of Conditional Assertion

According to one tradition, uttering an indicative conditional involves performing a special sort of speech act: a conditional assertion. We introduce a formal framework that models this speech act. Using this framework, we show that any theory of conditional assertion validates several inferences in the logic of conditionals, including the False Antecedent inference (that not A implies if A, then C). Next, we determine the space of truth-conditional semantics for conditionals consistent with conditional assertion. The truth value of any such conditional is settled whenever the antecedent is false, and whenever the antecedent is true and the consequent is false. Then, we consider the space of dynamic meanings consistent with the theory of conditional assertion. We develop a new family of dynamic conditional-assertion operators that combine a traditional test operator with an update operation.

Preliminary study of the individual variability of the sexual receptivity of rabbit does

<p>The aim of this preliminary experiment was to investigate the individual variability of the sexual receptivity of a rabbit doe in the presence of a buck (lordosis position, 0-1 variable). Twenty primiparous does maintained without reproduction were tested over 4 mo (3 tests per week at a 2- or 3-day interval) after their first kindling. Out of 48 tests, the receptivity rate was 52.5±50.0% on average and varied from 20.0 to 73.3% depending on the test day. The does were lactating at the beginning of the test period and a strong receptivity decrease was revealed at the peak of lactation. Receptivity did not vary according to the tester buck or to the test operator. The individual receptivity of does varied from 8.6 to 81.3%; three of them had a receptivity rate lower than 30% and four of them a receptivity rate greater than 70%. No relationship was revealed between average receptivity and body weight or body weight variations around first litter weaning. The repeatability of sexual receptivity of non-lactating does was 23.2%. Lowly receptive does had a shorter average oestrus time (&lt;2 tests) and a longer dioestrus time (≥6 tests), whereas highly receptive does had a longer oestrus time (&gt;4 tests) and a shorter dioestrus time (≤3 tests). The correlation between average receptivity and average oestrus time was 0.80. These results indicate a fairly high individual variability of the expression of rabbit sexual receptivity and of its duration, and justify the exploration of an eventual genetic origin in a subsequent experiment.</p>

Genetic and non-genetic factors affecting rabbit doe sexual receptivity as estimated from one generation of divergent selection

<p>Sexual receptivity of rabbit does at insemination greatly influences fertility and is generally induced by hormones or techniques known as “biostimulation”. Searching for more sustainable farming systems, an original alternative would be to utilise the genetic pathway to increase the does’receptivity. The purpose of the present study was to identify genetic and non-genetic factors that influence rabbit doe sexual receptivity, in the context of a divergent selection experiment over 1 generation. The experiment spanned 2 generations: the founder generation (G0) consisting of 140 rabbit does, and the G1 generation comprising 2 divergently selected lines (L and H lines) with 70 does each and 2 successive batches from each generation. The selection rate of the G0 females to form the G1 lines was 24/140. The selection tests consisted of 16 to 18 successive receptivity tests at the rate of 3 tests per week. On the basis of 4716 tests from 275 females, the average receptivity was 56.6±48.2%. A batch effect and a test operator effect were revealed. The contribution of females to the total variance was 20.0%, whereas that of bucks was only 1.1%. Throughout the experiment, 18.2% of does expressed a low receptivity (&lt; 34%), 50.7% a medium one and 33.1% a high one (&gt;66%). Some does were frequently receptive, whereas others were rarely receptive. The repeatability of sexual receptivity was approximately 20%. The results confirmed the high variability of sexual receptivity of non-lactating rabbit does maintained without any biostimulation or hormonal treatment. A lack of selection response on receptivity was observed. Accordingly, the heritability of receptivity was estimated at 0.01±0.02 from an animal model and at 0.02±0.03 from a sire and dam model. The heritability of the average receptivity of a doe was calculated as 0.04. In agreement with the low estimated heritability, the heritability determined was no different from zero. Nevertheless, the occurrence of pseudopregnancies due to uncontrolled ovulations and the presence of corpora lutea, as assessed by progesterone titrations, could have interfered with receptivity. Further studies would be necessary to confirm the low heritability of female rabbit receptivity.</p>

Documentation of Quality Control and Operator Training at Point-of-Care Testing: A College of American Pathologists Q-Probes Study of 106 Institutions

Context Operator training, quality control, and proper follow-up for out-of-range quality control (QC) events are crucial steps that must be adequately performed and documented to ensure excellent patient care and regulatory compliance. Objective To examine point-of-care testing (POCT) personnel training and QC documentation/compliance. Design Participants in a POCT documentation study of the College of American Pathologists Q-Probes program collected data retrospectively for glucose and urine dipstick testing regarding test operators, operator competency assessment, and QC documentation. Documentation was assessed for participant adherence to 4 quality indicators: (1) whether test operator training was up to date, (2) whether the test operator names were noted in the test records, (3) whether QC was performed, and (4) whether out-of-range QC events were followed up. Data were analyzed for associations with institutional demographic and practice variables. Results The institutional median number of POCT personnel was 648 for blood glucose and 76 for urine dipstick testing, with a median number of 105 948 glucose tests and 9113 urine tests performed. Ninety-four percent (3830 of 4074) of the test operators completed training or competency assessment within the prior 12 months, 96.8% (21 603 of 22 317) of the test records documented the operator, and 95.7% (19 632 of 20 514) of the expected QC events (per institutional regulations) were documented. Approximately 3% (659 of 20 514) of the QC events were outside the designated range (an average of 6 out-of-range QC events were identified per institution [n = 106]). Of the out-of-range QC events, 92.6% (610 of 659) had documentation of appropriate follow-up. Most laboratories (176 of 179; 98.3%) violated specimen requirements by storing POCT urine specimens for less than 24 hours. Conclusions There was greater than 90% compliance for POCT documentation and nearly 96% of expected QC events were properly documented.

A stochastic interpretation of propositional dynamic logic: expressivity

We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This is done first for the fragment of straight line programs and then extended to cater for the nondeterministic nature of choice and iteration, expanded to PDL as a whole. Bisimilarity is also discussed and shown to be equivalent to logical and behavioral equivalence, provided the base spaces are Polish spaces. We adapt techniques from coalgebraic stochastic logic and point out some connections to Souslin's operation from descriptive set theory. This leads to a discussion of complete stochastic Kripke models and model completion, which permits an adequate treatment of the test operator.

Handling Module of Glass Slide for Whole Human Genome Micro-Array Automated Hybridization Platform

A micro-array based automated hybridization platform, ITRI HybOne, with the throughput rate of 12-sets per lot has been proposed and developed for whole human genome expression profiling test. A special handling module has been designed for capturing of Whole Human Genome Micro-array which is a glass slide 75mm in length and 25mm in width and 1mm in thickness. According to the user-defined protocol, an operator can set the heating temperature, washing temperature, heating hours and washing hours before starting the profiling test. Operator inputs target samples and micro-arrays to ITRI HybOne, pushes the Cycle-Start button to start. With the help of the handling module and other automatic devices, after hours of automatic process, the micro-arrays are ready for profile scanning. All the handling modules used in the platform are recycled for next profiling test.

2-Exp Time lower bounds for propositional dynamic logics with intersection

In 1984. Danecki proved that satisfiability in IPDL, i.e., Propositional Dynamic Logic (PDL) extended with an intersection operator on programs, is decidabie in deterministic double exponential time. Since then, the exact complexity of IPDL has remained an open problem: the best known lower bound was the ExpTime one stemming from plain PDL until, in 2004. the first author established ExpSpace-hardness. In this paper, we finally close the gap and prove that IPDL is hard for 2-ExpTime. thus 2-ExpTime-complete. We then sharpen our lower bound, showing that it even applies to IPDL without the test operator interpreted on tree structures.