题名 属性逻辑的近似推理模式研究
被引量：1
1
作者
张家录 吴霞
机构
湘南学院数学与信息科学学院
出处
《计算机科学与探索》
CSCD
北大核心
2023年第4期848-856,共9页
基金
湖南省自然科学基金(2020JJ4561,2020JJ4381) 湖南省教育厅科学研究重点项目(19A463) 湖南省普通高校校企合作创新创业教育基地项目(2020年)。
文摘
近似推理是进行知识推理的有效工具。将计量逻辑中全蕴含三I推理、基于真度的近似推理模式应用到基于形式背景的属性逻辑中,给出基于属性逻辑的全蕴含三I推理的广义MP规则和广义MT规则的解,并提出若干基于广义MP规则和广义MT规则的近似推理方法。引入属性逻辑公式的真度、属性逻辑公式间的伪距离,提出基于属性逻辑伪距离的近似推理方法,讨论基于广义MP规则、广义MT规则的近似推理和基于属性逻辑伪距离的近似推理之间的联系。
关键词
形式背景 量词逻辑 属性逻辑 粒描述 近似推理
Keywords
formal context quantitative logic attribute logic granular description approximate reasoning
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
题名 基于模糊逻辑的多属性融合油气预测方法
被引量：14
2
作者
李芳 王守东 陈小宏 刘国昌 郑强
机构
中国石油大学北京地球物理与信息工程学院 油气资源与探测国家重点实验室 中海油研究总院
出处
《石油地球物理勘探》
EI
CSCD
北大核心
2014年第1期197-204,307,共8页
基金
国家自然科学基金项目(41274137) 国家科技重大专项课题(2011ZX05023-005-005)联合资助
文摘
地震属性与储层参数不存在严格的一一对应关系,这就导致仅用单一属性解释储层不可避免地存在多解性。在利用属性进行储层预测过程中,单一属性或综合属性能否指示含油气情况,往往没有绝对分明的界限,即存在模糊性。为此,本文提出基于模糊逻辑的多属性融合方法,即将模糊理论应用于属性融合,利用隶属函数将模糊问题进行定量化处理,通过模糊贴近度矩阵求取各自的权重,最终得到一个定量的综合结果。属性融合过程中各种属性权重的求取完全基于数据驱动,降低了人为操控的主观性。数值模拟试验和实际资料处理结果均显示,用本文方法所得融合结果与井资料能较好吻合,表明利用本文提出的基于模糊逻辑的多属性融合方法进行油气预测是有效且实用的。
关键词
油气预测 属性 融合模糊逻辑 隶属函数 模糊贴近度
Keywords
oil-gas prediction,attribute fusion,fuzzy logic,membership function,fuzzy nearness
分类号
P631
[天文地球—地质矿产勘探]
题名 考虑属性和空间逻辑的地震灾情数据清洗器设计与实现
3
作者
张莹 郭红梅 尹文刚 赵真 胡斌
机构
四川省地震局 武警警官学院
出处
《地震研究》
CSCD
北大核心
2021年第1期78-86,共9页
基金
“十三五”国家重点研发计划项目课题(2017YFC1500905) 中国地震局地震工程与工程振动重点实验室重点专项(2019EEEVL0102) 四川地震科技创新团队专项(201901)联合资助。
文摘
针对目前地震灾情信息普遍存在的质量问题,根据灾情数据的属性逻辑,采用逻辑分离的清洗框架中基于规则引擎的数据清洗方法进行初步清洗;再从灾情数据的空间逻辑关系出发,通过聚类分析进一步修正数据中存在的错误,弥补基于逻辑分离的清洗框架在孤立点异常检测方面的不足。基于上述规则引擎与空间聚类相结合的清洗技术,设计并实现了一种考虑属性和空间逻辑的地震灾情数据清洗器,并应用于2017年"8·8"九寨沟7.0级地震,分析四川省地震灾情快速上报接收处理系统接收到的客观震感灾情信息。结果表明:地震灾情数据清洗器可快速检测并修正异常的灾情信息,有效提高接收到的灾情数据质量。
关键词
地震灾情 数据清洗 属性 和空间逻辑 规则引擎 空间聚类
Keywords
earthquake disaster data cleaning attributes and spatial logic rule engine spatial clustering
分类号
P315.94
[天文地球—地震学]
题名 基于SPIN的LTL属性分解方法研究
被引量：2
4
作者
贺志宏 曾庆凯
机构
南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
出处
《计算机应用与软件》
CSCD
北大核心
2014年第7期43-46,65,共5页
基金
国家自然科学基金项目(61170070) 国家科技支撑计划项目(2012BAK26B01) 国家高技术研究发展计划项目(2011AA1A202)
文摘
提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模型上属性的检测转化成对复杂度较低的子模型上各子属性的分别检测。实验结果表明,该方法具有一定的有效性。
关键词
线性时序逻辑 属性 模型检测 属性 分解静态程序切片
Keywords
Linear temporal logic （LTL） property Model checking Property decomposition Static program slicing
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 形式背景上近似推理生成决策蕴涵研究
5
作者
张家录 吴霞
机构
湘南学院数学与信息科学学院
出处
《自动化学报》
EI
CAS
CSCD
北大核心
2024年第11期2286-2300,共15页
基金
湖南省自然科学基金(2020JJ4561,2020JJ4381) 湖南省信息和计算科学专业校企合作创新创业教育基地(2020-301)资助。
文摘
基于形式背景获取决策蕴涵、概念规则等知识是数据分析、机器学习的重要研究内容之一.首先,利用属性逻辑语义对决策蕴涵的特性进行刻画.其次,在经典二值逻辑框架下分析决策蕴涵、概念规则的基于全蕴涵三I推理思想及分离规则(Modus ponens,MP)和逆分离规则(Modus tonens,MT)的近似推理模式的特征,证明决策蕴涵的MP、MT近似推理结论是决策蕴涵,概念规则的MP、MT近似推理结论是概念规则等结论.引进属性逻辑公式的伪距离,在属性逻辑伪距离空间中分析推理对象范围参数变化对决策蕴涵MP、MT近似推理结论的影响.最后,提出若干通过MP、MT近似推理生成决策蕴涵、概念规则及拟决策蕴涵的模式和方法,数值实验验证了所提方法的有效性.
关键词
决策形式背景 属性逻辑 决策蕴涵 概念规则 拟决策蕴涵 MP近似推理 MT近似推理
Keywords
Formal decision context attribute logic decision implication concept rule quasi-decision implication MP approximate reasoning MT approximate reasoning
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 国家利益的国内基础——一个动态分析框架
被引量：7
6
作者
张发林 朱小略
机构
南开大学周恩来政府管理学院 复旦大学国际关系与公共事务学院
出处
《太平洋学报》
CSSCI
北大核心
2020年第11期35-48,共14页
基金
中央高校基本科研业务费专项资金资助项目“推进全球经济治理合作与变革研究” 2020年度天津市哲学社会科学规划年度项目“后新冠疫情时期中美金融权力竞争研究”(TJZZQN20-005)的阶段性研究成果。
文摘
国际关系学中关于国家利益的研究通常受两类问题困扰,即“整体主义失败”和“还原主义风险”。整体主义失败将国际体系中的国家利益视为统一的整体,强调“国家利益”的整体性和连续性,从而在具体分析中失去了解释力。还原主义风险将利益主体还原成具体问题领域内的利益攸关者,依据不同的问题分析不同利益及其主体,并因此得出不可类比和类推的因果解释。国内关于国家利益研究还呈现出鲜明的“复合两重性”特征。具体而言,形成这一特征的原因包括学界对唯物辩证法中矛盾对立统一的哲学观点的理解分歧,以及对“国家利益”概念解读的窄化等。针对上述两类问题和中国研究的“复合两重性”特征,本文对国家利益属性进行了重新分类,尝试从主观层面的“利益诉求”与客观影响的“烈度”两个要素出发,以政府、民族和民众三个主体为基础,组建起动态条件组合的分析框架,以替代建立在系统结构分析基础上的传统方法。这一新视角尝试探索国内不同主体的利益与整体主义视角下的国家利益的构成关系,并以此在国家利益的整体主义和还原主义分析路径间建立联系。
关键词
整体主义失败 还原主义风险 国家利益 复合两重性 属性逻辑 分类
Keywords
holism failure reductionist gamble national interest compound duality logical classification of property
分类号
D81
[政治法律—国际关系]
题名 SDN环境下基于MPTCP协议的切换管理
被引量：6
7
作者
孙茂鑫 钱红燕 陈兵 张轩
机构
南京航空航天大学计算机科学与技术学院
出处
《应用科学学报》
CAS
CSCD
北大核心
2017年第1期117-127,共11页
基金
江苏省科技项目基金(No.BY2013095-2-10) 澳门特别行政区科学技术发展基金(No.063/2010/A)资助
文摘
为提高无线切换时的网络性能,采用软件定义网络架构并提出基于多路径传输控制协议的移动切换管理方法.根据所提出的基于模糊逻辑的多属性切换算法进行切换判决,综合采用当前信号强度(received signal strength,RSS),预测RSS值以及可用带宽作为网络参数来设计模糊逻辑控制器.然后计算各参数的隶属度值,通过计算综合性能评估值进行切换判决.在切换管理的实现过程中,传输层采用多路径传输控制协议,允许建立多条传输路径传输数据.设备可利用该协议同时连接多个接入点,一条链路发生切换时其余链路继续保持通信.最后搭建了一个Open Flow试验床来验证该切换管理方法,结果表明该方法可实现设备的无缝切换,保证用户服务质量.
关键词
软件定义网络 移动切换 多路径传输控制协议 模糊逻辑 的多属性 切换算法
Keywords
software defined networking（SDN） mobile handover multipath transmission control protocol（MPTCP） multiple attributes handover algorithm based on fuzzy logic（FLMAHA）
分类号
TP393
[自动化与计算机技术—计算机应用技术]
