三值光学计算机

三值光学计算机是2017年3月问世的通用型光电混合计算机系统。它用无光态和偏振方向正交的两个偏振光态表示信息,用旋光器和偏振片来改变这三个光态,进而完成三值逻辑运算和MSD(modified signed-digit representations)冗余表达数值的二进制并行加法运算。这种新型计算机具有处理器位数众多、处理器位可以分组独立使用、处理器位的计算功能可重构等优势;还以非易失随机存储器件为基础,构建了与处理器频繁交换大量数据的双空间存储器系统;为便于编制发挥这些特色的应用程序,采用SZG文件为程序员遮蔽三值光学处理器与传统电子处理器的差别,构成了保持传统编程技术的新编程平台。目前,针对快速傅里叶变换、元胞自动机等典型算法,验证了这种新型计算机的加速能力。     

一种解决混联系统组合爆炸问题的贝叶斯网络

针对传统三层节点贝叶斯网络(Bayesian network,BN)在系统可靠性分析中的组合爆炸问题,提出了一种适用于复杂混联系统的级联BN建模方法.首先,在引入s类(f类)节点基础上建立了描述并联(串联)逻辑的信息通路模型,进而通过为通路模型各节点赋予同逻辑的条件概率参数,提出了构建并联(串联)系统等价级联BN的方法;其次,结合"超级方框"的概念分析了将典型串并联、并串联系统转化为等价级联BN的方法,并基于系统可靠性框图(RBD)相关矩阵,设计了将复杂混联系统转化为等价级联BN的算法-Generate-Chain-BN;最后,分别建立了某混联系统RBD的等价三层节点BN和级联BN模型,对两种BN进行了对比计算.理论和实例分析均表明,本文建立的级联BN可将原三层节点BN的空间和时间复杂性由指数级降到线性级,解决了三层节点BN固有的组合爆炸问题,可成为复杂混联系统可靠性分析的有效手段.     

融合多源先验信息的舰船备件可靠性评估

舰船工作环境常导致备件的实际可靠性规律与设计参数不一致。在实际使用消耗量较小的条件下,全面分析备件可靠性信息来源,通过定义似然权重系数,融合多源先验信息,建立指数型备件可靠性的贝叶斯评估方法。最后,通过仿真分析验证方法的合理性。结果表明,所提出的基于似然权重的先验信息融合方法可以较好地融合不同信息源的可靠性信息,估计方法具有较好的稳定性。     

三栖四旋翼模型与PID控制设计研究

本文在三栖四旋翼机体结构和飞行原理的基础上,利用牛顿-欧拉法对无人机进行动力学受力分析,建立相应数学模型,通过四旋翼无人机的数学模型分析,设计了比例-积分-微分(PID)控制器,利用MATLAB进行仿真验证。     

技术创新对企业绩效的影响——以军民融合企业为例

军民融合企业的发展对促进军民融合具有重要意义,通过实证研究军民融合企业技术创新对企业绩效的影响.结果表明,在军民融合企业的创新元素中,科技人员和开发产出能力对企业绩效具有显著的促进作用;在控制变量中,公司规模与成长性对企业绩效具有明显的促进作用.针对实证结果和我国军民融合企业的实际发展情况提出了相应的对策和建议.     

网壳结构基于性能的动力失效判定准则

基于性能的设计思想,文章提出了一种网壳结构震后是否发生动力失效的判定准则。按常规设计的网壳结构遭遇地震后,保留残余应变的状态并作为初始状态重新进行常规设计,如果此时网壳结构已不能满足初始设计时所要求的各项性能,则认为网壳结构已发生动力失效;进而将网壳结构的动力失效形式分为Ⅱ类,该文提出的准则用于判定第Ⅱ类动力失效,称为第Ⅱ类失效准则;算例分析表明,该准则判别结果明确,便于工程实践的应用。     

军队新闻媒体融合演进过程中的态势分析

当前,我国军队新闻媒体在融合过程中既存在新闻资源垄断性、新闻渠道排他性、新闻内容关注度高等优势,也存在缺乏机制创新动力、具有互联网思维的专业人才匮乏、应对环境变化的适应能力弱等劣势。习近平总书记为媒体融合指出了方向,中央军委实施的军队媒体改革也面临着机遇;受众对新闻产品品质的要求不断提高、移动新媒体的冲击等威胁。结合态势分析和军队新闻媒体特点的基础上,今后,军队新闻媒体要利用"军改"契机,转变观念,完善顶层设计,加强人才建设,建立安全防护体系,提高产品质量,重视科技应用,健全版权保护体系,实施成本控制等,以促进进一步的媒体融合。     

基于启发式的多机器人SLAM地图融合方法研究

同步定位和地图构建（simultaneous localization and mapping,SLAM）是移动机器人在未知环境中完成地图构建和定位任务的关键技术。针对多机器人SLAM中的地图融合问题,提出一种启发式的搜索方法引导局部地图的重复区域进行地图融合。每个机器人可以在不了解其相对位置的情况下建立局部地图,并将局部地图信息发送至同一工作站中,以局部地图的相似性为判断指标融合得到最优的全局地图。在机器人实物平台上进行验证,结果证明了多机器人SLAM的地图融合算法的有效性和准确性。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

钢管约束钢筋再生混凝土柱三面受火下的耐火极限

目的 研究三面受火的方钢管约束钢筋再生混凝土柱的耐火极限.方法 采用ABAQUS有限元软件建立了在IS0834标准火灾作用下三面受火的方钢管约束钢筋再生混凝土温度场及耐火极限有限元分析模型,分析了三面受火过程中取代率、荷载比、混凝土强度、长细比、含钢率、荷载偏心率对构件截面温度及其耐火极限的影响.结果 荷载比对试件耐火...