中间产品C~4ISR体系结构动态行为语义一致性验证方法

目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法.针对C4ISR体系结构动态行为的语义一致性.首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri网模型,利用该对象Petri网模型进行动态行为语义一致性验证,最后通过一个案例对其进行了说明.     

高层建筑消防给水系统存在问题探讨

高层建筑高度高、结构复杂、火灾蔓延途径多、人员疏散困难,发生火灾后如控制不及时,后果不堪设想。因此,对高层建筑防火设计的要求越来越严格,而消防给水则是最重要的一个部分。对高层建筑消防给水系统形式、室内外消火栓、水泵接合器的设置等几个方面问题进行了研究,希望能为从事此方面工作的人员提供借鉴。     

调频信号对调频步进ISAR的相干干扰技术

逆合成孔径雷达由于其独特的成像原理,具有比普通雷达更强的抗干扰能力.调频步进信号具有在保持瞬时带宽较小的同时通过合成宽带技术获得距离高分辨,降低系统实现复杂度的优点.提出了一种基于线性调频信号对调频步进信号体制成像雷达相干干扰方法,利用线性调频信号对调频步进雷达接收到的回波信号进行附加的频率调制和相位调制后转发,来破坏ISAR成像的方法.由于线性调频信号与线性调频步进信号有相似的频域特性,因此可以获得一定的处理增益,从而降低干扰功率.仿真试验表明这种方法行之有效.     

基于信息增益和相关性的判定树特征选择算法

特征选择是模式识别中需要解决的一个重要问题.针对已知类标号的样本集合,从特征的分类信息和特征间相关性2个方面出发,提出了一种基于信息增益和相关性的判定树特征选择算法.该算法是一种有监督方法,先采用信息增益度量特征的分类区分度,采用相关系数度量特征的冗余度,然后建立判定树,则树中的节点即为选择出的特征.     

考虑飞行器RCS分布的航迹规划

提出飞行器根据自身RCS分布特征,在雷达威胁完全覆盖防区时进行突防的三维航迹规划方法.将飞行器在三维空间中的运动分解为水平平面和垂直平面内的运动,简化飞行器RCS分布特征为蝴蝶结形分布,根据雷达探测目标信噪比大小提出多威胁情况下快速判断最具威胁雷达的方法,采用启发式A*算法得到突防航迹.最后对比分析采用固定RCS和分布RCS的飞行器所得突防航迹,结果表明采用分布RCS的航迹安全性更高.     

附连水质量的边界元法求解

研究了计算水下结构动态响应中附连水质量的边界元方法;根据数值积分和边界元法的原理,应用直线单元对结构边界进行离散,将原有表达形式中复杂的曲线积分转化成可直接计算的数值积分形式,从而解决了奇异积分的问题;得到了更适于直接计算的系数矩阵和向量的表达形式,使边界元法更方便地应用于计算无限流场中不规则截面物体的附连水质量.最后,给出了典型算例,并与经典计算结果比较,误差均在4%以内.     

面向开放式测试环境的诊断服务系统

为了将诊断与测试分离,提高TPS与诊断推理机制的复用性,采用组件技术构建面向开放式测试环境的诊断服务系统,并详细阐述了诊断模型描述方法和诊断推理服务组件的实现技术。以XML作为诊断模型描述语言,通过数据访问接口进行诊断模型数据与知识的交互,在模型管理服务的基础上,进行高级的推理和控制服务。     

分布式二进制传感器网络目标定位研究*

着重研究了分布式二进制传感器网络中对单目标定位的两个关键环节:传感器节点的协作和目标位置估计.在节点协作方面,提出了一种简单协作方法,这种协作方式仅要求节点在检测到目标进入或目标离开其探测区域时发送消息,通信量非常小;在目标位置估计方面,提出了一种基于m-网格的定位算法,该算法不同于质心定位法,综合考虑了探测到和未探测到目标的节点的位置信息对定位的贡献.仿真结果表明,在都使用简单协作方法的条件下,基于m-网格的定位算法在定位精度上优于质心定位法.     

一种基于主动网络技术的拥塞控制模型研究

文章对传统拥塞控制方案和主动拥塞控制算法进行研究,在此基础上提出了一种新的主动拥塞控制模型。重点描述了该模型的功能结构和软件控制流程,并对用于拥塞控制的主动报文封装格式进行了设计。最后对该模型的公平性、稳健性以及安全问题进行了探讨。     

基于GT-Power的柴油机环境适应性研究

分析了大气温度和压力变化对柴油机性能的影响;采用GT-Power软件对柴油机缸内工作过程进行模拟计算,并通过柴油机台架试验对仿真模型进行校核;经计算得到：随着大气温度的升高,缸内最高爆发压力和柴油机功率降低,燃油消耗率升高;随着大气压力的升高,缸内最高爆发压力和功率增大,燃油消耗率降低。研究结果可为研究柴油机对复杂环境的适应性提供参考依据。