您的位置： 专家智库 > >

国家自然科学基金(60773034)

作品数：15 被引量：36H指数：4
相关作者：杜玉越崔焕庆周传爱张福新张杰更多>>
相关机构：山东科技大学中国科学院软件研究所青岛滨海学院更多>>
发文基金：国家自然科学基金国家重点实验室开放基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术经济管理文化科学更多>>

文献类型

  • 14篇期刊文章
  • 1篇会议论文

领域

  • 13篇自动化与计算...
  • 1篇经济管理
  • 1篇电子电信
  • 1篇文化科学

主题

  • 7篇PETRI网
  • 3篇工作流
  • 2篇电子商务
  • 2篇商务
  • 2篇最小割集
  • 2篇话题检测与跟...
  • 2篇割集
  • 1篇电子商务模式
  • 1篇电子商务平台
  • 1篇动态规划
  • 1篇形式化
  • 1篇软件开发
  • 1篇商务模式
  • 1篇商务平台
  • 1篇时间复杂度
  • 1篇事故树
  • 1篇水利
  • 1篇排序
  • 1篇最短路径
  • 1篇网格

机构

  • 13篇山东科技大学
  • 8篇中国科学院软...
  • 2篇青岛滨海学院
  • 1篇北京航空航天...
  • 1篇同济大学
  • 1篇东营市技术学...
  • 1篇山东省计算机...
  • 1篇山东省计算中...

作者

  • 9篇杜玉越
  • 2篇崔焕庆
  • 1篇张福新
  • 1篇王英龙
  • 1篇栾文静
  • 1篇赵华
  • 1篇邓攀
  • 1篇陈黎静
  • 1篇刘素红
  • 1篇周月明
  • 1篇庞海杰
  • 1篇周传爱
  • 1篇孙海春
  • 1篇孙海霞
  • 1篇李鹏
  • 1篇刘伟
  • 1篇张建伟
  • 1篇唐艳
  • 1篇于淑霞
  • 1篇张杰

传媒

  • 3篇计算机应用与...
  • 3篇系统仿真学报
  • 1篇计算机工程
  • 1篇情报杂志
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇山东科技大学...
  • 1篇计算机技术与...
  • 1篇计算机与信息...

年份

  • 2篇2012
  • 3篇2011
  • 3篇2010
  • 3篇2009
  • 4篇2008
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种新的表插入排序算法被引量：1
2010年
表插入排序算法的优点在于其避免了记录的移动,算法执行的花销主要在于查找插入位置,平均时间复杂度为O(n2/4)。针对表插入排序算法中每次查找插入位置均需从表头开始的限制,提出了新的表插入排序算法,给出了相关算法描述及性能分析。大量实验表明,新的表插入排序算法的平均时间复杂度为O(n2/6),而查找插入位置所需进行的元素比较的次数平均减少了33%。结果显示虽然平均时间复杂度与其他的表插入排序算法相当,但元素比较的次数却有了很大的降低,为下一步与折半查找相结合提供了方向。
陈黎静
关键词：时间复杂度
基于OFBiz与J2EE的水利水电应用系统的设计被引量：4
2009年
在J2EE架构下,封装OFBiz工作流引擎的基础之上,采用表示层、业务逻辑层与持久层分离的设计模式,大大降低了模块之间以及模块内部的耦合度,同时使系统具备良好的扩展性与可维护性。从总体上给出了水利水电应用系统的设计与实现方法。
张杰杜玉越
关键词：工作流工作流系统OFBIZJ2EE架构
求解多段图问题的并行动态规划算法被引量：2
2011年
多段图问题是一类特殊的单源最短路径问题。在串行动态规划算法的两种实现方法的基础上,根据图中顶点的编号,提出两种在集群环境下进行任务分割的并行化求解方法,并使用MPI进行实现。实验结果表明,所提出的算法具有较高的加速比和较低的通信复杂度、时间复杂度。算法不限于某种结构的集群,通用性强。
崔焕庆王英龙
关键词：最短路径动态规划集群
应用Petri网求解事故树最小割集的方法研究被引量：6
2011年
为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树的逻辑表达式与事故树Petri网模型的可达死标识之间的关系,进而提出了利用Petri网可达图求解事故树最小割集的算法,以及在给定基本事件发生时,中间事件和顶事件发生与否的判断方法。结合实例,借助开源的Petri网工具PIPE实现了事故树最小割集的求解,表明了该算法的有效性和可行性。
崔焕庆周传爱
关键词：事故树最小割集PETRI网可达图
基于程序Petri网的新型软件开发方法研究被引量：1
2008年
从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。
孙海春杜玉越
关键词：PETRI网
基于逻辑Petri网的图书馆借阅系统的建模与分析被引量：3
2008年
随着信息化社会的发展以及图书馆规模和功能的日益强大,传统的图书管理系统已经不能满足用户的需求,所以需要对其进行改进,构建新模块,增加新功能,搭建新的图书馆自动化管理系统平台。因此,对图书馆流程的建模与分析成为图书管理系统的研究重点之一。描述了图书馆借阅系统的具体流程,建立了相应的逻辑Petri网模型,并研究了系统的某些重要性质。
栾文静杜玉越
基于Petri网的协同工作流建模与分析
2008年
为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。
周月明杜玉越
关键词：协同工作流
基于工作流网的电子商务平台建模技术研究被引量：1
2010年
建模是系统开发过程中十分重要的一步,传统的图形化建模工具,不能对系统设计的可行性作出定量的分析。提出一种新的软件建模思路,应用工作流网技术完成了对电子商务平台的建模,解决了电子商务平台业务流程与网上银行业务流程的协作问题。运用关联矩阵和状态方程,精确分析了模型的重要性质,应用Petri网模拟分析工具PN-applet,对系统模型进行了模拟运行,并评价了系统设计的可行性,对系统开发有积极的指导意义。
李鹏杜玉越孙海霞
关键词：工作流网PETRI网电子商务平台关联矩阵
基于关联词对动态抽取的报道关系检测技术研究被引量：2
2010年
报道关系检测是判断随机选取的两个新闻报道是否讨论同一话题的技术。提出了一种基于关联词对动态抽取的报道关系检测方法。关联词对是指在同一篇报道中出现的满足一定关系约束的两个单词,而关系约束是指一组特征的集合。该方法认为两篇报道中出现的相同的关联词对越多,两篇报道的相似度越大。实验证明基于关联词对动态抽取的报道关系检测方法取得了非常好的效果,从而证实了所提方法的有效性。同时,实验还表明,关系约束对该方法的成功实施起着非常重要的作用。
赵华邓攀张建伟
关键词：话题检测与跟踪
改进的最小割集生成算法与联锁系统模型的安全性测试被引量：5
2009年
为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。
张福新杜玉越
关键词：联锁系统故障树分析最小割集PETRI网安全测试
全选 清除 导出
共2页<12>
聚类工具0