CIMS信息集成平台中实例代OO视图的维护方法

为满足CIMS信息集成平台中全局集成级物理集成策略的需求，本文研究了实例化面向对象视图的有效维护问题，提出了一个实例化面向对象视图的有效维护方法．该方法是代数的和基于等价推理的，它使用对象代数作为基本描述语言．本文给出了一个传播基类的更新到实例化OO视图的更新传播算法，证明了该算法是正确的并保持了一定程度的最小性，即它可以确保没有不必要的实例被计算．分析和实验结果表明，大多数情况下改变传递算法都比重新计算视图有效．     

An invitation to Friendly Testing

1IntroductionSinceitspresentationin[1,2]TestingSemanticshasbeenwidelystudiedandusedasanaturalwaytodefineanobservationalbehaviorwithareasonablepowertodistinguishsemanticallydifferentprocesses.TestingSemanticsisdefinedbyobservingtheoperationalsemanticsofprocessesbymeansoftests.Testsarejustprocesseswhichmayexecuteanewactionwreportingsuccessofthetestapplication.Todefinetheapplicationofatesttoaprocesslweconsiderthedifferentcomputationsoftheexperimentalsystemwhichisobtainedbycomposinginparallelthe…     

一类离散事件系统的一步极大允许无冗余控制*

本文考虑用一般标识图模型描述的一类离散事件系统的禁止状态问题。在文［１］基础上，分析了允许控制策略对观测和控制时延的鲁棒性；给出了一步极大允许无冗余反馈控制策略的判据和搜索方法；导出了系统在一个并发活动序列发射后仍保持极大允许性的条件，即对应的并发活动序列的特征。     

ScaLapack的结构、功能和数据布局

ＳｃａＬａｐａｃｋ是一个并行计算软件包，适用于分布存储的ＭＩＭＤ并行机。ＳｃａＬａｐａｃｋ提供若干线性代数求解功能，具有高效，可 移植，可伸缩，高可靠性的优点。     

Discrete Adaptive Sliding Mode Control of a State-Space System with a Bounded Disturbance

This paper presents the discrete adaptive sliding mode control of a state-space system in the presence of a bounded disturbance. The delta form of the discrete state-space model is used as it closely resembles that of the continuous model. The control law takes into account of the effect of the disturbance by using its approximate value. The system behavior in the vicinity of the sliding surface is studied. It is shown that the adaptive controller leads to a stable closed-loop system. Also, simulation results are presented to illustrate the features of the proposed adaptive control strategy.     

The Evolution of Concurrent Programs

Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic programming system, the derivation of concurrent programs satisfying given problem specifications is possible. A genetic programming system based on Koza's model has been implemented. The target language used is Milner's CCS process algebra, and is chosen for its conciseness and simplicity. The genetic programming environment needs a few adaptations to the computational characteristics of concurrent programs. In particular, means for efficiently controlling the exponentially large computation spaces that are common with process algebra must be addressed. Experimental runs of the system successfully evolved a number of non–iterative CCS systems, hence proving the potential of evolutionary approaches to concurrent system development.     

A Skeptic's Approach to Combining HOL and Maple

We contrast theorem provers and computer algebra systems, pointing out the advantages and disadvantages of each, and suggest a simple way to achieve a synthesis of some of the best features of both. Our method is based on the systematic separation of search for a solution and checking the solution, using a physical connection between systems. We describe the separation of proof search and checking in some detail, relating it to proof planning and to the complexity class NP, and discuss different ways of exploiting a physical link between systems. Finally, the method is illustrated by some concrete examples of computer algebra results proved formally in the HOL theorem prover with the aid of Maple.     

王氏代数的推论和m阶全图的树的数量表达式

在文献［１］提出的求一个图的全部树的方法中，王氏代数被用以筛除相关元素（相关树支）。此文将进一步讨论王氏代数的有关定义和运算规则，给出了部分相关和子相关符号向量等概念。文中提出的４个推论使王氏代数得以在求图的树的算法中得到系统的应用。在分析了ｍ阶全图的关联矩阵的特性后，定理１给出了其具有的树数量的表达式。     

CLiP限流保护器在中压配电系统中的应用初探

CLiP限流保护器融合了传统限流熔断器的所有优点,是一种一次分断、快速动作的中压故障保护装置。在中压系统中CLiP对有效限制短路电流、减少电能损耗、提高供电质量等,具有良好的作用。文章扼要论述了CLiP限流保护器(简称CLiP)的工作原理和应用实例以及电抗器能耗费用的计算方法。     

一个基于图像代数的并行图像处理环境

系统可用性和应用程序可移植性差是许多现有的并行图像处理计算结构难以获得实际应用的重要原因，基于Ritter提出的图像代数理论，研究、实现了一个并行图像处理环境．用户在并行计算结构上进行程序设计时，只需用图像处理环境提供的图像代数运算描述算法即可，处理环境能够根据用户算法的描述，依据一个时间开销模型，自动从并行实现函数库中提取出最优或近似最优的并行代码完成算法的运行，算法的并行实现和并行计算结构的硬件细节对用户透明。