用文法分析方法和EP图实现系统分析设计的第一步

探索了一种用文法分析方法和EP(EntityProperty)图来实现将现实事物和业务关系转换成数据库结构的途径 ,并结合一个开发实例说明了应用这种方法设计出的库结构 ,能充分反映现实事物关系。     

用文法分析方法和E-P图实现系统分析设计的第一步

正确的系统分析与设计在应用系统的开发中起着重要的作用，而现实系统的纷繁复杂常常使系统分析人员很难理清现实事务间的关系。文章探索了一种用文法分析方法和E－P（Entity－Property）图来实现将现实事物和业务关系转换成数据库结构的途径，并结合一个开发实例说明了应用这种方法设计出的库结构能充分反映现实事务关系。     

时间符号迁移图及其互模拟判定

引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型，该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。     

Real time animation of dynamic processes

Animation and simulation processes are facilitated by the use of high level graphic languages. The results of these processes are not generally available in real time, developing of microfilm delaying the screening of the process until some time after the computer run.A technique is described which overcomes this problem whilst still allowing the use of a high level graphical language.The addition of a single feature to a ‘static’ graphical language has transformed it into a ‘dynamic’ graphical language allowing real time illustration of time varying processes.The technique is not restricted to the language described but may well be employed by other high level graphical languages.     

Proofs, Programs, Processes

The objective of this paper is to provide a theoretical foundation for program extraction from inductive and coinductive proofs geared to practical applications. The novelties consist in the addition of inductive and coinductive definitions to a realizability interpretation for first-order proofs, a soundness proof for this system, and applications to the synthesis of non-trivial provably correct programs in the area of exact real number computation. We show that realizers, although per se untyped, can be assigned polymorphic recursive types and hence represent valid programs in a lazy functional programming language such as Haskell. Programs extracted from proofs using coinduction can be understood as perpetual processes producing infinite streams of data. Typical applications of such processes are computations in exact real arithmetic. As an example we show how to extract a program computing the average of two real numbers w.r.t. the binary signed digit representation.     

A synchronization scheme for real and simulated events

A scheme for mixing simulated and real events in a system is proposed. The purpose of the scheme is to build a computer controlled system with none or a part of all the necessary hardware devices. The rest of the devices are simulated. This study first identifies real activities in computer controlled system, performed by either physical or logical processes in the system. Then it devises a way of synchronizing real and simulated events. The usefulness and advantages of the scheme are also discussed.     

x86CPU上实时进程的切换技术

目前,存在开发专用高性能的多任务实时嵌入式操作系统需求。实时多任务操作系统的关键技术之一是实时并发进程的切换。该文基于x86CPU给出了可用于实时并发进程的三种实用切换技术,并做了简要分析,为多任务实时操作系统的开发提供技术参考。     

基于RTX的地形跟随实时仿真系统

为了对地形跟随系统进行仿真验证,并进行模拟训练,开发了一种基于RTX的实时仿真系统,该系统采用Windows RTX Simulink 双核CPU PC的实时仿真架构。基于此种架构,设计、实现了一套地形跟随实时仿真系统,给出了该系统的系统结构和组成,并对Simulink模型的实时代码生成、进程间通信与数据交换、地形数据的实时更新等关键技术进行了详细说明。试验结果和使用经验表明该系统工作可靠、使用方便、易于开发与维护,完全能够满足地形跟随实时仿真的需要。     

一个工业控制系统中的实时通信研究

文章介绍了在一个工业控制系统中的实时通信设计方案及其实现。该实时通信系统基于TCP/IP协议,应用了Socket编程接口,并采用多任务协同实现进程间通信。