【摘 要】
：
在证明转换规则正确性的基础上, 首先利用转换规则对AOE网进行转换, 然后从两个方面对转换后的CPN（Colored Petri Nets）模型不合理的地方进行合理性的修改. 再利用编写的函数求
论文部分内容阅读
在证明转换规则正确性的基础上, 首先利用转换规则对AOE网进行转换, 然后从两个方面对转换后的CPN（Colored Petri Nets）模型不合理的地方进行合理性的修改. 再利用编写的函数求出从源点到汇点的所有的可达路径, 在获得所有可达路径的同时也获取了所有可达路径所花费的时间, 那么时间最大的就是关键路径. 该方法不仅简便直观, 而且能够在保证正确性合理性的前提下提高执行效率, 减小时间复杂度.
其他文献
本文以加快嵌入式数据库SQLite的数据查询速度为出发点，提出了一种在原有SQLite的B＋树索引机制的基础上改进的新索引机制，在对嵌入式内存资源影响不大的前提下提高了SQLite的查
本文对Hadoop平台进行了分析研究后，与HITS算法的设计理论和技术相结合，对基于中文词汇网络的HITS算法进行了重新设计，使其符合Hadoop平台的框架，详细分析了Map／Reduce函数的设计
针对轨道交通列车节约能耗、节省时间和提高舒适度等因素之间的冲突问题，建立了以工况转换点为求解目标的多约束条件下列车运行优化控制模型，并提出了弯道优行法的列车通行原则
WIA-PA是基于IEEE802．15．4标准的用于工业过程测量、监视与控制的无线网络系统．作为一种新型的无线网络系统，其安全问题尤为重要，为保证WIA-PA网络的安全性，设计了WIA-PA网络的密钥
针对起重机设计过程中信息共享程度低、快速响应市场能力差、重复劳动多的问题．分析了现有网络化协同设计的诸多不足，提出了一种网络化设计新模式——云设计．在深入研究信息共享
信息管理系统网络化是企业信息化的必然趋势．文中针对传统的桌面CAPP系统和新起的Web架构CAPP系统的优劣，利用新起的．net技术、内存数据库技术对传统系统的架构进行Web适应性改
Matinez等人已经提出了一种只依赖于椭圆曲线密码和零知识认证模式的无线射频认证协议.本文中,我们指出该协议不能抵抗去同步化攻击.攻击者只需拦截最后服务器发给标签的确认消息,就会导致后台服务器和标签存储的共享秘钥不一致.对此,我们提出了修正方案,并证明了修订后的协议可以抵抗去同步化攻击.
随着集群技术在石油勘探、航空航天工程、生物工程等领域的应用越来越广泛，集群环境中各种类型节点不同的应用需求使得集群系统的管理难度也越来越大．采用集群技术的概念，在Linu
针对局域网内的设备账号管理和远程操作所出现的问题，本文设计实现一种基于Radius协议的网络设备账号管理的授权策略，其通过在Freeradius开源软件上实现整个局域网内的设备统一