嵌入式智能机器人路径规划应用研究

研究了智能机器人路径规划算法的研究现状,指出各种算法的优缺点,提出建立嵌入式智能机器人路径规划平台,实现了基于嵌入式实时系统的智能机器人路径规划算法.     

一种基于μC/OSⅡ数控系统的研究与实现

操作系统在数控系统的应用简化了数控系统的开发。，操作系统的选择与合理运用直接关系到数控系统的性能。文章介绍了μC／OSⅡ特点，以实例分析了μC／OSⅡ在数控系统中的应用并构造了数控系统的模型。采用μC／OSⅡ作为操作系统的数控系统具有优异的实时性、稳定性，满足高精加工要求的同时，具有良好的开放性、人机界面与网络支持。对于中小型的数控系统，选用μC／OSⅡ作为操作系统是一个很好的选择。     

调度自动化实时系统与MIS系统间数据交换

在化工系统实际运行中,调度自动化实时系统与管理信息系统间存在数据交换的技术开发问题。以华鲁恒升集团调度自动化OASYS的系统的工程实际为基础,介绍一种实时SCADA系统与管理信息MIS系统间交换数据的实现方式。     

可重构计算在提高数据采集系统容错中的应用

可重构计算技术在数据采集系统中的应用越来越广泛,这不仅得益于可重构计算技术能够更快的对数据进行处理、降低系统能耗,还得益于其可以提高系统的可靠性。该文介绍了如何利用可重构计算技术,提高数据采集系统的容错能力,使数据采集系统在出现硬件故障时能保持正常工作的能力。     

软件容错模型中的部分抢占实时调度算法

为了减少软件容错模型中实时调度算法的抢占次数,提出了一种部分抢占调度算法(PPA),该算法不仅考虑了如何尽可能多地执行主部分,还考虑了如何减少抢占次数,采用了类似非抢占最早时限优先算法(EDFA)来调度主部分.对不同CPU利用率和软件错误概率的任务集合进行模拟实验,结果表明,PPA算法在可以获得与目前所知的同类算法近似调度性能的同时,还可以在一定情况下极大地减少任务调度间的抢占次数,从而减少了系统中因抢占次数过多带来的额外运行时调度开销等负面因素.     

基于时间扩展的ASEHA建模与验证

为了有效地分析实时系统,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,扩展了异步扩展层次自动机的语义.运用基于时间扩展的ASEHA,分析了ATM系统,建立了用户和ATM的模型,并使用模型检测工具UPPAAL对模型进行验证,从无死锁、活性及可达性性质出发,验证了ATM系统的安全性.实验表明,提出的基于时间...     

能实时分新复杂系统的软件

专家系统软件程序．又称基于知识的系统．是在特定领域可以仿真一个或多个专家的知识及分析技巧的计算机程序。飞船健康推论引擎（SHINE）就是一个这样的程序．是NASA开发的用以监测、分析及诊断实时与非实时系统的软件推论引擎（专家系统）。它是为满足NASA对现在和未来任务的严苛的人工智能目标而设计的。     

基于FFNN和1D-CNN的实时心律失常诊断系统与算法

为了解决心律失常实时诊断的问题,设计并实现了实时心律失常诊断系统,并提出了一种基于前向反馈神经网络(FFNN)和一维卷积神经网络(1D-CNN)的实时心律失常诊断算法。系统利用可穿戴的心电图(ECG)采集设备采集心电信号并实时无线传输到客户端软件进行心律失常诊断,然后将诊断结果自动上传至服务器。心律失常诊断算法以原始胸导联ECG并采用200 ms时间窗的片段作为输入,首先使用一个基于FFNN模型的分类器实时检测R波的位置,然后提取出每3个R波之间的心电序列并重采样为长度360点作为ECG_RRR特征,最后使用一个基于1D-CNN模型的分类器进行实时心律失常分类。利用MIT-BIH心律失常数据库中MLII导联ECG数据训练算法模型并对系统进行测试。结果表明,提出的实时心律失常诊断系统与算法具有正确率高、实时性强且易部署的特点,对于跨病人的R波位置检测查全率为98.0%,查准率为99.5%以及整体正确率为97.6%,对于5分类的心律失常检测正确率为91.5%。     

一种嵌入式实时系统软件能耗建模与分析的方法

随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.     

一种改进的容错RM算法

嵌入式实时系统应用越来越广泛,而作为系统核心的调度算法的稳定,健壮和容错也成为日益增长的需求。Liu和Layland提出的经典单调速率算法(RM)并不带有容错功能。利用时域错误掩蔽法(TEM)对经典RM算法进行改进,提出RMF算法,该算法能在一个计划周期中对多个临时错误进行修正。在考虑最坏的两种错误分布情况下,分析RMF可调度性的充要条件并给出算法SCHEDULABLE-RMF检查RMF的可调度性。实验结果表明该算法在系统低负载的情况下能有效降低任务运行结果中的错误比例。