回归分析在水泥热量预测中的应用

为了利用回归分析预测水泥热量,选用某种水泥在凝固时放出的热量作为因变量,四种化学成分含量作为自变量,利用多元线性回归分析方法建立回归方程并求出预测区间,再利用化学成分含量的观测结果对热量进行预报,从而说明了回归分析方法在化学方面的应用.     

直升机检查性反潜时吊放声呐搜潜效能研究

通过对检查性反潜特点和吊放声呐战术特性的分析,确定了检查性反潜时反潜直升机采用吊放声呐搜潜的效能指标。在进行了必要假设的基础上,应用概率论和搜索论建立了效能模型。并初步探讨了所建立效能模型的战术应用。     

Bipartite graph-based control flow checking for COTS-based small satellites

Single event upset(SEU)effect,caused by highly energized particles in aerospace,threatens the reliability and security of small satellites composed of commercial-off-the-shelves(COTS).SEUinduced control flow errors(CFEs)may cause unpredictable behavior or crashes of COTS-based small satellites.This paper proposes a generic software-based control flow checking technique(CFC)and bipartite graph-based control flow checking(BGCFC).To simplify the types of illegal branches,it transforms the conventional control flow graph into the equivalent bipartite graph.It checks the legality of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead.Theoretical analysis shows that BGCFC can detect all types of inter-node CFEs with constant time and memory overhead.Practical tests verify the result of theoretical analysis.Compared with previous techniques,BGCFC achieves the highest error detection rate,lower time and memory overhead;the composite result in evaluation factor shows that BGCFC is the most effective one among all these techniques.The results in both theory and practice verify the applicability of BGCFC for COTS-based small satellites.     

基于CATIA／CAA数模属性自动校验技术研究

针对在CATIA中使用人工审核方法检测工装数模规范性时效率低、易漏检等问题,提出了一种对工装数模规范性进行自动校验的方法。该方法基于CAA,以CATIA为平台,Visual C＋＋为编程工具,能够自动怏速准确进行检验,解决了订货单信息、数模信息自动获取的难题。缩短了工装设计周期中用于校验的时间,提高了工作效率,为模具设计部门对工装数模规范性实现高效检测提供了帮助。     

等分压常压累积检漏技术

通过对常用的大气压累积法氦质谱检漏过程的理论分析，指出了该方法可能的系统误差。分析认为：对于表面材料粘附几率较小的被检件，可以采用常用的大气压累积检漏方法进行总漏率的测量，而对于表面材料粘附几率较大的被检件（ 如表面存在大量的有机材料等） ，如采用常用的大气压累积检漏方法进行总漏率的测量必将带来较大的系统误差。最后，提出了消除该系统误差的等分压常压累积检漏技术，并与常用的常压累积法检漏技术进行了比较。     

刍议军人婚姻保护

经济、社会的发展和多元化,使军人婚姻和家庭稳定面对越来越多的现实挑战,这直接关系和影响到部队日常训练和作战能力.因此,加强和完善必要的法律和措施,切实保护军人在婚姻家庭方面的合法权益对于稳定部队、提升部队作战能力有着重要的现实意义.本文主要从军婚概念的界定、军婚现状及保护军婚的意义、措施方面入手,对这一问题进行分析和探...     

基于“嫦娥2号”CELMS数据的冯·卡门撞击坑微波辐射特性

冯·卡门（Von Kármán）撞击坑位于月球背面的SPA盆地西北部,切穿了浅层月壳,具有异常的矿物成分分布。基于微波辐射计数据的月壤微波辐射特性分析,对月球热演化和岩浆演化研究具有重要的参考价值。本研究基于“嫦娥2号”卫星微波辐射计数据,采用时角分析、双线性插值方法,生成了研究区域的亮温（T_B）图和亮温差（dT_B）图像;结合Arcgis软件,叠加地质图,并结合成分、地形图,研究了Von Kármán撞击坑微波辐射特性。研究结果表明：研究区北部出现高T_B异常,初步判定为下垫面温度较高;研究区南部出现与钛铁矿（FeO+TiO₂）含量分布相对应的亮温表现;结合研究区的微波辐射特性,重新进行了冯·卡门撞击坑地质解译;根据冯·卡门撞击坑的亮温表现,建议北部为着陆区重点选择区,其次为南部和西部。     

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

压力传感器现场静态标定分析

介绍压力传感器在计量室与工作现场校验的不同结果和原因,旨在为其使用提供正确的方法.