动态模糊逻辑程序设计语言论文

动态模糊逻辑程序设计语言的操作语义模型及验证
论文摘要动态模糊逻辑(DFL)的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴Dijkstra的监督命令程序结构,通过结构化操作语...