公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

龙泉金村青瓷显微结构研究: 龙泉青瓷从北宋早期开始直到清初,有七百多年的历史.龙泉制品闻名于世界,具有滋润莹彻、柔和淡雅的优美风格,在明代以前,龙泉陶瓷生产盛况和产品的声誉都可以和以后的景德镇相媲美.龙泉瓷窑址遍布于龙泉县境内各地,尤以大窑、金村为...; 曾毅吴伟郭演仪高建华阮美玲; 关键词：青瓷显微结构陶瓷科学; 文献传递

基于余归纳的最小Kripke结构的求解被引量：1: 2014年; 状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1)对于任意给定的一类Kripke结构(记为K),在互模拟等价意义下K中最小Kripke结构(记为K0)的存在唯一性.K0描述了K中所有Kripke结构的行为而且没有冗余的状态;(2)对于任意的M∈K(M可能包含无穷多个状态),在互模拟等价意义下的相对于(M且基于K0)的最小Kripke结构(记为KM)的存在唯一性.由此提出一种求解KM的算法,并用Ocaml予以简单实现.其应用之一在于可以用状态空间更小的KM代替M进行模型检测.该方法可自然地推广到基于其他类型函子的余代数结构.; 高建华蒋颖; 关键词：互模拟函子

全选清除导出

共1页<1>

高建华