New and used temporal models: An issue of time

TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section.     

A fuzzy diagnosis approach using dynamic fault trees

By incorporating digraph models, fault trees and fuzzy inference mechanisms in a unified framework, a novel approach for fault diagnosis is developed in this work. To relieve the on-line computation load, the fault origins considered in diagnosis are limited to the basic events in the cut sets of a given fault tree. The symptom occurrence order associated with each root cause is derived from system digraph with the qualitative simulation techniques. The implied candidate patterns are enumerated according to two proposed theorems and then encoded in the inference system with IF-THEN rules. The simulation results show that the proposed approach is not only feasible but also capable of identifying the most likely cause(s) of a hazardous event at the earliest possible time.     

异步时序型PAL解析方法的研究及解析结果分析

本文就异步时序现ＰＡＬ的解析，提出了一种状态图遍历算法。     

二维金属凹槽填充各向异性介质时散射的边界元方法:TE情形

由各向异性介质无界空间Green函数和Green恒等式出发，推导了TE波入射时二维任意截面金属凹槽填充各向异性介质时所满足的边界积分方程，并用边界元法和广义网络原理计算了金属凹槽填充各向异性介质时的散射。用文中方法退化计算了凹槽填充各向同性介质时的散射，计算结果与解析结果一致。并给出了凹槽填充各向异性介质时的散射算例。     

单元系T—p相图的数学结构

作者以化学元素的稳定单质为基准,推演出了任意物质M_i(相态Ω)的热力学生成活度{相态Ω)的函数形式:?D_Ω数值的大小体现着相态Ω的热力学相对稳定性.根据集合论原理沿D(稳定性)座标取极大值的方法把物理性质互不连续的各个异相态连结在一起,建立了单元系在T-p面上的优势分布方程(PSDE):■作者以H_2O为实例,计算了T-p相图,与实验相图基本一致.     

Cure reaction for modified diallylbisphenol A/diaminodiphenylsulfone/bismaleimide

The glass‐transition temperature as a function of curing conversion for a modified diallylbisphenol A/diaminodiphenylsulfone/bismaleimide (BMI) resin was investigated at different temperature regimes and modeled using a modified Di Benedetto equation. Although the relationship between the glass‐transition temperature and conversion of the BMI system conforms to the Di Benedetto equation for α < 0.6 and at lower cure temperatures, at higher cure temperatures the results deviated significantly from the equation; thus, it was an inadequate model for the system. Fourier transform IR analysis showed that the major crosslinking reactions did not occur during cure for the modified BMI at and below 150°C. However, as the cure temperature was increased, the crosslinking reactions responsible for 3‐dimensional network structures became more dominant. At 190°C the C? N? C_stretch vibration of the uncured maleimide ring converted into succinimide rings in the curing process. Simultaneously, a decrease was observed for the absorbance bands of ? C? H_bending (maleimide). The higher cure temperatures induced a significantly faster initial crosslinking rate and also resulted in a shorter period of time after which further crosslinking was retarded, because the increase in the crosslinks also physically slowed further crosslinking activity. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 85: 227–235, 2002     

Neural Network Feedback Control: Work at UTA’s Automation and Robotics Research Institute

This is an outline of research in neural networks for feedback control done since the mid 1990s at the Automation and Robotics Research Institute (ARRI) of The University of Texas at Arlington (UTA). It shows how the developments of Intelligent Control Systems based on neural networks have followed three main generations. This statement provides a short, broad-brush perspective on the development of intelligent neural feedback controllers.     

垄作冷渍型稻田氮、磷、钾化肥适宜施量及施用方法研究

通过垄畦栽冷渍型稻田早、中稻化肥不同施量及施用方法的田间试验,建立氮、磷、钾化肥施用量与产量的回归方程,推导出早、中稻氮、磷、钾化肥最佳施用量;在施肥量相等情况下,深施比表施肥效好,钾肥不足情况下,以稻草代钾肥同样取得较好增产效果。     

A stochastic maximum principle for systems with jumps, with applications to finance

We consider a stochastic control problem with linear dynamics with jumps, convex cost criterion, and convex state constraint, in which the control enters the drift, the diffusion, and the jump coefficients. We allow these coefficients to be random, and do not impose any L^p-bounds on the control.

We obtain a stochastic maximum principle for this model that provides both necessary and sufficient conditions of optimality. This is the first version of the stochastic maximum principle that covers the consumption–investment problem in which there are jumps in the price system.     

PLC在葛洲坝大江电厂机组辅助设备控制中的应用

PLC(可编程控制器)在机械工业和电力生产等部门应用广泛。在电力生产部门主要用于集中控制,已有较好的效果。介绍了PLC在葛洲坝水电厂机组辅助设备控制操作功能中的应用回顾及其展望。