【摘 要】
:
描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短。文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻
【机 构】
:
黔南民族师范学院计算机与信息学院,南宁上林县第一中学,黔南民族师范学院数学与统计学院,广西师范大学计算机科学与信息工程学院
【基金项目】
:
贵州省教育厅自然科学基金项目(黔教科20090047),贵州省科学技术基金资助项目(黔科合J字[2012]2310),黔南民族师范学院一般项目(qnsy2018023)
论文部分内容阅读
描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短。文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻辑系统FL0在最大不动点语义下有限模型的有穷基。在形式概念分析中,属性有限的形式背景都存在Duguenne-Guigues基,文章将循环FL0的最大不动点模型作为描述背景,将FL0概念作为属性,定义了描述背景下的属性蕴含,证明了循环描述逻辑系统FL0的最大不动点模型也存在有穷基底。
其他文献
目的高血脂症是冠心病独立危害因素,通过血脂康长期疗效观察来评价其对血脂水平及冠心病病死率的影响。方法研究共入选136例冠心病患者随机分为治疗组72例及对照组64例,治疗组
以兰州市3所高校为对象,以遥感影像、城镇地籍调查数据和高校统计信息为来源,运用GIS技术刻画出高校内部的用地空间分布格局,分析得出系列用地数据,采用FAHP和层次评价方法完
公益教育是一种旨在培养学生能力和提高责任意识的融学校教育学习与社区服务需要于一体的学校、家庭和社区联动的实践体验式教育,这种教育机制需要学校、家庭和社区共同承担
以Landsat TM/ETM+遥感影像作为数据源,基于GIS和RS技术,利用年变化率和湖泊变化强度指数等方法定量分析1988—2017年洪泽湖湖面变化趋势及特征,通过收集1988—2018年洪泽湖
以鄂牧6号饲用苎麻(Boehmeria nivea L.)为试验材料,研究了苎麻叶片中5种矿质营养元素(N、P、K、Ca、Mg)6个收获时期的含量动态变化及相关性。结果表明,苎麻叶片中5种营养元
以某低位布置E级燃气蒸汽联合循环机组余热锅炉为例,进行了选择性催化还原(SCR)脱硝技术数值模拟研究,得到余热锅炉SCR烟气脱硝系统流场和余热锅炉内部喷氨格栅的放置位置。
自2012年11月党的十八大提出了“大力推进生态文明建设”的决策后,生态文明建设与环境保护开始逐渐进入公众的视野,成为大家关注的重点领域之一。此外,随着近年来雾霾天气的
在采用HEDP 15 g/L、AESS 24 mg/L和K2CO340 g/L作为复合添加剂的条件下,探讨了焦磷酸盐体系无氰铜锡合金仿金电镀配位剂和主盐浓度对镀层外观的影响,确定了以下最优工艺条件
教材,是编者苦心孤诣的结果。文本,是作者匠心独运的作品。教者,该是红娘,把文本和孩子牵到一起,让孩子用心去朗读文本,感悟文本,学习文本。学习它的遣词造句,学习它的段落结