In this paper we address the safety analysis of chemical plants controlled by programmable logic controllers (PLCs). We consider a specification of the control program of the PLCs, extended with the specification of the dynamic plant behavior. The resulting hybrid models can be transformed to hybrid automata, for which advanced techniques for reachability analysis exist. However, the hybrid automata models are often too large to be analyzed. We propose two counterexample-guided abstraction refinement (CEGAR) approaches to keep the size of the hybrid models moderate. 相似文献
This paper presents a technique to transform high-effort voices into breathy voices using adaptive pre-emphasis linear prediction (APLP). The primary benefit of this technique is that it estimates a spectral emphasis filter that can be used to manipulate the perceived vocal effort. The other benefit of APLP is that it estimates a formant filter that is more consistent across varying voice qualities. This paper describes how constant pre-emphasis linear prediction (LP) estimates a voice source with a constant spectral envelope even though the spectral envelope of the true voice source varies over time. A listening experiment demonstrates how differences in vocal effort and breathiness are audible in the formant filter estimated by constant pre-emphasis LP. APLP is presented as a technique to estimate a spectral emphasis filter that captures the combined influence of the glottal source and the vocal tract upon the spectral envelope of the voice. A final listening experiment demonstrates how APLP can be used to effectively transform high-effort voices into breathy voices. The techniques presented here are relevant to researchers in voice conversion, voice quality, singing, and emotion. 相似文献
There are reports that nano-sized zero-valent iron (Fe0) exhibits greater reactivity than micro-sized particles of Fe0, and it has been suggested that the higher reactivity of nano-Fe0 may impart advantages for groundwater remediation or other environmental applications. However, most of these reports are preliminary in that they leave a hostof potentiallysignificant(and often challenging) material or process variables either uncontrolled or unresolved. In an effort to better understand the reactivity of nano-Fe0, we have used a variety of complementary techniques to characterize two widely studied nano-Fe0 preparations: one synthesized by reduction of goethite with heat and H2 (Fe(H2)) and the other by reductive precipitation with borohydride (Fe(BH)). Fe(H2) is a two-phase material consisting of 40 nm alpha-Fe0 (made up of crystals approximately the size of the particles) and Fe3O4 particles of similar size or larger containing reduced sulfur; whereas Fe(BH) is mostly 20-80 nm metallic Fe particles (aggregates of <1.5 nm grains) with an oxide shell/coating that is high in oxidized boron. The FeBH particles further aggregate into chains. Both materials exhibit corrosion potentials that are more negative than nano-sized Fe2O3, Fe3O4, micro-sized Fe0, or a solid Fe0 disk, which is consistent with their rapid reduction of oxygen, benzoquinone, and carbon tetrachloride. Benzoquinone-which presumably probes inner-sphere surface reactions-reacts more rapidly with FeBH than Fe(H2), whereas carbon tetrachloride reacts at similar rates with FeBH and Fe(H2), presumably by outer-sphere electron transfer. Both types of nano-Fe0 react more rapidlythan micro-sized Fe0 based on mass-normalized rate constants, but surface area-normalized rate constants do not show a significant nano-size effect. The distribution of products from reduction of carbon tetrachloride is more favorable with Fe(H2), which produces less chloroform than reaction with Fe(BH). 相似文献
We have analyzed a large set of data in the literature as well as new data of our own to provide an improved equation of state of solid para-hydrogen and ortho-deuterium, with pressures ranging from 0 to 25 kbar (at the melting line). Results, including pressure, bulk modulus, and thermal expansion, are tabulated for a dense set of molar volumes as a function of temperature.Partial financial support provided by the Stichting FOM. 相似文献
People of low literacy experience difficulties while participating in society. Learning support software could help alleviate these difficulties. However, there is currently no overview of theoretically and empirically sound requirements for this kind of support. This paper uses the situated cognitive engineering method to create a requirements baseline for a virtual environment to support the societal participation education of low-literates (VESSEL), based on an analysis of the domain, human factors, and current applications. Four major outcomes are presented. First, a comprehensive overview is collected of the operational demands and human factors knowledge relevant to societal participation learning for low-literate citizens. Second, this overview is translated into a list of eight functional requirements: focused on low-literate learners, set in the context of societal participation, and supported by claims of cognitive, affective, and social benefits to learning. Third, a sample of Dutch societal participation learning support programs is assessed using these requirements, to highlight both current technology best practices and discrepancies between theory and practice. Fourth, virtual learning environment technology is suggested as an ‘enabling’ technology; an overview is shown of how virtual environments, actors, and objects can beneficially enable meeting the requirements baseline. Finally, directions for future study are discussed.
Stroke is a leading cause of disability in particular affecting older people. Although the causes of stroke are well known and it is possible to reduce these risks, there is still a need to improve rehabilitation techniques. Early studies in the literature suggest that early intensive therapies can enhance a patient's recovery. According to physiotherapy literature, attention and motivation are key factors for motor relearning following stroke. Machine mediated therapy offers the potential to improve the outcome of stroke patients engaged on rehabilitation for upper limb motor impairment. Haptic interfaces are a particular group of robots that are attractive due to their ability to safely interact with humans. They can enhance traditional therapy tools, provide therapy on demand and can present accurate objective measurements of a patient's progression. Our recent studies suggest the use of tele-presence and VR-based systems can potentially motivate patients to exercise for longer periods of time. The creation of human-like trajectories is essential for retraining upper limb movements of people that have lost manipulation functions following stroke. By coupling models for human arm movement with haptic interfaces and VR technology it is possible to create a new class of robot mediated neuro rehabilitation tools. This paper provides an overview on different approaches to robot mediated therapy and describes a system based on haptics and virtual reality visualisation techniques, where particular emphasis is given to different control strategies for interaction derived from minimum jerk theory and the aid of virtual and mixed reality based exercises. 相似文献
Since the early 1980s, anaerobic treatment of industrial effluents has found widespread application in the pulp and paper industry. Over 200 installations are treating a large variety of different pulp and paper mill effluents. Amongst various anaerobic systems the UASB and IC are the most applied anaerobic reactor systems. Anaerobic treatment is well feasible for effluents originated from recycle paper mills, mechanical pulping (peroxide bleached), semi-chemical pulping and sulphite and kraft evaporator condensates. The advantages of anaerobic pre-treatment are (1) net production of renewable energy (biogas), (2) minimized bio-solids production, (3) minimal footprint and (4) reduced emission of greenhouse gases. Via in-line application of anaerobic treatment in closed circuits (paper kidney technology) further savings on cost of fresh water intake and effluent discharge levies are generated. 相似文献