分布式虚拟战场环境中地理环境模型的研究

现代战争是陆、海、空多兵种协同作战的全方位的复杂战场环境,对战场环境的综合仿真是一项庞大的系统工程,因此,通过计算机仿真为武器系统的研究提供强有力的技术手段。本文主要讨论了分布式虚拟战场环境中的地理环境模型,详细阐述了分布式虚拟环境中综合地面环境研究的各个方面,提出了一种可以实时估算各种地理环境因素动态变化的计算模型。     

模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

Mechanism and Defense on Malicious Code

With the explosive growth of network applications, the threat of the malicious code against network security becomes increasingly serious. In this paper we explore the mechanism of the malicious code by giving an attack model of the maliciouscode, and discuss the critical techniques of implementation and prevention against the malicious code. The remaining problems and emerging trends in this area are also addressed in the paper.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

Study on End Milling Generation Surface Model and Simulation in View of Main Axle s Tolerance

In accordance with the relative movement between end-milling cutter and workpiece surface, a theoretical generation model for milled surface was established with the movement error of principal axle considered. Then the milled surfaces under various cutting condition were simulated, the results of which showed that end milled surfaces were of “vaulted profile“, heights of surface irregularty at various points to be different with maximum value in the middle and smaller at both sides, the difference were ...     

Duane模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型——Bayes分析方法

本文将Bayes分析方法应用于Duane可靠性增长模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型,得到了参数以及系统能达到的MTBF的Bayes点估计和Bayes区间估计。     

济南市农村土地整理模式与措施探讨

针对济南市农村土地利用现状，分析总结出了济南市农村土地整理的基本模式，包括农村居民点，农田，废弃地，未利用土地整理，并提出相关的包括发挥政府的主导作用，制定各项条例法规，建立土地整理开发专项资金，加大土地整理相关法规的宣传等措施。     

两种跟踪低阶模型的模型参考自适应控制方案设计与仿真

采用滤波器降阶和系统分解，并将部分因式看成未建模动态，进而转化成扰动的方法，分别设计了两种高阶系统跟踪低阶参考模型的模型参考自适应控制(MRAC)方案。使用低阶参考模型简化了系统结构。仿真验证了方案的有效性。     

MARKOV DECISION PROGRAMMING-THE FIRST PASSAGE MODEL WITH DENUMERABLE STATE SPACE

In this paper,we discuss MDP with discrete time parameter-the firstpassage model with denumerable state space.Under assumption A in this paper,we prove that an ε(>0)-optimal stationary policy exists.To find an ε-optimalstationary policy,an algorithm of policy improvement iteration and a method ofsuccessive approximations are given.     

日式经营管理在邃变

８０年代引人注目的日式经营管理，９０年代来其许多本质性特征却发生了意味深长的变化。注视并研究这些变化意义甚大。本文重在概括日式经营管理现正经历的变化。