关于占先结构的相似性研究

关于占先结构的相似性研究

论文摘要

本文对占先结构的 M-相似性开展了研究,主要讨论了 M-相似性与等价性之间的关系,在此基础上讨论了条件断言布尔组合的语言表达能力。获得的主要成果包括: (1) 提出了一种弱化的互模拟概念-M 相似,应用一阶转化技术,基于模型论方法和结果,揭示了 M-相似性和占先结构等价性之间的密切联系,给出了判定占先结构等价性的充要条件。 (2) 研究了条件断言布尔组合的语言表达能力,给出了一阶语句等价于条件断言(正)布尔组合的模型论特征。 (3) 建立了占先结构类可以由条件断言(正)布尔组合刻画的充要条件以及有限刻画的充要条件。

论文目录

  • 摘要
  • Abstract
  • 目录
  • 第一章 绪论
  • 第二章 预备知识
  • 2.1 占先模型
  • 2.2 一阶逻辑的形式语言及其模型
  • 2.3 超滤以及超积基本命题
  • 第三章 一阶转换
  • 第四章 占先模型间的B-相似
  • 4.1 B-相似
  • 0 -饱和'>4.2 P-饱和与ω0-饱和
  • 第五章 等价定理及其应用
  • 5.1 M-相似和等价
  • 5.2 条件断言布尔组合的表达能力
  • 第六章 总结与展望
  • 参考文献
  • 致谢
  • 在学期间的研究成果
  • 相关论文文献

    • [1].父子(女)间面孔相似性的进化适应机制及其影响[J]. 心理科学进展 2020(03)
    • [2].隐喻相似性的认知构建[J]. 学术交流 2016(12)
    • [3].浅述隐喻视角下中西文化的相似性[J]. 英语广场 2016(08)
    • [4].基于一类支持向量机的快速人脸相似性学习[J]. 浙江师范大学学报(自然科学版) 2015(01)
    • [5].相似性科学浅析[J]. 科教导刊(中旬刊) 2015(03)
    • [6].搜索图片也要讲相似性[J]. 电脑迷 2009(22)
    • [7].感知到亲子间面孔相似性对亲子虐待的影响:一个双重调节模型[J]. 心理科学 2019(06)
    • [8].一种基于协同过滤和混合相似性模型的推荐算法[J]. 上海理工大学学报 2020(03)
    • [9].论数学的相似性教学[J]. 云南教育(中学教师) 2014(06)
    • [10].普通法类比推理:概念、相似性标准与说理过程[J]. 法律方法与法律思维 2011(00)
    • [11].山寨产品/真品相似性评价与山寨产品购买意愿[J]. 管理学报 2012(09)
    • [12].人格相似性与关系质量的关系:单向视角[J]. 心理学探新 2011(02)
    • [13].一种新的加权功能相似性算法在蛋白质相互作用研究中的应用[J]. 应用与环境生物学报 2010(03)
    • [14].特征相似性和因果解释在归纳推理中的整合[J]. 心理科学 2010(06)
    • [15].语言中的相似性[J]. 外语教学理论与实践 2008(01)
    • [16].隐喻相似性的认知构建[J]. 知与行 2017(01)
    • [17].关于利用建筑与城市相似性的设计方法分析[J]. 四川水泥 2016(04)
    • [18].基于相似性随时间衰减的矩阵分解算法[J]. 小型微型计算机系统 2016(07)
    • [19].竞争相似性衡量模型[J]. 科技与管理 2013(04)
    • [20].灰色相似性栽培理论在杂交稻宜香481配套栽培中的应用[J]. 湖南农业科学 2013(17)
    • [21].父母-子女人格相似性对教养行为与青少年抑郁关系的调节作用[J]. 中国临床心理学杂志 2012(05)
    • [22].基于运动相似性的仿人机器人上阶梯行走研究[J]. 华中科技大学学报(自然科学版) 2012(12)
    • [23].浅析西门庆和宋思明形象的相似性[J]. 社科纵横(新理论版) 2010(02)
    • [24].一种基于节点局部相似性的复杂网络链路预测算法[J]. 计算机应用与软件 2020(05)
    • [25].基于趋势相似性特征的异常工况监测方法研究[J]. 自动化仪表 2020(02)
    • [26].用户与项目语义相似性填充的协同过滤推荐方法[J]. 西安工业大学学报 2020(02)
    • [27].基于网络嵌入与转移相似性的链路预测研究[J]. 信息技术与信息化 2018(12)
    • [28].师徒间相似性对师傅指导意愿的影响[J]. 心理学探新 2018(06)
    • [29].基于文本内容相似性的网络用户群分析[J]. 佳木斯大学学报(自然科学版) 2017(05)
    • [30].不平衡数据学习算法在相似性学习中的应用[J]. 模式识别与人工智能 2014(12)

    标签:;  ;  ;  ;  ;  

    关于占先结构的相似性研究
    下载Doc文档

    猜你喜欢