基于上下文的Android移动终端可信运行控制系统的设计与实现

Android手机、平板电脑等智能移动终端的快速普及,使得对Android系统安全性能的需求也在不断提高.当前比较普遍的做法是在终端上安装监控软件来检测病毒和恶意软件等,但这种方式并不能保证监控软件不被旁路、欺骗和篡改.针对这个问题,本文设计并实现了基于上下文的Android移动终端可信运行控制系统,通过对Android OS安全启动信任链的构建,保证了系统的安全,同时支持基于地理位置的Android应用程序的完整性远程验证.     

道路交通标志信息过载阈值研究

从信息论和驾驶员视认心理角度,提出交通标志信息量的度量标准,通过实验的方法获得交通标志信息过载阈值;根据信息过载的属性,分为信息数量过载和信息质量过载,建立路段交通标志信息量过载阈值计算数学模型,计算出不同速度对应的路段交通标志信息量数量过载阈值及其建议阈值;以西安绕城高速公路的标志设计为实例,为设计、管理人员提供可参考的道路交通标志信息过载阈值建议值.     

基于人工智能技术的舰船图像语义分割算法

随着对舰船研究的深入,原有的舰船图像语义分割结果已无法满足现有的研究要求。原有的舰船图像语义分割算法在图像预处理过程中较为粗糙,导致图像分割结果交叉联合度量值较低,图像分割损失值较大。因而,设计基于人工智能技术的舰船图像语义分割算法。引用人工智能技术中的卷积神经网络对图像预处理部分展开优化;对预处理后的图像进行多尺度拟合,获取图像特征;使用改进代价函数实现舰船图像语义分割。构建算例测试环节,通过与原有算法以及使用其他技术设计的分割算法进行对比可知,此算法的交叉联合度量值较高,图像分割损失值较低。由此可知,此方法的舰船图像语义分割能力较佳。     

自动驾驶系统交通规则符合性仿真验证方法

随着自动驾驶技术的不断发展，高级别自动驾驶车辆逐步在限定区域开展实际道路测试，确保和提高自动驾驶系统安全驾驶能力是当前研究、测试和工程开发的热点难点。面对自动驾驶车辆将长期与人类驾驶车辆混行，并与其他交通参与者遵守同样交通规则的现实需要，提出一种验证和测试自动驾驶系统交通规则符合性的方法，以期降低多车混行条件下的交通安全风险。针对各类交通法律法规语义自动解析技术瓶颈，提出规范化-逻辑化两阶段交通规则数字化模型，基于改进谓词度量时序逻辑框架(Metric Temporal Logic，MTL)，将自然语言交通规则转换为命题、逻辑连接词和时序算子组成的逻辑编码，生成了自动驾驶系统可理解、可执行、可验证的数字化交通规则，并构建了交通规则命题的分级分类体系。提出了一套基于自动驾驶车辆高精度运动轨迹的交通规则符合性验证算法，并搭建仿真试验平台，在高速公路交通场景下开展了试验验证。理论分析与试验表明：精简命题空间、新增时序算子和谓词逻辑词等改进有效提高了原有MTL框架的时间表现能力，解决了时序逻辑性不足等问题，大幅提高了交通规则数字化转换效率，对地方性交通法规和未来交通法规修订提供了良好的兼容性。提出的交通规则符合性验证方法及试验平台可以有效测试自动驾驶系统对现有交通规则的遵守能力，相关成果对提高自动驾驶系统安全性能和未来混行交通安全管控水平具有重要意义。     

软件复杂性的度量与控制

软件的复性与可靠密不可分，软件复杂性的控制是软件可行性工程所面临的主要问题之一。本文综述了软件复杂性的有关研究现状，提出了软件复杂性度量方法和对应的控制方法。     

道路交通事故与降雨量之间关系的研究

本研究分析了澳大利亚维多利亚州首府墨尔本市及其城区（面积8800平方公里，2002年人口为350万）的交通事故，全面研究降雨对城区内交通事故影响的几个方面，考虑干旱天气与多雨天气、白天与夜间的差异，也考虑降雨量多少的影响等。对下雨状况下交通事故相对风险的度量方法进行研究，并考虑长时间无雨的影响，如旱季。[第一段]     

按劳分配中劳动量的度量问题

本文从理论上分析了劳动量的度量标准，并阐明了劳动量从本质上来说是通过市场确定的问题，从而论证了按劳分配规律的科学性和合理性。     

基于加权范数的多维时间序列相似性主元分析

为提高多维时间序列相似性搜索的效率,利用多维时间序列的协方差矩阵的特征值和特征向量构造加权Frobenius范数,将其作为多维时间序列主元之间距离,并将其用于对多维时间序列主元相似度的度量.在相似性搜索算法中分别采用不同的相似性度量方法作比较.实验结果表明,相对于其他的传统多维时间序列相似性度量方法,这种基于加权Fro...     

车轴轴端三螺孔位置度量规的位置度算法研究

JJF （铁总） 002—2017《车轴轴端三螺孔位置度量规校准规范》中，规定了车轴轴端三螺孔位置度量规位置度（以下简称“量规位置度”）的测量方法和计量性能要求，但未明确不同情况下计算量规位置度的具体过程和步骤，以及量规位置度符合最小条件的测量结果。通过归纳、总结JJF （铁总）002—2017中的测量方法，形成系统、规范的计算方法，提出最小二乘法和最优解算法2种计算量规位置度的方法。以RE3型车轴轴端三螺孔位置度量规为例，采用3种方法计算量规位置度。计算结果显示，依据JJF （铁总） 002—2017中的计算方法的计算结果最大，最小二乘法的计算结果次之，最优解算法的计算结果最小。实际应用证明，最优解算法计算得到的结果最优。