两凸平面相贯立体的隐藏线消去法

本文介绍了一种消去两相贯凸平面立体的隐藏线算法。首先利用外法线法单体消隐,然后用线与面比较法作组合消隐计算,逐一确定各个单体上可见棱线在组合体上的可见线段,最后显示或绘制所有的可见棱线段和两体的可见交线,得到消隐后的立体图。本法信息输入量较小,功能较强,不但适用于两相贯的凸平面立体的消隐,而且也适用于两迭加的凸平面立体的消隐。本程序还适用于两体具有共面的情况。     

一般层合板矩形单元的几何刚度矩阵

本文简述了求解结构稳定性问题的有限元理论基础。用张量的形式指导了一般层合板矩形单元的节点力和节点位移关系方程，详细推导了一般层合板四节点矩形单元的几何刚度矩阵的公式及其显式。     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

旋流器型式对空气雾化喷嘴雾化特性影响规律

采用试验与数值计算相结合方法研究了不同旋流器型式对双旋流式空气雾化喷嘴喷雾特性的影响规律.采用粒子图像测速(PIV)测量了不同空气雾化喷嘴下游流场结构,并且采用高速摄影仪和激光粒度分析仪,对不同空气流量和燃油流量下的双级旋流空气雾化喷嘴的油雾场形态、索太尔平均直径(SMD)、Rosin-Rammler分布进行试验研究;...     

柔性多层冲击空间碎片防护结构设计与试验

充气展开密封结构是未来空间站以及大型空间居住舱的理想构建形式,其外蒙皮由气密层、增强层、微流星体和空间碎片防护层、辐射保护层以及热控层组成。为了既满足对空间碎片的防护,又满足折叠、收纳以及展开的要求,空间碎片防护层需要采用多层冲击防护结构设计。基于多层冲击防护结构,采用国产的玄武岩纤维材料和芳纶织物的特性参数,根据弹道极限方程设定了柔性空间碎片防护层的设计参数,并通过高速撞击试验对根据设计参数生产的试验件进行了试验验证,试验结果与柔性多层冲击防护结构的弹道极限方程吻合较好。     

载人航天器密封系统漏率设计方法

载人航天器密封舱为航天员提供在轨生活、工作的环境,对密封舱及其环控生保系统、热控制系统、推进控制系统等中各管路的密封性能有严格要求。文章提出了一种漏率设计方法,建立了相应的漏率检测系统,并依据该方法制定了密封舱体和各管路的漏率设计和指标分配的流程。本流程可用作载人航天器舱体密封系统、管路密封系统的漏率设计,对保证载人航天器在轨安全可靠运行有重要参考价值。     

地球同步轨道星地量子信道特性研究

为了研究地球同步轨道量子密钥分发过程中星地量子信道特性，项目团队研制了搭载于实践二十卫星的极弱光偏振态分发设备，开展了地球同步轨道卫星与地面间光子偏振态的传输实验。实验时，星载偏振光分发设备根据遥控指令以50MHz频率驱动四个激光器出光，分发|0〉、|π/2〉、|π/4〉和|3π/4〉四种偏振态光子，经过长距离的空间传输后由地面站望远镜接收，最后由超导探测器探测。研究结果表明，地球同步轨道卫星到地面站的光学链路衰减约为100~110 dB，通道误码率约为2%~8%，满足量子密钥分发误码率的安全性要求。     

TopPixelLoss:类别不均衡的遥感影像语义分割损失函数

针对遥感影像中类别不均衡的小目标分割效果不理想的问题，提出了一种类别不均衡小目标二分类分割的损失函数——TopPixelLoss损失函数。首先计算出每个像素的交叉熵，然后将所有像素的交叉熵按从大到小进行排序，随后确定一个K值作为阈值，筛选出前K个交叉熵最大的像素，最后对于筛选出的K个像素交叉熵取平均，做为损失值。在ISPRS 提供的 Vaihingen 数据集上，使用PSPNet网络与普通交叉熵、FocalLoss、TopPixelLoss三种损失函数分别对车辆进行二分类分割试验。结果表明，不同的K值，使用TopPixelLoss损失函数的平均交并比（MIoU）、F1-score、准确度（ACC）都最高;当K值为5×104时效果最佳，MIoU、F1-score、ACC分别比FocalLoss提高了3.0%、5.0%、0.1%。TopPixelLoss损失函数是一种针对类别不均衡分割非常有效的损失函数     

反向交叉眼对单脉冲雷达干扰效果分析及仿真验证

交叉眼干扰被认为是对单脉冲雷达干扰最有效的方式之一。基于雷达方程建立了隔离平台回波下的两点源反向交叉眼干扰模型，推导了交叉眼干扰欺骗角一般性公式，研究了干扰机发射天线间距、干扰平台旋转角和干扰机相对雷达之间距离等参数变化对角度欺骗效果的影响，并依据单脉冲雷达接收机获取角度的信息处理流程，建立了单脉冲雷达接收机仿真模型，对交叉眼数学模型的正确性和局限性进行了分析。研究结果表明：单脉冲雷达越靠近两点源交叉眼干扰机中心线、干扰机两发射天线间距越大、与干扰机距离越近时，角度欺骗效果越好；单脉冲雷达的欺骗角度随着与干扰机距离的接近呈指数式增大；数学模型和仿真模型计算的单脉冲雷达角度误差最大值随干扰机天线与雷达天线中心连线的夹角的增大呈指数化增长。研究可为交叉眼干扰工程设计作参考。     

Maximal admissible mode decision delay in terminal guidance

Mode decision-maker is a critical component in the logic-based Integrated Estimation and Guidance(IEG) system. For the best possible estimation and guidance performance, the mode decision delay of the mode decision-maker should be limited to a range as small as possible. This paper presents a numerical method for computing the maximal admissible mode decision delay that varies with time-to-go. Particular attention has been paid to highly maneuvering target interception in terminal guidance. The results of this research offer useful guidelines for the design of the mode decision-maker in IEG systems.