检索结果-南通市图书馆

工程爆破 2009年第1期15卷 56-59页

作者：易克吴克刚姜洲河南省现代爆破技术有限公司郑州450008 国防科技大学长沙410008

介绍了形状特殊的16层Y字形全框剪结构楼的控制爆破拆除。该楼结构复杂,拆除难度大。通过精心设计、正确地选取爆破参数、采用合理的分区和延时爆破以及安全措施,达到了预期的爆破效果。总结出的几点体会,为类似的工程设计提供了参考。

关键词：全框剪结构爆破拆除延时爆破安全措施

在线全文

学校读者我要写书评

暂无评论

一个面向对象的交互式图形工具箱OOIGT

计算机学报 1998年第2期21卷 154-161页

作者：华庆一葛玮鱼滨郝克刚西北大学计算机科学系西安710069 中国科学院软件研究所计算机科学实验室北京100080

在开发交互式图形应用过程中，一个主要难题是如何表示和建立代表应用模型数据及操作的图形对象并提供直接操作的交互方式，另一个难题是如何有效地表示和管理图形对象之间的关系．OOIGT是作者设计和实现的一个交互式图形建造工具箱，... 详细信息

在开发交互式图形应用过程中，一个主要难题是如何表示和建立代表应用模型数据及操作的图形对象并提供直接操作的交互方式，另一个难题是如何有效地表示和管理图形对象之间的关系．OOIGT是作者设计和实现的一个交互式图形建造工具箱，其目的是为解决上述难题提供一个有效的解．OOIGT提供了一个可扩充、用于表示应用模型并集成了事件模型的图形对象集，使应用不仅只需定义对象，而毋须了解如何作图，且容易处理在这些对象上的交互式直接操作．

关键词：面向对象交互式图形工具箱 OOIGT 图形处理

在线全文

学校读者我要写书评

暂无评论

软件测量刻度及选择方法

计算机科学 2005年第5期32卷 216-218页

作者：侯红郝克刚郭小群西北大学计算机科学系西安710069

本文从测量表示理论学的角度出发,研究了不同的软件测量刻度类型,在此基础上对软件测量的意义和统计分析方法进行了分析,并对不同的软件测量刻度进行了比较,提出了软件测量刻度选择的演进式方法。

关键词：软件测量刻度统计分析方法表示理论

在线全文

学校读者我要写书评

暂无评论

工作流流程动态仿真技术的研究

计算机工程与应用 2009年第13期45卷 29-33页

作者：付丽娜郝克刚西北大学软件工程研究所西安710069

对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基... 详细信息

对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基于路径覆盖准则的事件排队算法及仿真结果的统计分析做了较深入研究。仿真采用了交互式与非交互式两种手段,利用白盒与黑盒两种测试方法对被测流程进行高覆盖度仿真,并通过仿真结果反映缺陷的类型、分布与走势。

关键词：工作流管理系统信牌驱动模型流程仿真引擎事件验证

在线全文

学校读者我要写书评

暂无评论

一种乐观嵌套工作流事务模型

计算机科学 2005年第8期32卷 90-93页

作者：董云卫郝克刚西北工业大学计算机学院西安710072 西北大学计算机科学系西安710069

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠... 详细信息

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。

关键词：乐观嵌套事务模型工作流事务扩展信牌驱动分布式工作流计算模型嵌套事务模型工作流模型并发控制协议操作原语事务管理控制理论活动类型

在线全文

学校读者我要写书评

暂无评论

基于Petri网的工作流模型的分析

计算机工程与应用 2007年第3期43卷 194-197页

作者：冯卫兵郝克刚西安科技大学基础部西北大学计算机科学系西安710069

通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。

关键词：工作流模型 Petri网死锁

在线全文

学校读者我要写书评

暂无评论

针对工作流模式执行约束的解决方案

计算机应用研究 2012年第7期29卷 2500-2504页

作者：付丽娜郝克刚西北大学信息学院计算机系西安710127

在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持,但却不完全满足模式在执行环境下的约束,即不能保证模式所对应的模型区域安全执行,为此提出了形式化的解决方案旨在使信牌驱动模型实现对... 详细信息

在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持,但却不完全满足模式在执行环境下的约束,即不能保证模式所对应的模型区域安全执行,为此提出了形式化的解决方案旨在使信牌驱动模型实现对模式执行约束的支持。首先需要对模式所对应的模型区域进行形式化定义并提供识别该模型区域的算法,提出了通过保证区域内信牌箱的安全进而保证对应模型区域安全执行的策略。

关键词：工作流模式执行约束信牌驱动模型安全并发

在线全文

学校读者我要写书评

暂无评论

工作流仿真结果分析

计算机工程 2010年第10期36卷 44-46,49页

作者：高保强郝克刚西北大学软件工程研究所西安710127

基于扩展信牌驱动模型的工作流仿真包括模型静态检查和动态仿真,研究通过动态仿真手段对流程进行测试与分析,从而获得仿真结果的性能指标和结构功能指标。对路径覆盖指标及缺陷指标进行研究。利用白盒与黑盒2种测试方法对被测流程进行... 详细信息

基于扩展信牌驱动模型的工作流仿真包括模型静态检查和动态仿真,研究通过动态仿真手段对流程进行测试与分析,从而获得仿真结果的性能指标和结构功能指标。对路径覆盖指标及缺陷指标进行研究。利用白盒与黑盒2种测试方法对被测流程进行高覆盖度仿真,通过仿真结果反映缺陷的类型、分布与走势,并形成仿真报表。

关键词：工作流管理系统性能指标功能指标路径覆盖缺陷

在线全文

学校读者我要写书评

暂无评论

一种面向业务过程管理的企业资源模型

西北大学学报（自然科学版） 2007年第5期37卷 739-742页

作者：李向宁郝克刚西安电子科技大学机电工程学院陕西西安710071 西北大学信息科学与技术学院陕西西安710069

目的解决业务过程管理系统中过程建模与过程执行过度耦合的问题。方法通过对组织机构/角色模型的分析,提出了将过程控制逻辑进一步分解为路由逻辑与管理逻辑的思想,提出了描述管理逻辑的企业资源模型并进行了形式化描述。结果通过把企... 详细信息

目的解决业务过程管理系统中过程建模与过程执行过度耦合的问题。方法通过对组织机构/角色模型的分析,提出了将过程控制逻辑进一步分解为路由逻辑与管理逻辑的思想,提出了描述管理逻辑的企业资源模型并进行了形式化描述。结果通过把企业中的功能作为一种资源由资源管理系统进行管理,实现了路由逻辑与管理逻辑的分离,使过程定义与执行之间的耦合程度大大降低。结论基于企业资源模型的业务过程管理系统,具有模块更清晰、柔性更突出、分解粒度更小等优势。

关键词：工作流业务过程管理企业模型

在线全文

学校读者我要写书评

暂无评论

一种基于AOSD的工作流管理系统的实现

计算机科学 2006年第8期33卷 260-262,274页

作者：董云卫郝克刚西北工业大学计算机学院西安710072 西北大学计算机科学系西安710069

采用面向方面软件开发方法建立事务工作流管理系统的软件体系结构。通过提取工作流应用的业务流程业务活动、参业者和事务这四个关注点,利用面向方面的软件开发方法实现并独立封装事务工作流的需求关注,并对这些关注的实现进编织生成事... 详细信息

采用面向方面软件开发方法建立事务工作流管理系统的软件体系结构。通过提取工作流应用的业务流程业务活动、参业者和事务这四个关注点,利用面向方面的软件开发方法实现并独立封装事务工作流的需求关注,并对这些关注的实现进编织生成事务工作流应用程序,解决不同工作流程之间、不同事务之间信息交换和协同工作,在确保系统执行状态正确的基础上,降低了工作流应用关注间的耦合性,增强了事务管理柔性管理能力。

关键词：面向方面软件开发事务工作流工作流管理系统