基于粘性笛卡尔网格的N-S方程计算

本文采用基于叉树数据结构的粘性笛卡尔网格求解N-S方程。为了使网格的分布更为合理,采用基于物体几何外形的方法对网格进行自适应加密。在物面处采用光顺、投影、分割加密的方法保证了物面处网格的正交性与贴体性,从而生成高质量粘性笛卡尔网格。将有限体积法应用于粘性笛卡尔网格求解N-S方程,采用了SA紊流模型。算例计算结果与实验数据符合良好。     

基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

一种复杂空间飞网系统参数优化设计方法

由轻质软绳索编织而成的空间飞网是为非合作目标捕获而提出的空间系统概念,在空间碎片和废弃航天器处理方面具有很大的应用潜力。从平台抛射出后,飞网在空间形成不稳定的网形,且网形变化规律受初始参数设计的影响较大。针对空间飞网系统设计与试验中系统参数匹配问题,本文提出以容错值作为飞网展开性能的定量描述,从捕获任务的层面,建立面向捕获容错的空间飞网系统参数优化数学模型;以抓捕固定距离、确定大小的目标任务为算例,联合Isight优化平台与ANSYS/LS-Dyna求解,得到飞网系统最优参数匹配,算例仿真结果表明结果的适用性;最后,利用试验设计和极差分析方法验证最优点的稳定性。研究的模型与方法为开展空间飞网系统地面及空间试验等工程应用提供理论依据。     

一种基于多MPP的多径MESH网络路由协议

提出了一种基于HWMP的多径路由机制-MMG。新机制采用了多径多网关分流的机制,设计了多个父节点路由的方案,有效的降低了根节点拥塞的几率,提高了网络整体负载均衡能力。最后,在NS-2仿真环境下实现了文中所设计的路由机制,并与其原机制协议进行了性能对比。结果表明新的协议能有效避免节点拥塞,具有较好的动态负载均衡能力,性能优于HWMP。     

有色观测噪声下的目标跟踪问题

本文讨论了有色观测噪声下的目标跟踪问题，把观测色噪声的成形滤波器假设为ＡＲ模型，给出了估计ＡＲ模型参数的方法。本文又提出将ＡＲ模型参数估计和交互式多模型（ＩＭＭ）滤波相结合，可以很好地跟踪目标。     

基于S—CDMA技术Cable Modem的应用

在进行 Ｉｎｔｅｒｎｅｔ 接入方式对比的基础上，介绍了 Ｈ Ｆ Ｃ 结构 Ｃ Ａ Ｔ Ｖ 网对高速数据传输的适应性，并结合 Ｈ Ｆ Ｃ 网和 Ｓ－ Ｃ Ｄ Ｍ Ａ 技术的特点，提出了基于 Ｓ－ Ｃ Ｄ Ｍ Ａ 技术 Ｃａｂｌｅ Ｍｏｄｅｍ 应用的可行性。     

敏捷制造模式下的质量保证信息系统

客户驱动的动态的全球市场及地理上分布的合作伙伴给开发敏捷制造模式下的质量保证信息系统(QAIS)带来了新的挑战,本文先对敏捷制造模式下的QAIS进行了需求分析,提出了新的分布式QAIS的实现框架,利用当前迅速发展的信息技术,建立了QAIS的开发环境并对有关关键技术进行了初步研究,最后开发完成了一个基于Web的QAIS原型系统.     

共享内存网--面向飞机仿真的实时网络

将多台计算机连接起来,共同完成单个的实时任务(如飞机仿真)是一项非常具有挑战性的工程任务.本文论述了计算机分布式仿真的一些独特要求,对目前使用的两种主要方法进行了总结,将共享内存网的概念和传统的方法进行了对比介绍,共享内存网的设计方法、性能参数以及详细的设计过程也有论述.     

基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ，ＤＥＤＳ），而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构，文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念，并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析，阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ