公共文化服务平台

共 8 条记录，以下是 1-8

全选清除导出

排序方式：

网上证券交易系统的时序Petri网描述及验证被引量：12: 2002年; 基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统中某些与时间有关的重要性质,如最终性和公平性.因此,时序Petri网可作为并发系统形式化描述和分析的有力工具.; 杜玉越蒋昌俊; 关键词：网上证券交易系统时序PETRI网时序逻辑电子商务股票市场

Polynomial-time algorithm for the legal firing sequences problem of a type of synchronous composition Petri nets被引量：3: 2001年; 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 classes, such as persistent Petri nets, conflict-free Petri nets and state machine Petri nets. In this paper, the language properties of synchronous composition net are discussed. Based on these results, the testing algorithm polynomial-time complexity for legal firing sequence is proposed. Therefore, net classification of polynomial-time solvability for testing legal firing sequence is extended.; 蒋昌俊

基于等价相异度矩阵的聚类被引量：12: 2004年; 本文介绍了等价相异度矩阵的性质,证明了[d(i,j)]_(n×n)^((n-1))是等价相异度矩阵,并给出了等价相异矩阵的逐次平方求解方法和基于相异度矩阵的聚类方法。最后通过实验证明了此聚类方法的可行性和有效性。; 赵明清蒋昌俊陶树平; 关键词：聚类数据挖掘

一个基于角色的Web安全访问控制系统被引量：39: 2003年; 对基于角色的访问控制模型进行了分析并定义了相关的概念 ,给出了实现模型和算法设计 ;对现行的Web安全认证和访问控制中存在的问题和隐患进行了分析 ,给出了一种新的可行的安全解决方案 ;最终实现了一个基于角色访问控制策略的Web资源安全管理系统 ,它在实际应用中取得稳定、可靠和有效的结果 .; 桂艳峰林作铨; 关键词：访问控制网络安全

投入产出系统Petri网模型: 2003年; Petri网是分析系统的一种有用工具。介绍了Petri网和投入产出系统的基本概念;给出了构造投入产出系统Petri网模型的方法;讨论了投入产出系统Petri网模型的性质;基于投入产出系统Petri网模型,得到了投入产出系统可分解的充分条件和不可分解的必要条件。为使问题阐述清楚,引入了一个具体的投入产出系统例子。将Petri网理论用于投入产出系统的研究,能够直观地反映出投入产出系统结构及其动态行为,是一件十分有意义的事情。; 赵明清张秀娟蒋昌俊; 关键词：PETRI网

基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测被引量：11: 2004年; 利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应系统的动态变化 .此外 ,本文利用 Petri网的化简技术 ,极大地简化了各站点的 Petri网模型 ,之后利用同步合成技术构造出整个系统的 Petri网模型 ,较好地解决了 Petri网的可达性分析中可能出现的状态 "爆炸 "问题 .; 韩耀军蒋昌俊罗雪梅; 关键词：分布式数据库系统并发控制死锁检测 PETRI网共享合成化简

并发程序验证的时序Petri网方法被引量：22: 2002年; 并发程序的设计、分析和验证已经成为计算机理论界基础理论研究的方向之一 .Petri网和时序逻辑被认为是探讨该问题较为有效的两个理论工具 ,但二者都有局限性 .该文引用一种新网子类 :时序 Petri网 ,描述了并发程序的时序 Petri网建模方法 :利用网结构描述程序基本框架及保证语句的原子性 ,通过时序逻辑公式反映程序的共享逻辑变量的赋值变化及时序关系 ,从而有效地对基本网无法描述的并发程序进行了建模 ;在此基础上 ,结合Petri网的可达图分析技术和时序逻辑的演绎公式。; 丁志军蒋昌俊; 关键词：并发程序时序PETRI网计算机

基于网语言的Ada程序局部性质的分析和验证被引量：1: 2002年; 旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.; 丁志军蒋昌俊; 关键词：ADA程序 ADA语言并发程序程序设计

全选清除导出

共1页<1>

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