ITS中基于模糊积分信息融合理论的仿真算法研究

交通仿真是ITS的重要实验研究手段。传统的微观交通仿真模型,特别是反映交通决策行为的车辆跟驰模型,未能综合考虑交通环境中多源信息的有效融合。利用模糊积分理论确定驾驶员信息融合后对车辆应采取的反应行为。通过模型验证表明:在车辆跟驰模型实施之前,利用模糊积分算法模型化驾驶员在多源信息融合条件下的反应过程是行之有效的。     

基于局部细节特征的二次指纹匹配算法

为提高指纹匹配的正确率,综合局部细节匹配算法和全局匹配算法,提出一种将两者相融合的二次匹配方法。在提取指纹细节特征信息并去除伪特征点后,首先利用k-近邻法进行局部细节特征的一次匹配,获得局部特征之间的匹配分数;然后根据匹配分数对指纹图像进行旋转校正,进而对全局特征进行二次匹配,计算匹配向量,并利用匹配向量获得匹配率决定最终匹配结果。实验结果表明:在不同质量的多个指纹数据库上测试,算法最高正确率达到错误拒绝率为2.5%,错误接受率为0.22%,说明了该方法的有效性。     

面向移动云计算的轻量级数据完整性验证方法

研究了面向移动云计算的数据完整性验证技术,依托BLS短签名算法和Merkle哈希树,提出了一种适合在移动云计算环境中部署的数据完整性验证方案.该方案针对移动云计算环境中的移动设备计算能力较低和通信传输能力较弱的情况进行设计,能以相对较少的计算量和较低的数据通信量完成可信度较高的数据完整性验证.该方案还具有支持验证外包、无需源文件块直接参与验证、验证中无状态信息保存、以及支持对云端数据的动态操作等特性,适合于移动云计算环境中面向数据的应用.     

系绳拖曳半物理试验装置设计与方案可行性验证

空间绳系系统需进行地面试验,以验证其理论研究结果的正确性。针对其非线性动力学模型较为复杂,地面难以模拟太空复杂情况而不易开展全物理试验的问题,设计了系绳拖曳地面半物理仿真试验装置。其中,仿真系统中系绳收放与张力控制部分以实物的方式引入仿真回路,拖曳过程中系统动力学部分以数学模型描述并转化为仿真计算模型,与实物部分构建成半物理仿真闭合回路。采用基于模糊PID的主从位置闭环控制器对张力控制器进行控制,搭建半物理试验装置拖曳过程simulink仿真模型,对闭合回路实现仿真计算以验证半物理试验装置方案设计的可行性。仿真结果表明：(1)张力控制器满足半物理加载机构对模拟被动星的系绳控制指令要求;(2)半物理试验装置设计方案原理正确,可通过模拟不同工况下动力学模型特性,考核系绳收放装置性能。     

平纹编织复合材料层板单面挖补修理的附加铺层分析研究及试验验证

针对平纹编织复合材料在航空中的不断应用与该类型层板维修研究的缺失性,根据不同附加铺层的平纹编织复合材料层板维修工况,进行了三维有限元模型分析计算,制订了综合母板、胶层、补片的多重失效准则,并进行了相应的试验验证,得到结论如下:附加层的铺设对于提高修补板强度有积极的效果,试验中发现增加附加铺层数会由于粘接区域的增加,而导致更多的维修缺陷影响恢复效果,建议修理中附加铺层数不宜过多;铺层条件下的平纹编织碳纤维/环氧材料层板结构最佳附加铺层为一层,结构最高修复强度恢复率达到了65.57%,该结论也可为其他类型的平纹编织复合材料层板维修提供参考。分析过程中采用的三维有限元修补模型得到的强度值和破坏区域与试验数据基本吻合,说明计算模型与失效准则能够满足维修设计的需求,为实际修理提供较为准确的参考指标。     

基于委托代理视角的信任激励模型与实验检验

信任是内生激励的重要手段之一.通过在委托代理模型中植入信任指数并进行理论分析后发现,雇主的信任程度越高,雇员的工作努力程度越高,其剩余分享比例也越高.沿用行为经济学所定义的信任测度方法,利用信任实验测度雇主的信任指数.通过礼物交换实验发现,雇主的信任指数与雇员努力程度及其剩余分享比例的关系符合模型预测.     

0.05级数字压力计校准能力验证技术方法的研究

针对0.05级数字压力计校准能力验证的复杂性,通过校准能力验证的经典案例全面介绍了其技术方法。数字压力计校准能力验证包括实施过程与步骤、注意问题、压力示值测量、校准结果评价和参考实验室的校准方法,对提高校准能力验证水平和测量过程的综合考核分析有重要的参考价值。     

Biba实用模型的自动化形式验证

通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型迁移规则进行描述,并在此基础上利用定理证明器Isabelle完成对该模型的自动化形式验证,从而实现高等级安全操作系统研发过程中对安全策略模型的形式化需求.     

北部湾物理海洋模型的建立与验证

采用坐标变换方法 ,在北部湾上层海洋采用正交坐标系以获得垂向高分辨率 ,在底层水体采用 Sigma坐标系以拟合地形 ,建立北部湾的物理海洋模型 ,并利用建立的模型分别模拟北部湾的 M2 、K1 、O1 分潮 .结果计算值与实测值相比 ,M2 、K1 、O1 分潮振幅的绝对平均误差分别为 3.4 cm、 4 .7cm、 5 .1cm ,相位绝对平均误差分别为 7.1°、 9.3°、 7.2°,在潮波模拟可以接受的误差范围内 ,模拟的潮波系统与实测的潮波系统符合良好 .说明建立的模型对潮波模拟具有较高精度 ,模型是可靠的、稳定的 ,可用于有关工程计算以及环流的模拟计算 .     

应用于UWB的128点FFT处理器的物理设计

在SoC Encounter 5.2的平台上,对应用于UWB无线通信的128点FFT处理器进行了物理设计.在前端综合以及可测性设计后导出的FFT处理器门级网表的基础上,采用SMIC 0.18μmCMOS工艺,进行了布图规划、电源规划、布局、时钟树综合、静态时序分析与优化、布线等步骤.在完成详细布线之后,对该设计进行物理...