文献检索-宁波市创意产业特色资源库

限定检索结果

并行程序与状态序列——交叉语义约定的研究: 收藏
分享
引用; 《系统仿真学报》2003年第Z1期15卷 29-31页; 作者：袁崇义余鹏王生原北京大学信息科学学院计算机科学技术系北京100871; 许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动。但人们习惯于用状态序列对并列程序模型的语义作数学处理。一旦偏序的状态空间用交叉的方法全序化,并用于论证...; 许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动。但人们习惯于用状态序列对并列程序模型的语义作数学处理。一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免。所谓误导,指的是与实际运行的偏差,借助于Petri网,可以将它们暴露出来。其实偏差的出现与Petri网的基本现象冲突(conflict)、冲撞(contact)、并发(concurrency)和混惑(confusion)相关。本文用Petri网分析误导的情况。; 来源：详细信息评论

限定检索结果