期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
值传递诊断过程的抽象和重用 被引量：3
1
作者 张学农 姜云飞 +1 位作者 陈蔼祥 张立成 《计算机学报》 EI CSCD 北大核心 2009年第7期1264-1279,共16页
提出了一种基于值传递的系统模型,重新定义了诊断,并给出了快速找到一个极小诊断的算法.在此基础上,提出了独立于系统输入输出的值传递路径的概念,实现了值传递诊断过程的抽象,并根据等价路径对系统值传递路径空间进行约简.以约简的值... 提出了一种基于值传递的系统模型,重新定义了诊断,并给出了快速找到一个极小诊断的算法.在此基础上,提出了独立于系统输入输出的值传递路径的概念,实现了值传递诊断过程的抽象,并根据等价路径对系统值传递路径空间进行约简.以约简的值传递路径空间为基础,给出了一种故障诊断算法,在一定条件下多项式时间结束. 展开更多
关键词 基于模型的诊断 值传递 过程抽象 过程重用
下载PDF
函数类构件的并行检索与合成 被引量：2
2
作者 徐正权 胡先骏 《计算机工程与设计》 CSCD 北大核心 2000年第6期11-15,共5页
探讨组合软件设计中构件并行检索与合成。将组合软件自底向上设计归结为函数复合问题。提出一种适用于处理具有函数映射特征的软构件－函数类构件并行检索与合成方法。通过过程抽象、模型定义、函数规范实现、简化检索与合成手续和范围... 探讨组合软件设计中构件并行检索与合成。将组合软件自底向上设计归结为函数复合问题。提出一种适用于处理具有函数映射特征的软构件－函数类构件并行检索与合成方法。通过过程抽象、模型定义、函数规范实现、简化检索与合成手续和范围，使可操作性大大提高。 展开更多
关键词 函数类构件 函数复合 并行检索 组合软件设计
下载PDF
基于结果链的舰船研制过程建模研究 被引量：1
3
作者 蔡薇 冯佰威 李俊华 《船舶工程》 CSCD 北大核心 2005年第5期34-37,共4页
根据现有系统分析和过程建模的局限性,在舰船研制过程建模中采用了结果链技术(RCM),用形式化描述的方法对舰船研制的横向和纵向阶段进行了过程抽取.舰船研制系统过程的结果链建模使模型易于理解、分析和综合考虑,同时支持任务的分解和... 根据现有系统分析和过程建模的局限性,在舰船研制过程建模中采用了结果链技术(RCM),用形式化描述的方法对舰船研制的横向和纵向阶段进行了过程抽取.舰船研制系统过程的结果链建模使模型易于理解、分析和综合考虑,同时支持任务的分解和资源的分配,舰船研制项目模型和结果链模型的集成将有助于明确舰船产品模型和过程模型的关系,有助于舰船研制过程的管理和控制. 展开更多
关键词 舰船 研制 结果链 过程建模 过程抽取
下载PDF
奥尔曼对辩证法辩护的限度——从对马克思异化理论的再考察谈起
4
作者 陈曲 《当代国外马克思主义评论》 CSSCI 2017年第2期225-252,433,共29页
基于全球化时代背景和新的资本主义实践,“辩证法的马克思主义”的主要代表伯特尔·奥尔曼,在关系性现实观视域下对马克思的异化理论重新进行考察。基于内在关系本体论与抽象方法,他对马克思方法中的辩证逻辑与历史主义加以肯定,进... 基于全球化时代背景和新的资本主义实践,“辩证法的马克思主义”的主要代表伯特尔·奥尔曼,在关系性现实观视域下对马克思的异化理论重新进行考察。基于内在关系本体论与抽象方法,他对马克思方法中的辩证逻辑与历史主义加以肯定,进而对马克思辩证法及其重要性做出了论证和辩护,并借此论证出马克思方法的一致性及其思想的整体有机性。在这一意义上可以说是对那些“非辩证法的”马克思主义者(分析马克思主义与结构马克思主义)同时做出了重要回应。这些回应无疑是成功的,但是,这一辩护也有其限度,其最大困难就在于他对马克思思想中的价值伦理维度的反对与他的内在关系哲学思想之间似乎存在着内在矛盾。因此,深入考察奥尔曼在何种意义上对马克思的异化理论进行考察以及怎样进行重构,对于把握西方马克思主义哲学的演变进而深入理解马克思哲学本身具有重要理论意义。 展开更多
关键词 异化 人性观 辩证法 内在关系 抽象
下载PDF
基于聚类分析的业务流程模型抽象 被引量：4
5
作者 孙善武 王楠 欧阳丹彤 《计算机科学》 CSCD 北大核心 2016年第5期193-197,229,共6页
业务流程模型抽象的一个最突出的用例是对包含大量元素的业务流程细节模型进行"简要视图"的构造,以便对流程进行快速理解。很多学者对流程抽象方法进行了研究,提出根据行为的语义相似性对行为进行聚合,其中多数研究基于k-mean... 业务流程模型抽象的一个最突出的用例是对包含大量元素的业务流程细节模型进行"简要视图"的构造,以便对流程进行快速理解。很多学者对流程抽象方法进行了研究,提出根据行为的语义相似性对行为进行聚合,其中多数研究基于k-means聚类分析,即根据事先指定的抽象行为个数对行为进行聚类,在将行为聚合到某一个行为簇时,选择距离该行为簇的图心最近的行为。但实际上,抽象行为(子流程)个数是一个未知的量,哪些行为属于同一个子流程往往取决于建模者的经验和抽象习惯,而且在聚合时,若行为从业务意义角度或建模者的抽象习惯角度并不属于该子流程,则合并往往会产生抽象错误。因此,引入虚拟文档表示行为和流程模型,以消除固定属性作为表示行为的向量空间维度带来的约束。并且设计算法从大量包含人工设计子流程的真实的业务流程模型库中获取行为与所在子流程的距离阈值,利用该阈值指导生成可能获得的抽象行为个数k。以k为参数对流程模型进行行为聚类,在聚类过程中,进一步利用距离阈值对聚合行为进行限制。对真实的流程模型库进行实验分析,结果表明提出的行为聚类方法更加接近人工设计的抽象结果。 展开更多
关键词 业务流程模型抽象 聚类分析 虚拟文档 行为聚合
下载PDF
基于Petri网流程配置的材料采购系统优化分析 被引量：2
6
作者 曹蕊 刘祥伟 王丽丽 《长春师范大学学报》 2017年第4期13-18,共6页
流程配置是业务流程优化的核心内容之一。现有方法主要是对细粒度的流程模型添加配置信息来实现配置操作,细粒度流程模型中存在许多非重要信息导致配置优化复杂,本文提出了基于业务流程模型抽象的流程配置优化。首先依据行为轮廓对源模... 流程配置是业务流程优化的核心内容之一。现有方法主要是对细粒度的流程模型添加配置信息来实现配置操作,细粒度流程模型中存在许多非重要信息导致配置优化复杂,本文提出了基于业务流程模型抽象的流程配置优化。首先依据行为轮廓对源模型进行抽象,经过抽象后使得细粒度的流程模型可以获得行为保持的粗粒度抽象模型。然后对抽象模型添加配置信息,实现业务流程的配置优化分析。最后通过具体的材料采购业务流程模型实例分析,验证了该方法的有效性。 展开更多
关键词 PETRI网 流程模型抽象 行为轮廓 流程配置 优化
下载PDF
RT-SOA在电力企业中的应用
7
作者 王珊 曹晋彰 陶佳 《机电工程》 CAS 2008年第7期80-83,共4页
在分析面向服务架构(SOA)思想的基础上,针对电力企业实时性的需求,提出了基于实时面向服务架构(RT-SOA)的电力企业应用集成框架,以业务为线索将应用集成系统的服务总线划分为相应层次,来适应电力企业信息系统在生产控制、生产管理和企... 在分析面向服务架构(SOA)思想的基础上,针对电力企业实时性的需求,提出了基于实时面向服务架构(RT-SOA)的电力企业应用集成框架,以业务为线索将应用集成系统的服务总线划分为相应层次,来适应电力企业信息系统在生产控制、生产管理和企业管理上的需求差异。从SOA元总线、SOA实现层次及各子体系间的关系等角度对该应用集成框架进行了论述,并对框架构建中服务封装、流程编排及业务流程抽象等关键步骤进行了说明。 展开更多
关键词 电力信息化 面向服务架构 企业应用集成 聚类分析 业务流程抽象
下载PDF
业务流程模型抽象中基于约束的行为聚类方法研究 被引量：1
8
作者 王楠 孙善武 《计算机科学》 CSCD 北大核心 2017年第1期259-263,294,共6页
将业务流程模型抽象中的行为聚合解释为一个半监督聚类过程,利用基于试探的启发式方法选择合适的行为集合作为初始簇,进而提高抽象的质量。另外,为了同时满足模型转换的保序性需求和子流程的业务语义完整性,在将行为归类到某个簇(候选... 将业务流程模型抽象中的行为聚合解释为一个半监督聚类过程,利用基于试探的启发式方法选择合适的行为集合作为初始簇,进而提高抽象的质量。另外,为了同时满足模型转换的保序性需求和子流程的业务语义完整性,在将行为归类到某个簇(候选子流程)时,进一步考虑了流程控制流的影响,设计了由两部分构成的约束函数,即语义距离和控制流顺序冲突。其中,第一部分引入了虚拟文档来表示行为和子流程,计算其之间的语义距离;第二部分利用行为概要文档中的4种行为顺序关系,设计函数来表示行为归类带来的控制流冲突。将该方法应用于真实的流程模型库,与传统的k-means行为聚类对比,如随机生成初始簇集和基于语义的距离测量方法,结果表明所提方法生成了更接近于人工设计的流程抽象结果。 展开更多
关键词 业务流程模型抽象 基于约束的行为聚类 行为概要文档
下载PDF
JAVA过程蓝图到抽象概念结构图的逆向映射与有效性 被引量：1
9
作者 刘建宾 《计算机科学》 CSCD 北大核心 2002年第6期143-146,18,共5页
1引言 抽象概念结构图[1]是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法.JAVA过程蓝图[2]是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示.抽象概念结构... 1引言 抽象概念结构图[1]是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法.JAVA过程蓝图[2]是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示.抽象概念结构图与JAVA过程蓝图的结合构成了JAVA程序在概念、逻辑和实现三个层次上的描述表现体系. 展开更多
关键词 JAVA语言 程序设计语言 抽象概念结构图 逆向映射 有效性 过程蓝图
下载PDF
结构化组合补偿抽象精化性质研究
10
作者 汪永琳 刘欣 《计算机工程与设计》 CSCD 北大核心 2010年第11期2495-2499,共5页
为解决松耦合Web事务复杂业务流程的建模问题,确保组合事务的可靠性和一致性,提出一种基于配对Petri网的结构化组合补偿精化方法,实现复杂多伙伴业务流程的抽象层次建模。定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择... 为解决松耦合Web事务复杂业务流程的建模问题,确保组合事务的可靠性和一致性,提出一种基于配对Petri网的结构化组合补偿精化方法,实现复杂多伙伴业务流程的抽象层次建模。定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和循环结构。引入组合流程精化和组合补偿抽象的定义,分析了复杂业务流程的精化和抽象过程,给出了精化流程应满足的性质。通过具体业务实例验证了该精化和抽象方法的可行性。 展开更多
关键词 WEB服务组合 配对Petri网 结构化组合补偿 流程精化性质 流程补偿抽象
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部