多机空战系统的歼击机建模技术

分析了多机空战系统的顶层模型结构,给出了机载雷达、武器控制和导弹等三个主要部件的模型,可以将其应用于多机空战仿真系统的数学建模和软件设计中.     

“打击时敏目标”任务的Petri网建模方法

对武器装备体系而言,作为现代战争中的重要样式"打击时敏目标"任务可分为获取时间窗口和利用时间窗口打击目标两个阶段。首先分析了打击时敏目标任务的过程,然后提出使用广义随机Petri网(GSPN)描述时间窗口的获取过程的方法,引入了负位置和负令牌的概念,最后提出用改进的GSPN描述利用时间窗口打击目标的过程的方法,并建立了一个"打击时敏目标"任务的Petri网模型。     

附连水质量的边界元法求解

研究了计算水下结构动态响应中附连水质量的边界元方法;根据数值积分和边界元法的原理,应用直线单元对结构边界进行离散,将原有表达形式中复杂的曲线积分转化成可直接计算的数值积分形式,从而解决了奇异积分的问题;得到了更适于直接计算的系数矩阵和向量的表达形式,使边界元法更方便地应用于计算无限流场中不规则截面物体的附连水质量.最后,给出了典型算例,并与经典计算结果比较,误差均在4%以内.     

Analysis of a finite‐buffer bulk‐service queue with discrete‐Markovian arrival process: D‐MAP/Ga,b/1/N

Discrete‐time queues with D‐MAP arrival process are more useful in modeling and performance analysis of telecommunication networks based on the ATM environment. This paper analyzes a finite‐buffer discrete‐time queue with general bulk‐service rule, wherein the arrival process is D‐MAP and service times are arbitrarily and independently distributed. The distributions of buffer contents at various epochs (departure, random, and prearrival) have been obtained using imbedded Markov chain and supplementary variable methods. Finally, some performance measures such as loss probability and average delay are discussed. Numerical results are also presented in some cases. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 345–363, 2003.     

基于传递闭包的任务时序依赖关系建模方法

建立正确、有效的任务模型是正确引导出信息系统需求的关键步骤。文中针对任务间时序依赖关系,给出与任务建模相关的若干形式定义和命题,帮助分析人员判断任务间的并发和死锁。给出任务间时序依赖关系建模的详细步骤,并根据时序依赖关系的传递性质,给出一种任务关系图上的传递闭包方法,可以帮助分析人员直观地判断任务间时序依赖关系的问题和错误,科学、合理地标记各个任务的时序等级属性,帮助建模人员从全局上明确各个任务在执行时所处的相对位置,以及在每个阶段需要同时展开哪些任务。     

浅析小型史馆建筑内部展示造型与多媒体表现

作为现代展览展示建筑的一个发展分支，小型史馆就是一部精练的“物化”历史，表达出一个丰富而统一的信息传播展示空间。小型史馆的设计往往在有限的空间内，充分体现出观演类建筑的主要特点，其内部的展示造型设计和多媒体表现手段起到了重要的作用。主要从小型史馆建设出发，对其内部展示造型设计与多媒体表现手段进行分析与探讨，阐述了它们的设计手法及达到的视觉创意效果。     

引入区域量化的相控阵天线维修优化模型

针对大型相控阵天线维修成本高、多部件维修时机难以确定、模型仿真计算困难等问题,提出一种引入区域量化的维修优化模型。建立天线阵列的区域量化模型,将天线阵列维修问题转化成一个由不同区域阵元组成的k/n系统维修优化问题。以使用可用度为约束条件,以单位时间维修费用最小为优化目标,建立引入区域量化的大型相控阵天线多部件视情维修决策优化模型,并通过算例仿真与分析进行了模型验证。结果表明:提出的维修优化模型真实有效,能够很好地解决分布不均匀的相控阵天线维修优化问题。     

筒形桅杆有限元计算模型及无刚度奇点的消除方法研究

本文提出了一个用于消除空间杆梁结构有限元模型中的无刚度“奇点”的元素及相应的刚度矩阵计算公式。在无刚度“奇点”出现处以此元素替代拉压杆元,可使空间杆梁结构模型中的无刚度“奇点”消失,能够在不增加整个计算模型自由度的情况下提高计算结果的精度。在微型计算机上运用全部三维12自由度梁单元计算模型、拉压杆元——加弹性支座计算模型和本文提出的计算模型对某型军舰的桅杆结构进行了实例计算比较。计算结果表明:用本文方法得到的应力值、位移值与全部三维12自由度梁单元模型的计算结果符合良好。     

带转动自由度的轴对称四边形单元

在节点增加角旋转自由度的基础上构造任意四边形轴对称单元协调的位移模式 ,为了提高精度 ,消除几何敏感性和适应不可压缩材料 ,在协调的基础上又引入三个非协调的内部位移函数和泡状函数作为附加位移场。数值计算表明由此构造的新单元的性能更好。     

HESTool:基于层次链知识组织的专家系统工具

提出了任务 (Task)的概念 ,每个任务代表一种知识源。不同的任务可以采用不同知识表示形式及推理策略。一个知识库由一组前向或后向链构成的任务链组成 ,实现了知识库的结构化、可视化 ,支持知识部件的可重用与共享。同时 ,结合可视化技术、数据库技术 ,开发出实用性较强的专家系统工具HESTool,该工具提供了一种知识建模机制