We investigate the length `(n, k) of a shortest preset distinguishing sequence (PDS) in the worst case for a k-element subset of an n-state Mealy automaton. It was mentioned by Sokolovskii [18] that this problem is closely related to the problem of finding the maximal subsemigroup diameter `(Tn) for the full transformation semigroup Tn of an n-element set. We prove that `(Tn) = 2 n exp{ √ n 2 l...

The performance of four bilevel positive pressure preset ventilators was compared. The ventilators tested were; BiPAP ST30 (Respironics); Nippy2 (B + D Electrical); Quantum PSV (Healthdyne); and Sullivan VPAP H ST (Resmed). A patient simulator was used to determine the sensitivity of the triggering mechanisms and the responses to a leak within the patient circuit, and to changes in patient effo...

The modularity of a modular multilevel dc converter (MMDC) makes it attractive for medium voltage distribution systems. Inherent balance submodule (SM) capacitor voltages is considered as an ideal property which avoids complex sorting process based on many measurements thereby reducing costs and enhancing reliability. This paper extends the inherent concept previously shown square-wave modulati...

Objectives: Health problems of truck drivers, including cardiovascular and major blood vessel diseases, have long been reported. This study aimed to collect vital signs drivers while working by using commercial wearable devices determine the utility for occupational health. Methods: Wearable were attached obtained data from 130 at a single company in Gunma Prefecture 2020 3 continuous days. Sys...

Due to the distributed nature of modern composite web services, designers are facing new challenges in both requirement specification as well as logic validation. This paper proposes a top-down design/verification strategy that helps construct composite web services to meet preset system goals. The key to this approach is to specify desired global behaviors with a “conversation protocol” and ve...

Test cases are often modified to conform to changes in software. In this paper, test case adaptation is cast as a model-driven program repair problem. Such a view allows one to address even the most complicated test scripts (testing programs) with non-trivial control and data structures. At the same time, we instantiate our approach for sequential preset tests cases. Based on our view on adapta...