基于随机线性最优控制的汽车主动悬架控制器设计

通过建立车辆半车模型的动力学方程,应用随机线性最优控制理论设计了车辆主动悬架LQR控制器,并在Matlab/Simulink环境中构建了实现该控制策略的仿真模型,对仿真结果进行了时域和频域分析,结果表明:具有LQR控制器的主动悬架能有效减小车身加速度和悬架动挠度,可以更好地改善车辆的舒适性.     

采用数字签名技术的可信启动方法研究

为保障嵌入式设备系统启动时的可信性,分析了现有可信启动技术对硬件模块严重依赖的现状,结合可信度量和可信链理论,提出了一套基于嵌入式Linux的可信启动方法。该方法以固件IROM作为信任根,利用数字签名和完整性验证技术检查启动实体的完整性和真实性,建立了一条从设备开机到内核启动的信任链。实验结果表明:该方法能有效地验证启动实体的完整性和真实性;与采用硬件模块保护启动实体预期度量值的方法比较,该方法无需增加任何硬件开销便可有效地保护预期度量值;同时保证实体更新时的可信检测。     

面向高等教育的嵌入式系统教学改革

在分析国内嵌入式系统教学改革必要性的基础上,提出具体改进建议,介绍成立专门的嵌入式专业师资、建设立细分化教材体系、增强"做中学"教学力度、工程化的人才培养和学术驱动的教学模式。     

基于分层策略的三维非刚性模型配准算法

在三维非刚性模型分析中,通常需要对不同姿态下的模型进行配准。针对传统配准算法存在复杂度高、计算量大、精确度低等问题,提出一种新的基于分层策略的三维非刚性模型配准算法。首先,定义热核签名函数为模型的标量域,使用同源聚类算法提取模型的特征点和特征区域,进而提出三维几何模型的树形表示方法:它的根节点为三维几何模型,内部节点为模型的特征区域,叶节点为包含在相应区域的特征点。然后,根据三维几何模型的树形表示提出模型的分层配准算法。在SHREC 2010模型配准数据集上对比分析了分层配准算法、推广的多维尺度变换算法（GMDS）和博弈论方法在等距变换、孔洞、小孔洞、尺度变换、局部尺度变换、重采样、噪声、散粒噪声以及拓扑变换等情况下的性能。实验结果表明,在以上三维几何模型数据受干扰的情况下,分层配准算法的准确性明显优于GMDS方法和博弈论方法,同时具有较低的计算复杂度。     

基于数据驱动模式的嵌入式OpenGL代码生成方式

本文分析了嵌入式环境中运用OpenGL进行图形开发的常用方法，提出了一种基于数据驱动进行代码生成的方法。该方法利用数据进行几何描述，尝试以数据的方式在屏幕上绘制所有的图形，使得在资源有限的嵌入式环境中。能有效地运用OpenGL生成图形用户界面。     

安全和能量关键的分布式协作任务调度

传统分布式任务调度严重地忽略了任务的能耗和安全因素,不适用于安全关键分布式嵌入式系统,针对安全和能量关键的分布式协作应用,提出了一种安全感知和能量感知的任务映射调度算法SEATMS.作为一种多项式复杂度的启发式算法,SEATMS能够在满足协作应用的实时需求和能耗约束前提下,最大程度地降低系统安全风险.和同类算法相比,所...     

嵌入式实时系统中断管理技术研究

嵌入式实时系统中断管理技术直接影响到系统的实时响应性能。本文通过对嵌入式内核中断管理技术的研究,归结出“中断前-后段处理”模型;同时,针对一些处理器中多个外部中断共用一个向量的问题,提出一种单向量多中断处理映射技术,并在PowerPCMPC860处理器上实现DeltaOS内核时,验证此技术的有效性。     

变截面梁扭转的有限元分析

推导了变截面梁单元的扭转刚度矩阵和等效节点载荷公式。对于截面半径按线性变化的梁,运用该扭转刚度矩阵将得到精确解。对于变截面梁的扭转,若用等截面扭转刚度矩阵分段近似,需采用较多的单元数,才能使结果收敛于精确解。     

嵌入式系统引导技术研究

以PowerPC8xx系列处理器为例,通过对此类处理器的引导模式、引导代码的编写和调试,以及如何引导操作系统执行等问题的研究,探索嵌入式系统引导过程的一种解决方案。     

高可信软件的防危性评估研究

在分析安全关键软件防危性测评的必要性基础上，提出了适合于评估关键软件防危性的评估指标，给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技术测评高防危性软件的可行性，并详细讨论了其具体实施过程，其间结合核电安全关键控制系统进行了例证。最后就该领域内的相关工作及发展方向进行了展望。