逻辑公式

作品数：76被引量：171H指数：6
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：张兴芳徐扬何星星王庆平李成允更多>>
相关机构：西南交通大学聊城大学南京航空航天大学陕西师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金山东省自然科学基金教育部科学技术研究重点项目陕西省教育厅科研计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
现代汉语标点符号套用规则
《乐山师范学院学报》2024年第10期118-118,共1页王兴全(整理) 
在现代汉语标点符号使用中,常会遇到套用问题,基本规则是:(一)冒号的套用。一般不能在同一句话中套用;但如果冒号后是直接引用别人的话,引语中冒号可以保留。在公文的列举式或者条文式表述中,如需用冒号,宜另起一行。(二)书名号和引号...
关键词：书名号 冒号 汉语标点符号 逻辑公式 直接引用 另起一行 列举式 括号 
基于分层形式背景的多粒度知识发现方法
《模糊系统与数学》2023年第6期124-133,共10页陆汝华 何敏园 张家录 
湖南省自然科学基金资助项目(2020JJ4561,2020JJ4381);湖南省普通高校校企合作创新创业教育基地项目(2020年)
研究具有复杂结构属性值的信息系统的知识发现问题,探索适合复杂结构数据环境的具有层次结构、立体结构的知识发现方法。在挖掘决策蕴涵和关联规则时,充分考虑属性取值数据的层次结构,提出具有层次结构、立体结构的决策蕴涵和关联规则...
关键词：分层形式背景 属性逻辑公式 属性逻辑语义 决策蕴涵 关联规则 
模态逻辑公式的概率真度理论被引量：1
《宝鸡文理学院学报（自然科学版）》2022年第3期1-5,11,共6页李璧镜 
陕西省教育厅专项科研项目(14JK1050)。
目的在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不...
关键词：模态逻辑 概率真度 相容 逻辑等价 
模糊轮廓中的逻辑公式
《青年视觉》2022年第1期110-111,共2页郑确 
虚拟艺术指向了一个全新的时代,它依附于数字技术的发展来扩展领地。藤胧与确切都由精准的数据堆砌,真实与非真实之间的壁垒逐渐羽化消失,这意味着虚拟和现实之间温和地相融。现实的惯性穿越进虚拟艺术,虚拟艺术所给予的身体经验覆盖着...
关键词：逻辑公式 电子设备 麦克卢汉 虚拟艺术 人的延伸 现实生活 轮廓 
逻辑公式间的Jaccard距离及其应用被引量：13
《计算机科学与探索》2020年第11期1975-1980,共6页于鹏 
国家自然科学基金Nos.61976130,61871260;陕西省教育厅专项科研项目No.18Jk0099;陕西科技大学博士科研启动基金No.2019BJ-41。
对命题逻辑的相关概念进行量化处理,是命题逻辑研究的一种新方法,是一种有别于语构与语义的研究方法,是研究命题集结构的一个有力工具。通过运用向量间的Jaccard相似系数,在经典逻辑系统L中给出了公式间的Jaccard相似度、Jaccard距离等...
关键词：Jaccard相似系数 近似推理 计量逻辑学 逻辑度量空间 
基于面向属性(面向对象)概念的对象粒的属性逻辑公式描述被引量：3
《模式识别与人工智能》2020年第9期767-775,共9页吴霞 张家录 
湖南省自然科学基金项目(No.2020JJ4561,2020JJ4381);湖南省教育厅科学研究项目(No.19A463)资助。
研究基于面向属性概念、面向对象概念的对象粒的属性逻辑公式描述问题,讨论共有属性概念格和面向属性概念格、面向对象概念格的关系,在基于概念格的共有属性分析的对象粒描述方法基础上,给出基于面向属性概念格的可能属性分析的对象粒...
关键词：属性逻辑公式 对象粒描述 共有属性概念 面向属性概念 面向对象概念 
自然选择创世论---以道家文化为入门基础,才是正确的世界通用逻辑公式
《时代人物》2020年第19期240-242,共3页侯雅雯 
中国基于拼音学习汉字,基于数学认识世界是有非常严重的逻辑漏洞的,如果不及时调整将会给中国未来的发展带来非常大的瓶颈,而面对此次危机,我已从国学道家文化中发现了转机。根据道家文化,许多世界未解之谜,世界从何而来,这一系列问题...
关键词：国学 逻辑漏洞 意识生命体 排序 
逻辑型决策蕴涵被引量：1
《郑州大学学报（理学版）》2020年第1期1-7,共7页张少霞 李德玉 翟岩慧 
国家自然科学基金项目(61672331,61573231,61972238,61806116);山西省重点研发计划项目(201803D421024,201903D421041);山西省自然科学基金项目(201801D221175);山西省高等学校科技创新项目(201802014,2019SK036);山西省研究生创新项目(2018BY006,2019SY006)
基于逻辑公式定义了逻辑型决策蕴涵。设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完备性和无冗余性。在进行知识推理时,该框架可以过滤掉矛盾的结论。语构方面提出了闭包缩小推理规则,并证...
关键词：形式概念分析 逻辑型决策蕴涵 逻辑公式 
基于形式概念的对象粒的属性逻辑公式描述被引量：5
《模糊系统与数学》2020年第1期41-48,共8页罗佳琪 吴霞 张家录 杜佳甜 
湖南省大学生研究性学习和创新性实验项目;湖南省自然科学基金资助项目(2017JJ2241,2018JJ2371);教育部产学研创新基金重点资助项目(2018A02014)。
基于形式概念在属性集上建立逻辑语言系统,证明基于形式概念的基本对象粒描述定理,讨论合取原子属性逻辑公式所描述对象粒的性质,提出一个求解描述对象粒的属性逻辑公式的算法。
关键词：形式概念 对象粒 属性逻辑公式 粒描述 
基于优先执行关系闭包运算的事务可串行化判定方法被引量：2
《计算机应用与软件》2019年第9期52-57,99,共7页熊中敏 王佳艳 汪博 陈明 
国家自然科学基金项目(61702325);上海市自然科学基金项目(16ZR14100);上海市科技创新行动(16391902902)
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数...
关键词：数据库 并发事务 可串行化 闭包计算 逻辑公式 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部