结构化装备型号需求论证模式研究

结构化是系统工程分析问题的重要手段。为给装备型号需求论证工程化提供理论依据与技术支撑,对结构化装备型号需求论证模式的相关问题进行了研究。分析了装备型号需求论证流程,界定了装备型号需求论证工作范围,明确了装备型号需求论证的内部流程和外部边界;针对一体化联合作战要求,提出了有指导性的需求论证策略,确保结构化装备型号需求论证模式的科学性;借鉴美军体系结构技术,构建了结构化装备型号需求论证空间,对整个论证空间的结构设计、论证域的划分和各论证环节的论证任务进行了深入研究,从技术角度实现了需求论证过程的结构化。     

非单调推理与假说的发生

本文对作为人工智能理论基础的人类思维和逻辑的发展及问题进行了讨论,着重研讨了推理的非单调性质、自动推理模式、调节机制,以及假说和猜想的产生。     

军事需求评估的形式化建模分析

为更加科学有效评估军事需求,通过需求评估“阶段划分、对象确定、指标构建”等步骤,系统阐述军事需求评估问题;形式化语言对需求论证阶段的方案需求值、落实阶段的能力生成值和检验评估阶段的需求满足值等指标重点描述,研究了需求评估的预期走势;基于Kalman滤波思想对提出的形式化模型进行实验算例分析。结果表明：评估结果能够逐渐逼近理想值,误差可以收敛;评估周期、评估初始值、预测误差、观测误差等因素对评估走势最终结果产生影响;综合评估结果与分项评估指标之间为非线性关系。因此,本文建立的形式化模型能够表征需求评估的基本规律,相关研究成果可以为军事需求评估提供理论参考和支撑。     

谈“三非”人员对我国的不良影响及对策

近年来，我国的“三非”问题逐渐凸显，大量“三非”人员的涌入给我国的国家尊严、国防安全、社会稳定、经济发展以及人口素质等诸多方面都带来了冲击。研究化解、预防“三非”人员，将对我国的经济发展、社会稳定具有极为重要的现实意义。     

对发展空天武器装备体系及相关问题的思考与建议

21世纪以来,航空航天空间已成为国家安全和发展的战略制高点。空天武器装备发展对武器试验提出新的需求,空天武器装备试验应具备理论体系能力、战场环境能力、指控能力、测控能力、通信能力、靶标研发保障能力、结果评定能力。为建设空天武器装备试验靶场体系,要开展需求论证工作,树立“逻辑靶场”理念,构建联合试验机制,走信息主导战略和非常规武器战略并重发展之路,走基于网络化信息保障系统的空天作战与集于常规信息保障作战主备发展之路,加强顶层战略决策。     

武器装备体系贡献率研究现状分析

武器装备体系贡献率是全面、科学地评估武器装备在体系中发挥作用情况的指标,是目前装备论证领域的研究热点.收集了近年来国内在该领域的研究成果和国外与之相关的研究成果,通过对武器装备体系贡献率的概念内涵、属性特征、评估指标和方法的总结归纳,分析了研究中亟待解决的问题和面临的挑战,为武器装备体系贡献率的研究工作提供参考借鉴.     

一种锥比率数据包络分析模型及有关结论

本文研究一种锥比率数据包络分析模型,它既能反映各项输入或输出的相对重要性和对某些决策单元的偏好,又可单纯地评价决策单元间的相对技术有效性。本文着重讨论这一模型的DEA有效性与多目标规划非支配解的关系以及有效决策单元的存在性等问题,论证了有关结论。     

“逆解”与“顺解”标准值之再认识

从火控系统论证和动态精度检验需要出发,对火控系统动态误差应该用“逆解”还是“顺解”求取标准值问题,提出了已被否定的“顺解法”有再研讨、认识之必要。     

因果性,等值式和可能世界:关于形式知识本性的研究

本文基于对因果性,等值式以及重言式等概念的独特分析,表明了对同一命题事实真理观和逻辑真更观可有不同的理解;进而论证了重言推理的有效性并非必然地导源于其同义反复性。     

装备预防性维修的维修级别逻辑决策分析方法

针对预防性维修的维修级别没有规范、统一的分析与确定方法的问题,研究了预防性维修的维修级别逻辑决策分析方法。明确了预防性维修的维修级别决策分析的对象是预防性维修工作类型,预防性维修主要有定时维修和状态维修,定时维修分为定时拆修和定时报废2种维修工作类型,状态维修分为状态信息检测、状态识别、状态预测、维修决策、故障诊断和维修实施等维修工作类型。根据维修间隔期、维修能力评估、其它非经济性因素以及经济性分析,分别建立了定时维修和状态维修的维修级别逻辑决策模型。     

略评“语言谬误”──评介楚明锟主编的《逻辑学》

２０世纪５０年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。２０００年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。     

把逻辑植根于辩证唯物论基础之上——从起源、目的、研究方式、作用看逻辑的本质

按照辩证唯物论的观点,形式和内容是不可分离的.逻辑在本质上只是以形式的方法研究内容--对象间的最一般关系,绝非纯形式.逻辑的起源、目的、研究方式和作用充分证明了这一点.把握这一点,可以把逻辑与经验知识及真理恰切地沟通起来,对推进逻辑学的研究与发展有重要意义.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

基于LBDL逻辑的抗DPA攻击电路设计方法

动态差分逻辑是一种典型的电路级差分功耗攻击(DPA)防护技术.这种技术通过使逻辑门保持恒定的翻转率来降低电路功耗与数据信号之间的相关性.介绍了一种新型的、基于查找表(Look-Up-Table,LUT)结构的动态差分逻辑(LBDL),以及基于这种逻辑的集成电路设计方法.该设计方法仅需在传统的半定制设计流程中添加少量的替换操作就可以实现 ,因而比其他完全需要全定制设计的动态差分逻辑具有更好的实用性.而相对同样适用于半定制实现的动态差分逻辑 WDDL(Wave Dynamic Differential Logic),LBDL逻辑解决了逻辑门翻转时刻与数据信号之间的相关性,从而比WDDL逻辑具有更好的功耗恒定性.实验结果表明,该设计方法能够有效实现具有抗DPA攻击性能的电路.     

基于直觉模糊时间Petri网的不确定性时间推理方法

针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。     

一种模糊自适应INS/GPS组合导航方法

提出了一种基于模糊逻辑的自适应卡尔曼滤波新算法,即基于滤波数据残差构造一种模糊算法,以自适应控制卡尔曼滤波器的增益系数。从而可以消除异常的测量数据带来的影响,使滤波器的残差始终保持零均值,且使估计误差的协方差阵收敛,最终实现最优估计。通过对INS/GPS组合导航系统的计算机仿真结果表明,该算法具有比常规卡尔曼滤波算法更高的导航精度。     

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

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

导弹气动参数变化时PID与模糊控制的仿真

以参数大范围变化的导弹为研究对象,分别设计PID控制器和模糊控制器,并对PID控制器和模糊控制器组成的稳定回路进行仿真,仿真结果表明,PID控制器不能适应参数大范围的变化,表现为容易产生超调。简单模糊控制器对外界参数具有较好的适应性和鲁棒性,但存在稳态误差,通过采取模糊——积分并联混合,改善了模糊控制的稳态性能,提高了模糊控制的稳态精度。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。