嵌入式实时控制系统硬件可靠性及应用研究

嵌入式实时控制系统硬件故障是造成系统失效的主要原因之一,针对此问题,首先定义嵌入式实时控制系统硬件体系结构;然后分析嵌入式实时控制系统的可用性和失效模式,并对单个IP硬核和嵌入式实时控制系统硬件应用Markov链建立了可靠性模型;最后用所建立的模型,对嵌入式联锁控制器硬件进行了可靠度计算和分析。通过计算可知,所建立的可靠性模型能够描述嵌入式实时控制系统硬件的状态变迁,并能定量预测和分析其可靠度,模型具有一定的实用价值。

嵌入式联锁控制器软件体系结构动态建模研究

首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析。

嵌入式系统源程序级软件能耗建模与分析

针对嵌入式系统能耗对各种嵌入式设备工作时长的影响,从系统指令级到源程序级的软件能耗考虑,首先通过分析设备源程序级语句的相关特征,基于源程序语句的指令能耗,提出一种针对源程序级的能耗模型;然后基于模型分析对五种经典算法的源程序中不同类别语句进行能耗优化;最后分别对五组经典算法优化前后的能耗进行比较。实验表明,该模型使得优化后的源程序能耗降低了9.46%~50.29%,达到了降低嵌入式系统软件能耗的目的。

一个广义的周期非线性色散波动方程的爆破解(英文)

研究了一个推广的周期非线性色散波方程解的几方面性质。首先,方程解的局部适定性被建立;其次,在对初值u0作适当的假设下,一个精确的爆破图景和两个爆破结果被提出。这表明所获得的结果包括了近期文献中的那些结果。

RFID系统8-4-2动态多叉树防碰撞算法设计与分析

针对RFID系统多标签防碰撞以及信息交互效率低下等问题﹐提出了8-4-2动态多叉树防碰撞算法和信息携带量小优先(Short message first,SMF)的信息交互算法。8-4-2DMTSA算法通过计算当前系统产生的碰撞比率动态确定搜索叉数﹐并且优化搜索命令﹐减少了空闲时隙;SMF算法通过对不同标签的信息量进行标识﹐按照信息携带量小优先原则进行交互﹐缩短了标签平均等待时延。通过仿真分析表明﹐设计的算法能够有效改善RFID系统的整体性能﹐提高系统的整体效率。

一个推广的周期非线性色散波方程的爆破解(英文)

使用经典的数学技巧研究了一个推广的周期非线性色散波方程的柯西问题。通过使用Kato半群理论,获得了这个方程局部解的存在唯一性。在关于初值的适合条件下,得到了这个方程的一个精确爆破图景(即解在有限时间爆破当且仅当lim supt↑T{supx∈S|γux(t,x)|}=+∞)和一个爆破结果(即解爆破的一个充分条件)。