基于Petri网的企业过程模型的BPEL实现

为了实现从基于Petri网的企业过程模型到企业流程执行语言BPEL的转化,提出了一种PN2BPEL的模型转化方法。BPEL的XML表示十分的冗长.对于非专业人员来说,从BPEL提供的大量结构中选择合适的一个,并非易事。BPEL也没有形式化的分析技术,因此研究BPEL与其他模型的转化方法是十分有意义的。本文以企业过程模式中最常用到的结构为基础,定义了Petri网的组件集。组件集中的每一个组件对应于特定的BPEL代码。将一个活且有界的Petri网中的每一个组件都用一个简单任务来替换的折叠操作,将不会改变原网的活性和有界性。给出了将一个基于Petri网的企业过程模型转化为相应的BPEL代码的PN2BPEL算法。最后通过一个简单的实例,说明了如何实施提出的转化方法。     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

面向对象Petri网在舰炮武器系统建模中的研究

研究并实现了一种基于Petri网的系统建模方法，它将面向对象技术与Petri网相结合，从而综合了两种方法的优势，降低了Petri网模型的复杂性，增加了Petri网的应用范围。舰炮武器系统是一种大规模的、复杂的并具有并发性、分布式、非确定性等特点的系统，因此我们应用面向对象的Petri网(OOPN)对其进行了建模。通过对舰炮武器系统的建模，我们发现面向对象的Petri网建模方法可以有效的降低系统模型的规模和复杂性。     

基于IDEFO模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。     

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

基于IDEF0模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径.     

基于Petri网的行为建模在舰艇CGF中的应用研究

给出行为建模的一种方法,即基于Petri网的行为建模。首先介绍了Petri网的建模原理,并给出了Petri网实现CGF行为建模的一般过程,对Petri网行为模型的框架、实现方法和具体算法进行阐述。结合水面舰艇的作战特点,通过Petri网实现水面舰艇CGF的行为建模,并以水面舰艇机动CGF为例,详细描述其应用过程,该方法在实际应用中表现出良好的作用。     

UML2OPN 的建模方法及其在通信装备维修保障系统中的应用

探讨了一种基于UML模型(Unified Modeling Language)与面向对象Petri网(Object-oriented Petri Net)的系统建模应用方法,并给出了UML模型到面向对象Petri网模型的映射算法.在此基础上,建立了通信装备维修保障系统的UML模型和所映射的面向对象Petri网模型,并对其模型进行了较为深入的分析研究,从而验证这种方法在通信装备维修保障系统建模应用中的实效性、科学性.     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。     

差异、系统与和谐

有了差异就会有各种事物之间的相互作用,有了相互作用就会有变化和运动。有了变化和运动,才会有不同事物的存在和发展,才能呈现出事物与环境之间一与多和多与一相互关系的存在,才能有在差异前提下形成统的必然性和现实性。有了这样的必然性和现实性,一与多和多与一的存在关系,就是不同事物内部不同构成因素,以及不同事物之间及与其环境之间构成不同形式和性质统一体即系统的现实根据。     

ExtendSim模型与数据驱动的指控流程建模与分析

联合作战背景下的指控流程(command and control process, CCP)涉及同层级内不同指控单元之间的横向信息交互与不同层级间的纵向信息交互。针对这种复杂化与多元化指控流程,研究了如何利用ExtendSim仿真工具对指控流程进行模型构建、验证、评估与优化。首先,通过对指控流程特点进行分析,抽取通用的要素类型,包括实体和关系要素,并映射到ExtendSim关键模块;其次,构建“指控流程要素-ExtendSim模块”的转换规则,提出构建ExtendSim指控流程模型的方法步骤;然后,研究基于ExtendSim的指控流程可行性验证方法(行为一致性、可执行性、合理性验证),提出了基于ExtendSim的指控流程评估指标(任务平均耗时、任务平均等待时间与任务最大处理容量),并研究了基于ExtendSim的指控流程优化方法;最后,通过一个通用反导指控流程案例,验证了所提建模与分析方法的可行性与有效性,可以为指控流程的建模与分析提供支撑和参考。     

信任与小微企业信贷:引入互利和利他动机的博弈与实证研究

银企信贷关系中的信任,可以有效减少代理成本和机会主义行为,对缓解小微企业信贷约束有重要启示.提出一个银企间信任的博弈分析框架,从自利、互利和利他三方面分析信任的动机,并通过问卷调查实证检验银行信任对小微企业贷款可获得性的影响.结果表明:1)信任对信贷博弈均衡结果产生关键影响,双方较高的互利倾向和正的利他倾向可促使帕累托最优均衡的实现,且随着关系距离的拉近和信任的加深,双方利他与互利倾向逐渐增强,信任与合作可能演化为长期稳定均衡;2)银行信任对小微企业信贷获取的影响显著,高程度的信任有助于提升小微企业的申贷成功率.为小微企业信贷中的信任研究提供了有力证据,也为解决小微企业融资难问题提供了参考.     

可视化及漫游技术的研究与实现

本系统是基于Creator和Vega平台,设计并实现了可选择路径的交互式漫游。根据校园内的特点,对实景进行拍摄并制作各种纹理贴图,应用photoshop软件对纹理贴图进行处理,实现了一种快速的实景建模解决方法,并使得人机工程学的理论得到了引用与应用。灵活的运用了三维建模的关键技术,建立校园的3D模型。然后将模型导入到仿真软件中设置仿真过程。并根据要求对仿真软件进行二次开发,用以实现选择路径的漫游。     

核心产品及其开发与评价

企业的核心产品表现为实物和概念两种形态，其商业形态是概念形态与实物形态的耦合。核心产品是产品平台与平台产品的桥梁，是企业核心竞争能力的固化栽体和商业平台价值的具体展现。核心产品的开发必须把握开发流程的特殊性．以顾客的核心利益为导向，投资于核心团队。核心产品的机会评价涉及评价指标、评价模型和各指标的权重。     

公司多阶段财务危机动态预警研究

以上市公司的季度数据为研究样本,以指数加权移动平均控制图模型为研究方法,以被实施特别处理和暂停上市为两个财务危机演变状态,建立了一个多阶段动态财务危机预警模型;实证结果表明,该模型对上市财务危机公司具有较好的预测效果,有较大的应用价值.     

建模与仿真的回顾及展望

建模与仿真技术在我国发展迅速,并取得很大成绩,其应用范围已扩大至产品的全生命周期：设计、制造、试验、维护、训练。本文回顾我国建模与仿真技术的发展,探讨建模与仿真的某些关键技术。     

雨水汇集利用与半干旱地区农业可持续发展

通过对雨水汇集利用机理、降水特征及雨水利用状况分析,结合本地区开展的集雨工程建设,说明了雨水汇集利用技术不仅解决了中部地区人畜饮水问题,还成为当地农业经济发展的增长点。针对当前开展的雨水集流工程状况,提出今后还要加强科学规划、合理分配水资源、加强研究和推广雨水高效利用技术等,旨在为当地开展的雨水集流利用技术提供指导。     

柔性炼钢连铸仿真调度系统及其关键技术

针对炼钢连铸系统，提供了一种较为通用的仿真调度系统设计方案，并讨论其中的关键技术，如提供图形化组态平台，运用反向调度实现出钢计划粗调度，正向仿真解决机器冲突，并在调度中考虑了运输时间，最后，运用该系统对一个实际生产系统进行仿真调度决策，结果令人满意。     

建模与仿真中验证与确认的测试与评估实现

M＆S的可信性问题是M＆S理论研究及工程应用的重要内容，VV＆A和T＆E都是为了提高和保证M＆S的置信度，降低仿真系统在实际工程应用中由于仿真结果不可信而带来的风险。首先深入分析了VV＆A与T＆E的关系，认为VV＆A更强调确保M＆S可信性的工作内容，T＆E更强调具体的实现方法，T＆E是V＆V的主要技术和方法，V＆V可以通过T＆E来实现；然后分析了M＆S中T＆E面临的挑战，研究了M＆S开发全生命周期中V＆V的T＆E实现，最后简要介绍了T＆E的充分性判定方法。