并行开发的控制模型

软件开发过程的并行化是缩短软件开发周期和降低开发成本的有效途径。结合ＯＯ技术,引入Ｐｅｔｒｉ网模型作为建模工具,提出了Ｃ－Ｐ／Ｔ系统作为并行开发控制模型。     

DSMC交互式并行化系统性能预测模型

对机群环境下的DSMC并行计算问题考虑了初始数据划分、系统负载平衡和网络通信情况等因素,建立了DSMC交互式并行化系统中的性能预测模型,分析了机群系统的物理参数如何影响DSMC并行模拟计算的效率。对两个实际DSMC问题的研究结果表明,性能预测结果与实际测试结果基本吻合。说明该方法是正确有效的。     

Petri网系统并行化方法的研究

对Petri网系统并行化一般方法的研究.给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法.     

基于CRPN模型的复杂系统故障诊断

由于复杂系统的结构和运行环境复杂,传统方法无法对其进行故障诊断.文中将基于案例的推理方法和Petri网理论引入到复杂系统的故障诊断中,建立了基于案例推理和Petri网的CRPN(Case-based Reasoning Petri Nets)模型,研究了该模型的变迁规则和案例特征等关键技术.利用两层CRPN模型,可有效地解决已有复杂系统故障诊断方法中存在的模型难以建立、推理过程模糊等问题.最后以飞机的某系统为例,探讨了基于CRPN模型的故障诊断过程,结果表明文中方法是有效的.     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

稀薄气体直接仿真蒙特卡洛方法交互式并行化系统研究与实现

在分析稀薄气体直接仿真蒙特卡洛（Direct Simulation Monte Carlo,DsMc）方法特点的基础上,研究了基于高性能计算平台的DSMC问题交互式并行化技术,提出了DSMC交互式并行化流程和DSMC程序并行化系统体系结构,实现了能对DSMC问题进行处理的交互式并行化软件系统,并应用到两个微通道DSMC方法算例的并行化中,并行化后的两个算例在8个节点的并行集群系统上的计算结果与原串行程序完全吻合,证明了该交互式并行化方法的正确性．     

交互式多媒体动态同步Petri网模型--扩展的IMDSPN

将优先权输入事件Petri网引入到IMDSPN模型中,建立了D-IMDSPN模型.D-IMDSPN模型可以解决在分布式多媒体环境中,出现在用户交互作用下的媒体来源于各种资源或是要到达多个目的地时的异步,以更高效的方式保证了多媒体同步.     

高级 Petri网并行化预处理方法的研究

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网（ Place/Transition Net）的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

柔性制造系统的P－定时有色Petri网模型

给出了Ｆｌｏｗ－ｓｈｏｐ型系统缓冲器容量无限和有限两种Ｐ－定时有色Ｐｅｔｒｉ网模型。模型结构简单，不随机器、加工件种类、数量的增减而变化，普遍适用于按顺序操作或施工过程的模拟。     

机器翻译系统的交互处理机制

如何提高机器翻译效率并得到高质量的译文一直是机器翻译系统追求的主要目标。增强机译系统的学习功能是提高机译系统性能的一条有效途径,也是智能机译系统的一个重要组成部分。英汉智能机器翻译系统中交互处理机制是通过静态的知识重组和动态的在线学习,不断完善机译系统的知识库,在不降低批量处理效率的前提下,逐步提高机译系统的译文质量,文章重点介绍了英汉机译系统中交互机制的设计和实现。     

防火墙与入侵检测系统(IDS)互动模型的构建

通过建立基于误用的入侵检测系统(IDS)的特征库,并采用VC 语言建立防火墙与入侵检测系统之间的开放接口,构建防火墙与入侵检测系统互动模型.通过互动模型,防火墙可以利用入侵检测系统及时地发现其策略之外的攻击行为,入侵检测系统也可以通过防火墙阻断来自外部网络的攻击行为,能有效互动地构成较为有效的安全防护体系,大大提高网络整体的防护性能.该模型能解决传统信息安全技术的弊端和原先防火墙的粗颗粒防御与检测系统只发现,难响应的问题.     

开放业务开发模型及其仿真

研究了开放网络环境下的业务融合模型及其特征,探讨了如何向电信领域引入Internet(因特网)业务开发模型。分析比较了开放业务的生成技术之后,提出了一种开放业务开发模型,指出了开放业务环境下业务开发各个环节需要作出的适应性调整。结论是:开放电信网络环境下,业务处理的对象将由传统意义上的物理资源简化为虚拟网络资源,因此业务的开发过程将更多的表现为对虚拟网络资源的配置处理。最后通过"语音呼叫路由器"业务仿真实例,演示了开放业务的开发过程及其针对开放电信环境的适应性调整。     

面向少儿多通道交互技术软件系统的研究

将研究一个面向少儿益智系统,该系统将多种益智娱乐开发包构建在城堡中,少儿通过多通道交互方式可以在城堡中随意漫游、体验、学习和娱乐。另外,通过该系统开发包,幼儿园和小学的教师及儿童自己都可以开发少儿益智游戏和学习素材供少儿使用。     

离散事件系统的受控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求解控制的有效算法．     

基于过程组件的物流管理系统模型设计及分析

物流管理系统是工作流管理系统的重要组成部分，是企业经营过程的核心，借鉴组合Petri网的思想，在组件技术和分布式对象技术的基础上，提出了基于过程组件的物流管理系统的层次结构模型，该模型中，可复用的中等粒度的过程组件通过内部建立数据流和控制规则库。屏蔽了精细粒度的原子性对象之间的调用关系，提高了组件的重用性，提出了重组策略，给出了该模型的Petri网映射模型。为模型的性质分析提供了可靠的分析工具。