极大代数意义下幂矩阵的周期性特征

在分析一类离散事件动态系统的运行周期性及稳定性时,必须求解极大代数意义下矩阵的特征值。这一直被认为是十分困难的工作。直至目前为止,尚无一种能确定任一方阵全部特征值及特征向量的简易方法。本文对极大代数意义下任一方阵的幂矩阵的周期性特征进行了深入分析。本文的结果为寻求计算特征值及特征向量的新算法提供了十分有效的途径。     

质子和中子的单粒子效应等效性实验研究

通过实验方法确定了高能质子和中子引起的单粒子效应等效关系，实验中采用金箔散射法降低了质子束流强度，并利用热释光剂量计（TLD）进行质子注量的监测，采用新研制的存储器长线实时监测系统，进行了64K位至4M位的SRAM器件单粒子效应实验，确定了两种粒子引起单粒子效应等效关系。     

Locked discrete event systems: How to model and how to unlock

To model qualitative aspects of discrete event systems, i.e., the order of the events is of sole importance, we use a triple consisting of the set of all possible events (the alphabet), the set of all behavior (possible strings of events), and the set of all tasks (completed behavior). We use this view to model synchronous as well as asynchronous connection of systems. Moreover, it is easy to define notions like deadlock and livelock in this view. We give a method to construct a second system that, in connection with the original system, gets rid of its deadlock and/or livelock. A state-space representation is introduced. In this representation computations can be done effectively.     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

CAD^2B—一个计算机辅助数据库设计系统

本文介绍了一个用Ｔｕｒｂｏ Ｃ语言在ＡＳＴ－２８６机器上实现的计算机辅助数据库设计系统ＣＡＤ＾２Ｂ。该系统提供了人机交互的环境，供设计者进行概念模型设计，并自动完成从概念模型逻辑模型的映射，创建满足规范化要求的关系表。该系统采用的概念模型是引入了事件和时间的扩展了的实体关系模型。该模型既能充分反映应用环境的静态和动态语义，又是向关系模式转化的基础。     

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used.     

Quantitative estimation: From the real world to the psychology lab.

Banaji and Crowder (see record 1990-00387-001) contend "that the movement to develop an ecologically valid psychology of memory has proven itself largely bankrupt" (p. 1185). The authors have two primary concerns. First, they believe that it is rare for studies of real-world cognition to support conclusions that generalize broadly. Second, they are concerned that such studies may be inherently incapable of making significant theoretical or methodological contributions. The research program outlined here can be viewed as a response (in the form of a case study) to the Banaji and Crowder position. Specifically, this project has adopted both theoretical and methodology perspectives from the study of real-world memory to address a long-standing issue in the mainstream memory literature. The project itself was designed to characterize the strategies used to estimate event frequency and the conditions that foster the use of these strategies. A valid model of the estimation process is necessary in order to understand the encoding and representation of event frequency. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A polynomial dynamic system approach to software design for attractivity requirement

Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented.