您的位置： 专家智库 > >

国家杰出青年科学基金(60125205)

作品数：19 被引量：118H指数：8
相关作者：蒋昌俊丁志军庞善臣张金泉倪丽娜更多>>
相关机构：同济大学山东科技大学聊城大学更多>>
发文基金：国家杰出青年科学基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术经济管理自然科学总论电气工程更多>>

文献类型

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

领域

  • 17篇自动化与计算...
  • 4篇经济管理
  • 1篇电气工程
  • 1篇轻工技术与工...
  • 1篇农业科学
  • 1篇自然科学总论

主题

  • 7篇PETRI网
  • 3篇调度
  • 3篇时序PETR...
  • 2篇调度算法
  • 2篇语言
  • 2篇正文
  • 2篇任务调度
  • 2篇时间复杂度
  • 2篇复杂度
  • 2篇PETRI网
  • 2篇ADA语言
  • 2篇BM
  • 2篇并发程序
  • 2篇串匹配
  • 1篇动态调度
  • 1篇动态调度算法
  • 1篇独立任务调度
  • 1篇多项式
  • 1篇多项式复杂性
  • 1篇多项式时间

机构

  • 14篇同济大学
  • 12篇山东科技大学
  • 1篇聊城大学
  • 1篇青岛大学
  • 1篇泰山学院

作者

  • 16篇蒋昌俊
  • 4篇丁志军
  • 4篇庞善臣
  • 3篇倪丽娜
  • 3篇张金泉
  • 2篇赵明清
  • 2篇支青
  • 2篇赵明清
  • 1篇张秀娟
  • 1篇宫丽华
  • 1篇徐瑞萍
  • 1篇高明美
  • 1篇周长红
  • 1篇孙健
  • 1篇陶树平
  • 1篇孙萍
  • 1篇张靖
  • 1篇杜玉越
  • 1篇王淑栋
  • 1篇杜晓丽

传媒

  • 3篇计算机科学
  • 3篇山东科技大学...
  • 2篇自动化学报
  • 2篇计算机学报
  • 1篇数学的实践与...
  • 1篇计算机应用
  • 1篇信息与控制
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇中国科学（E...
  • 1篇系统仿真学报
  • 1篇控制与决策

年份

  • 2篇2006
  • 5篇2005
  • 8篇2004
  • 2篇2003
  • 3篇2002
共 19 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于工作流网的实时协同系统模拟技术被引量：23
2004年
基于Petri网和工作流的概念 ,提出一种实时协同系统的形式化模拟与分析技术———逻辑工作流网 .逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展 ,其变迁的输入 /输出受逻辑表达式的约束 .它与一般工作流网相比 ,能够在一定程度上缓解状态空间爆炸问题 ,且便于系统设计人员掌握和使用 .该文分析了逻辑工作流网的若干性质及组合网的性质继承问题 ,并以网上企业销售系统为例 ,说明逻辑工作流网在实时协同系统模拟分析中的应用 .
杜玉越蒋昌俊
关键词：PETRI网工作流
基于Internet的远程监控在电力系统中的应用研究被引量：5
2004年
对电力系统基于Internet的远程监控系统进行研究,介绍了远程监控实现的基本原理、系统的总体结构、工作过程,并开发了一个监控系统。对系统实现的关键技术进行了讨论,该系统综合利用了网络通信的WindowsSockets技术、Web数据库技术和网络信息安全技术,实现连接在广域网上的一个网络设备对另一个监控设备的远程访问和控制,该系统可以推广到许多应用领域。
倪丽娜张金泉蒋昌俊
关键词：远程监控WINDOWSSOCKETSTCP/IPWEB数据库
一种双匹配动态调度算法被引量：8
2005年
提出了适于异构环境独立任务调度的双匹配动态调度算法(BM算法).BM算法将任务与处理机实现双匹配,使大部分任务在执行时间最短而且完成时间最早的处理机上执行.对于无法实现双匹配的任务,采用最早完成时间最小者优先的策略进行调度.BM算法可以同时满足负载均衡和高吞吐率两个目标.BM算法与通常用作评测基准的M in-m in算法的比较结果表明,BM算法的运行时间远少于M in-m in算法,其调度跨度比M in-m in算法减少约9%.*
支青蒋昌俊
关键词：调度
基于前缀的BM串匹配改进算法
2004年
采用文献[11]求解子串前缀的方法,给出了BM算法一个改进算法。改进算法最坏情况下的时间复杂度达到O(m n/k),有效地减少了字符重复比较的次数,提高了匹配效率。
庞善臣
关键词：串匹配正文时间复杂度
粗糙集理论在建立线性计量经济模型中的应用
在建立线性计量经济模型时,需要合理确定解释变量,传统的逐步引入法非常复杂烦琐。本文将粗糙集理论用于重要解释变量的选择:首先,分析了粗糙集理论用于选择重要解释变量的可行性;其次,描述了粗糙集理论用于选择重要解释变量的步骤;...
张靖赵明清
关键词：关键词粗糙集属性约简计量经济模型
文献传递
一类同步合成网合法发射序列判定的一个多项式时间算法被引量：3
2002年
研究了同步合成网的语言性质,针对一类同步合成网,提出合法发射序列的一个多项式判定算法.从而将这类问题的多项式可解性从坚持网、无冲突网和状态机网的仅有Petri网子类,推广到更为广泛的这些子类的同步合成Petri网.一般Petri网的这类问题的判定是NP完全问题.因此,寻求这类问题的多项式可解性的任何更广网类的判定算法一直是重要的研究课题.
蒋昌俊
关键词：多项式时间算法PETRI网NP完全问题多项式复杂性
时序Ada网的语言性质被引量：1
2003年
在 Ada网的基础上 ,利用时序 Petri网为 Ada任务程序建模 ,提出了时序 Ada网的概念。利用时序 Ada网 ,可以很好地反映 Ada程序的公平性和原子性要求及描述程序的需求规范。对时序 Ada网的语言性质进行分析 ,结论表明时序 Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系 ,有助于对程序性质的分析和验证。
丁志军蒋昌俊
关键词：语言性质时序PETRI网ADA语言
基于过程组件的物流管理系统模型设计及分析被引量：1
2004年
物流管理系统是工作流管理系统的重要组成部分,是企业经营过程的核心,借鉴组合Petri网的思想,在组件技术和分布式对象技术的基础上,提出了基于过程组件的物流管理系统的层次结构模型,该模型中,可复用的中等粒度的过程组件通过内部建立数据流和控制规则库,屏蔽了精细粒度的原子性对象之间的调用关系,提高了组件的重用性,提出了重组策略,给出了该模型的Petri网映射模型,为模型的性质分析提供了可靠的分析工具。
庞善臣蒋昌俊宫丽华
关键词：物流管理系统PETRI网企业数据流
复合二项模型下盈余到达一给定水平的时间分析
2006年
利用鞅论的方法得到了复合二项模型中盈余过程首次和末次到达一给定水平的时间的分布特征,并导出了几个概率等式,另外,也讨论了其它一些相关量的概率特征.
高明美赵明清徐瑞萍
关键词：盈余
审计缓冲区的形式化模型及其验证被引量：1
2006年
审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序 Petri 网对审计缓冲区管理的实现方案进行建模,进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了 Petri 网缺乏描述系统事件之间时序关系的局限性,同时发挥了 Petri 网对系统并发和物理结构的有效描述及分析的优势,达到了系统验证的目的。
丁志军刘海峰蒋昌俊
关键词：审计时序PETRI网缓冲区
全选 清除 导出
共2页<12>
聚类工具0