Supervisory control using variable lookahead policies

This paper deals with the efficient on-line calculation of supervisory controls for discrete event systems (DES's) in the framework of limited lookahead control policies (or LLPs) that we introduced in previous papers. In the LLP scheme, the control action after a given trace of events has been executed is calculated on-line on the basis of anN-step ahead projection of the behavior of the DES. To compute these controls, one must calculate after the execution of each event the supremal controllable sublanguage of a finite language with respect to another finite larger language. In our previous work, we showed how the required supremal controllable sublanguage calculation can be performed by using a backward dynamic programming algorithm over the nodes of the tree representation of these two languages. In this paper, we pursue the same approach for the calculation of LLP controls, but instead we adopt a forward calculation procedure over theN-level tree of interest. This forward procedure improves upon previous work by avoiding the explicit consideration of all the nodes of theN-level tree, while still permitting tree-to-tree recursiveness as enabled events are executed by the system. The forward search ends whenever a control decision can be made unambiguously or whenever the boundary of theN-level tree is reached, whichever comes first. This motivates the name Variable Lookahead Policy (or VLP) for this implementation of the LLP supervisory control scheme. This paper presents a general VLP algorithm and studies the properties of several special cases of it. The paper also discusses the implementation of the VLP algorithms and presents computational results regarding the application of these algorithms to a time-varying DES.     

白蚁提取液急性毒性及致突变性研究

本文采用大,小鼠急性经口毒性试验、Ａｍｅｓ试验、小鼠骨髓细胞微核试验及小鼠精子畸变试验对白蚁提取液的毒理学安全性进行了研究,结果表明,白蚁提取液大,小鼠急性经口ＬＤ５０均大于１０ｇ／ｋｇ体重,属“实际无毒”：体内（包括体细胞和生殖细胞）、体外致突变性试验系统均未检出其致突性。     

Statistical analysis of microhardness variations in thermal spray coatings

A thermal barrier coating system consisting of a NiCoCrAlY bond coat and cerium-stabilized zirconia ceramic coating was sprayed on to a metallic substrate. Ageing at 400 and 800°C for 100, 500, and 1000 h was performed. Microhardness measurements of as-sprayed and heat-treated samples were used to evaluate microstructural variations throughout the thermally sprayed coating after different ageing conditions. Forty readings were taken at both the bond coat and ceramic coating positions within the thermal barrier coating (TBC) system and adjusted by subtracting the two largest and two smallest readings. Both data sets were statistically analysed to assess whether they belonged to Weibull or Gaussian (or normal) distributions. This study has established that the homogeneity of coatings, at least as measured by a microhardness test, varies during service and, thus, may influence the lifetime.Nomenclature Confidence limit - Mean value - Standard deviation - ² Variance - Weibull modulus obtained from any method - Characteristic value obtained from any method - CV Coefficient of variation - f(x) Probability density function - F(x) Cumulative density function - i ith order in ascending data set - L Log-likelihood function - m Weibull modulus - n Total number of data points - x Microhardness data - x _i Microhardness data which is ith order in ascending data set - x ₀ Characteristic value which gives 63.2% cumulative density     

SAdaBoundNc: an adaptive subgradient online learning algorithm with logarithmic regret bounds

Neural Computing and Applications - Adaptive (sub)gradient methods have received wide applications such as the training of deep networks. The square-root regret bounds are achieved in convex...     

CDZoom: a human-like sequential zoom agent for efficient change detection in large scenes

Neural Computing and Applications - High-resolution (HR) remote sensing images provide rich information for human activities. However, processing entire HR images is time-consuming, and many...     

Lightweight deep learning methods for panoramic dental X-ray image segmentation

Neural Computing and Applications - Dental X-ray image segmentation is helpful for assisting clinicians to examine tooth conditions and identify dental diseases. Fast and lightweight segmentation...     

A unified approach to reliability and edge fault tolerance of cube-based interconnection networks under three hypotheses

The Journal of Supercomputing - The topological structures of the interconnection networks of some parallel and distributed systems are designed as n-dimensional hypercube $$Q_n$$ or n-dimensional...     

Exploring the Semi-Supervised Video Object Segmentation Problem from a Cyclic Perspective

International Journal of Computer Vision - Modern video object segmentation (VOS) algorithms have achieved remarkably high performance in a sequential processing order, while most of currently...     

Hollow Pd/MOF Nanosphere with Double Shells as Multifunctional Catalyst for Hydrogenation Reaction

A new type of hollow nanostructure featured double metal‐organic frameworks shells with metal nanoparticles (MNPs) is designed and fabricated by the methods of ship in a bottle and bottle around the ship. The nanostructure material, hereinafter denoted as Void@HKUST‐1/Pd@ZIF‐8, is confirmed by the analyses of photograph, transmission electron microscopy, scanning electron microscopy, powder X‐ray diffraction, inductively coupled plasma, and N₂ sorption. It possesses various multifunctionally structural characteristics such as hollow cavity which can improve mass transfer, the adjacent of the inner HKUST‐1 shell to the void which enables the matrix of the shell to host and well disperse MNPs, and an outer ZIF‐8 shell which acts as protective layer against the leaching of MNPs and a sieve to guarantee molecular‐size selectivity. This makes the material eligible candidates for the heterogeneous catalyst. As a proof of concept, the liquid‐phase hydrogenation of olefins with different molecular sizes as a model reaction is employed. It demonstrates the efficient catalytic activity and size‐selectivity of Void@HKUST‐1/Pd@ZIF‐8.