论文部分内容阅读
计算状态空间可达图是验证工作流正确性的主要方法，状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTLx描述的正确性提出了一种基于Petri网图形化简的验证方法，证明了所提出化简规则的完备性，并以实例说明了所提方法的有效性。
基于Petri网的工作流模型简化
【摘 要】
：
计算状态空间可达图是验证工作流正确性的主要方法，状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTLx描述的正确性提出了一种基于Petri网图形化简的验证方法，证明了
【机 构】
：
江苏大学计算机科学与通信工程学院
【出 处】
：
计算机科学
【发表日期】
：
2008年2期
【基金项目】
：
本文得到国家自然科学基金（No.60603041）、江苏省自然科学基金（BK2006073）的资助.
其他文献
图像在获取和传输过程中总会受到噪声等的影响,使图像数据和现实差距太大。为了快速有效地去除这些噪声信号,详细研究了基于小波包变换去除噪声的方法和原理,探讨了基于小波包变换的含多种噪声的图像增强处理技术。实验表明,这种方法在图像去噪处理中是有效可行的。
软件中的缓冲区溢出漏洞是个严重的安全隐患,利用它的攻击给社会造成了巨大的危害和经济损失,缓冲区溢出漏洞检测防护技术已成为一个研究热点。首先分类剖析了缓冲区溢出攻击
入侵检测技术是近20年来才出现的一种有效保护网络系统免受网络攻击的新型网络安全技术。随着网络技术的迅速发展、安全问题的日益突出，传统的入侵检测系统已难以满足对越来越
社交网络已成为互联网上最热门的话题和网络应用亮点，它让用户组织自己的网络链接，维护各种社会关系。社交网络重要的是对个人信息的维护，对网络内他人信息的感知；在社交网络环境
结构化P2P网络因其查找效率高、资源消耗少的特点受到了越来越多的关注，但由于缺少易于开发和应用的平台，结构化P2P网络上的应用还没有广泛出现，这限制了结构化P2P网络的普及。
大规模软件与AS级Internet宏观拓扑结构的研究，对两者结构的进一步理解和应用具有重要意义。根据大规模软件结构与AS级Intemet宏观拓扑结构体现出来的复杂网络特征，分别将其抽
提出了数字城市建设应当在"数据服务"的基础上向"应用服务"转变,指出了"应用服务"的两个方面:面向公众的信息服务和面向专业领域的信息服务。针对讨论较少的后一种应用问题,设计了数字城市的模型服务系统来支持所需的信息服务。讨论了系统在数字城市应用服务平台中的地位和作用,分析了系统的结构,提出了模型的接口规范和系统的工作流程。最后,对实现的数字城市模型服务系统原型进行了探讨。
传统的数据库管理系统和数据查询算法不能很好地支持对流数据的查询已经被广泛认识，因而需要研究新的流数据模式查询算法。提出了一种基于摘要技术的在线快速混合模型流数据聚
资源发现机制是目前网格领域中的一个热点研究问题。对已有的网格资源发现方法进行了分析，指出了这些方法存在的不足，提出了一种基于多层覆盖网络结构的资源发现机制，将具有同一
运动估计算法是视频编码技术的研究重点，高精度、高效率的匹配和补偿可以减少预测误差，提高视频压缩效果，因此块匹配的准确性是核心问题。对最小绝对误差MAD、最小均方误差MSE、