内蒙古自治区自然科学基金(200607010810)
- 作品数：9 被引量：23H指数：3
- 相关作者：赵军富高永兵靳荣马胜梅史海军更多>>
- 相关机构：内蒙古科技大学北京理工大学包头职业技术学院更多>>
- 发文基金：内蒙古自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 语义网中几种描述语言的比较研究被引量：1
- 2007年
- 本体语言用于形式化描述Web文档中词汇的含义,在语义网中占有重要的位置。文中主要介绍了语义网的产生及其意义,并以语义网中描述语言的层次为出发点,比较了XML/XML Schema,RDF/RDF Schema及OWL(Ontology WebLanguage)的功能和作用。从描述语言表达能力的各个方面,比较这三种语言的关系和差异,并举出例子来说明OWL在语义网中的应用。
- 胡文江高永兵李伟杰
- 关键词：语义网XMLRDFOWL
- 基于Active XML的工作流引擎设计被引量：2
- 2007年
- 通过对现有工作流引擎的分析,引入Active XML这种分布式数据管理语言,提出一个基于AXML的分布式工作流引擎的框架结构,并就引擎如何控制流程给出详细的论述.该工作流引擎可以实现对动态整合和动态更新的Web服务进行适时调用.
- 靳荣赵军富高永兵史海军
- 关键词：ACTIVE工作流工作流引擎WEB服务
- 一种基于DHT的语义路由策略
- 2007年
- 路由一直是制约网络发展的关键因素之一.近年来,许多研究小组在这方面做了大量工作并提出了许多可行的方案,结合最新比较成熟的研究成果:分布式哈希表(DHT)与语义路由技术,提出了一种基于DHT的语义路由策略,并在Chord构架下加以实现,该策略填补了Chord在语义方面的空缺.
- 赵军富郝长胜段军杨利平
- 关键词：DHT语义路由CHORD
- 基于Web Services的工作流系统监控管理工具设计被引量：4
- 2008年
- 随着工作流系统趋于大型化和复杂化,工作流实例在执行过程中会出现各种例外,如:实例运行的阻塞、安全性等.引入分布式技术Web Services平台,结合XML技术良好的灵活性和可扩展性,对工作流系统的监控管理工具进行设计,使得工作流管理与监控接口具备了良好的灵活性、重用性和可扩展性.实现监控管理系统对任务执行进行实时监控,对执行过程的一些错误进行及时处理,保证了过程模型的正确性和过程实例的一致性.
- 赵军富马胜梅刘玉平郭养臣
- 关键词：WEB服务可扩展标识语言工作流系统
- “艾妮”病毒的传播机制及防治研究
- 2007年
- 该文分析了"艾妮"病毒的特征,从病毒行为及执行表现上研究了作为感染型蠕虫的传播机制,并提出了一定的控制及防治方法。
- 赵宇红王晓鑫陈凯尹淑珍
- 关键词：蠕虫病毒
- 基于Web服务的工作流执行优化方法探讨被引量：1
- 2009年
- 工作流优化有多种不同的手段,按照优化操作的对象不同,可以分为结构优化和参数优化。资源优化是工作流参数优化领域的热点,优化资源数量可以最大化地改善工作流时间性能。优化算法主要涉及遗传算法、基于Petri网结构的并行优化和与扩展Petri网结合的遗传算法等。工作流验证目的是在过程设计时检验工作流的正确性,避免执行时出现异常。在工作流模型实际实施之前,探测其中可能存在的各种过程异常可以降低工作流运行时的停产、检查和修复的成本,具有重大的经济意义。车间作业调度问题是一类最具一般性的生产调度问题,采用这种新型的扩展Petri网对调度问题进行建模,结合遗传算法对该调度问题进行优化,最后得到了问题的最优解。这种基于扩展Petri网的遗传算法具有较高的通用性。
- 胡文江高永兵樊瑞民张健
- 关键词：自动机遗传算法PETRI网
- 基于MSXML接口的Active XML解析器的构建被引量：2
- 2006年
- Active XML定义为一种分布式数据管理语言,主要思想是在XML中嵌入Web Services调用实现访问一些不断更新的数据.目前的大多XML Parser能够解析静态的XML文档结构,对动态XML(Active XML)没作考虑.设计了一个基于MSXML接口的插件对Active XML文档进行处理,使其转化为普通的XML文档,使一些时空相关的动态数据以通用XML文档格式交换与存储,从而为AXML的推广使用奠定基础.
- 靳荣高永兵史海军赵军富
- 关键词：AXMLWEB服务MSXML解析器
- 基于Petri网化简技术的工作流模型合理性验证被引量：7
- 2009年
- 随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程。
- 赵军富靳荣马胜梅刘玉平
- 关键词：PETRI网工作流模型化简
- 基于Petri网化简技术的工作流过程模型结构验证被引量：6
- 2009年
- 目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petri网和原有的Petri网具有相同的属性。介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程。
- 徐晶明杜宝珠
- 关键词：PETRI网工作流模型化简
