移动智能体的形式化研究

移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 ,并进一步给出了对后续工作的展望     

军事物流的发展阶段与军事物流的基本特点

军事物流产生与发展经历了从概念孕育、产生与发展三阶段。军事物流具有活动的军事性、实体的特殊性、运作的缜密性和供需的不均衡性。     

改进合同网协议在防空武器目标分配中的应用北大核心

针对现代防空作战呈现出的协同性和动态性,引入多智能体系统的概念,对武器目标分配问题进行描述,建立了基于改进合同网的武器目标分配体系结构。在此基础上对传统合同网的招投标策略、中标策略及签约策略进行设计改进,提出了一种基于改进合同网的防空武器目标分配策略。最后以防空作战想定为例,通过仿真实验对基于合同网和改进合同网的武器目标分配策略进行了比较分析。实验结果表明,后者更具合理性和有效性。     

基于威胁联网环境的一种无人机航迹重规划方法

威胁联网环境中,无人机需要对运动威胁进行规避以安全到达终点。通过建立无人机和威胁的运动模型,并对每一时刻无人机和运动威胁的相对位置进行实时分析;提出了一种基于可飞性分析的航迹重规划方法;最后对该方法进行仿真实验。仿真结果表明,该方法增强了无人机对运动威胁的规避能力。     

基于脉冲块追赶的双基地雷达空间同步技术

为解决脉冲追赶技术在双基地雷达空间同步上的应用问题,提出了一种基于脉冲块追赶的双基地雷达空间同步技术,推导了脉冲块追赶时间表的计算公式,提出了以接收机波束形成速率为标准的工程可实现性分析方法,并对脉冲块追赶下的接收波束宽度和波束形成速率进行了仿真分析。仿真结果表明,在相同的双基距离积下,减小发射波束宽度、基线距离、发射脉冲宽度以及增大脉冲块长度可以降低对接收机波束形成的要求,便于工程实现。     

一个知识辅助的视频语义概念探测框架

视频语义概念探测是视频语义内容分析研究领域的热点和难点问题.语义概念探测方法的性能取决于其是否能够有效地建模和匹配视频语义内容特征.将视频内容抽象为感知概念和语义概念以及概念间的关系,提出了知识辅助的视频语义概念探测框架,利用本体建模概念间关系和上下文知识,从低层特征匹配和上下文匹配两个方面综合考虑语义概念的探测.通过线性融和策略,对匹配结果进行融合得到最终的探测结果.实验结果表明提出的方法探测性能良好.     

谈会计谨慎性要求的局限性及应采取的对策

谨慎性要求又称稳健性要求,它是针对经济活动中的不确定性因素要求人们在会计处理上保持谨慎小心的态度,充分估计未来可能发生的风险和损失,使会计报表使用者、企业决策者提高警惕,以应付纷繁复杂的外部经济环境的变化,把风险损失缩小或控制在极小的范围内。但会计谨慎性要求受市场机制的制约,与可靠性要求相冲突,可操作性不强,管理难度大。应在制度建设、人员素质、审计监督等到方面采取相应对策。     

多站纯方位定位系统的可观测性条件

对多运动站纯方位目标定位系统的可观测性问题进行了研究.通过运动等效,将多运动站纯方位定位系统等效成一个特殊的单运动站定位问题.利用拟线性估计方程,导出了系统不完全可观测的一些条件,分析中还发现了系统不完全可观测的新情形.     

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.     

纯时滞三种群捕食系统持续生存与全局吸引性

研究了具有HollingⅡ功能性反应的纯时滞的两捕食者、一食饵生物系统,通过构造合理的Lyapunov函数讨论了系统的全局吸引性,并得到系统持续生存的充分条件。