基于时间自动机的实时系统建模及验证

实时系统必须在一个事先定义好的时间限制内对来自外部或内部的事件进行响应,如何有效验证实时模型的正确性和安全性是一个难点.文章通过多个时间自动机来模拟实时系统中的各个对象,并用UPPAAL对模型进行验证,减少了模型验证的状态搜索空间,为实时嵌入式系统开发和验证提供了一种可行、安全的控制机制.实验结果显示了系统的有效性.     

电梯优化方案中的黄金分割

研究高层电梯系统运行分配问题.针对目前电梯运行系统中,每次停靠过程中启动、制动所带来的额外能耗与乘客对运行时间尽可能短的期望,传统方法中利用马尔科夫网络排队理论或者群控最佳调度理论的仿真模型中一方面利用比值法描述人均时间过于模糊,另一方面过于追求效率,忽略电梯制动,启动过程中的能耗,不符合电梯运营商的实际操作目标,无法满足实时仿真的要求.为了解决这些问题,提出了利用数学期望的收敛级数描述乘客随机需求,在最大最小原理背景假设下建立运行周期和能耗的多元超越约束函数,构造模型的方法.结合数学软件编程绘图,控制变量,选择区间,分析比较四种常用运行模式在忙碌时效率与能耗.最终得到分层方案为高层建筑,高峰时段最优方案.经仿真实例实验证实:在高峰时段的高层电梯运行方案中,分段运行节能,高效的突出效果,同时发现分层系数接近黄金分割比例时达到单组电梯理论最理想效果.     

基于内容的图像检索研究

随着多媒体技术的不断发展下,基于内容的多媒体技术应运而生.它和传统的数据库相结合.可以方便地实现多媒体数据的存储和管理,与网络搜索引擎技术相结合,用来检索互联网上丰富的多媒体信息.这里主要是研究基于内容的图像检索技术.     

对核心网络安全技术的理解

本文针对防火墙的三种技术方式进行说明,并就信息交换加密技术的分类及RSA算法作以分析,针对PKI技术这一信息安全核心技术,论述了其安全体系的构成。     

组合出入口访问控制的防火墙系统研究

针对军事网络特殊安全需求,提出了一种组合出人口访问控制的网络边界安全防护手段,在抗网络攻击方面,采用包过滤防火墙与基于神经网络和基于协议分析和规则匹配的入侵检测技术相结合的方法,提高入侵检测的准确性;在防信息泄密方面,在出口访问控制中引入身份认证机制及内容审查和过滤机制,可建立更灵活的安全审计和访问控制策略,有效阻截敏感或涉密信息外泄,实现对泄密源的有效跟踪。     

基于测试用例和时间域软件可靠性模型

可靠性作为衡量软件质量的重要特性,其定量评估和预测已成为人们关注和研究的焦点。软件可靠性模型既是软件可靠性定量分析的基础,也是可靠性预测的核心和关键。在软件比重日益增加的今天,研究系统的软件可靠性对整个产品质量的提升具有很大的现实意义。现有的软件可靠性模型大都是基于概率统计建立的,考虑的因素比较单一,与工程实际有一定差别。文中对典型的软件可靠性模型进行比较研究,在综合考虑了输入域、缺陷等级、时间域等因素的基础上,经过严密的数学推导,建立了基于测试用例和时间域的软件可靠性混合模型,并对该模型的实际应用进行了介绍。     

特征点维度的静态场景三维重建运动目标剔除

基于语义分割的图像掩膜方法常用来解决静态场景三维重建任务中运动物体的干扰问题,然而利用掩膜成功剔除运动物体的同时会产生少量无效特征点.针对此问题,提出一种在特征点维度的运动目标剔除方法,利用卷积神经网络获取运动目标信息,并构建特征点过滤模块,使用运动目标信息过滤更新特征点列表,实现运动目标的完全剔除.通过采用地面图像和航拍图像两种数据集以及DeepLabV3、YOLOv4两种图像处理算法对所提方法进行验证,结果表明特征点维度的三维重建运动目标剔除方法可以完全剔除运动目标,不产生额外的无效特征点,且相较于图像掩膜方法平均缩短13.36%的点云生成时间,减小9.93%的重投影误差.     

固态功率控制器感性负载下的续流特性分析

本文结合我国空间站用固态功率控制器保护特性,对其在不同关断模式下的续流特性进行了理论分析,并通过建模仿真给出了不同感性负载下关断电流对功率回路MOSFET、二极管关键半导体器件的电、热应力影响,最后给出了固态功率控制器感性负载下的使用注意事项,对固态功率控制器安全性设计及使用具有一定的参考意义。     

抛锚状态下的船载地波雷达目标自适应检测方法

船载地波雷达可利用船载平台机动灵活的特点,扩展地波雷达探测范围,但也会由于平台的运动,影响目标探测性能. 针对船载平台抛锚运动引起艏向变化和目标回波展宽范围不规则导致目标检测性能下降的问题,提出了一种适用于平台抛锚状态时的船载地波雷达目标自适应检测方法. 首先,从平台抛锚时船载地波雷达的目标回波特性和检测背景统计特性两个方面来分析目标检测中的难题. 然后,基于理论仿真与实测数据的分析结果,提出目标自适应检测方法. 该方法先通过前端数据的预处理消除艏向变化带来的影响,再将处理结果进行检测背景的自适应选取并作统计特性转化处理,经过恒虚警率检测后得到检测结果. 最后,利用实测数据对本文提出的方法进行验证. 结果表明:本文提出的船载地波雷达目标自适应检测方法能够有效解决船载平台抛锚时的目标检测难题,可显著提高抛锚状态下船载地波雷达的目标探测能力.     

基于遗传编程的无量纲指标在行星齿轮箱故障诊断中的应用

针对传统的信号处理方法较难获取行星齿轮箱故障特征和有量纲指标在变工况情况下诊断失效的问题,提出将无量纲指标应用于行星齿轮箱故障诊断的方法。首先分别计算行星齿轮箱在不同故障模式下振动信号的七个无量纲指标,然后用遗传编程的方法构建新的复合诊断指标,最后将该复合诊断指标在变载荷、变转速工况下对不同的故障模式进行区分。实验结果表明,该方法可以识别行星齿轮箱在不同工况下的故障状态,验证了其有效性。