This paper presents a smart supervisory framework for a single process controller, designed for Industry 4.0 shop floors. This digitization of a full supervisory suite for a single process controller enables self-awareness, self-diagnosis, self-prognosis, and self-healing (by definition, these "self" elements are missing from other supervisory frameworks diagnosing numerous controllers in parallel). The proposed framework is aligned with the concept of a Cyber Physical System (CPS), since its implementation generates a rich cyber physical entity of the controlled process. This CPS entity can either be considered as the process digital twin, or can provide a solid basis for generating it. Finally, the framework includes the main characteristics of Industry 4.0, such as advanced use of Artificial Intelligence (AI) and big data analysis. The framework is based on four modules: (1) Control and Awareness module—performing both continuous process control and adjustments, as well as machine learning (ML) and statistical process control (SPC) for identifying abnormalities that require further diagnosis; (2) Process -diagnosis module—performing continual (recurrent) analysis of the process state and trends; (3) Prognosis and Healing module—performing prognosis and automated intervention via parameter changes, re-configurations, and automated maintenance; (4) External Interaction Platform—an interactive module for interfacing with experts, presenting them with the process analysis information and obtaining feedback from them as part of a learning process. Using an implementation showcase to illustrate the methodological framework’s applicability, we demonstrate its real-world potential. The proposed framework could serve as a guide for implementing smart process control and maintenance systems in Industry 4.0 shop floors. It could also provide a firm basis for comparison with future suggested frameworks. Future research directions could include pursuing improvements to the proposed process control framework and validating the framework by case studies of its implementation.
Carstensen and Rhodes1 have suggested that when, in stability programs, assays cannot be performed immediately after the protocol-designated storage time, then freezing them until such a time when assays can be performed would be a reasonable manner to retain the protocol schedule. They caution, however, that such a procedure may not be valid for dissolution data. The article to follow deals with real-time data showing that such a process is feasible for Nalidixic Acid tablets (and presumably for other tablets as well), and that, furthermore, the dissolution pattern would seem to be “frozen” as well. 相似文献
In DS-WCDMA mobile systems such the UMTS, asynchronous cell site operation,assigning different long spreading code to each cell, yields the advantageof flexible system deployment. We can design an indoor system basedon an outdoor one. However, in general, much longer search time isrequired in asynchronous operation than in synchronous. This paperproposes three techniques to take decisions about synchronizationbased on observation of correlated signals. Classical decision criterialike maximum and threshold criterion are presented. A new decisioncriteria that we call Threshold&Max combined decision criteriais analyzed. The results of this new introduced technique is comparedwith the classical ones. 相似文献
This work deals with the development of Mg-based alloys with enhanced properties at elevated temperatures. This is achieved
by precipitation of binary phases such as MgZn2 and Mg2Sn during the aging of these alloys. The aim of the present work is to develop and calibrate a model for precipitation hardening
in Mg-based alloys, as different types of precipitates form simultaneously. The modified Langer-Schwartz approach, while taking
into account nucleation, growth and coarsening of the new phase precipitations, was used for the analysis of precipitates’
evolution and precipitation hardening during aging of Mg-based alloys. Two strengthening mechanisms associated with particle-dislocation
interaction (shearing and bypassing) were considered to be operating simultaneously due to particle size-distribution. Parameters
of the model, RNi and kσ i, were found by fitting of calculated densities and average sizes of precipitates with ones estimated from experiments. The
effective diffusion coefficients of phase formation processes, which determine the strengthening kinetics, were estimated
from the hardness maximum positions on the aging curves. 相似文献
Rate constants for the reversible deprotonation of acetylacetone were measured in carboxylate and amine buffers in water and in 50%, 90% and 95% Me2SO at 20°C. The Brønsted plot for the carboxylate ions is curved in the Me2SO—water mixtures, but straight in water. The curvature is in the direction predicted by the Reactivity—Selectivity Principle (RSP). However, the Brønsted plot for the reaction with primary amines is straight in all solvents. This suggests that the curvature observerd with the carboxylate ions is caused by loss of solvation of the base; this loss of solvation is ahead of bond formation in the transition state rather than being a manifestation of the RSP. (Note that all Brønsted plots are based on pKa values measured in the respective solvents.) The intrinsic rate constant (k0) for proton transfer increases with the addition of Me2SO, and more so with the carboxylate buffers than with the amines. This increase in k0 is attributed to delayed solvation of the developing enolate ion in the transition state; with the carboxylate buffers, an additional factor is the early loss of solvation of the base. The various solvation effects observed in this study can all be understood in the context of the Principle of Imperfect Synchronization (PIS). 相似文献
Tissue composition and the distribution of body mass are described for four genera of East African Bovidae (Madoqua, Gazella, Damaliscus, Hippotragus) with supporting data from four others (Neotragus, Oryx, Tragelaphus, Connochaetes). These species are high in muscle mass, an adaptation convergent with other high-speed terrestrial cursors, bounders, and saltators. The segments below the elbow/cubitus and knee/stifle/genu joints in small bovids are both lighter in percent of total body mass (8.6% TBM) and less heavily muscled (10-15% of total limb musculature) than those segments in macaques (13.6% TBM, 20-25% of the limb musculature). Bovid species differ from one another in the regional distribution of muscle mass. Madoqua kirkii (4-5 kg) concentrates muscle in the lumbar extensors and hindlimbs; large species such as Damaliscus doreas (50-60 kg) and Hippotragus niger (160-220 kg) distribute it more evenly between the lumbar and cervical regions and between the hindlimbs and forelimbs. Gazella dorcas (10-20 kg) is quantitatively intermediate in those characteristics. The redistribution of muscle mass with increasing size correlates with the loss of axial bending of the vertebral column: in small, hindlimb dominant, 'dorsomobile' species such as Madoqua sagittal mobility increases stride length through 'extended' suspension; in large 'dorsostable' species such as Damaliscus and Hippotragus the vertebral column resists bending, consequently abbreviating or omitting this non-contact phase of the gait cycle. Locomotor adaptation as it is reflected in size, shape, and musculoskeletal structure is the key to habitat choice, dietary specialization, social structure, and male agonistic behavior and, therefore, central to the fabric of behavioral ecology. 相似文献
Continuations have proven to be useful for implementing a variety of control structures, including exception handling facilities and breadth-first searching algorithms. However, traditional continuations are not useful in the presence of concurrency, because the notion of the rest of the computation represented by a continuation does not in general make sense. Traditional continuations can also be difficult to use in nonconcurrent settings, since their global nature is sometimes problematic. This article presents a new type of continuation, called asubcontinuation. Just as a traditional continuation represents the rest of a computation ¿from a given point in the computation, a subcontinuation represents the rest of asubcomputation ¿from a given point in the subcomputation. Subcontinuations may be used to control tree-structured concurrency by allowing nonlocal exits to arbitrary points in a process tree and allowing the capture of a subtree of a computation as a composable continuation for later use. In the absence of concurrency the localized control achievable with subcontinuations makes them more useful than traditional continuations. 相似文献
We derive a general equation relating probability densities and as special cases we the obtain Gram-Charlier and Edgeworth series. This allows us to generalize these methods and clarify a number of issues pertaining to both probability theory and time-frequency analysis. In particular we show how the Gram-Charlier and Edgeworth series are related to the kernel method of time-frequency analysis. The approach allows us to construct densities that satisfy given constraints such as joint moments or conditional moments. Also, we show that the kernel has to be signal dependent and that to obtain a proper distribution it should be the ratio of two characteristic functions. 相似文献