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

作品数：19被引量：76H指数：6
导出分析报告
相关作者：蒋昌俊丁志军庞善臣张金泉倪丽娜更多>>
相关机构：同济大学山东科技大学聊城大学泰山学院更多>>
相关期刊：《计算机工程与应用》《控制与决策》《计算机应用》《计算机学报》更多>>
相关主题：PETRI网时序PETRI网并发程序调度串匹配更多>>
相关领域：自动化与计算机技术经济管理自然科学总论电气工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
复合二项模型下盈余到达一给定水平的时间分析
《数学的实践与认识》2006年第11期1-5,共5页高明美 赵明清 徐瑞萍 
国家杰出青年科学基金(60125205)
利用鞅论的方法得到了复合二项模型中盈余过程首次和末次到达一给定水平的时间的分布特征,并导出了几个概率等式,另外,也讨论了其它一些相关量的概率特征.
关键词：风险模型 鞅 盈余 理赔次数 
审计缓冲区的形式化模型及其验证被引量：1
《计算机科学》2006年第5期98-103,共6页丁志军 刘海峰 蒋昌俊 
国家自然科学基金(60473094);国家杰出青年科学基金(60125205)
审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序 Petri 网对审计缓冲区管理的实...
关键词：审计 时序PETRI网 缓冲区 验证 
Petri网的同步距离计算被引量：3
《计算机科学》2005年第12期138-141,154,共5页张金泉 倪丽娜 蒋昌俊 
国家杰出青年基金(No.60125205);国家863计划项目(2002AA1Z2102A)
同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性...
关键词：PETRI网 同步距离 S_元 同步距离计算网(SDCNet) 
一种双匹配动态调度算法被引量：6
《信息与控制》2005年第5期532-538,共7页支青 蒋昌俊 
国家863计划资助项目(2004AA104340);国家自然科学基金重大研究计划资助项目(90412013);国家杰出青年科学基金资助项目(60125205);上海市科技攻关计划资助项目(03DZ15029)
提出了适于异构环境独立任务调度的双匹配动态调度算法(BM算法).BM算法将任务与处理机实现双匹配,使大部分任务在执行时间最短而且完成时间最早的处理机上执行.对于无法实现双匹配的任务,采用最早完成时间最小者优先的策略进行调度.BM...
关键词：调度 最早完成时间 最少执行时间 调度跨度 
独立任务调度的启发式算法被引量：7
《计算机工程与应用》2005年第11期22-25,共4页张金泉 倪丽娜 蒋昌俊 杜晓丽 
国家杰出青年基金项目(编号:60125205);上海高校网格(编号:200306)资助
任务调度是一个NP-hard问题,而且是并行与分布式计算中一个必不可少的组成部分,特别是在网格计算环境下任务调度更加复杂。该文提出了满足负载均衡的一个启发式任务调度算法。给出了选择处理机和任务的方法,以提高算法的效率。实验表明...
关键词：任务调度 网格计算 启发式算法 
一种适于异构环境的任务调度算法被引量：7
《自动化学报》2005年第6期865-872,共8页支青 蒋昌俊 
国家高技术研究发展计划(863)(2004AA104340);国家重点基础研究发展规划(973)(2003CB316902);国家自然科学基金重大研究计划(90412013);国家杰出青年科学基金(60125205);上海科技攻关研究项目(03DZ15029)资助
针对异构环境独立任务调度问题提出两个调度原则,并基于Min-min算法提出优先级最小最早完成时间算法(Prioritymin-min,PMM).该算法将任务在各处理机上执行时间的标准误差作为任务的优先级.选取最早完成时间较小的k个任务,优先调度其中...
关键词：调度 最早完成时间 最少执行时间 调度跨度 标准误差 
BM串匹配的一个改进算法被引量：4
《计算机应用》2004年第12期11-13,共3页庞善臣 王淑栋 蒋昌俊 
国家杰出青年科学基金资助项目 (6 0 1 2 52 0 5) ;国家自然科学基金资助项目 (90 41 2 0 1 3 ) ;国家 86 3计划资助项目 (2 0 0 1AA41 3 0 2 0 ) ;上海市重点基础项目 (0 2DJ1 40 6 4);国家杰出青年科学基金 (6 0 1 2 52 0 5) ;国家 86 3计划资助项目 (2 0 0 1AA41 3 0 2 0 ) ;上海市重点基础资助项目 (0 2DJ1 40 6 4)
在分析BM算法和文献[12]的基础上,给出了BM串匹配的一个改进算法。该算法有以下重要的特点:1)最坏情况下,算法有效地减少了字符重复比较的次数,提高了匹配效率;2)匹配算法在二维匹配和不精确匹配中较易推广。
关键词：串匹配 正文 模式 时间复杂度 
基于等价相异度矩阵的聚类被引量：11
《计算机科学》2004年第7期183-184,共2页赵明清 蒋昌俊 陶树平 
国家自然科学基金(699673029;69933020);国家973重点基础研究发展规划项目(G1998030604);国家杰出青年科学基金(60125205)
本文介绍了等价相异度矩阵的性质,证明了[d(i,j)]_(n×n)^((n-1))是等价相异度矩阵,并给出了等价相异矩阵的逐次平方求解方法和基于相异度矩阵的聚类方法。最后通过实验证明了此聚类方法的可行性和有效性。
关键词：等价相异度矩阵 聚类 数据挖掘 逐次平方求解 
基于Petri网的Web服务流语言(WSFL)建模与分析被引量：1
《小型微型计算机系统》2004年第7期1382-1386,共5页孙健 张鹏 
国家杰出青年科学基金项目 (60 12 5 2 0 5 )资助
描述了 Web服务流语言 (WSFL)的 Petri网建模方法 ,利用网结构描述商业流程基本结构 .在对 WSFL 的语法元素进行分析的基础上 ,有效地对 WSFL所描述的商业流程进行了 Petri网建模 .在此基础上 ,结合 Petri网的可达图分析技术 。
关键词：PETRI网 WSFL WEB SERVICE 验证 可达性 安全性 
基于Internet的远程监控在电力系统中的应用研究被引量：2
《山东科技大学学报（自然科学版）》2004年第3期26-29,共4页倪丽娜 张金泉 蒋昌俊 
国家杰出青年基金资助项目(60125205);国家863计划资助项目(2002AA4Z3430;2002AA1Z2102A)
对电力系统基于Internet的远程监控系统进行研究,介绍了远程监控实现的基本原理、系统的总体结构、工作过程,并开发了一个监控系统。对系统实现的关键技术进行了讨论,该系统综合利用了网络通信的WindowsSockets技术、Web数据库技术和网...
关键词：远程监控 WINDOWS SOCKETS TCP/IP WEB数据库 信息安全 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部