基于线性时态逻辑的动作行为表示方法

计算机生成兵力(CGF)系统在虚拟战场环境中提供一组能自治地控制自身行为的智能化虚拟实体,并要求这些实体与虚拟环境中人控制的其它虚拟实体在行为上不能区分。因此,如何实现这些计算机生成的智能实体的行为并提高其智能水平,成为CGF系统开发的难点和瓶颈。行为表示是行为实现的基础,对CGF实体行为的生成及其效率与真实性都有直接影响。本文借鉴情景演算中的动作理论,研究CGF实体的行为表示,借助线性时态逻辑表示CGF实体的行为及其之间的关系,提出了基于线性时态逻辑的动作行为表示方法,为建立CGF实体的行为描述语言提供了理论基础。     

坦克分队计算机生成兵力(CGF)实体仿真研究

坦克分队CGF实体仿真模型是陆军作战仿真系统研制不可缺少的一部分。本文从建立CGF实体的抽象模型入手,研究坦克实体行为的表示、生成和控制方法。在分析了模拟系统中所需的CGF实体模型分类的基础上,重点实现了一般物理行为的生成方法,包括CGF实体的机动、侦察、射击、外弹道、射弹散布等模型,以及研究了坦克分队在虚拟战场中的路线规划、队形转换、火力运用等聚合级实体行为的实现方法。最后,从人工智能理论着手,就坦克分队CGF实体智能行为仿真的方法进行了理论探索,提出了相应的方案,为今后的实践性开发工作打下基础。     

基于主客观综合赋权的CGF态势评估建模研究

超视距空战仿真中,计算机生成兵力(computer generated forces, CGF)实体态势评估行为是一种综合反映决策者主观偏好和决策信息客观排序结果的理性行为。为了解决CGF实体态势评估行为建模过程中作战信息的客观模糊性与指挥员的思维主观性相结合的问题,提出一种基于主客观综合赋权的CGF态势评估建模方法。该方法以对超视距空战中CGF实体态势评估行为产生机制的分析为基础,以模糊多属性决策方法为工具,根据主客观综合赋权的多属性决策方法,计算出目标各威胁因素的权重,得出当前空战态势中各CGF实体的威胁排序结果,进而估计出目标可能的作战意图。实例验证表明,基于主客观综合赋权的CGF态势评估仿真方法能有效地模拟实际兵力的态势评估行为,提高超视距空战仿真中CGF实体行为决策的真实性。     

基于多Agent系统的计算机生成兵力建模研究

在计算机生成兵力(computer generated forces,CGF)的研究中,引入了多Agent系统(multi-agentsystems,MAS)理论,并以面向对象Petri网(object-oriented Petri nets,OPN)为基础,建立了一种通用的适合CGF的MAS形式化模型ArmyMAS.ArmyMAS描述了作战实体Agent、管理Agent和配置等三个单元,形象地刻画了CGF的结构与行为特性,同时可以利用Petri网的相关分析方法和工具对模型进行分析和验证.最后利用Ar-myMAS对弹道导弹攻防对抗CGF系统进行建模和分析,验证了该模型的有效性.     

基于AGENT的防空作战CGF行为建模研究

介绍了防空作战CGF系统的组成结构,对防空作战CGF系统的特征和防空作战CGF实体对象的行为特征进行了分析,提出了基于Agent的实体行为建模方法,以防空作战单元CGF系统为例,构建了搜索指挥Agent的行为模型,对多Agent的行为规划和Agent主体交互问题进行探讨,为防空作战CGF系统建模提供了有效的方法和途径。     

基于多Agent系统的导弹突击行为建模方法研究

在战争复杂适应系统CGF仿真行为建模中,引入Agent理论和技术,提出了一种基于MAS的战术导弹群突击行动的行为建模方案,该方案支持各Agent成员的自主行为、协作行为,可用于解决CGF实体在虚拟战场中的态势评估、决策制定、学习等行为,为CGF实体在分布交互式仿真中智能行为的逼真仿真提供了基础。     

基于控制论的计算机生成兵力实体对象行为模型

实体行为建模是计算机生成兵力(CGF)研究的重要内容。基于控制论的基本思想，提出适应虚拟战场需求的虚拟实体对象行为模型ESCP。ESCP行为模型由感受器、效应器和控制器三部分组成，感受器感知虚拟战场环境信息和内部反馈事件，效应器反映CGF实体对象对虚拟战场环境的作用，控制器对感知的虚拟战场环境信息进行处理，并对实体的行为进行控制。ESCP支持复合行为、协同行为以及行为并发，行为可重用。     

通用型CGF系统中推理决策模型的研究

为了使计算机生成兵力(CGF)实体在仿真环境中具有智能,人工智能技术被广泛的采用。在设计通用型CGF系统推理决策模型的过程中,使用了产生式系统来实现作战任务阶段的决策,使用了模糊理论来实现敌方实体威胁程度的决策,使用了人工神经元网络来实现武器开火的决策。这些人工智能技术在舰艇兵力模型设计中的应用表明,它们能够有效的提高仿真实体的智能水平。     

一种有效的矢量图形SVG的结构化方法(英文)

提出了一种关于基于XML的矢量图形SVG实体类、对象之间的关系结构模型与实现方法,其过程是通过对实体的矢量化描述,将实体层次化,并用基于XML的伪码(pseudo-XML)来表示。设计一种转换算法,将伪码转换为结构化的SVG矢量图形代码。结构化的SVG代码有利于基于内容的矢量图形SVG的存储和检索,增强了SVG代码的可读性和可扩展性。     

Q-学习算法在CGF系统中的应用

CGF中的战场决策仿真十分复杂,要求CGF实体应能根据知识库做出类似人类的决策行为。目前,CGF系统中的决策模块大多是硬编码的,不能满足军用仿真发展的需求,这就要求CGF系统具有学习和自适应能力。Q-学习方法是一种特殊的增强学习方法,可以通过多次迭代计算正/负效益进行主动学习。本文介绍了Q-学习及其在CGF系统中的应用。这种较新的机器学习方法,在CGF中有着良好的应用前景。     

基于禁忌退火粒子群算法的火力分配

火力分配问题是典型的NP完全问题,传统的求解算法存在指数级的时间复杂度。给出具体实用的防空火力分配模型,提出一种基于禁忌搜索与退火粒子群优化的新算法,并针对多种空袭规模的实例进行计算机仿真。仿真结果表明,与禁忌搜索、标准粒子群优化、退火粒子群优化等智能算法相比,新算法在解决火力分配问题时具有更优良的收敛精度和时间性能。     

HLA时间管理算法中输出时间的研究

时间管理服务是高层体系架构HLA(High Level Architecture)的重要组成部分.GALT(Great Available Logical Time)算法是实现时间管理服务的关键技术,而输出时间OPT(OutputTime)则是某些GALT算法实现的基础.不合理的输出时间算法所确定的GALT算法会违背HLA时间管理的原则或延缓联邦推进.通过对IEEE 1516[1]标准接口的分析,提出了一种符合IEEE 1516标准的输出时间算法,其它的输出时间公式可引为参考.     

多模索引调制OFDM频谱及能量效率优化方案

为提高多模索引调制正交频分复用的能量效率(energy efficiency, EE)与频谱效率(spectrum efficiency, SE),提出优化方案和相应检测算法。该方案在不减小子块间最小欧式距离的前提下通过增加模式排列的种数使系统传递的索引信息量增加,从而提升系统SE。此外该方案引入空载模式使得部分信息的传输无需消耗能量,从而提升系统EE。同时提出改进的低复杂度最大似然检测算法以降低模式排列的检测复杂度。分析模式排列数及空载模式对误比特率(bit error rate, BER)性能的影响,并据此对引入空载模式后的多模式星座进行优化。仿真结果表明,优化方案的EE和SE都有所提升,且BER性能更优。     

生态产业共生网络运营成本及其优化模型开发研究

从构成生态产业共生网络的微观要素———企业环境责任入手,开发了基于企业环境责任市场化机制的生态产业共生网络运营成本模型,并对模型假设做了改进研究.模型研究结果表明,环境责任代理企业的环境责任履行成本是影响生态产业共生网络运营总成本大小的关键要素,而环境责任委托企业和中间物流企业的各种参数对生态产业共生网络运行总费用的影响相对较小.基于这种认识,最后又探讨了影响代理企业运营成本的主要因子,并对费用优化模型做了应用研究.     

非线性Volterra延迟积分微分方程Runge-Kutta方法的散逸性

将(k,l)-代数稳定的Runge.Kutta方法应用于非线性沃尔泰拉延迟积分微分方程,讨论了该方法的数值散选性,证明了该方法具有有限维和无限维散逸性.     

Total quality management in manufacturing: A study in the Singapore context

The paper presents a total quality management (TQM) framework combining the concepts underlying the notions of total quality control (TQC), Just in Time (JIT), manufacturing resource planning (MRP), and quality control circles (QCCs). An integrative model, in which these notions and the related issues are complementarily connected on the same logical plane is presented and it is argued that this is akin to the total systems intervention (TSI) approach in its endeavor to seek manufacturing excellence. It also has similarities to creative problem solving, especially with regard to corporate strategy, but here with an emphasis on the role of manufacturing. However, TQM is an idea of its own, and not a conceptual derivative of systems theory.     

Blind source separation of ship-radiated noise based on generalized Gaussian model

1 .INTRODUCTIONBlind source separation (BSS) in signal processinghas received considerable attention from many re-searchers .It is a fundamental problem in signalprocessing with a large number of extremely di-verse applications such as multi-user communica-tions ,speech signal processing, array processingand medical signal processing including ECG,MEGand EEG. The general goal of blind sourceseparation (BSS) is to separate the statistically in-dependent , unknown source signals from t…     

某型反舰导弹武器系统DIS设计与仿真

分析了 DIS系统的特点 ,建立了某反舰导弹武器系统 DIS体系结构 ,并应用 DR、VR技术对武器系统进行计算和仿真 .     

CPML在脉冲辐射场数值模拟中的应用研究

利用时域有限差分法对电磁脉冲模拟器辐射天线产生的电磁场进行数值模拟,在分析卷积完全匹配层(CPML,convolutional perfectly matched layer)原理的基础上,分别选用CPML和修正的完全匹配层(MPML)两种吸收边界条件进行对比分析,仿真结果表明CPML不仅可以吸收传播模,而且还能够有效吸收低频凋落波,获得了很好的截断效果,展示了其在电磁脉冲模拟器数值模拟中的应用前景。     

全状态数字化建模及其在水电机组维护中的应用

为了减少停机时间和维修费用,水电厂正在逐步从计划检修向状态检修过渡。为了满足状态检修的需要,在三维动态建模技术和分布式物理图网建模技术的基础上提出了水电机组全状态数字化建模的概念并分析了其建模基础、建模步骤、关键技术及建模目标。以水轮机调速系统摇摆式主接力器为例详细描述了全状态数字化建模的实现方法及其在水电机组维护域中的应用情况。全状态数字化模型的实现和应用将促进水电设备运行-维护-管理自动化水平的发展和提高。