面向服务的作战仿真模型组合建模方法

为简化模型组合的实现方式,满足多样化作战仿真对模型服务组合的需求,针对作战仿真模型组合规则复杂、基本服务类型相对单一等特点,提出一种基于事件的服务组合BEWSC（Based-Events Web Services Composition）方法。首先定义一种基于MERA(mission-event-restriction-action)规则化语言,在此基础上,采用过程构造子,按照模块化方法对模型服务的组合方案进行描述,并分别从服务的发布者、服务的请求者和推理过程这三个角度对组合服务的执行流程进行具体分析,解决了服务组合表示困难、描述能力不足、模型匹配差异性大和模型组合有效性低等方面问题。     

舰艇编队作战任务优化分配

从舰艇编队的实际作战需求出发,将作战使命分解为多个作战任务,然后分配给相关平台。首先在每个平台只能承担一项任务的前提下,构建了编队作战任务分配的基本模型。在此基础上研究了两平台协同执行任务时效能互补、单平台在同时执行多项任务时武器装备相互干扰等情况,进一步构建了考虑平台间协同效益和平台执行多任务的作战任务分配模型。应用改进的遗传算法给出了编队作战任务分配方案优化选择的具体方法步骤,最后针对一个典型案例进行了仿真计算与分析,验证了三种模型的合理性。     

发射装药非稳态温度场仿真

弹药在长期贮存过程中,极易受环境温度和湿度的作用,使发射装药出现热分解、裂解、结霜等,严重影响弹药装药的贮存可靠性;在射击试验中,发射药温度也会对弹道性能产生极大的影响。由于不允许对弹药进行破坏性开孔,因此借助Ansys的热分析模块,对发射装药非稳态温度场进行仿真研究,获取发射装药在不同环境条件下的温度场及不同节点的温度变化规律,为弹药的贮存、试验提供一定的参考价值。     

Research on the fracture behavior of PBX under static tension

The fracture behavior of polymer-bonded explosive (PBX) seriously affects the safety and reliability of weapon system. The effects of interface debonding and initial meso-damage on the fracture behavior of PBX under quasi-static tension are studied using numerical method. A two-dimensional representative volume element (RVE) is established based on Voronoi model in which the component contents could be regulated and the particles are randomly distributed. A nonlinear damage model of polymer matrix relative to matrix depth between particles is constructed. The results show that the simulated strain-stress relation is coincident with experiment data. It is found that interface debonding leads to the nucleation and propagation of meso-cracks, and a main crack approximately perpendicular to the loading direction is generated finally. The interface debonding tends to occur in the interface perpendicular to the loading direction. There seems to be a phenomenon that strain softening and hardening alternatively appear around peak stress of stress and strain curve. It is shown that the initial damages of intragranular and interfacial cracks both decrease the modulus and failure stress, and the main crack tends to propagate toward the initial meso-cracks.     

Influence of high frequency pulse on electrode wear in micro-EDM

An electromagnetic coupling mathematical model is established by finite element method and is verified by the contrastive experiments of copper matrix Ni–TiN cylindrical coating electrode, copper electrode and Cu50W electrode. The wear mechanism of Ni–TiN/Cu composite electrode in the case of high-frequency pulse current is studied, and the influence of the fluctuation frequency of discharge current on electrode wear in micro-EDM is found out. Compared with the electrode made from homogeneous material, the high frequency electromagnetic properties of Ni–TiN composite layer can be used effectively to inhibit the effect of high frequency pulse on the electrode and improve the distribution trend of current density.     

When is model complexity too much? Illustrating the benefits of simple models with Hughes' salvo equations

The simulations that many defense analysts rely upon in their studies continue to grow in size and complexity. This paper contrasts the guidance that the authors have received—from some of the giants of military operations research—with the current practice. In particular, the analytic utility of Hughes' simple salvo equations is compared with that of the complex Joint Warfighting System (JWARS), with respect to JWARS' key performance parameters. The comparison suggests that a family of analytic tools supports the best analyses. It follows that smaller, more agile, and transparent models, such as Hughes' salvo equations, are underutilized in defense analyses. We believe that these models should receive more attention, use, and funding. To illustrate this point, this paper uses two very simple models (by modern standards) to rapidly generate insights on the value of information relative to force strength. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2003     

自然语言形式化研究中几个基本问题的再认识

针对目前自然语言形式化研究中存在的问题 ,就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。认为 :歧义性有狭义与广义之分 ,有层次之分 ,又有形式化与非形式化之分 ,确定它们的界线是很重要的。如何使系统体现出自然语言的个性化是目前形式化研究中应引起注意的一个关键问题 ,为此还提出一个系统结构模型。     

《连续系统建模》的计算机辅助学习与考核系统

本文介绍了一个用于《连续系统建模》学习与考核的计算机辅助教学课件的功能和设计原理,重点介绍了系统动力学模型图的知识表达和建模行为的有效性度量的方法。     

试论稼轩词作的愁情主题

围绕辛弃疾词作的愁情 ,分析、探讨了这一主题产生的原因、内涵及其独具特色的审美价值     

浅论证人免证权

证人免证权的含义及特征 ;我国历史上的证人免证制度 ;国外证人免证权的相关规定 ;证人免证权的价值 ;我国证人免证权的立法现状及建议