UML状态图的形式化建模及其分析

为解决状态图的建模问题,特别是带有复合状态的层次化状态图的建模问题,分析了UML状态图的结构特点和语义特征,构造了层次化着色Petri网HCPN.将复合状态的Petri网子网结构划分成输入/输出端口、状态迁移部分和历史状态部分.其中输入/输出端口分别用于完成子网进入弧的解析和离开的弧的汇总,状态迁移部分完成状态机子网内部状态变换,历史状态部分通过"记忆单元",完成复合状态的"记忆恢复"和"记忆刷新".基于所构造的HCPN结构,总结了状态图复合状态转入/转出迁移的语义和约束规则,阐述了复合状态的Petri网子网的相应描述方法和分析技术.最后针对状态图的安全性要求详细论述了历史状态完备性判定原则、父子层一致性判定原则和状态可达性判定原则的HCPN语义表示.研究成果对进一步开发自动化分析验证工具,优化复杂系统设计方案,提高软件质量具有重要的指导意义.      

铝液在多孔介质中流动的水力模拟测试

本文采用单片微型机辅助测试系统对铝液在多孔介质中渗流的水力模拟流动进行了测试,通过与图像处理结果比较表明该测试稳定性好,灵敏度高,所测结果较真实地反映了流体反重力渗流的流动规律。     

近无余量精铸模料及复合型壳的研究

本文针对一般熔模精密铸造厂在近无余量的精密铸中对模料型壳的要求,对以石蜡为基的高性能模料和硅溶胶－水玻璃复合型壳进行了试验研究,结果表明：研制的Ｍ－６型模料达到性能指标要求,滴点为５９．２℃,线收缩率为０．８８％,抗弯强度为６．１０ＭＰａ,热稳定性为１．４４ｍｍ（３４℃,２ｈ）,优于工厂常用的石蜡－硬脂酸模料的性能,采用硅溶胶－水玻璃复合型壳生产的铸件比工厂常用的单一水玻璃型壳生产的铸件在尺寸精度,表面质量方面都有所提高。     

反熔丝FPGA器件真空发热及散热措施

航天电子元器件工作于真空环境时,必须格外考虑其发热及散热问题.文章对某反熔丝FPGA器件工作于真空环境时温度与功耗的关系及散热措施进行研究.通过热真空试验得到该器件不同散热措施及PCB条件下的发热及散热情况数据,并依据数据分析给出其在真空环境下的散热措施建议.该器件采用了带热沉的陶瓷四侧扁平208引脚封装(CQFP20...     

“北斗+5G”联合定位与误差校正技术

在边坡、城市峡谷、高架等复杂的公路交通定位环境中,存在海量多样的定位需求与复杂的定位环境,北斗信号穿越建筑空间时强度被削弱,产生严重的信号反射和衍射,使得北斗卫星信号难以到达和有效使用,系统可用率下降,无法提供可靠的定位服务。结合第五代移动通信网络（5G）系统高密度部署的特点,提出了一种北斗+5G联合定位模型以及基于最小二乘残差Helmert后验加权的误差校正方法。在复杂公路交通环境中,可以改善可见卫星数少的问题,优化卫星的几何构型,提高用户终端定位精度,能够为用户终端提供高精度、全天候、连续、实时的定位服务。实验表明,北斗+5G联合定位模型能够大幅提升复杂公路交通环境下的定位性能。     

基于多尺度空谱特征提取的高光谱遥感图像重建

遥感高光谱图像(HSI)凭借其丰富的光谱信息被广泛地应用于军事、农业、地质等领域。然而,HSI成像因其成本高、传输难等问题限制了其应用规模。通过光谱超分辨(SSR)方法,可以实现输入高分辨率红绿蓝(RGB)图像生成相应的高光谱图像,有效地解决了HSI成本高与传输难的问题。但是,已有的SSR方法对于图像的空间特征提取与光谱之间的相关性关注仍有所不足。针对上述问题,本文提出了一种多尺度空谱特征提取方法,并在SSR领域引入组归一化(GN)方法,关注相邻光谱之间的相关性。同时,还借助条件生成对抗网络进一步优化网络的参数,提升生成图像的真实性,并在DFC2018 Houston数据集上进行实验。结果表明:本文提出的方法可以实现精准的高光谱图像重建,重建的高光谱图像相比当前先进的主流方法性能均明显提高,其中相比CanNet方法,均方根误差下降了48.3%,平均峰值信噪比上升了20.7%。     

目标飞行器舱内流场设计验证与评价

目标飞行器密封舱内流场设计是实现舱内温湿度控制、污染物扩散的基本途径,是保证长期在轨驻留航天员热舒适性的重要手段。文章分析确定了目标飞行器流场设计地面验证的等温化试验准则,通过保证流场温差不大于1 ℃,降低地面自然对流的影响,使微重力环境下工作的流场设计在地面环境得到有效验证。结果表明,航天员活动区88.3%区域风速在0.08～0.5 m/s之间,睡眠区风速均在0.08～0.2 m/s之间,均满足指标要求。目标飞行器流场最佳风速范围（0.076～0.203 m/s）所占比例为82.8%,优于国际空间站各舱段最佳风速范围所占比例。     

基于长期驻月设施热管理系统的月壤储热块储热性能分析

针对长期驻月设施过月夜问题,基于月壤原位资源月昼蓄热、月夜期间释放热量可维持设施生存温度的理念,调研了不同加工工艺成型储热块的热物性,研究了单位体积圆柱形储热块热分析方法及边界条件选取,并进行了多周期的瞬态热仿真,获得了其储热性能和温度变化范围.结果表明:蓄热过程中恒温层耗散储热块约10％的热量,验证了热分析模型中月壤...     

通用钻头改制的铝镁合金钻头

通用钻头经过刃磨改进几何角度后,钻削铝镁合金零件,增加了切削性能,保证产品质量,并提高生产效率,以下是钻头的几何角度,以供参考。一、前角:外圆处为8°±3°,越近中心逐渐减小,接近中心处为-13°+3°,如果不把前角磨小当钻头占透时,发生零件往上跳动造成孔椭圆,甚至报废,把不住零件造成机床事     

高速切削硬质合金喷涂层

具有88％碳化钨（WC）和12％钴（CO）的硬质合金喷涂层的零件,由于很高的常温硬度和高温硬度,且存在着分布不均匀的气孔、氧化物夹杂和硬质点,因此一般刀具无法切削即使是切入极短距离后会出现刀具过度磨损,因而用金刚石砂轮磨削,生产率较低、成本高、磨耗大。