基于OPN的军事信息服务组合模型构建方法

介绍了军事信息服务的基本含义,给出了基于对象Petri网的军事信息服务组合模型的形式化描述方法,构建了军事信息服务组合模型的基本结构,并针对一个具体的防空反导作应用案例,使用国防科大对象Petri网建模仿真环境工具开发了相应的军事信息服务组合模型,并对组合服务进行了简要分析。实践表明,该方法能满足军事信息服务组合模型构建的需要,并具有良好的服务建模与仿真分析能力。     

Waiting time analysis for a queueing system with time‐limited service and exponential timer

We consider a single‐queue with exhaustive or gated time‐limited services and server vacations, in which the length of each service period at the queue is controlled by a timer, i.e., the server serves customers until the timer expires or the queue becomes empty, whichever occurs first, and then takes vacations. The customer whose service is interrupted due to the timer expiration may be attended according to nonpreemptive or preemptive service disciplines. For the M/G/1 exhaustive/gated time‐limited service queueing system with an exponential timer and four typical preemptive/nonpreemptive service disciplines, we derive the Laplace—Stieltjes transforms and the moment formulas for waiting times and sojourn times through a unified approach, and provide some new results for these time‐limited service disciplines. © John Wiley & Sons, Inc. Naval Research Logistics 48: 638–651, 2001.     

The resource constrained project scheduling problem with multiple crashable modes: An exact solution method

We introduce a formulation and an exact solution method for a nonpreemptive resource constrained project scheduling problem in which the duration/cost of an activity is determined by the mode selection and the duration reduction (crashing) within the mode. This problem is a natural combination of the time/cost tradeoff problem and the resource constrained project scheduling problem. It involves the determination, for each activity, of its resource requirements, the extent of crashing, and its start time so that the total project cost is minimized. We present a branch and bound procedure and report computational results with a set of 160 problems. Computational results demonstrate the effectiveness of our procedure. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 107–127, 2001     

加强成人《高等数学》的习作解题指导

教学中指导学生正确使用数学符号、正确运用基本概念、正确运用函数图象以及探索解题思路等 ,可以提高成人《高等数学》的教学质量 ,也可以提高统考的及格率     

面向Agent的海军军械勤务辅助支持系统的逻辑构建

结合分布式人工智能中的Agent技术和军械勤务辅助支持系统的特点 ,研究了面向A gent的军械勤务辅助支持结构。结合该系统介绍了Agent和多Agent系统的概念 ,讨论了A gent的通信机制     

中锰铸钢坦克履带板连接筋的喷丸强化处理

针对新研制的中锰铸钢坦克履带板装车考核中的特点,提出了对连接筋实施喷丸强化处理的预强化方案.分析了喷丸强化层的组织和硬化特性;还通过连接筋的3点弯曲疲劳试验,探讨了喷丸强化对连接筋疲劳裂纹形成的影响.研究认为,对中锰铸钢坦克履带板连接筋进行喷丸强化预处理,是提高其整体使用寿命的重要途径.     

空间信息栅格体系与服务聚合技术

空间信息应用中存在的数据海量、分布异构、处理复杂、计算密集等问题制约了空间数据和信息的广泛共享和应用。空间信息栅格(SIG)以Grid和WebServices技术为核心,共享并汇集地理上分布的海量空间信息资源,实现动态整合与集成。在构建开放性SIG七层应用体系的基础上,重点研究SIG服务聚合技术,基于Petri网和图论提出了一种新的服务聚合流程模型(服务/资源网),同时构建了可扩展的服务动态选择模型(SISM),实现服务聚合过程中的动态服务选择。结合国家地质调查业务应用,通过地下水资源评价应用实例对SIG的实用性和有效性进行了验证。     

舰炮武器系统服务概率模型

为更有效地评价舰炮武器系统的射击能力和武器效能,本文以排队论为基础,建立了由舰炮武器系统与目标组成的排队系统服务概率数学模型,为综合评价舰炮武器系统的射击能力和系统效能提供参考依据。     

移动式雷达网的建立与优化

提出了移动式雷达网的概念和移动式雷达网的4种作战模式:环形模式、伞形模式、宽正面模式和纵深模式,对每种模式的优缺点进行了探讨。具体研究了宽正面移动式雷达网模式的优化问题,建立了相应的优化数学模型,并简单介绍了最优化模型的灵敏度分析问题。     

舰船航向保持的变结构控制及仿真

运用变结构控制理论和计算机仿真技术研究舰船航向保持过程的变结构控制问题,针对舰船定向航行要求航向准、舵角小的控制特点,采用二次型最优控制方法设计滑动模态超平面,设计了满足滑模超平面到达条件的指数趋近律,导出了对应的控制律。同时,为进行比较研究,设计了PID控制器并整定了相关参数。理论分析与仿真研究表明:对于舰船定向航行,变结构控制方案正确可行,控制效果优于PID控制方案。