广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

数字化战场与战场数字化技术——“数字化战场与单兵数字化系统”系列论文之一

首先研究了数字化战场的概念及内涵，然后着重讨论了战场数字化系统的体系结构和实现其互联、互操作的设计原则与思路，提出了建立战场数字化系统的关键是把当代开放系统发展的成果与军事领域的特殊要求相结合，研究其体系结构，研究、制定和推行三军统一的各层次信息界面标准和接口规范。     

多主体系统建模方法探索

本文提出结合组织学理论研究多主体系统（ Ｍ Ａ Ｓｓ）建模的一种方法。文章从宏观到微观，在整体组织、个体和并发行为等不同抽象层次上论述了分析与设计多主体系统的建模方法，并详细介绍了用于多主体系统设计的系统组织模型、主体概念模型和分布式协作求解模型三个抽象模型的主要研究内容。     

不同结构形式气液同轴式喷嘴的流量特性

本文通过实验方法对两种不同结构形式的气液同轴式喷嘴流量特性进行了研究,重点考察了喷嘴内气液相互作用和环境反压的变化对喷嘴流量特性的影响,研究结果表明同轴离心式喷嘴内气液相互作用比同轴直流式喷嘴内气液相互作用要强。对于这两种喷嘴,反压的变化对气相流量的影响规律相同,而对液相流量的影响规律却不同     

机动导弹扇形区域打击模型及实现

考虑对机动导弹实施机动区域打击,建立起在扇形区域瞄准点选取模型,并通过计算机模拟进行了结果分析。该方法具有通用性,对制定作战方案以及生存选择具有现实意义     

1, 4-二氯甲基-2, 5-二甲基苯与1, 4-二氯甲基-2-甲氧基-5-辛氧基苯的共聚研究

用1,4-二氯甲基-2,5-二甲基苯和1,4-二氯甲基-2-甲氧基-5-辛氧基苯共聚合成了一种可溶的聚对苯乙炔的衍生物,对共聚物结构进行了红外光谱、核磁共振氢谱表征     

基于SLAM的图形建模仿真环境

本文详细介绍了基于ＳＬＡＭ的图形建模仿真环境的设计与应用，包括图形建模环境的实现，ＳＬＡＭ网络的进程交互仿真策略以及仿真器的设计，并进一步探讨了该系统用于协同仿真进行混合异构建模的思想。     

一维非均匀分布参数系统的渐近传递函数方法

提出了一维非均匀分布参数系统的一种通用解法：渐近传递函数方法。对一般的一维非均匀分布参数系统，引入状态变量将控制方程及边界方程写成状态空间形式。通过定义小参数和摄动方法，使之变成常系数微分方程，从而得到问题的摄动解。各阶摄动解均具有规范的形式，是一以传递函数为积分核的积分形式解析解。文中最后给出了一些数值算例，验证了方法的有效性。     

电爆炸切断开关的实验研究

电感储能系统中的关键技术是切断开关技术,本文论述了导体的电爆炸机制,以及作为切断开关爆炸导体参数选取的经验公式,并设计了一种爆炸导体切断开关的装置结构,在实验中取得了较好的结果。通过调节导体参数,可得到脉宽２８０ｎｓ,电压增益达到十几倍的高功率脉冲信号,其结果对我们通过用虚阴极二极管等器件作负载来产生高功率微波有重要的意义。     

基于FPGA技术对老装备技术改造的研究

对服役多年达到使用寿命的电子装备,采用现场可编程门阵列（FPGA）集成电路技术进行技术改造,既能保证装备原有的技术性能指标,又可提高装备的可用性、维修性及可靠性．介绍了采用FPGA技术对某型数字式指挥仪进行技术改造的方法,并表明这种方法是装备技术保障中的一种行之有效的技术措施．