基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

一种直扩信号伪码速率的快速检测方法

为了解决快速提取直接序列扩频通信信号伪码码速率的难题,详细介绍了一种用延时相乘法实现快速提取直扩信号伪码速率的原理和实现方法。理论分析和计算机模拟表明,该方法在较低的输入信噪比条件下具有较高的识别率。     

逼近理想点法在防空兵战斗部署方案排序中的应用

针对指挥员就多个防空兵战斗部署方案难以取舍的问题,运用逼近理想点法进行排序。在分析影响防空兵战斗部署方案因素的基础上确定影响方案优劣的几个重要指标。根据现有的防空兵战斗部署方案,假设不可能存在的一个正理想方案和一个负理想方案,运用逼近理想点法,计算各个方案到理想方案的相对贴近度,得到贴近度最大的为最佳方案。通过实例分析对该方法进行了检验,可为指挥员定下决心提供参考。     

一种超大数值孔径折反式光学系统的设计与应用

介绍一种超大数值孔径光学系统的设计研究 ,其中包括设计的难点、研究思路、解决方法及实际结果。这个系统与传统的光学系统相比较 ,具有超大数值孔径和二次非球面尺寸大等显著特点。该光学系统将主要用于对大地样品进行探测、分析。     

伺服机构故障下基于线性规划的运载火箭姿控系统重构控制

发动机伺服机构故障给新一代运载火箭姿控系统的可靠性和安全性带来挑战,亟须开展重构控制策略研究。针对这一问题,提出一种基于线性规划的摆角重构控制分配方法。将伺服机构故障下的摆角分配问题转化为1范数单目标有约束优化问题,进而转化为标准的线性规划模型,采用单纯形法进行求解。仿真结果表明,所提出的线性规划法能够实现伺服机构故障下姿控系统的完全重构,各摆角均未达到饱和值,表明了方法的有效性。     

一种顺序PROLOG机系统结构的研究

文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。     

织女一号气象火箭设计中的若干技术

织女一号气象火箭是一种小型无控固体火箭,由于采用了若干先进的技术,使其总体性能达到了国际先进水平。本文介绍了其总体性能,重点介绍了总体方案设计中采用的包括最优推力程序等若干先进技术。     

机载多目标攻击武器系统作战飞行程序设计

机载多目标攻击武器系统是当今航空武器系统研究的重点和发展的标志 ,其作战飞行程序设计是系统顶层设计的主要内容之一。综合了已有的研究成果 ,绘制了机载多目标攻击武器系统的功能逻辑流程图。在此基础上 ,采用模块化设计思想 ,进行了机载多目标攻击武器系统的作战飞行程序的组织结构设计 ,并阐述了基于表驱动和时间刻度管理的系统任务调度技术。     

基于专家系统的消磁电流决策

分析了建立消磁电流决策的专家系统的可行性 ,从基本概念和实际应用等方面介绍了基于专家系统的消磁电流决策的状态描述、数据库的建立以及推理机的确立等     

核动力装置热工水力运行分析程序中的堆芯物理模型

提出了一套用于微机版船用核动力装置热工水力运行分析程序的堆芯物理模型 ,该模型既能较逼真地描述实际的物理过程 ,又能满足运行实时性要求和运行监督所要求的计算精度