Mapping rule-based systems onto multicomputers using simulated annealing

In this paper, we present a static load balancing method for mapping production rules in an expert system onto processors of a message-passing multicomputer. The method uses simulated annealing to achieve a nearly optimal allocation of production rules onto processor nodes. The approach balances the initial rule distribution to avoid higher communication demand among processor nodes at run time. A formal mapping model is developed and a new cost function is defined for the annealing process. New heuristic swap functions and cooling policies are provided to ensure the quality of the annealing process. A software load balancing package, SIMAL, was implemented on a SUN workstation to carry out the benchmark experiments. The overhead associated with this mapping method is O(m In m), where m is the number of rules in the production system. Two benchmark production systems, Toru-waltz and Tourney, are mapped onto a hypercube computer with 32 nodes. Experimental benchmark results verify the effectiveness of the rule mapping method. The method can be applied for distributed artificial intelligence processing or for the parallel execution of cooperating expert systems on a message-passing multicomputer.     

Stabilization Methods for Spectral Element Computations of Incompressible Flows

A stabilization method for the spectral element computation of incompressible flow problems is investigated. It is based on a filtering procedure which consists in filtering the velocity field by a spectral vanishing Helmholtz-type operator at each time step. Relationship between this filtering procedure and SVV-stabilization method, introduced recently in [JCP, 2004, 196(2), p680], is established. A number of numerical examples are presented to show the accuracy and stabilization capability of the method.     

油气井智能电子防盗阀门

为了有效扼制油田油井原油被盗的现象，减少因被盗及破坏带来的经济损失，研制出GMS3000油气井智能电子防盗阀门。该电子防盗阀门采用了新颖的防盗控制电路和精密的机械联动机构，通过计算机和管理软件得到相应的阀门授权控制，测量结果自动记录、控制阀门的编号和阀门的联动方式，并给予相应的显示。具有可靠、安全、便捷的特点。应用效果表明，达到了油井防盗、防破坏的目的，收到了良好的使用效果，为油田生产安全和提高经济效益提供了可靠的保障。     

Fixed point theorem-based iterative learning control for LTV systems with input singularity

In this paper, we address a challenging and open problem: how to design a suitable iterative learning control (ILC) system in the presence of input singularity, which is incurred by the singularities of the system direct feed-through term. Considering two typical types of input singularities, we first revise the ILC operators accordingly by adding a forgetting factor and incorporating a time-varying learning gain, in the sequel guarantee ILC operators to be contractible. Next, using the Banach fixed-point theorem, we demonstrate that the output sequence can either enter and remains ultimately in a designated neighborhood of the target trajectory, or is bounded by a class K function. Finally, an illustrative example is presented.     

压电量测系统漏电影响分析

本文通过对压电量测系统等效电路图的逐步简化,得出矩形脉冲信号的漏电方程;并对系统在各种情况下的时间常数,漏电相对误差进行了计算,最后就系统在校准和现场测试中经常碰到的几种情况,进行了定量估算,从而解决了压电量测系统在使用中的一些具体问题。     

Architecture and algorithms for tracking football players with multiple cameras

A system architecture and method for tracking people is presented for a sports application. The system input is video data from static cameras with overlapping fields-of-view at a football stadium. The output is the real-world, real-time positions of football players during a match. The system comprises two processing stages, operating on data from first a single camera and then multiple cameras. The organisation of processing is designed to achieve sufficient synchronisation between cameras, using a request-response pattern, invoked by the second stage multi-camera tracker. The single-view processing includes change detection against an adaptive background and image-plane tracking to improve the reliability of measurements of occluded players. The multiview process uses Kalman trackers to model the player position and velocity, to which the multiple measurements input from the single-view stage are associated. Results are demonstrated on real data.     

Effects of ACh on the electric activity of rostral ventrolateral medullary neurons of rat in vitro

Extracellular single-unit discharges were obtained from 165 spontaneously active neurons within the region of the rostral ventrolateral medulla (RVLM) by glass microelectrode from 89 brain slices of the Sprague-Dawley rats. The units could be divided into three types: regular (61.8%), irregular (24.2%) and silent (14%). Acetylcholine (ACh, 0.1, 0.3 mumol/L) showed four kinds of effects on spontaneous discharges of RVLM neurons: excitatory, inhibitory, biphasic and non-responsive, counting respectively 41.8%, 20%, 3% and 35.2% of the neurons tested. The excitatory effect of ACh was dose-dependent. The effects, either excitatory or inhibitory, of ACh (n = 49) were mostly blocked by atropine (0.3 mumol/L, n = 42). The excitatory effect of ACh (n = 14) could be blocked mainly by selective antagonist of M1 receptor, pirenzepine (PZ, 30 nmol/L, n = 9), but not by selective antagonist of M2 receptor, methoctramine (MT) and AFDX-116. The inhibitory effect of ACh (n = 10) could be blocked mostly by M2 receptor antagonist MT (30 nmol/L, n = 7); and this inhibitory effect (n = 9) could be blocked mostly by another M2 receptor antagonist AFDX-116 (30 nmol/L, n = 6), but not by M1 receptor antagonist PZ.     

八种新功能晶体的比热及其与相变掺杂物关系的实验研究

本文对八种新型功能晶体Ｌｉ２Ｂ４Ｏ７、Ｂｉ１２ＴｉＯ２０、Ｂｉ１２ＧｅＯ２０、Ｂｉ１２ＧｅＯ２０、Ｂｉ４Ｇｅ３Ｏ１２、Ｓｒ１－ｘＢａｘＮｂ２Ｏ６（ｘ＝０．３３，０．４８）、ＬｉＴａＯ３等在１３０～９７３Ｋ范围内的比热行为及其与相变、组分之间的关系进行了实验研究，给出了比热的多项式拟合方程，并与用纽曼－卡普定律及用Ｗｉｋｅｌｍａｎｎ经验方程的比热计算值作了对比，为晶体比热的估算提供了依据和方法。     

噪声测量作为筛选光电耦合器件的一种方法

本文针对目前用于光电耦合器件筛选方法的不足，提出了用测量耦合器件噪声功率谱的方法来筛选掉噪声值大的器件，给出一批光电耦合器件的测量统计结果及在不同工作点时的噪声功率谱，并给出相应的筛选标准，实验结果表明，这种方法是有效、可行的。     

波导短程透镜球差特性分析及其焦距精确测量方法的研究

本文研究短程透镜的焦点位于端面外的球差特性。对焦点位于波导外部（包括端面）的情况给出了一种精确测量焦距新方法，采用这种方法简单易行，测量精度取决于读数显微镜的读数精度（０．０１ｍｍ）。