位置：成果数据库 > 期刊 > 期刊详情页
NML代数的滤子及其结构
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：O141.1[理学—数学;理学—基础数学] O153[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学研究所,西安710062安康学院数学系, [2]安康学院数学系,陕西安康725000
  • 相关基金：国家自然科学基金（ the National Natural Science Foundation of China under Grant No.10331010, No.60272022）; 2006 年安康学院科研基金（ No.2006AKXY012）; 2007 年陕西师范大学硕士创新基金（ No.2007CXS016） .
作者： 胡明娣[1,2]
关键词： NML代数, MP-滤子, 素滤子, 拓扑空间, NML algebras , MP-filter, prime filter, topological space
中文摘要：

首先在NML代数上引入MP-滤子与素滤子的概念,进而讨论了滤子和素滤子的基本性质,最后在全体素滤子之集上建立了拓扑结构。

英文摘要：

NML algebras is the common base of MV-algebras and R0-algebras.Firstly the concepts of MP-fihers and prime filter in NML algebras are introduced,and then topological structure of the set of all prime filters of NML algebras are discussed.

同期刊论文项目
序、拓扑及形式语义学的数学基础
期刊论文 202 会议论文 2 著作 1
SAR图象自动识别与三维成像技术研究
期刊论文 32 会议论文 5 著作 14
同项目期刊论文
Subsystems of a topological sy
A note on implicators based on
Quantum finite automata and qu
Comparison of deduction theore
Lukasiewicz 命题集的积分真度、
IL型三I 算法及其还原性
几类n值逻辑系统中的MP滤子
拟连续Domain上的扩张定理
概率逻辑学基本定理的推广
二值命题逻辑中理论的发散性、相
四种命题逻辑中公式的相对Γ－重
几个三值命题逻辑系统中命题真度
一类二值谓词逻辑中公式的准真度
HC-偏序集的若干性质
Hausdorff拓扑与Scott拓扑的对偶
有限偏序集的Cartesian积的收缩
局部强紧空间的Hoare空间与Smyth空间
z-代数偏序集的范畴特征
关于拟连续Domain的一个注记
广义完全分配偏序集的若干性质
强Raney偏序集
正则关系与正规空间
半连续格和半代数格的映射性质
An intrinsic fuzzy set on the
Several classes of implication
正则关系与完全正则空间
计量逻辑学 (I)
三I算法的统一形式
Lukasiewicz 命题逻辑系统中的赋
无前提规范闭缺省理论的扩充的构
命题逻辑中的程度化方法
基于种群分类解决遗传算法的“早
开滤子Domain的分配性
实时半盲非线性均衡算法：N-伪递
W的正规子Ro-代数及其应用
L-Fuzzy 拓扑空间中的 l- 聚点和
Ro-代数[0，1]的子代数与广义重
紧Hausdorff测度空间上的Riemann
模糊测度Shapley熵的完备化
函数空间连续性的一个注记
关于混合Domain的几个问题
关于积Domain上的Scott拓扑和连
FMP问题的构造性方法
locale的弱拓扑表达
命题逻辑中极大和谐理论之集上的
系统Hα中广义语义MP规则与广义
基于正则蕴涵算子的三I算法的性
Boole代数上的度量结构及其在命
F(S)在Lukasiewicz逻辑系统中的
一阶逻辑完备性定理的新代数证明
拟Z-连续Domain与Z-交连续Domain
伪度量L*- - Lindenbaum代数中基
G?del n 值命题逻辑中命题的α－
A note on stratified L-real li
Z-拟代数Domain
Fuzzy实直线上级数的绝对收敛性
平移空间上的线型结构
广义(超连续格的关系表示
拟Z-代数domain
根与F(S)中的近似推理
Multi-criteria decision-making
Order environments of topologi
命题演算系统L*与谓词演算系统K*
Lukasiewicz n 值命题逻辑中公式
基于正则蕴涵算子与强否定的支持
命题公式集F(S)的基于Ro—算子的
Priestley Spaces, Quasi-hypera
Completely regular paracompact
Maximum density for the Sierpi
经典推理模式的随机化研究及其应
概率逻辑伪度量空间及其性质
半连续格上的半Scott拓扑和半Law
A fuzzy approach for blind equ
An equivalence relation charac
Quasicontinuous domains and ge
A topological characterization
A new consistency index based
Generalized consistency degree
超连续Domain与拟超连续Domain
基于双参数可变阈值的雷达脉冲分
关于三 I FMT 问题的若干注记
三 I 方法综述－它的提出、发展
一阶谓词模糊公式的区间解释真度
Unified forms of Triple I meth
Regular relations and strictly
Regular relations and monotone
完备格的关系表示定理及其应用
论G?del 蕴涵算子不宜于用于建立
Lattices of quotients of compl
Consistency degrees of finite
Unified forms of fully implica
Characterizations of maximal c
Residuated lattices and lattic
A 16-classification partition
一种求概念格属性约简的方法
Convex power domain and Vietor
Formalized theory of general f
Endographic approach on suprem
从事实逻辑到任务逻辑
Ro-代数的Fuzzy MP滤子
Remarks on Completely Regular
Regular relations and complete
拟连续Domain的若干拓扑性质
Regular relations and normalit
基础Ro－代数的正规MP滤子和布尔
二值命题逻辑中命题的条件真度理
概念格属性约简的判定
一类Lukasiewicz n+1 值逻辑系统
Consistency degrees of theorie
多值逻辑系统Wn中 (- - 三I问题
累积缺省逻辑的扩充
扩充与缺省规则的简化和分类
弱空间式locale
广义Frame
RL型蕴涵与Fuzzy推理的三I算法
Representability of default lo
Completion of the Shapley entr
A Constructive Proof of The Ge
Weinian Zhang, Discrete dynami
正则余剩余格的特征及其应用
n 值Lukasiewicz 命题逻辑中命题
Ro-代数的Ro-语义集上的拓扑
逻辑系统L*n 中命题的真度理论
Conic functions on metric spac
关于K的三种模糊模态逻辑
系统L^＊中极大相容理论的结构刻画和紧致性定理
经典推理模式的随机化研究及其应用（Ⅱ）
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
广义Smooth格
强Sober空间的若干性质
Smooth格和强Smooth格
Z-连通代数偏序集及其范畴
伪Scott拓扑与伪Scott开滤子
人工智能中缺省逻辑的可表示性
全蕴涵多Ⅰ算法及其在多准则决策中的应用
强代数格的拓扑表示定理
效应代数中的模糊滤子
修正的Product逻辑系统中的广义矛盾式
平移空间的线性结构
拟Z-极小集及其应用
二值逻辑中命题的条件真度理论
超连续Domain与拟超连续Domian
几类基于L＊上二元聚合算子的蕴涵
广义完全极小集及其应用
Z-连续Domain关于Z-子空间的遗传性
一致连续偏序集的特征和浓度
n元三值函数可由L3^＊中公式导出的充要条件
一类Lukasiewicz n＋1值逻辑系统中VDF问题的求解理论
系统Hα中的子代数的广义重言式理论
命题逻辑中的程度化方法
二值命题逻辑中的三种Г近似推理模式及其等价性
多值命题逻辑中逻辑理论的拓扑刻画
关于Boole语义的真度不变性定理
三Ⅰ方法综述——它的提出、发展、应用和逻辑版本
关于三I FMT问题的若干注记
四种命题逻辑中公式的相对Γ-重言度理论
关于一致连续偏序集的若干性质
Z-连通连续偏序集的权的一些性质
基于支持度理论的广义Modus Ponens问题的最优解
剩余格中的Fuzzy（P）滤子
IL型三I算法及其还原性
余剩余格的理想和嵌入定理
二值命题逻辑中理论的发散性、相容性及其拓扑刻画
拟Z-连续domain和Z-交连续domain
广义Frame的谱空间
A Remark on WaUman Compactification of Locales
双定向完备偏序集上的双Scott拓扑
Some Properties of Morphisms in Effect Algebras
Boole代数的等价刻画
二值命题逻辑F（S_n）中的基本推理链
F（Sn）中公式集Γ的全体结论之集D（Γ）的结构
二值命题逻辑F（Sn）在可证等价意义下的一般表示
Lukasiewicz命题集的积分真度、发散度与相容度的分布
缺省逻辑的Roos扩充
关于偏序集上的关联蕴涵代数
偏蕴涵代数
基于Wedgelet的SAR图像多尺度快速分割方法
一种基于Markov过程和证据理论的多源图像融合分割方法
光电武器装备故障智能测试系统研究
烟幕透过率测量系统设计研究
网格计算的多带主动存储计算模型及应用
SAR图像自动目标识别系统研究与设计
小波变换中的信号边界延拓方法研究
安全指纹识别系统的研究与设计
经典命题逻辑的Boole语义理论
激光制导信号编码信息识别技术
一种多波段SAR图像伪彩色融合算法
改进的特征点提取算法及其适应性评估
基于非子采样Contourlet变换的多波段SAR图像伪彩色融合
基于奇异值分解的Speckle噪声滤波算法研究
基于模糊集的图像阈值分割算法研究
军用网格环境下基于优先权的Min—Min任务调度算法
基于改进FCM算法的SAR图像分类
基于图像质量因子的图像融合客观评价方法
基于Frobenius范数的安全指纹识别
利用高斯混合模型实现概率密度函数逼近
合成孔径雷达图像特征关键度分析与分类算法研究
基于矩阵形式的否定选择算法研究
激光威胁信息模糊评估方法
基于积分方程的电磁散射优化计算
SAR图像与多光谱图像融合方法研究
一致凸Banach空间中渐近非扩张型映象不动点的具误差的迭代逼近
烟雾干扰的效果评价方法与测试研究
基于L^＊和Luk逻辑系统的反向三I算法的统一形式
基于L^＊和Luk逻辑系统的反向三I算法的统一形式
NML代数的性质及其滤子与理想
系统Ha中广义语义MP规则与广义语义HS规则
n值Lkasiewicz命题逻辑中命题的α-真度理论
Lukasiewicz命题逻辑系统中的赋值决定公式问题
基于模糊推理方法的企业预警模型
拓扑系统的子系统
几种逻辑系统中的近似推理理论
半Smooth格
Z-极小集及其对Z-连续偏序集的应用
Z-连续偏序集的特征与稠密度
Exact偏序集的乘积和映射性质
拟半连续格
广义λ完全分配格的关系表示
拟Z-连续Domain的基
Z-半连续偏序集的性质
计量逻辑学（Ⅰ）
NML代数的性质及其滤子与理想
False Color Fusion for Multi-band SAR Images Based on Contourlet Transform
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887