嵌入式实时系统中分布式RTOS的设计与实现

在构建入嵌入式实时系统的分布式硬件平台基础上，研究了嵌入式实时系统中分布式RTOS的设计与实现问题，抽象出应用于此类系统的RTOS层次模型，并给出了实时通信核心技术和分布任务调度策略。     

一种改进的基于RTCOM的实时系统设计方法

对传统的TCSP进行了改进和扩充,并在改进的TCSP描述语言和业已实现的实时构件模型RTCOM的基础上,提出了一种基于构件且适合实时系统设计的五步构造方法:系统角色及业务功能描述、时间约束规范设计与业务功能的TCSP描述、功能性事件提取与转换、构件获取与生成、代码生成.给出了一个实时系统分析与设计的例子.结果表明了该设计方法正确性和实用性.     

分布式实时系统软件辅助工具的实现

基于构件的软件开发技术日趋成熟,旨在改进一种已定义的实时构件模型,并在此模型的基础上开发出为分布式实时控制系统的总体架构进行设计的图形化辅助工具,以简化用户应用程序的设计开发工作,使其开发的实时应用软件具有可重用性、开放性、易维护性.     

无梭织布机微机控制系统的设计与实现

分析了无梭织布机现有控制系统的缺陷和使用中的问题，设计并实现了一种采用单片机的无梭织布机控制系统，在很大程度上改善了织布机的性能，并给出了比较完整的设计过程。     

决策支持工具MV—PROLOG系统的设计与实现

在 ＭＶ系列机上实现的 ＭＶ－ＰＲＯＬＯＧ系统是为建立企业决策支持系统提供知识处理工具而设计的。为了提高系统的运行效率和实用性．在实现上采用了内码表示、结构共享、智能回溯、预匹配以及尾递归等多项措施。在设计上．本系统特别注重与环境的连接和通讯。为此，系统用ＣＯＢＯＬ语言编写，以便于与ＭＩＳ或其他系统软件（ＤＢＭＳ和高级语言等）通讯。     

基于WEB的实时答疑系统的设计与实现

随着网络化技术的发展，基于网络的教学活动及教学系统逐渐成为学校教育的有效辅助手段，从开发环境的选择、系统功能的设计，技术实现和测试等几个方面阐述了设计思想和系统的开发过程以及系统运行的基本情况。     

中学信息技术模拟考试系统的设计和实现

为提高学生信息技术素养水平,尽快掌握中学信息技术学科要点,我们开发了中学信息技术模拟考试系统。通过模拟考试系统的应用,促进学生对信息技术知识的掌握,提升学生在信息技术方面的动手能力,为提高高考成绩发挥应有效用。     

FFT算法的软件实现和应用

本文是想通过FFT软件(C语言编制)的使用向大家介绍FFT算法的基本思想,以及在频谱分析方面的应用,给出获得任意周期性连续信号的幅频特性及相频特性的一种方法.     

中和料场DCS集散自动控制系统的设计与实现

以广西柳州钢铁（集团）公司烧结厂为例,介绍中和料场DCS集散自动控制系统的结构、功能、程序结构和系统编程。该系统为双网络结构、性能稳定,自动配料效果明显。     

关于逻辑程序设计语言PROLOG的若干实现技术

PROLOG/KET是我们在E(?)e MV/8000Ⅱ小型计算机系统上用C语言实现的一个PROLOG解释系统,本文介绍该系统的合一算法及推理过程,讨论了实现技术方面的几个问题,包括子句的存储与搜索,控制栈的优化处理,以及程序库的管理和程序状态的处理,最后对系统的性能进行了分析,提出了几点改进设想.     

Quasi Serializable Concurrency Control in Distributed Real—Time Database Systems

This paper formally defines and analyses the new notion of correctness called quasi serializ-ability,and then outlines corresponding concurrency control protocol QDHP for distributed realtime databases.Finally,through a series of simulation studies,it shows that using the new concurrency control protocol the performance of distributed real-time databases can be much improved.     

Ada在网络实时并发通信系统中的应用

对网络通信如何实现这时性，并发性进行了探讨，并提出了工作站多路发送模型和多路接受模型，在此基础上，用Ａｄａ语言的接口编程实现网络通信用Ａｄａ的任务机制实现并发通信。     

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .     

一种程序设计语言模块系统的研究与实现

GOdel语言是一种新型逻辑程序设计语言。通过对其模块系统进行研究与实现，在实现过程中采用了将用户模块和系统模块分开存放、独立管理的策略，以便使这两部分模块可以被很好地扩充和管理；同时还设计了系统命令．以便及时了解模块运行情况。这样在环境中实现的GOdel语言模块系统不但减轻了GOdel推理机的运行负担，也方便了用户对模块的管理。     

难度自增殖系统及其方法论

本文从一般系统中分离出一种“难度自增殖系统”,它的特征是处理这类系统问题的困难程度将会随着处理过程或时间的进程而增加.一般常用的系统原则或对策原则往往很难奏效.建议采用“螺旋式结合推进原则”的方法,即简称“旋进原则”,并列举例子阐述了它们得以应用的可能性.     

分布式实时嵌入式系统的能耗建模与分析

为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。     

实时系统中基于DVS与Cache划分技术的节能研究

DVS(动态电压调度)和cache划分是用来节约嵌入式系统能耗的技术.两种技术的结合会具有更好的节能效果,而且有cache划分的其他优点,关键问题是如何为每个任务确定执行时的电压和cache大小来使系统能耗最小.在实时嵌入式系统中针对这一问题,提出了一个多项式时间复杂度算法.实验对比了多组测试集在不同算法下的能耗,结果表明,本算法在满足实时性约束条件下有效地降低系统能耗.     

用于一类工业过程控制实时专家系统开发的集成环境

本文介绍的是一个用于化工、石油化工过程控制实时专家系统开发的集成环境ＲＥＣＳ—ＤＥ．该系统提供一个由生成子系统和管理子系统两级构造的专家系统开发环境，其中重点分析了ＲＥＣＳ—ＤＥ的知识表达方式、总体结构以及管理子系统的具体实现．     

面向对象技术在分布式实时操作系统中的应用

讨论一种实时对象模型,提出了在研制分布式实时操作系统的过程中,利用面向对象技术,实现进程调度模块和文件系统的具体构想,并在LINUX操作系统上验证了其可行性．     

离散制造系统的实时反馈控制

利用ＣＭＧ在Ｈｏｌｌｏｗａｙ等人对离散制造系统反馈控制综合研究的基础，提出了位置含时间的ＣＭＧ－ＴｐＣＭＧ模型，利用该模型研究了一类离散制造系统的实时反馈控制问题，并给出了相应的离线和在线实施算法及理论分析结果。