摘要：研究针对敏感数据端到端安全性无法保障问题,该文提出了基于HDFS的安全代数语言SALH,对SALH语义、语法进行介绍,并应用SALH对HDFS信息流跟踪、控制模型进行形式化描述,并提出了IF-HDFS原型系统设计及实现途径,经过性能测试及系统功能测试,结果证实IF-HDFS能够准确、实时完成信息流跟踪、控制。

摘要：目的了解太阳活动低年低轨道卫星表面充电的特征规律,为今后低轨道卫星表面充电的防护设计提供参考。方法利用我国一颗低轨道卫星搭载的表面电位探测器数据,对探测到的2017—2019年的78次表面充电事件进行统计分析。重点研究78次事件的充电时长、电位峰值、时空分布等特征以及事件与地磁活动的关系。结果在太阳活动低年,83.3%表面充电事件持续时间不超过1min,80.7%表面充电事件的充电峰值绝对值不超过100 V;97.4%的事件出现在南半球高纬度地区;88.5%的事件发生在磁地方时的18至02时之间;当表面充电事件发生率不为0时,事件发生率和Kp指数的相关系数为0.97。结论在太阳活动低年,表面充电事件的持续时间较短,并且强度不大。表面充电事件发生位置具有明显的南北不对称性,呈现南多北少的趋势。表面充电事件多发生于高纬度地区,在磁地方时的傍晚至午夜发生概率高。表面充电事件发生率和地磁活动具有较好的相关性。

摘要：本文就我国重要信息系统安全体系结构及实用模型进行了分析研究,旨在为重要信息系统安全体系建设提供借鉴和帮助。

摘要：提出了一种小型轻便的流速仪检定系统的设计方案,并运用改进的多学科协同优化方法求解各学科设计变量的最优解;首先介绍了算法思想及改进措施,并根据系统设计要求建立了各学科的设计变量、目标函数和约束条件;其次,运用遗传算法求解各学科设计变量的最优解,并根据优化结果完善了系统的设计方案,同时运用计算机仿真等方法验证了优化结果的可行性;结果表明,优化后的检定系统满足流体力学效应、匀速运动时间、系统重量等设计要求,同时证明了协同优化算法解决多学科设计优化问题的有效性。

摘要：GPS观测数据中混入的噪声会导致定位精度大大降低。针对传统的小波阈值降噪方法在阈值函数和阈值选取方面的不足,设计了一种新型半软阈值函数,利用涡流搜索算法和广义交叉验证实现了分层阈值的自适应确定。改进后的方法不需要先验知识,操作简单,鲁棒性好。数值仿真验证了该方法可以显著降低GPS定位误差。

摘要：海洋试验水池造价格高昂,设计使用寿命长。定期对其开展业务能力评估,有针对性地开展水池维修保养和升级改造,可以有效保持水池的先进性和可用性。本文通过考虑人脑活动的模糊性,设计了一个基于模糊层次分析法(FAHP)—正态云(Cloud)理论的海洋试验水池业务能力综合评估模型框架,并通过详细分析海洋试验水池业务能力,实现评估指标体系和评估模型的构造。最后,使用仿真实验验证了该方法的可行性和有效性,为更加经济高效地利用水池开展海洋研究实验提供了新的思路和方法。

摘要：在应用旋翼无人机群时,每架无人机自主快速选择目标空域点,对于提升无人机群整体性能有很大作用;对于到达目标空域点即可降落的情况,可视作二分图最佳匹配问题,利用匈牙利算法进行求解;对于到达空域点后,需要等待其他无人机全部就位后一同工作的情况,需要同时优化平均移动距离和最大移动距离两个耦合参数;经多次实验和测试,将匈牙利算法中代价矩阵各元素值替换为各自值的平方,可以在平均移动距离与最优解十分接近的情况下,使最大移动距离减小,从而减小无人机悬停等待的消耗,缩短过程完成的时间;针对此问题设计了只变异不交叉、父辈子辈一同评价的遗传算法进行求解与改进算法对比,验证了改进后匈牙利算法在此问题中具有更好的效果;由于算法计算速度快,适用于无人机上嵌入式系统实时计算。

摘要：本文提出一种利用单目立体测量技术校准雷电冲击电流试验装置放电铜球间距的方法。利用一台高分辨率工业相机对放电铜球区域进行实时拍摄,采用机器视觉软件HALCON对图像进行三维空间测量,通过对上下铜球表面进行亚像素提取和分割,最后实现铜球距离的测量和测量系统的标定。铜球间距的测量结果能实时、准确地传送到显示终端。为下一步自动化测试系统的设计和建设提供基础。

摘要：以气象领域天气雷达本科课程教学改革为研究背景,基于虚拟现实技术,以学习者的个体认知差异和学习需要为目标,构建设计了天气雷达教学系统,结合构建原则、功能、方法途径以及业务脚本编制案例,实际教学应用效果良好,可为开展装备类教学者提供借鉴。

摘要：设计了一种适用于城市小区的新型立体车库。首先总结了国内外在该领域的发展现状,分析现有装置的设计思路及其优缺点,形成了设计思想,并且明确了设计目标;然后进行了库存装置的总体设计,运用Visio和SolidWorks三维建模工具,绘制了装置的图纸及概念模型。为检验库存装置设计的可行性,选择了慧鱼组件搭建装置模型;模型分为传动模块、存放模块、机械臂模块三大部分,通过相互之间的配合,并辅以测控系统完成装置的设计目标;最后,对装置模型进行了测试,记录并解决了在测试时遇到的问题。