Specification methods for material-handling control algorithms in flexible manufacturing systems

Good methods are needed to specify, test, and debug material-handling control logic. This article surveys a number of representative methods for defining and describing control algorithms for programmable material-handling equipment used in flexible manufacturing systems. The methods are evaluated with regard to their suitability for communication between people and as bases for interfaces to automatic program generators. It is concluded that no single method is entirely satisfactory. Three methods (position diagrams, function block diagrams, and operation networks) have potential to be combined into an effective hybrid approach that minimizes the need for the user to switch between various conceptual models.     

关于Smarandache可乘函数的均值研究

本文的主要目的是利用初等方法研究Smarandache可乘函数在简单数集中的均值性质,并给出一个有趣的渐近公式。     

Uncertainty,belief, and probability1

We introduce a new probabilistic approach to dealing with uncertainty, based on the observation that probability theory does not require that every event be assigned a probability. For a nonmeasurable event (one to which we do not assign a probability), we can talk about only the inner measure and outer measure of the event. In addition to removing the requirement that every event be assigned a probability, our approach circumvents other criticisms of probability-based approaches to uncertainty. For example, the measure of belief in an event turns out to be represented by an interval (defined by the inner and outer measures), rather than by a single number. Further, this approach allows us to assign a belief (inner measure) to an event E without committing to a belief about its negation -E (since the inner measure of an event plus the inner measure of its negation is not necessarily one). Interestingly enough, inner measures induced by probability measures turn out to correspond in a precise sense to Dempster-Shafer belief functions. Hence, in addition to providing promising new conceptual tools for dealing with uncertainty, our approach shows that a key part of the important Dempster-Shafer theory of evidence is firmly rooted in classical probability theory. Cet article présente une nouvelle approche probabiliste en ce qui concerne le traitement de l'incertitude; celle-ci est basée sur l'observation que la théorie des probabilityés n'exige pas qu'une probabilityé soit assignée à chaque événement. Dans le cas d'un événement non mesurable (un événement pour lequel on n'assigne aucune probabilityé), nous ne pouvons discuter que de la mesure intérieure et de la mesure extérieure de l'évenément. En plus d'éliminer la nécessité d'assigner une probabilityéà l'événement, cette nouvelle approche apporte une réponse aux autres critiques des approches à l'incertitude basées sur des probabilityés. Par exemple, la mesure de croyance dans un événement est représentée par un intervalle (défini par la mesure intérieure et extérieure) plutǒt que par un nombre unique. De plus, cette approche nous permet d'assigner une croyance (mesure intérieure) à un événement E sans se compromettre vers une croyance à propos de sa négation -E (puisque la mesure intérieure d'un événement et la mesure intérieure de sa négation ne sont pas nécessairement une seule et unique mesure). II est intéressant de noter que les mesures intérieures qui résultent des mesures de probabilityé correspondent d'une manière précise aux fonctions de croyance de Dempster-Shafer. En plus de constituer un nouvel outil conceptuel prometteur dans le traitement de l'incertitude, cette approche démontre qu'une partie importante de la théorie de l'évidence de Dempster-Shafer est fermement ancrée dans la theorie classique des probabilityés.     

Stabilization of inter-area and/or oscillatory modes in large-scale power system by voltage impedance power system (VIPS) apparatus based on decentralized control scheme

New technologies such as power electronics have made it possible to change continuously the impedance of a power system not only to control power flow but also to enhance stability. A power system incorporating a variable impedance apparatus such as a variable series capacitor (VSrC) and high-speed phase shifter (HSPS) is called VIPS (Variable Impedance Power System) by the authors. This paper proposes a novel control method of VIPS apparatus such as VSrC and HSPS installed at an interconnecting point for stabilizing inter-area unstable and/or oscillatory modes. The proposed design method of the control system is a kind of hierarchical decentralized control method of a large-scale power system based on a Lyapunov function. Under the proposed control scheme, each subsystem can be stabilized independently by local controllers such as AVR, speed governor and PSS, and then the whole interconnected system can be stabilized by VIPS apparatus taking into account interactions between subsystems. The effectiveness and robustness of the VIPS apparatus control are shown by numerical examples with model systems including a large-scale power system.     

Necessary optimality conditions in a nonsmooth control problem with variable structure

An optimal control problem with nonsmooth performance criterion described by a system of ordinary differential equations is considered. Necessary first-order optimality conditions are obtained.     

土钉支护结构水平位移安全监控模型研究

国内现行规范、标准是以极限变形值作为土钉支护结构水平位移安全监测报警值 ,但没有反映工程进度影响 ,不便指导工程实践。提出“过程控制”概念 ,以反正切函数为基本形式 ,基于历史经验建立“安全时程曲线”控制模型 ,要求施工过程中实测水平位移始终处在“安全时程曲线”之下 ,以确保最终变形在某一适当的阈值之内 ,已有实测结果可以为施工方案调整提供依据。通过实际案例 ,检验模型的可行性 ,表明过程控制模型较极限变形策略更具可操作性     

Important features of Iris OSQL

OSQL is the object-oriented database language developed for the Iris object-oriented database management system at Hewlett-Packard Laboratories. Its three fundamental constructs are objects, types, and functions. This paper provides an overview of the underlying concepts and some important features of OSQL.     

A general variance predictor for Cavalieri slices

A general variance predictor is presented for a Cavalieri design with slices of an arbitrary thickness t ≥ 0. So far, prediction formulae have been available either for measurement functions with smoothness constant q = 0, 1, … , and t ≥ 0, or for fractional q ∈ [0, 1] with t = 0. Because the possibility of using a fractional q adds flexibility to the variance prediction, we have extended the latter for any q ∈ [0, 1] and t ≥ 0. Empirical checks with previously published human brain data suggest an improved performance of the new prediction formula with respect to the hitherto available ones.     

A new voltage control equipment using fuzzy inference

Power system control equipment needs higher sensitivity and operational reliability. Advanced voltage control equipment is needed for reducing the frequency of tap changes and improving the characteristics (the relationship between the actual voltage and reference voltage) of the voltage to meet today's power system requirements. However, these objectives are in a trade-off relationship. Studies of voltage control derived from a knowledge base suitable for electric power systems can satisfy these objectives using fuzzy inference. Compared with corresponding conventional equipment, the new equipment improved the deviation of 30 min average voltage of 30 percent. This paper describes the design concept of new voltage control equipment using fuzzy inference. In addition, field test results are described along with rules of fuzzy inference, membership functions, and the deviation of 30 min average voltage through detailed simulation.