基于Simics的嵌入式系统的研究与开发

以Vx Works 6.9嵌入式操作系统为例,论述了在风河Simics全系统仿真环境下进行嵌入式操作系统的bootrom开发、操作系统的定制、设备驱动和应用程序的开发方法,探究出了利用Simics全系统仿真环境协助开发者进行嵌入式操作系统底层软件、中间层软件和上层应用软件开发的新方法。     

无线体域网高能效竞争接入机制研究

低能耗是无线体域网WBAN通信最重要的指标.构建了IEEE 802.15.6无线体域网CSMA/CA竞争接入的功耗模型,分析了用户优先级、MAC帧负荷尺寸和数据到达量对信道接入能耗的影响,提出了一种通过数据汇聚传输提高能量效率的增强型信道接入方法.仿真结果表明,在低业务量及混合业务场景下,所提方法能够显著减少信道接入的能量消耗.     

基于接口精化的广义无干扰性研究

在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题。针对当前构件化软件设计过程中,信息流安全属性仅局限于二元安全级格模型的问题,在现有安全接口结构基础上提出广义安全接口结构,在广义安全接口结构上定义精化关系,并利用这一精化关系定义了能够支持任意有限格模型的基于安全多执行的无干扰属性,首次将安全多执行的思想应用于构件化系统的信息流安全属性验证。使用 Coq 定理证明工具实现了接口自动机程序库以及对精化关系的判定过程,并用实例验证说明了无干扰属性定义的特点及判定方法的有效性。     

分块双向二维主成分分析与模糊分类的掌纹识别

掌纹识别是一门新兴的生物特征识别技术。提出基于分块双向二维主成分分析(M(2D)2PCA)和模糊分类的掌纹识别方法。该算法利用M(2D)2PCA提取掌纹的局部特征,并利用模糊分类策略。这种方法可以有效提取掌纹的局部特征,并且直接对子图像矩阵进行特征抽取,能够精确计算协方差矩阵的特征向量;分类阶段引入模糊理论,应用于掌纹识别问题。最后使用北京交通大学掌纹数据库进行识别实验,结果表明,该方法可得到更高的识别率和更少的识别时间。     

On E?cient Aggregate Nearest Neighbor Query Processing in Road Networks

An aggregate nearest neighbor (ANN) query returns a point of interest (POI) that minimizes an aggregate function for multiple query points. In this paper, we propose an e?cient approach to tackle ANN q...     

基于差分演化的果蝇优化算法

针对基本果蝇优化算法在求解高维函数时存在求解精度低、迭代收敛速度较慢等问题,提出一种基于差分演化的果蝇优化算法。该算法将差分演化策略融合到果蝇优化算法中,对每代产生的群体进行变异、交叉、选择操作,增加种群的多样性,使其能更快、更有效地求解高维函数问题。对12个基准函数进行了仿真验证,结果表明,与基本的果蝇优化算法和差分演化算法相比,新算法在收敛速度、求解精度上都具有明显的优越性。