条件适定性及其差分类比

讨论了各种适定性和它们之间的关系,给出ι适定性的差分类比,证明了一个类似于Lax等价定理的定理。     

野战防空作战系统的仿真策略

在分析野战防空作战系统特点的基础上,讨论该系统的仿真策略,提出了主动实体交替扫描的仿真策略,并给出了非形式化的描述。该方法体现了事件调度法和活动扫描法的优点,使之更适合于仿真带有对抗性离散事件系统,因此,对其它作战系统,尤其是战术C~3I 系统的仿真,也是适用的。     

Efficient generation of cycle time‐throughput curves through simulation and metamodeling

A cycle time‐throughput (CT‐TH) curve, which quantifies the relationship of long‐run average cycle time to throughput rate, plays an important role in strategic planning for manufacturing systems. In this paper, a nonlinear regression metamodel supported by queueing theory is developed to represent the underlying CT‐TH curve implied by a manufacturing simulation model. To estimate the model efficiently, simulation experiments are built up sequentially using a multistage procedure. Extensive numerical experiments are presented to demonstrate the effectiveness of the proposed procedure. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

毛泽东对抗日战争进程和结局的科学分析与预测——纪念七七卢沟桥事变70周年

今年是七七卢沟桥事变70周年。70年前,在国难当头,民族危亡之时,中国共产党带领全国人民浴血奋战。毛泽东以他伟大的军事家的远见卓识,在延安窑洞的灯光下运筹帷幄,奋笔疾书,谱写了一篇篇闪光的抗战军事著作。在这些著作中,毛泽东深刻地分析、科学地预测了抗日战争的进程和最终的战局。正是这些英明正确的军事理论指引着中国人民夺取了抗日战争的伟大胜利。今天,处在和平发展时期的每一位中国人都应重温历史,勿忘国耻,珍爱和平,开创未来。     

银河机向量线性代数库的并行算法研究及优化

文中对YH-1标量线性代数库进行并行算法研究:改造串行算法,挖掘其中的向量成份,实行并行计算。根据并行机的特点采取有效的程序优化措施,设计出银河机向量线性代数库。该库采用各种直接解法的并行算法求解各类线性代数问题,精度好,运行速度快(当n=300时,向量库运行速度平均为标量库的13倍)。     

异构数据源集成系统中能力对象集成模型及代数

异构数据源集成系统中,参与集成各数据源的查询处理能力有自身特殊的限制,导致中介器支持的查询类型变得复杂。提出一种便于异构数据源集成的公共能力对象数据模型———COIM对象模型,在此基础上,进而定义数据源能力对象代数,给出基于局部数据源的能力对象构造集成系统中介器能力对象的方法。由于可以通过计算得到中介器能力对象,用户能够提前预知中介器支持的查询类型,从而直接构造可以执行的查询,减少查询提交的盲目性;同时中介器本身也可像数据源一样参与其它中介器的集成,集成方式变得更为灵活。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

地空导弹兵混编群作战仿真研究

应用离散事件动态系统仿真的基本理论,建立了地空导弹兵混编群作战过程仿真模型,并用Arena仿真平台实现了仿真。通过仿真实例,分析了不同空袭目标流密度和空袭目标采取低空突防时对目标突防概率的影响。仿真结果表明,在该实例中,增大空袭目标流密度对目标突防概率没有显著的影响,而采取低空突防对目标突防概率影响显著。最后,对仿真结果进行了分析,证明了仿真模型的有效性。     

条件事件的表示

为了进行条件推理，本文讨论了条件事件的表示，并给出了相应的逻辑运算规则，引入了零事件间的概率比和多重条件事件的超条件事件概率的概念，它们均是无条件情形的推广。     

正规模糊测度空间上的条件期望

讨论了次可加、具有有界变差的正规模糊测度空间上关于模糊测度、内测度及模糊积分的性质，在此基础上定义了此模糊测度空间上随机变量的条件数学期望，它是相对于经典测度空间的一个推广。