交叉语义约定相关硕士博士期刊学术论文

许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动。但人......