基于类型系统的元数据模型

本研究了程序设计语言的类型系统与数据模型的；认识到类型间关系是表示数据模型的一种。基地这一思想，提出了ＰＣＴ类型描述语言及其基于ＰＣＴ的元数据模型，以描述多种数据模型，ＰＣＴ将Ｃ＋＋类型系统与一阶谓词演算相结合，可以形式化描述特写数据模型所规定的多方面规范。     

实时多任务操作系统iRMX for PC和系统调试监控程序iSDM for PC

本文简要介绍了作者最新推出的实时多任务操作系统ｉＲＭＸ ｆｏｒＰＣ和系统调试监控程序ｉＳＤＭｆｏｒＰＣ。该套软件完全可以作为实时应用系统良好的开发，调试与运行工具，它的推出也给Ｉｎｔｅｌ微机用户提供了一个舒适，方便，友好，功能强大的软件开发环境。     

信息物理融合系统控制软件的统计模型检验

信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实时操作系统、周期性任务、偶发任务、共享资源以及物理环境,能够展现多任务系统的细粒度的运行过程及其对物理环境的实时响应.应用该方法分析了玉兔号月球车控制软件的一个早期版本,发现了系统运行中出现的一个特殊错误,识别了实际系统出现错误的条件,再现了出现错误的场景.     

实时多任务嵌入系统的实现

主要研究了嵌入式系统中实时多任务的机制。通过与传统系统的比较，对实时多任务嵌入系统机制和性能作了综合描述，对其应用进行划分，并给出了抢占式和时间片循环调度式两种实现机制和实现情况。最后针对特殊的应用系统，提出一种实现这种实时多任务机制的具体方法。在嵌入式系统应用规模不断扩大的情况下，具有很好的实用价值。     

实时多任务环境下串行通信的实现

由于实时多任务系统的开发环境提供了多任务调度、定时处理、信息交换、事件同步等机制，为复杂的实时多任务问题提供了简单的解决办法从而得到了越来越多的应用。本文描述了在５００ＫＶＡ变电站实时监控系统中，采用ＡＭＸ实时多任务开发环境实现ＳＥＲ与有前置机的通信，并给出了硬件连接，通信格式及软件实现。     

无线通信系统的Petri网建模与分析

无线通信系统是一个分布式实时多任务数据处理系统,具有实时性、并发、异步和多任务等特点.Petri网是描述和分析异步并发现象的一种有效的模型工具.以Petri网为工具,建立了无线通信系统的仿真模型,对其功能和数据流进行模拟,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,实现了模型和程序结构的自动转换,从一个全新角度对无线通信系统进行了分析和评价.     

实时多任务操作系统iRMX86 for PC

本文简要介绍了作者最新推出的ＰＣ实时多任务操作系统ｉＲＭＸ８６ｆｏｒＰＣ。该套软件完全可以作为实时应用系统的开发、调试与运行环境。采用ｉＲＭＸ８６ｆｏｒＰＣ将大缩短软件工程周期。     

实时多任务软件系统的可靠性模型

在一个实时多结点，多任务系统中，软件系统的故障是由多种原因引起的，比如，某一个结点上一个任务模块的设计缺陷或者瞬时故障；任务执行超过截止时间，结点间的通讯故障或者通讯超时等原因。基于上述特点，本文根据程序模块的故障概率和结点间通讯关系，提出了一个实时多任务系统的可靠性评价模型。     

微机环境下的实时多任务软件的开发

本文给出了在ＰＣ机环境下开发实时多任务软件的方法，提出了实时内核所需的各种数据结构及其支持的原语操作，并针对多任务对共享资源的存取提出了信号量互斥和管理进程两种解决办法。     

实时有限多任务处理系统

一种以内存驻留技术（ＴＳＲ）为基础，在ＭＳ－ＤＯＳ系统上开发的由‘事件’驱动的实时有限多任务应用系统，以实现多任务之间的数据通讯和文件共享     

Webit四核处理器的性能分析

使用实时操作系统内核来进行多任务的管理,是目前嵌入式应用的一个趋势.面向设备的嵌入式应用由于其资源有限而受到严重的限制,单核处理器已经无法很好地满足一些实际应用.在8位AVR单片机基础上设计并实现了一个面向设备的抢占式实时多任务Webit四核处理器系统,它在总体上保留了Webit2.0内核的主要特性.webit四核处理器系统采用4个AT90S8515单片机,通过ISA总线相连,并行地处理多任务.实验结果表明其性能大大提高.     

IPC配电测控实验台多任务实时调度系统的设计

针对目前高校测控实验仪功能单一,对测控系统的可靠性、实时性等不能很好地模拟等问题,研究和设计了一套配电测控模拟实验台,由上下位机系统构成。下位机以工控机为核心,配装简化的多任务实时操作系统,能够对16路开关量、64路模拟量及多个键盘任务进行实时检测和控制,并能够和上位机进行定时通信,将收集数据及时传送给上位机,进行汇总、分析和报表打印等。重点分析了下位机的实时多任务之间的关系,调度过程原理及简化的多任务实时操作系统的设计。     

一种软硬件自主可控的嵌入式实时控制系统

本文基于国产GD32微控制器和RT-Thread实时操作系统,构建了一种软硬件自主可控的嵌入式实时控制系统.研究了RT-Thread操作系统在GD32芯片开发板上的移植方法和驱动程序改写,并编写多任务应用程序进行测试,证明了系统运行稳定可靠,为国产嵌入式控制系统的发展提供了一种技术实现途径.     

Microcomputer real-time multi-tasking operating systems in control applications

The paper first gives a brief survey of the general features of real-time multi-tasking operating systems. Then two microcomputer, real-time operating systems, RMX-80 for Intel's microprocessors and OS-9 for Motorola's microprocessors, are reviewed in detail. Selection criteria are presented to help in choosing the best operating system for the application. The paper concludes with an application example of RMX-80 in an industrial microcomputer control system. The process to be controlled is a solid-fuel water boiler.     

可扩展的事件消息自动化处理方案

在实时数据仓库中,获取实时业务数据后,实时或及时的事件处理和决策自动化对实时数据仓库来说至关重要。该文针对仓库系统资源竞争问题,采用消息队列和改进的主动规则技术,提出一套可靠、可扩展并能解决系统负载平衡的异步事件驱动自动化处理方案,同时给出了一套使用高级队列中间件和J2EE技术的实践参考方案,实验结果证明该方案可行。     

超声波测距在汽车停车泊位中的应用

本系统的硬件基于ARM7,软件基于μC／OS—Ⅱ实时多任务操作系统。本文介绍了以ARM7为控制核心的超声波汽车停车泊位检测报警系统,重点分析了超声波测距的原理、超声波收发器与ARM7的连接与实现以及系统的软件流程设计。该系统在汽车电子方面有一定的实用价值。     

SystemC中抢占式进程调度的建模

近来用SystemC进行嵌入式软件建模研究非常活跃，目前尚不能用SystemC直接模拟嵌入式软件中常见的抢占式进程调度的行为。本文在详细的分析了SystemC模拟内核的基础上，提出将进程划分为一个一个不可分割的原子进程单元(APUs)，作为进程调度的最小单位，并构造出一个RTOS抽象层实现任务抢占、实时调度、中断处理等功能，用以实现抢占式进程调度行为的建模和验证。实例表明，采用文中提出的方法，设计者在系统抽象层就可以进行多任务系统的动态调度如中断、抢占的模拟和验证，有效地提高了设计能力。     

On the Elasticity of Marking Functions in an Integrated Network

Much of the research on network modeling and analysis has focused on the design of end controllers and network algorithms with the objective of stability and convergence of the transmission rate. However, a network is typically composed of a mixture of both controlled elastic flows and uncontrolled real-time flows. In this paper, we study the effects of marking elasticity (which characterizes how aggressively the marking function responds to congestion) on queue overflow probability for uncontrolled real-time flows.      

Multi-tasking control system for real-time processing of biomedical signals

A general multi-tasking control system has been developed for real-time signal processing. This control system, written in the language PASCAL, enables tasks (expressed as PASCAL procedures) to be performed as separate, concurrent processes, with adjustable priority levels. Modifications of this system such as the addition of new processes and a change of the number of priority levels can be realised easily. The system has been used for the implementation of the real-time algorithms involved in monitoring exercise electrocardiograms. For this application an LSI 11/23 is used with the support of a slave processor for the calculation of inner products. The control system is also suitable for other real-time applications when process requirements are not too heavy.     

基于多线程技术的雷达训练仿真系统

论述Windows环境下多线程的应用,介绍Visual C + +6.0中多线程的编程方法,举出多线程机制在雷达训练仿真的应用实例.系统运行稳定、软件结构简明,满足在微机系统中网络传输、故障分析以及屏显仿真等多任务对实时性的要求.