嵌入式实时系统可生存性分析研究

系统可生存性分析是为了给出系统的评价与改进建议,以提高系统遇到故障或事故时的可生存能力．首先,分析了嵌入式实时系统的可生存性问题;然后,通过对嵌入式实时系统可生存性分析过程进行定义与划分,提出了一种针对嵌入式实时系统的可生存性分析框架,着重阐述了量化分析模型,这种量化分析有助于对系统的可生存性进行准确的评价和对比;最后,设计了模块化分析平台．     

一种基于时间自动机网络的实时系统形式化验证方法

介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证．     

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

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

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

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

C/S模式下实时考核系统的设计与实现

讨论了C／S模式下两层、三层和基于服务的体系结构的特点，给出了实时系统的设计与实现过程。     

基于Internet/Intranet的准实时系统

主要说明了基于Internet/Intranet环境准实时系统的定义,分析了Internet/Intrnet环境中准实时系统实现的技术,并给出了Internet/Intranet环境中准实时系统的几种参考实现方法。     

C／S模式下实时考核系统的设计与实现

本文讨论了C／S模式下两层、三层和基于服务的体系结构的特点,结合实例给出了实时系统的设计与实现过程。     

UML建模和实时多线程编程探讨

面对对象开发技术中的视觉技术能非常有效地把软件开发过程视图化，并有助于实现软件的可再用性和封装性．UML建模本来是为面对对象理论而设计，但已经产生许多分枝并被广泛地应用于其他领域．包含12种模型图表的UML可以为各种应用结构建模，实时系统是其中之一．实时系统编程是很复杂的，许多实时应用系统是并行处理，要求多线程编程，本丈探讨了面向对象的视图技术．UML应用于实时系统的实用性及其怎样清晰地描述复杂的多线程进程．实时系统采用嵌入式Linux是因为它在工业当中的广泛应用，把嵌入式Linux的实时系统同UML建模结合起来是有价值的．     

基于TMO的实时系统节点时间性能分析

时间触发消息触发对象(TMO)模型是一个支持实时系统设计和实现的通用组件编程模型。文章中对基于TMO的实时系统中某个节点的时间性能进行了分析,有助于在实时系统的设计等早期阶段中,使实时系统更好的满足其时间要求。     

实时系统可变工作量建模及计算方法

传统实时系统性能分析以最差情况下执行时间(worst-case execution time,WCET)作为主要输入,导致分析过于保守.针对实时系统设计时预留冗余过大的问题,建立了以到达事件类型、数量和分布为决策变量,包括工作量曲线(workload curves)、逆工作量曲线(inverse workload curves)、工作量比率曲线(workload ratio curves)在内的实时系统可变工作量模型,给出了相关计算方法.基于可变工作量模型分析了其在混合调度中的应用,结果表明:采用可变工作量模型和算法可显著减少任务所需的执行工作量,降低了实时系统的资源需求.     

基于多智能体的机电设备嵌入式控制系统设计方法

提出了一种利用多智能体（Multi—Agent Systems,MAS）方法学指导复杂机电设备嵌入式控制系统开发的方法．该方法利用智能体（Agent）概念处理复合型控制系统的多个子控制器;用MAS方法学指导构造Agent之间的通信及协调机制;利用多任务实时操作系统（Real—Time Operating System,RTOS）的多任务并行处理能力和系统服务在嵌入式系统中实现MAS系统,本方法已经应用于遥操作移动机器人嵌入式控制系统的开发．     

关于煤炭企业生产计划管理计算机信息系统的思考

本文简要叙述决策支持系统的基本概念,并结合某煤炭企业生产计划管理信息系统的研究经验,重点就煤炭企业地下采煤生产计划管理决策支持系统的必要性、结构及开发策略进行一些初步探讨.     

检验实时系统的有序时段性质

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术。实时系统的性质包括瞬间性质和时段性质，显然后的检验要比前复杂得多。介绍了一类新的时段性质——有序时段性质，并检验了时间正则表达式的有序时段性质，最后分析了算法的复杂度，和相关工作进行了比较，并探讨了今后的工作方向。     

基于BP和ARM的发动机声音识别系统

为解决高速公路收费站及大型停车收费场自动收费问题,依据BP神经网络识别理论,设计了一个基于ARM9及嵌入式Linux系统的发动机声音识别系统。选用S3C2410微处理器和嵌入式Linux操作系统,把交叉编译后的发动机声音识别C语言程序移植到操作系统的文件中,实现了发动机声音实时识别功能,给出了系统整体软硬件结构框架以及实时输入发动机声音判别汽车类型的识别结果。现场实验证实了该系统的准确性、实时性和有效性。     

用结构化询问语言数据库合成智能系统

智能系统广泛应用于各种知识领域中。每个智能系统都有它内在的承受力和局限性 ,现在人们趋向于将多个智能系统合成起来。这种合成不仅能提高单个智能系统的承受力 ,还能减少它们的缺陷。在本文中 ,提出了这样一种方案 :1 )将智能系统和数据库联系起来 ;2 )将结构化询问语言 (SQL)数据库作为连接器 ,使得多个智能系统组合在一起 ,从而形成实时分布式混合应用。     

非线性非最小相位系统伪线性复合控制

将多变量非线性控制理论中的伪线性化方法,应用于具有非线性、非最小相位特性控制系统的控制规律的设计,实现了被控对象的状态反馈线性化。针对具体的控制要求,将伪线性化方法与其他控制技术相结合,可以形成复合控制策略。基于流体动力机械控制系统的仿真结果表明,复合控制策略能有效改善被控对象的动态性能,增强其适应参数变化的能力,具有较好的速动性和鲁棒性。     

基于DM643的交通信息采集系统

为实时、准确获取道路交通信息,满足当前智能交通系统的应用需求,设计并实现了一种基于高性价比DSP硬件平台的嵌入式交通信息采集系统。给出了视频输入输出接口／电路和网络通讯接口电路的设计,并基于DSP／BIOS开发了系统驱动程序。实验结果表明,该系统具有很好的稳定性和实时性。     

A Text Categorization System with Soft Real-Time Guarantee

In order to provide predictable runtime performante for text categorization （TC） systems, an innovative system design method is proposed for soft real time TC systems. An analyzable mathematical model is established to approximately describe the nonlinear and time-varying TC systems. According to this mathematical model, the feedback control theory is adopted to prove the system＇s stableness and zero steady state error. The experiments result shows that the error of deadline satisfied ratio in the system is kept within 4 of the desired value. And the number of classifiers can be dynamically adjusted by the system itself to save the computa tion resources. The proposed methodology enables the theo retical analysis and evaluation to the TC systems, leading to a high-quality and low cost implementation approach.     

不确定离散线性脉冲系统的状态反馈镇定

从不同角度研究具有多面体参数不确定性的离散时间线性脉冲系统的鲁棒镇定问题.在系统的状态及控制量受时域约束的情况下,给出了一种能够保证闭环系统鲁棒稳定性且约束始终满足的线性状态反馈控制器设计方法.应用该方法,可以通过计算有限的线性不等式来获得鲁棒镇定控制器的反馈增益.数值仿真验证了方法的有效性.     

基于有限带宽的NCS模糊动态反馈调度算法研究

带宽受限是影响网络控制系统正常运行的一个重要因素。将模糊控制理论引入反馈控制实时调度框架体系。提出了基于有限带宽分配的模糊动态反馈调度算法。该算法综合考虑了系统中各控制回路的控制偏差和偏差变化率。通过动态调节各控制回路的优先级,在满足系统的实时性要求的同时,能使网络具有较好的服务质量。仿真结果证明了所设计的算法要优于EDF算法,能够更有效的提高网络控制系统的控制质量。