产业链协同商务平台构件组装与在线演化技术

根据产业链协同商务平台运行时动态演化的需求，将成组技术引入平台构件管理中，提出了基于成组分类的平台构件模型和基于XML的构件簇管理方案.在此基础上建立了基于连接适配器的业务功能组装以及基于平台集成框架的业务功能注册与动态演化机制，通过为每个业务功能建立相对独立运行的管理器实现运行时业务功能的动态替换，满足平台运行时动态演化的需求，并对.NET环境下，构件组装连接适配器及业务功能管理器的实现技术进行了研究.     

基于图形转换的构件组装研究与应用

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述.     

基于可复用构件的软件开发过程研究

本文在分析软件复用和软件构件相关概念基础上，对基于可复用构件的软件开发过程进行了深入研究，主要从开发可复用构件和基于可复用构件应用软件系统构造两方面入手，进一步提出基于可复用构件软件开发基本思路和生命周期模型，可复用构件开发步骤，构件组装应用系统方法等。     

运动想象脑机接口系统的Petri网建模方法

针对脑机接口(BCI)中的共享控制问题,提出一种BCI系统的Petri网建模方法.首先,将共享控制策略与BCI系统的内外部信息相结合,构建运动想象BCI系统的Petri网模型,描述系统的运行状态,分析和改进共享控制策略.然后,加入控制库所描述系统的外部输入,并通过合成Petri网的方法简化Petri网的建模过程.结果表明:所提方法能够正确地演化BCI系统的运行过程,提高BCI系统的适用性,可用于设计、验证和执行共享控制策略.     

基于Petri网的保险工作流系统建模及验证

提出基于Petri网的工作流系统业务模型.该模型将Petri网的理论和性质应用于业务工作流系统当中,从系统的运行过程和形式化的图形描述方式两方面实现对工作流系统的快速建模和分析.通过工作流Petri网的语义性质,对所建立的中国人民保险公司的索赔业务工作流系统模型的正确性进行验证和分析,表明此模型有较好的应用效果.     

Petri网的块组合积运算及其性质研究

Petri网具有动态、并发和图形直观性等良好特性,特别适合于描述异步并发的系统.Petri网运算是由小系统的性质获得大系统性质的一种有效的分析方法.提出了Petri网的块组合积运算,讨论了保持网的结构性质的条件,为Petri网的分析与综合提供了新途径.     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

基于混和Petri网的公路仿真系统模型

公路仿真系统是连续变量动态系统和离散事件动态系统相互作用的混杂系统。通过分析公路仿真系统的混杂特征，在基于Multi—Agent的仿真框架下，提出利用混和Petri网描述系统中离散事件和连续变量相互作用的观点。在传统混和Petri网的基础上，建立了考虑时变特征的推广混和Petri网模型，并建立了基于推广混和Petri网的公路仿真模型体系。将该模型体系应用于驾驶员速度控制过程。应用结果表明，仿真效果良好。     

基于逻辑混合Petri网的混合系统建模与分析

逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统.基于此,提出逻辑混合Petri网.首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式.其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程.再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,...     

刻面和规约描述相结合的构件检索

通过分析基于刻面分类和构件规约语法的检索方法,发现刻面分类及其检索方法侧重于构件的静态特征描述,没有考虑构件的行为描述等,而构件规约语法描述部分偏重于构件的行为描述,构件规约对构件中每个功能的语法描述具有独立性.设计一种基于字符串匹配的软构件刻面检索算法,同时考虑到刻面检索没有支持组装这一需求,提出在检索过程中,插入基于构件规约的语法匹配过程,以提供较准确的构件组装信息和提高复用效率.