论文部分内容阅读
文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性.
门户网自助系统的扩展有色Petri网建模与分析
【摘 要】
：
文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建
【机 构】
：
华中师范大学
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年z1期
其他文献
针对目前蒙特卡罗模拟并行计算的两个制约因素,提出了利于普及的完整解决方案.建立了算法、参数与MCNP一致的并行随机数发生器模块.参考Linux集群方案,提出了一种基于Windows
相对残差产生器的主动鲁棒性设计,自适应阈值方法也是提高故障检测系统的灵敏度和鲁棒性的一种有效方法.针对自适应阈值的检测方法,为提高检测系统的计算速度和鲁棒性,提出了
根据关系数据库的基本理论,关系型数据库对数据的存储使用了标准的共享锁、修改锁、独占锁等机制,提供数据库、表、页面、记录等多种不同的资源粒度以及锁升级机制.因此所有
面对中国加入WTO的新机遇和严峻挑战,理论界、企业界都在研究应对策略.对于西部地区的中小企业来说,因受诸多因素困扰,其发展后劲严重不足.要想在激烈的市场竞争中求得生存和
产权制度与不良贷款之间存在着密切联系.我国国有银行不良贷款比率过高,原因固然有多种,但是产权不明、权责不清乃是不良贷款形成的根本原因.因此,必须深化国有企业改革,建立
现代财务理论研究的新特征主要表现为四个方面:跨学科交叉整合研究、趋向数量分析、关注跨国公司财务、重视委托代理问题.文章分别对这四个方面进行了概述.
在Kerberos协议一个变体的基础上提出了一种称为KSAMAN的安全认证模型.该模型提供安全扩展来支持处于敌对环境中的移动ad hoc网络更具挑战性的安全需求.KSAMAN将大量的特性从