国家重点基础研究发展计划(G1998030604)

作品数：8被引量：63H指数：5
导出分析报告
相关作者：蒋昌俊丁志军赵明清林作铨桂艳峰更多>>
相关机构：同济大学山东科技大学北京大学中国科学院更多>>
相关期刊：《计算机学报》《系统仿真学报》《小型微型计算机系统》《计算机研究与发展》更多>>
相关主题：时序PETRI网并发程序PETRI网WEB安全访问控制更多>>
相关领域：自动化与计算机技术经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于等价相异度矩阵的聚类被引量：11
《计算机科学》2004年第7期183-184,共2页赵明清 蒋昌俊 陶树平 
国家自然科学基金(699673029;69933020);国家973重点基础研究发展规划项目(G1998030604);国家杰出青年科学基金(60125205)
本文介绍了等价相异度矩阵的性质,证明了[d(i,j)]_(n×n)^((n-1))是等价相异度矩阵,并给出了等价相异矩阵的逐次平方求解方法和基于相异度矩阵的聚类方法。最后通过实验证明了此聚类方法的可行性和有效性。
关键词：等价相异度矩阵 聚类 数据挖掘 逐次平方求解 
基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测被引量：7
《小型微型计算机系统》2004年第5期821-826,共6页韩耀军 蒋昌俊 罗雪梅 
国家"973"重点基础研究发展规划项目(G19980 3 0 60 4)资助;中国科学院计算机科学实验室开放课题项目(SYSKF0 3 0 4)资助;上海市重点基础研究计划资助
利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应...
关键词：分布式数据库系统 并发控制 死锁检测 PETRI网 共享合成 同步合成 化简 
一个基于角色的Web安全访问控制系统被引量：20
《计算机研究与发展》2003年第8期1186-1194,共9页桂艳峰 林作铨 
国家自然科学基金 ( 6992 5 2 0 3 );国家"九七三"重点基础研究发展规划项目 (G19980 3 0 60 4)
对基于角色的访问控制模型进行了分析并定义了相关的概念 ,给出了实现模型和算法设计 ;对现行的Web安全认证和访问控制中存在的问题和隐患进行了分析 ,给出了一种新的可行的安全解决方案 ;最终实现了一个基于角色访问控制策略的Web资源...
关键词：访问控制 基于角色的访问控制模型 网络安全 
投入产出系统Petri网模型
《系统仿真学报》2003年第z1期109-111,共3页赵明清 张秀娟 蒋昌俊 
国家自然科学基金项目(69973029;69933020); 国家973重点基础研究发展规划项目(G1998030604); 国家杰出青年科学基金项目(60125205)。
Petri网是分析系统的一种有用工具。介绍了Petri网和投入产出系统的基本概念;给出了构造投入产出系统Petri网模型的方法;讨论了投入产出系统Petri网模型的性质;基于投入产出系统Petri网模型,得到了投入产出系统可分解的充分条件和不可...
关键词：PETRI网 标识 使能 投入产出系统 模型 
基于网语言的Ada程序局部性质的分析和验证被引量：1
《软件学报》2002年第12期2305-2316,共12页丁志军 蒋昌俊 
国家自然科学基金资助项目(69973029;69933020);国家高技术研究发展计划资助项目(2001AA413020);国家重点基础研究发展规划973资助项目(G1998030604);国家杰出青年科学基金资助项目(60125205);教育部优秀青年教师教学科研奖励计划资助项目;全国优秀博士论文作
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.
关键词：网语言 ADA程序 局部性质 同步合成 同步分解 分析 验证 ADA语言 并发程序 程序设计 
网上证券交易系统的时序Petri网描述及验证被引量：9
《软件学报》2002年第8期1698-1704,共7页杜玉越 蒋昌俊 
~~国家自然科学基金资助项目(69973029;69933020);国家重点基础研究规划973资助项目(G1998030604);中国科学院软件研究所计算机科学重点实验室资助项目(SYSKF0205)
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简...
关键词：网上证券交易系统 时序PETRI网 时序逻辑 形式描述 正确性验证 电子商务 股票市场 
并发程序验证的时序Petri网方法被引量：13
《计算机学报》2002年第5期467-475,共9页丁志军 蒋昌俊 
国家自然科学基金 (69973 0 2 9;6993 3 0 2 0 );国家"九七三"重点基础研究发展规划项目 (G19980 3 0 60 4);国家杰出青年科学基金 (60 12 5 2 0 5 );全国优博士论文作者专项基金 (19993 4);上海市重点基础研究计划资助;教育部优秀青年教师教学科研奖励计划
并发程序的设计、分析和验证已经成为计算机理论界基础理论研究的方向之一 .Petri网和时序逻辑被认为是探讨该问题较为有效的两个理论工具 ,但二者都有局限性 .该文引用一种新网子类 :时序 Petri网 ,描述了并发程序的时序 Petri网建模方...
关键词：并发程序 验证 时序PETRI网 计算机 
Polynomial-time algorithm for the legal firing sequences problem of a type of synchronous composition Petri nets被引量：3
《Science in China(Series F)》2001年第3期226-233,共8页蒋昌俊 
This work was supported by the National Natural Science Foundation of China (Grant Nos. 69973029 and 69933020) ; the National Key Basic Science Foundation of P. R. China (973 Project, Grant No. G1998030604) ; the Key Project of National Science & Techn
As far as we know, the testing problem of legal firing sequence is NP-complete for gener-al Petri net, the related results of this problem on the polynomial-time solvability are limited only to some special net classe...
关键词：Petri net synchronous composition legal firing sequence testing algorithm NP-complete problem polynomial-time complex. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部