具有模糊性程序语义模型的研究

计算机语言的语义研究是计算机科学技术研究的大方向之一，她主要包含了操作语义、指称语义、公理语义以及谓词演算系统等类型的语义模型，其研究成果对程序设计语言、编译技术、软件安全以及分布式系统等分支领域有重大的实际意义。.在基本上完成经典语义模型建立后，人们开始关注非经典程序语义模型的建立和研究。具有随机性的程序语义模型首先受到了理论与应用人士的关注。人们使用概率和统计方法，建立了概率进程演算系统，概率进程指称语义的概率幂域理论，以及概率谓词演算系统。.模糊性是计算机世界的另一不精确和不确定性的表现形式，如模糊查询以及模糊输入。.本项目在已有的研究工作基础上，进一步地研究具有模糊性的形式语义模型，包括模糊进程代数，模糊谓词演算系统。在此基础上建立程序的模糊语义，以及模糊算法的语义，其研究成果无论理论上还是实际应用上都有较高的价值。