反证法的历史沿革

反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累和发现的源泉。     

基于Kullback-Leibler距离离散度的加权代理模型

复杂系统的仿真通常具有高维度、高计算量等特点，代理模型因其明晰的数学表达和良好的计算特性可用于逼近真实系统。加权模型对比单个代理模型来说，其稳定性和适应性更广。不同的代理模型其性能不一，根据特定指标，可以构造最优加权代理模型。基于代理模型预测分布以及Kullback-Leibler距离构造各子代理模型之间的离散度，并提出一种新的权函数构造方法。算例表明，该方法与最优子模型的精度相当，同时能提高对真实响应分布的逼近。     

具有坐标耦合和处理时滞的二阶离散多智能体系统的一致性

根据系统的拓扑结构、离散步长和旋转矩阵的旋转角,确定系统的渐近行为,给出多智能体系统达成二阶一致性的充要条件。证明了当0是拉普拉斯矩阵的一个简单特征值且离散步长、旋转角小于由代数方程确定的临界值时,会出现渐近一致性。数值模拟结果证明理论结果的正确性。设计了特征参数影响二阶一致性的相关案例,说明特征参数相关结论可为控制理论的一致收敛分析提供重要判据和理论支撑。     

基于序列二次规划算法的控制律寻优设计

针对某型无人机设计的纵向控制系统,运用经典控制器设计,然后通过参数优化而进行时域自动调节控制律参数的方法设计控制律,优化算法采用序列二次规划法.自动调参的过程是直观可视的.仿真结果表明运用该方法所设计出的控制律满足飞行品质要求,比传统的人工调节控制器参数效果更好,并提高了工作效率.这种方法可以应用于其他控制对象.     

C~4ISR需求过程概念

为了规范C4ISR需求工程中的实践活动,提出C4ISR 需求过程的概念.首先,根据C4ISR 需求涉及的作战领域、功能领域、技术领域,将C4ISR 需求划分为能力需求、系统需求和技术需求.然后,定义C4ISR 需求过程的概念,提出由需求领域、需求开发、需求管理构成的三维的C4ISR需求过程框架,需求开发活动包括需求采集、需求建模、需求检验和需求生成,需求管理活动包括关系管理、变更管理和版本管理.最后,给出C4ISR需求过程在C4ISR系统全生命周期各阶段中的实施,说明了其重要性.     

系统复杂性及度量

复杂性是科学技术面临的挑战之一，研究系统复杂性有着重要意义。综述系统复杂性基本语义研究背景，分析国内外历史上对复杂性的界定及不同定义；针对复杂性的分类，以本体论和认识论分类为基本框架，吸纳最新的复杂性分类定义成果，重新对复杂性进行归类。在此基础上，对复杂性的度量指标进行分类阐述，对相应的数学工具进行归类说明。设计案例说明了复杂性概念分类及度量的有效性。     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

基于目标结构特征像的SVM目标识别方法

针对支持向量(SVM)对目标高分辨一维距离像(HRRP)识别率和稳定性不高的问题,研究将目标分解理论推广应用于对目标极化散射矩阵的分解,求得了目标结构特征像.在分析研究SVM的训练和测试方法的基础上,采用SVM通过结构特征像对两实验目标进行分类识别,结果表明,基于目标结构特征像的SVM目标识别方法能够提高目标正确识别率,且其稳定性较好.该方法是一种有效的目标识别方法.     

数字化部队作战能力评估指标体系构建

探讨了数字化部队作战能力评估的指导思想和原则,从现代战争系统模型分解图的指标构建思想出发,以系统科学与工程理论为指导,构建数字化部队战争系统模型分解图,将现代战争系统分解成部队与武器子系统、电子信息子系统、指挥决策子系统和综合保障子系统,并分别对各子系统的能力指标内涵进行了详细解释,用信息系统描述了各指标体系的能力构成。     

基于新型非易失内存的远程零拷贝文件系统

为提升物联网与边缘计算应用中前端节点间的数据访问效率,提出了一种新型远程零拷贝文件系统。该文件系统无须借助特殊硬件,可直接基于通用网卡设备实现零拷贝的数据传输框架;充分利用新型非易失内存的随机访问特性,尽可能减少数据缓存和拷贝,提高数据访问的吞吐量。建立缓冲区池,精简并融合传统网络栈和存储栈,从而缩短文件访问路径,减少软件冗余,降低数据访问延迟。最终提供高带宽、低延迟的远程数据访问性能。测试结果表明,远程零拷贝文件系统比传统网络文件系统减少了42.26%～99.19%的读写延迟,细粒度访问下的吞吐量最高可提升1297倍,显著降低了处理器开销和缓存失效次数。