基于BPMN的指挥控制流程建模方法

针对复杂场景下指挥控制流程建模问题,分析比较了几种常见的流程建模方案,提出基于BPMN的指挥控制流程建模方法。指挥员依托BPMN流程建模方法搭建指挥控制流程,实现对指挥员作战意图的灵活表达;开发人员基于云原生相关理论对原子服务进行更新扩充,实现流程任务与原子服务的精准匹配和动态更新,从指挥员和开发人员两个维度上体现了指挥控制流程一体化建模的特点。通过区域防空反导流程案例,验证了基于BPMN指挥控制流程模型具备灵活扩展,动态重组的特点。

基于功率键合图的自动符号建模与仿真软件

介绍了基于功率键合图的自动符号建模与仿真软件结构、组成及应用实例。以软件的建模部分为例 ,讨论了基于第二代面向对象方法 Fusion法进行功率键合图图形编辑器系统分析、设计及用 Visual C+ + 实现的过程。

基于矩阵变换的多刚体系统振动分析符号建模

针对复杂多刚体系统振动分析问题,提出一种基于矩阵变换的符号建模方法。采用矩阵和矢量对刚体质量惯量、弹簧-阻尼连接参数、约束和空间运动状态进行整体定义,使符号推导简捷明了。将振动状态下刚体小位移线性化,通过线性变换描述不同点相对于不同坐标系位移之间的关系。分别针对无约束和开环约束多刚体系统采用拉格朗日方法导出适于作控制和振动分析的线性常微分方程,揭示了两组方程与表征系统约束拓扑信息的系统约束坐标变换矩阵之间的关系。进一步阐述一般开环约束系统中系统约束坐标变换矩阵的构造方法。数值仿真和试验结果验证了该方法的正确性和有效性。

基于键合图的动态系统自动符号建模

介绍了我们开发的自动符号建模软件ＤＳＭＥＳ、它的菜单结构和输入／输出格式，并以一简单机械系统为例，说明了软件的应用方法。

符号建模与审美创造——兼对“总体符号学”的质疑

皮尔斯以现象学为基础提出"符号三元关系"。西比奥克则从认知科学出发建立"建模系统理论",超越现象学的制约,把动物指号过程与人的指号过程相连贯,构建了"总体符号学"。但是,迪利等学者却把"总体符号学"嫁接到皮尔斯符号三元关系上,这就造成理论的内在矛盾和谬误。我们的做法是:以皮尔斯的"三元关系"来定义符号活动,采用西比奥克的"建模"观念来描述指号行为的生成过程,并认为人类存在一个从行为建模到语言建模,再到符号建模的发生过程。其中,语言诞生是关键。语言是符号之母。符号是行为建模与语言建模的共同产物。人的世界就是经由行为建模、语言建模及其他符号建模活动共同塑造的。文学艺术的审美世界则是人有意识地运用各式各样的符号重构的世界,其根本性质最终都可以从行为建模与语言建模的博弈关系中得到解释。

基于BPMN的业务流程一体化建模方法

为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语义细分设计理念,完善了业务流程建模符号规范图形元素的显示语义,引入非图形元素Node,以明确业务流程执行语义,设计了描述业务流程模型的元模型结构及计算机仿真与执行机制。通过实际研发业务流程管理系统,验证了该方法的可行性。

从BPMN到可执行业务流程建模

传统的可视化业务流程模型通常都无法直接转换成可执行的流程,而利用业务流程建模符号(BPMN)建立的业务流程模型可以直接映射到业务流程执行语言(BPEL4WS),在业务流程执行引擎中直接运行,提高了从业务流程建模到执行的效率。介绍了BPMN的基本符号及其与BPEL4WS的映射关系,给出了利用BPMN建模一个第三方物流运作流程并实现的案例。

从符号建模原理看中国古代文化的一些符号体现

简述编辑活动的符号建模原理 ,并从古籍中的符号思想、古人的符号世界观及汉语虚字的符号化等方面 ,探讨了中国古代文化的符号体现。

基于模型的业务流程建模平台研究与实现

提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。

空间机构运动学建模与分析方法的研究

为了快速高效地建立空间机构运动模型以进行运动学特性分析,运用多体动力学原理,提出了一种计算机符号建模与数值的计算方法.在每根杆件上的运动副处建立笛卡尔直角坐标系,用这些坐标系之间的关联关系来描述空间机构的结构形态,推导了同一杆件上2个坐标系之间的变换关系,得到了杆件形状矩阵.根据运动副的类型和属性,推导了同一运动副处不同杆件上2个坐标系之间的变换关系,得到了运动副约束矩阵.通过在运动链上连续使用变换矩阵,建立了空间机构的数学模型,并用推导的运动方程对时间求导,得到了空间机构的速度和加速度方程.研究表明,由开发的空间机构运动学分析软件,结合空间4杆机构的运动学分析,验证了建模与求解方法的正确性,从而为空间运动机构建模与运动学分析提供了一种有效的方法.

一种有效的非线性电路及其特性的透明建模方法

为了对任意非线性电路及其特性生成具有更开放函数形式的和可解释的符号模型,基于规范形式函数和多目标基因编程搜索算法提出了一种自动生成无需预先定义模板的符号模型建模方法。首先采用SPICE仿真数据对任意非线性电路及其特性进行建模,得到具有规范形式的函数。然后采用基于基因编程的多目标搜索算法返回一组可能的模型,实现对模型复杂性和误差的权衡,最终实现符号模型的可解释性和准确性。仿真实验结果表明,本文提出的建模方法不仅具有可解释性,而且在建模复杂性和预测误差性能等方面,都优于目前采用的主流建模技术。

基于兴趣场模型的符号化三维地图表达方法

针对目前三维地图的重要目标选取与突出表达效果不佳以及若采用符号化实景三维模型表达存在的建模成本高、数据量大等问题,提出符号化三维地图表达的技术方法。该方法利用自发地理信息数据构建空间兴趣场模型,描述用户对地理信息兴趣程度的空间分布,进而对三维地图符号进行分类。以三维地图场景构建为基础,通过视点控制对三维地图进行符号化表达,实现符号化三维地图的细节层次表达。本文结合实例对比分析了符号化三维地图,结果表明该方法提高了三维地理空间模型的认知效果和应用效果。

BPMN到BPEL2.0的模型转换方法

随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。

业务过程模型的Petri网形式化检查方法

为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具。采用业务过程流网对供应链中企业间采购订单过程进行了建模。实验结果表明,业务过程流网能将符合过程定义可扩展标记语言规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析。

XPDL2.0规范的过程控制模式分析

介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控制模式,对其中XPDL 2.0支持的模式给出基于业务过程建模符号的图形示例和相应的XPDL 2.0代码实现示例。最后,揭示了XPDL 2.0规范在自身语义方面,以及与业务过程建模符号的语义一致性方面存在的问题。

基于连续语义的业务流程模型的转换

针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结构循环的工作流代码。最后通过具体案例验证方法的有效性。

认知符号学:重新思考文学艺术的新路径

符号首先是人与世界的"关系模式",是人把握世界的中介。人类符号建模的发生过程存在三个序列:行为建模、语言建模、符号建模。其中,语言诞生是关键。语言具有对象化及符号化能力,它不仅将行为建模转化为"行为语言",并且协同行为建模共同构造了其他所有符号。人的世界和文学艺术世界就是由各式各样的符号建构的,因此,最终都可以用"行为语言"与"言语行为"二维张力结构加以解释。这种二维张力结构决定着:人与世界之关系既是一元的,又是二元的。西方理论之所以难以摆脱语言中心主义、理性中心主义,难以超越二元思维,其原因就在于忽略了行为语言与言语行为存在着实质性差异,认为语言可以单独解释一切其他符号,这就势必走向谬误。唯有从行为语言与言语行为的二维张力结构入手,才可以对文学艺术和文化实践做出更加贴切的新阐释。

培养小学生数学符号感之“四性”

符号感是一种主动地、自觉地或自动化地理解符号和运用符号的态度和意识。符号感是数学学习的主要任务之一。数学中的符号语言有其系统的特定含义,它与自然语言相比,具有简练性、准确性、直观性和形式化的显著特点。它反映了表达意义的内在结构和逻辑关系,成为表达特定思想的载体和诱导思维的刺激物。

一种解决三区间数回归的混合PM方法

为了解决现有PM方法应用于三区间数回归模型时难以保证数学一致性及回归区间和观测区间之间存在的相交性问题,文章构建一种用于回归区间上下界的PM方法和用于回归最有可能值点非参数化方法的混合回归模型,通过添加“回归区间上界≥回归最有可能值≥回归区间下界”这一约束条件来确保区间数据的数学一致性,并通过限制“回归区间上界≥观测区间下界且观测区间上界≥回归区间下界”来确保区间相交性。基于K-T方程组讨论回归系数的解析表达式。蒙特卡洛模拟结果表明:与CCRM+模型相比,混合回归模型具有更好的回归效果,PCO平均提高了121%,N0平均降低了89%。在观测数据波动更大的多元回归中,混合回归模型也具有更好的回归效果。

基于BPMN的Web服务合成框架

随着现有Web服务数量的不断增加,如何利用已有的Web服务合成新的Web服务成为研究的热点。提出一种利用BPMN实现Web服务合成的框架,它由系统框架和开发框架两部分组成,系统框架提供了一个发布、调用和执行Web服务的平台,开发框架给出Web服务合成的开发环境和开发步骤。