折延宏
- 作品数：35 被引量：129H指数：8
- 供职机构：西安石油大学理学院更多>>
- 发文基金：国家自然科学基金陕西省自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 二值命题逻辑中理论的发散性、相容性及其拓扑刻画被引量：28
- 2007年
- 在二值命题逻辑系统中基于逻辑度量空间(F(S),ρ)而建立起了逻辑理论的发散性、相容性和理论的拓扑性质之间的联系。证明了逻辑理论Г是全发散的当且仅当D(Г)在(F(S),ρ)中稠密,闭理论Г是相容的当且仅当Г在(F(S),ρ)中不含内点,证明了(F(S),ρ)是零维空间,并具有一种类似于樊畿性质的所谓“有限等球连通性”．
- 王国俊折延宏
- 关键词：逻辑度量空间发散度
- 粗糙逻辑的计量化研究被引量：1
- 2012年
- 将计量化方法引入到粗糙逻辑的研究当中,在一种典型的粗糙逻辑LR中引入了公式的粗糙真度概念。在此基础上,提出了公式之间的粗糙相似度、粗糙伪距离等概念,得到了粗糙逻辑度量空间。在粗糙度量空间中提出了两种不同的粗糙近似推理模式。这一结果实现了粗糙集与计量逻辑学这两种不同的处理近似问题理论的融合,同时对进一步丰富基于粗糙集的近似推理有一定启示。
- 折延宏贺晓丽
- 关键词：粗糙逻辑
- 系统H_a中广义语义MP规则与广义语义HS规则被引量：2
- 2007年
- 基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0
- 关晓红折延宏王国俊
- 关键词：多值逻辑系统重言式
- 基于模糊粗糙集极大差别对的增量属性约简被引量：2
- 2021年
- 属性约简是模糊粗糙集理论的重要研究内容,它能够删除冗余的属性,保留数据集中的关键信息。本论文旨在给出动态数据信息下的属性约简方法。基于模糊粗糙集模型中的极大样本差别对,给出了当样本发生变化时的增量属性约简算法。首先引入了增加一个样本时的约简更新机制,通过更新极大差别对,提出了相应的属性约简算法,基于此,给出了增加多个样本时的极大差别对更新机制以及相应的属性约简算法,最后实验进一步阐明该方法对于计算增量属性约简的有效性和实用性。
- 谢铭悦折延宏
- 关键词：属性约简模糊粗糙集动态数据
- 图的广义Randi Estrada指标的界
- 2017年
- 受图的Randi Estrada指标和广义Randic能量的启发,定义了图的广义Randi Estrada指标.利用代数方法和初等分析方法给出了n阶简单连通图和r-正则图的广义Randi Estrada指标的上下界,推广了Bozkurt等人有关Randi Estrada指标的结论.
- 高楠李美丽折延宏
- 基于样本对选择的分层分类特征选择算法研究被引量：1
- 2022年
- 在大数据时代,数据的标签数量急剧增加,且标签集之间往往存在层次结构,利用层次结构进行大规模分类学习可有效解决维数灾难、类别不均衡问题,是近年来的研究热点.模糊粗糙集作为处理不确定性信息的有效工具,对于层次结构的描述有着特别的优势,本文给出了一种基于样本对选择的分层特征选择方法.通过将层次结构融入到目标概念的上、下近似之中,给出了一种新的模糊粗糙集模型,并研究了其详细性质,基于此,设计了一种基于样本对选择的特征选择算法,实验结果表明,本文所提出的算法在效率和准确性方面优于平面算法,从而为基于粒计算的分层特征选择提供了一种可能的框架.
- 折延宏武晋兰贺晓丽
- 关键词：模糊粗糙集辨识矩阵
- 逻辑系统G_n中理论的真度概念及其应用被引量：2
- 2010年
- 首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
- 高香妮折延宏王国俊
- 关键词：真度相容度发散度
- 面向层次结构数据的增量特征选择被引量：1
- 2023年
- 随着大数据时代的到来,数据样本量越来越多,维度越来越高,同时样本标签存在复杂的层次结构关系。采用包含策略,研究了基于依赖度的分层分类增量特征选择,解决了标签具有树结构且标签分布在任意节点的分层分类问题。首先,利用标签之间的层次结构,采用包含策略来缩小负样本空间。其次,使用模糊粗糙集理论,提出了一个基于包含策略的模糊粗糙集模型,设计了一个基于包含策略的依赖度计算算法和一个非增量特征选择算法。基于此,引入增量机制,提出了基于包含策略的依赖度增量更新方法,设计了两个基于两种策略的增量特征选择算法。最后,将此方法与基于兄弟策略的依赖度进行对比,通过实验验证了所提方法的可行性与高效性。
- 折延宏黄婉丽贺晓丽钱婷
- 关键词：模糊粗糙集依赖度
- 三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画被引量：9
- 2009年
- 对三值命题逻辑系统L3^＊中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间（F（S）,ρ3）中的拓扑刻画.证明了闭理论Γ相容当且仅当Γ不含内点,当且仅当Γ具有真度遗漏性质,当且仅当Γ不含非空正则球面;证明了理论Γ全发散当且仅当其逻辑闭包在（F（S）,ρ3）中稠密.还证明了有限理论Γ的逻辑闭包是（F（S）,ρ3）中的拓扑闭集.
- 折延宏王国俊
- 关键词：相容性
- 若干经典命题逻辑问题的拓扑刻画
- 数理逻辑的特点在于形式化和符号化，它和计算数学有着截然不同的风格，前者注重形式推理而后者注重数值计算;前者强调严格论证而后者允许近似求解，如果说数理逻辑具有刻板的一丝不苟的形象，那么计算数学具有灵活的张弛有度的特征。一个...
- 折延宏
- 关键词：二值命题逻辑发散性逻辑度量空间内点连通性
- 文献传递
