可组合仿真模型的语义形式描述及组合判定方法

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.     

舰船电气装备测试性标准初探

舰船电气装备的功能结构日益复杂，对其维修保障性能提出了更高的要求。为了减少舰船电气装备故障维修时间、降低全寿命周期费用，开展舰船电气装备的测试性标准研究至关重要。针对现有测试性标准可操作性不强、不配套、不明确等问题，在对国内外相关文献的研究基础上，结合舰船电气装备测试性设计研究现状，提出了制定舰船电气装备测试性标准的可行性建议，强调了故障诊断理论及测试性建模的重要性，为后续测试性标准化研究提供参考。     

海军是如何丢掉隐身飞机的? 美海军A-12舰载机计划简史

上世纪80年代开始,美国空军展开了轰轰烈烈的隐身飞机发展计划,著名的F-117以及B-2都是发展计划的产物。与此相对的是,美海军始终未有一型隐身飞机上舰,难道海军不需要隐身机?回顾A-12隐身舰载机的发展,我们或许可以梳理清美海军与隐身机纠缠不清的历史。     

马克思主义视野下的“全球化”

当今的“全球化”现象并未超出马克思主义的理论视野。20世纪的全球化实践,给当代马克思主义的发展提供了肥沃的土壤与坚固的基石。但是,当今的“全球化”仍然是资本主义的全球化。因此,严格意义上的全球化对于当代马克思主义来说仍然是一个新的政治议题。     

一类具有阶段结构和潜伏期时滞的SEI模型的全局动力学性态

研究一类具有潜伏期时滞、阶段结构和标准发生率的SEI模型,利用比较定理和单调迭代的方法,分别得到无病平衡点和地方病平衡点全局吸引的充分条件．     

美国第五代战机数据链最新改进一瞥

在未来的协同空战中,数据链是关键。然而美国的第五代战机却一直饱受数据链问题的折磨,严重制约了其战斗力的形成。为了解除这一"心病",美国空军正在积极寻求新的技术改进方案。     

二维非参数最大散度差鉴别分析的SAR图像识别

为增强线性鉴别分析(LDA)在图像识别中所提取特征的可鉴别性及避免小样本问题,提出了二维非参数最大散度差鉴别分析(2DNMSD)的图像特征提取方法。首先根据非参数特征分析的准则直接在二维图像矩阵上构造散布矩阵,然后基于最大散度差鉴别分析准则求取投影矢量。基于MSTAR计划录取的数据的仿真实验结果表明:即使方位角信息未知并且使用简单的最近邻分类器,该方法所提取特征在较低特征维数下的识别率也可以达到98%以上,表明了方法的有效性和正确性。     

瞄准“三化”提高民兵遂行任务能力

习主席反复强调,牢固确立战斗力这个唯一的根本的标准。这一重要论述明确了国防后备力量建设的目标。瞄准军地共赢,构建“平时服务、急时应急、战时应战”相统一的现代国防后备力量体系,其核心就是回答好“平时怎么服务”“急时如何应急”“战时能否打赢”的根本性问题。     

小波域非加性失真函数设计

在最小化嵌入失真隐写算法框架的基础上,提出了一种基于小波域的非加性失真函数图像隐写算法。首先在离散小波域设计了加性失真函数,主要考虑了亮度、频率和纹理掩蔽因子对载体失真的影响;然后结合模型矫正的方法对设计的加性失真函数进行了非加性矫正;最后结合网格码设计了隐写算法,将嵌入信息对载体的修改最小化,并且集中在人眼不敏感区域。实验结果显示,方案具有良好的视觉不可见性,且能抵抗空域SPAM特征隐写分析的攻击。