罗清君

作品数：16被引量：33H指数：3
导出分析报告
供职机构：西安财经学院统计学院更多>>
发文主题：极大滤子拓扑空间命题逻辑R0代数MP滤子更多>>
发文领域：理学自动化与计算机技术文化科学更多>>
发文期刊：《山东大学学报（理学版）》《计算机工程与应用》《电子学报》《高教学刊》更多>>
所获基金：国家自然科学基金陕西省教育厅自然科学基金陕西省自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
财经类院校《数学分析》课程学习现状的调查分析——以西安财经学院为例被引量：2
《高教学刊》2018年第4期86-88,共3页罗清君 
西安财经学院教学研究项目"关于<数学分析>课教学方法与手段改革的实践"(编号:16xcj09)
针对西安财经学院"数学类"和"统计学类"专业数学分析课程的学习现状进行了问卷调查,利用SPSS软件对调查结果进行了分析。结果表明,学生对数学分析认识不够,学习主动性和积极性不高,学习精力投入不足,学习效果不佳。为提高数学分析的教...
关键词：数学分析 学习现状 统计分析 
Quantale上的一致拓扑空间
《模糊系统与数学》2017年第1期35-38,共4页罗清君 
国家自然科学基金项目(61473336);陕西省自然科学基金项目(2014JQ1032);陕西省教育厅基金项目(16JK1302);西安财经学院基金项目(15JD01)
利用理想诱导的弱同余关系在Quantale上构造一致结构与一致拓扑,证明了所得的一致拓扑空间是不连通的、零维的、局部紧的、完全正则的第一可数空间,并且Quantale中的运算关于导出的一致拓扑是连续的。同时,给出了商拓扑的等价刻画。
关键词：QUANTALE 理想 一致拓扑 
FI代数上的一致拓扑空间被引量：5
《计算机工程与应用》2017年第1期73-76,共4页罗清君 刘明晨 
国家自然科学基金(No.11171200);陕西省自然科学基金(No.2014JQ1032);西安财经学院科研基金(No.15JD01)
拓扑结构是逻辑代数中一个重要的研究内容。为描述Fuzzy蕴涵代数的拓扑结构,利用滤子诱导的同余关系在FI代数上构造一致结构和一致拓扑,证明了导出的一致拓扑空间是不连通的、零维的、局部紧的、完全正则的第一可数空间,是T_0空间当且...
关键词：FI代数 滤子 一致拓扑 
Boole代数中极大滤子的刻画与Cantor三分集
《数学学报（中文版）》2014年第6期1221-1230,共10页罗清君 王国俊 
国家自然科学基金资助项目(11171200);陕西省统计研究中心基金资助项目(12JD04)
清楚地刻画出有限和由无限可数个基本元生成的Boole代数中极大滤子的具体结构,在全体极大滤子之集上通过自然的方式引入一种紧致的Hausdorff拓扑,证明了当Boole代数可由无限可数个基本元生成时所得的拓扑空间与Cantor三分集同胚.
关键词：极大滤子 紧致Hausdorff拓扑 Cantor三分集 
BL代数中极大滤子的拓扑性质
《山东大学学报（理学版）》2013年第12期47-51,共5页罗清君 王国俊 
国家自然科学基金资助项目(10771129;11171200)
在BL代数L的全体极大滤子之集MF(L)上构造两种拓扑■与■*,证明了(MF(L),■)是紧致的Hausdorff空间,(MF(L),■*)是T1空间。并且得出了当相关论域取为有限集或全序的无限集时,■=■*。
关键词：BL代数 极大滤子 紧Hausdorff空间 
迁移系统关于一类时态逻辑公式的满足度被引量：1
《陕西师范大学学报（自然科学版）》2013年第4期1-10,共10页王国俊 王庆平 时慧娴 罗清君 王伟 
国家自然科学基金资助项目(10771129;11171200)
从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特...
关键词：规范 特征 最终自由 动态模型序列 T-范式 满足度 
弦二部图的概念格表示被引量：3
《电子学报》2013年第7期1384-1388,共5页李立峰 刘三阳 罗清君 
中央高校基本科研业务费专项资金(No.K50511700008);陕西省教育厅自然科学专项基金(No.11JK1051;No.2013JK1098;No.2013JK1130;No.2013JK1182)
本文首先讨论了二部图中双单纯边与概念格中概念之间的对应关系;其次研究了弦二部图和约简的形式背景的若干性质;最后将概念格中元素的消除理论应用于二部图的研究,给出了弦二部图的概念格刻画.结果表明,一个二部图是弦二部图当且仅当...
关键词：知识推理 约简形式背景 概念格 弦二部图 边完美消除序列 
经典命题逻辑中的一致结构与一致拓扑
《陕西师范大学学报（自然科学版）》2013年第3期7-12,共6页罗清君 王国俊 
国家自然科学基金资助项目(10771129;11171200)
为描述经典命题逻辑中全体公式之集F(S)的拓扑结构,基于理论Γ在F(S)上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则拓扑,且逻辑连接词■与→关于导出的一致拓扑是连续的.得...
关键词：命题逻辑 一致结构 一致拓扑 极大相容理论 
R_0代数上的一致拓扑空间被引量：5
《山东大学学报（理学版）》2013年第2期72-78,共7页罗清君 
国家自然科学基金资助项目(10771129;11171200);陕西省教育厅自然科学基金资助项目(09JK439)
利用MP滤子F在R0代数M上诱导一致拓扑JF,得出了(M,JF)是不连通的、零维的、局部紧的、完全正则的第一可数空间,(M,JF)是T0空间当且仅当F={1}。证明了R0代数M中的运算',∨与→在(M,JF)中均连续。最后,讨论了商代数中一致拓扑的性质。
关键词：R0代数 MP滤子 一致拓扑 
经典命题逻辑中的近似推理与强近似推理被引量：1
《模糊系统与数学》2012年第4期20-24,共5页罗清君 王国俊 
国家自然科学基金资助项目(10771129;11171200);陕西教育厅自然科学基金资助项目(09JK439)
基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式A和理论Σ的...
关键词：命题逻辑 近似推理 强近似推理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部