期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
命题逻辑公式集上的正则相似关系 被引量:1
1
作者 宋庆燕 杨兴忠 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第4期23-27,共5页
研究了命题逻辑公式集(F(S))上的正则相似关系.在经典二值命题逻辑中引入了正则相似度概念,利用公式的真度概念给出了一种正则相似度,进而导出了全体公式集上的一种伪距离,并且证明了它与另外两种伪距离是等价的.
关键词 命题逻辑公式集 正则相似关系 正则相似度 伪距离 二值命题逻辑 近似推理
下载PDF
P^*4中保四元正则可离关系非最小覆盖的剔除 被引量:1
2
作者 周小强 刘任任 《计算机应用研究》 CSCD 北大核心 2009年第6期2090-2091,2094,共3页
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的... 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。 展开更多
关键词 多值逻辑 完备性 正则可离关系 最小覆盖
下载PDF
P4^*中保四元正则可离关系最小覆盖之确定 被引量:1
3
作者 周小强 刘任任 《计算机科学》 CSCD 北大核心 2009年第9期176-177,192,共3页
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
关键词 多值逻辑 正则可离关系 SHEFFER函数 最小覆盖
下载PDF
P4^*中保二元正则可离关系非最小覆盖的剔除
4
作者 周小强 刘任任 《山东大学学报(理学版)》 CAS CSCD 北大核心 2008年第12期24-27,共4页
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的... 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。 展开更多
关键词 多值逻辑 SHEFFER函数 正则可离关系 最小覆盖
下载PDF
关于量子力学中正则对易关系与对应原理自洽性的讨论 被引量:4
5
作者 颜家壬 《大学物理》 1985年第7期5-7,共3页
关键词 正则对易关系 对应原理 量子力学 自洽性 办学 动量算符 数学体系 经典力学
下载PDF
正则可离关系之最小覆盖成员的判定结果
6
作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第5期28-29,44,共3页
根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2({1,2})∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。
关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 正则可离关系
下载PDF
部分四值逻辑中保二元正则可离关系最小覆盖之确定
7
作者 龚志伟 刘任任 王日中 《计算技术与自动化》 2007年第4期49-52,共4页
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函... 根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函数集按相似关系分为9类;最后,证明这9类保二元正则可离函数集是最小覆盖成员。 展开更多
关键词 多值逻辑 SHEFFER函数 正则可离关系 最小覆盖
下载PDF
部分四值逻辑中保二元正则可离关系非最小覆盖的剔除
8
作者 龚志伟 刘任任 《计算技术与自动化》 2011年第3期76-78,共3页
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的... 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。 展开更多
关键词 多值逻辑 完备性 正则可离关系 最小覆盖
下载PDF
完备Brouwer格上的T-型正则L-关系 被引量:3
9
作者 何新龙 王住登 《扬州大学学报(自然科学版)》 CAS CSCD 2003年第2期12-15,共4页
利用完备的 Brouwer格 L上的无穷∨分配 t 模 T定义格 L上的 T 型正则 L 关系 ,建立这些 L关系的基本性质 ,并给出 T 型正则 L 关系的最大 T 型广义逆 L 关系的两个计算公式 .
关键词 完备BROUWER格 T-模 T-型正则L-关系 广义逆L-关系
下载PDF
广义λ超连续格的关系表示
10
作者 许广红 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2006年第5期6-10,共5页
给出广义λ超连续格的几个刻画。特别地,我们证明了完备格L上的λ-区间拓扑θλ(L)是严格T2的L是广义λ超连续格L上的关系是广义λ正则的。
关键词 广义λ超连续格 广义λ正则关系 λ正则关系 λ-区间拓扑
下载PDF
广义λ完全分配格的关系表示 被引量:1
11
作者 许广红 饶三平 《江西师范大学学报(自然科学版)》 CAS 北大核心 2006年第2期184-185,共2页
引入了广义λ完全分配格的概念,证明了L为广义λ完全分配格Lop是广义λ超连续格L上的关系/≤op=\≥是广义λ正则的.
关键词 广义λ完全分配格 λ正则关系 λ超连续格
下载PDF
完备格的关系表示理论及其应用 被引量:1
12
作者 徐晓泉 刘应明 《模糊系统与数学》 CSCD 2004年第z1期1-18,共18页
主要讨论完备格的关系表示问题,分别建立了完全分配格的正则表示定理、超连续格的有限正则表示定理、λ-超连续格的λ-正则关系表示定理、区间拓扑T2完备格的广义有阴正则表示定理,给出了正则关系、完全分配格、超连续格、λ-超连续格... 主要讨论完备格的关系表示问题,分别建立了完全分配格的正则表示定理、超连续格的有限正则表示定理、λ-超连续格的λ-正则关系表示定理、区间拓扑T2完备格的广义有阴正则表示定理,给出了正则关系、完全分配格、超连续格、λ-超连续格、区间拓扑T2完备格的内蕴式刻划;给出了本文所建立的完备格的关系表示理论在Domain理论、格论和拓扑学中的若干应用. 展开更多
关键词 完备格 正则关系 表示定理
下载PDF
PMS-代数中的正则理想 被引量:2
13
作者 杨云 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 2000年第1期12-14,共3页
本文提出伪补MS-代数(简称PMS-代数)中正则理想,正则同余关系等概念.研究正则理想与核理想,0-理想之间的关系,讨论正则同余关系的性质,得到若干结果.
关键词 PMS-代数 PMS-同余关系 正则理想 正则同余关系
下载PDF
基于模糊超群构建的Engel群及其性质研究
14
作者 阎熠 闫焱 +1 位作者 张晓婷 王悦 《陕西科技大学学报》 北大核心 2024年第3期203-208,共6页
通过构造满足Engel递减条件的模糊超群(H,。)上最小的等价关系■^(*),使得模糊超群关于等价关系构建的商群(等价类的集合)H/■^(*)是一个Engel群,并通过等价关系的强正则性来刻画该Engel群,最后引入模糊超群的?-部分的概念,确定等价关系... 通过构造满足Engel递减条件的模糊超群(H,。)上最小的等价关系■^(*),使得模糊超群关于等价关系构建的商群(等价类的集合)H/■^(*)是一个Engel群,并通过等价关系的强正则性来刻画该Engel群,最后引入模糊超群的?-部分的概念,确定等价关系?是可传递的充要条件. 展开更多
关键词 模糊超群 等价关系 正则关系 Engel群
下载PDF
偏序集到完全分配格的并稠嵌入
15
作者 徐晓泉 《理论数学》 2015年第4期156-166,共11页
基于正则关系,建立了偏序集到完全分配格的并稠嵌入定理,证明了在同构的意义下,偏序集到完全分配格的并稠嵌入是唯一的,即均是由一些正则关系诱导的并稠嵌入。
关键词 偏序集 子集系统 完全分配格 并稠嵌入 正则关系
下载PDF
基于隐空间代价敏感学习的微博水军识别方法 被引量:3
16
作者 王磊 任航 王之怡 《计算机工程》 CAS CSCD 北大核心 2018年第9期159-163,170,共6页
根据微博水军活动的特点,提出一种基于隐空间代价敏感学习的半监督水军识别方法。从内容、行为、社交关系3个视角选取微博账户的22个特征,结合矩阵隐空间分解、代价敏感学习和社交关系正则技术,构造代价敏感的半监督最大间隔分类模型,... 根据微博水军活动的特点,提出一种基于隐空间代价敏感学习的半监督水军识别方法。从内容、行为、社交关系3个视角选取微博账户的22个特征,结合矩阵隐空间分解、代价敏感学习和社交关系正则技术,构造代价敏感的半监督最大间隔分类模型,并利用随机梯度下降算法求解模型的线性复杂度。实验结果表明,该方法在准确率、召回率和F1指标上均优于SMFSR和L2-SVMs方法,并且具有接近线性的学习速度。 展开更多
关键词 水军识别 矩阵分解 代价敏感学习 社交关系正则 隐空间
下载PDF
广义(m,n)超环
17
作者 李皓 辛小龙 《数学杂志》 CSCD 北大核心 2012年第5期904-912,共9页
本文研究了广义(m,n)超环,n元正则关系以及n元强正则关系等的一些性质.利用广义(m,n)超环间的同态关系以及正则和强正则关系,得到了(m,n)子超环和(m,n)超理想的不变性,广义(m,n)超环的商结构,以及构成商超环和商环的充分必要条件,推广... 本文研究了广义(m,n)超环,n元正则关系以及n元强正则关系等的一些性质.利用广义(m,n)超环间的同态关系以及正则和强正则关系,得到了(m,n)子超环和(m,n)超理想的不变性,广义(m,n)超环的商结构,以及构成商超环和商环的充分必要条件,推广了文献[5]的一些结果. 展开更多
关键词 (m n)超环 (m n)超理想 强同态 n元正则关系
下载PDF
软代数理想与软代数的直积分解 被引量:5
18
作者 郑延履 《数学物理学报(A辑)》 CSCD 北大核心 1995年第S1期106-110,共5页
本文主要结果是:1)利用软代数理想的概念得出软代数存在既约分解的一个充分必要条件.2)软代数理想与正则同余关系的──对应关系.
关键词 软代数 软代数理想.正则同余关系
下载PDF
关于费米子玻色化技术的注记
19
作者 冯声祖 阮图南 《合肥工业大学学报(自然科学版)》 CAS CSCD 1999年第6期116-120,共5页
传统根据Jordon和Wigner理论,构造了费米子玻色化方案。文章讨论证明了这种方案只有在k≠k′时才成立,而在k=k′时则不成立。
关键词 费米子 玻色化 正则对易关系 完备性 量子场论
下载PDF
Monotonicity of the tail dependence for multivariate t-copula
20
作者 石爱菊 林金官 《Journal of Southeast University(English Edition)》 EI CAS 2011年第4期466-470,共5页
This paper considers the upper orthant and extremal tail dependence indices for multivariate t-copula. Where, the multivariate t-copula is defined under a correlation structure. The explicit representations of the tai... This paper considers the upper orthant and extremal tail dependence indices for multivariate t-copula. Where, the multivariate t-copula is defined under a correlation structure. The explicit representations of the tail dependence parameters are deduced since the copula of continuous variables is invariant under strictly increasing transformation about the random variables, which are more simple than those obtained in previous research. Then, the local monotonicity of these indices about the correlation coefficient is discussed, and it is concluded that the upper extremal dependence index increases with the correlation coefficient, but the monotonicity of the upper orthant tail dependence index is complex. Some simulations are performed by the Monte Carlo method to verify the obtained results, which are found to be satisfactory. Meanwhile, it is concluded that the obtained conclusions can be extended to any distribution family in which the generating random variable has a regularly varying distribution. 展开更多
关键词 multivariate t-copula COPULA inverse gamma distribution MONOTONICITY regularly varying function correlation coefficient
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部