国家杰出青年科学基金(60125205)
- 作品数:19 被引量:118H指数:8
- 相关作者:蒋昌俊丁志军庞善臣张金泉倪丽娜更多>>
- 相关机构:同济大学山东科技大学聊城大学更多>>
- 发文基金:国家杰出青年科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术经济管理自然科学总论电气工程更多>>
- 基于工作流网的实时协同系统模拟技术被引量: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语言
- 基于等价相异度矩阵的聚类被引量:12
- 2004年
- 本文介绍了等价相异度矩阵的性质,证明了[d(i,j)]_(n×n)^((n-1))是等价相异度矩阵,并给出了等价相异矩阵的逐次平方求解方法和基于相异度矩阵的聚类方法。最后通过实验证明了此聚类方法的可行性和有效性。
- 赵明清蒋昌俊陶树平
- 关键词:聚类数据挖掘
- 基于过程组件的物流管理系统模型设计及分析被引量:1
- 2004年
- 物流管理系统是工作流管理系统的重要组成部分,是企业经营过程的核心,借鉴组合Petri网的思想,在组件技术和分布式对象技术的基础上,提出了基于过程组件的物流管理系统的层次结构模型,该模型中,可复用的中等粒度的过程组件通过内部建立数据流和控制规则库,屏蔽了精细粒度的原子性对象之间的调用关系,提高了组件的重用性,提出了重组策略,给出了该模型的Petri网映射模型,为模型的性质分析提供了可靠的分析工具。
- 庞善臣蒋昌俊宫丽华
- 关键词:物流管理系统PETRI网企业数据流
- 复合二项模型下盈余到达一给定水平的时间分析
- 2006年
- 利用鞅论的方法得到了复合二项模型中盈余过程首次和末次到达一给定水平的时间的分布特征,并导出了几个概率等式,另外,也讨论了其它一些相关量的概率特征.
- 高明美赵明清徐瑞萍
- 关键词:盈余