切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
格蕴涵代数中的零化子
格蕴涵代数中的零化子
来源 :郑州大学学报:理学版 | 被引量 : 0次 | 上传用户:shztky880
【摘 要】
:
在格蕴涵代数中,首先提出了零化子的概念,证明了零化子是理想和sl理想.然后,讨论了零化子的特殊性质.最后,讨论了零化子与理想、sl理想和零化子的格蕴涵同态像之间的关系.
【作 者】
:
赵建彬
朱华
陈树伟
【机 构】
:
郑州大学数学系,郑州大学电气工程学院
【出 处】
:
郑州大学学报:理学版
【发表日期】
:
2012年2期
【关键词】
:
格蕴涵代数
零化子
理想
lattice implication algebra
annihilator
ideal
【基金项目】
:
国家自然科学基金资助项目,编号61175055,10901143.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在格蕴涵代数中,首先提出了零化子的概念,证明了零化子是理想和sl理想.然后,讨论了零化子的特殊性质.最后,讨论了零化子与理想、sl理想和零化子的格蕴涵同态像之间的关系.
其他文献
TiC-Cu复合材料自蔓延高温合成中的显微结构演变
用燃烧波前沿淬熄法研究了自蔓延高温合成(SHS)TiC-Cu复合材料的显微结构演变,用扫描电子显微镜(SEM)观察了燃烧反应中原始粉、反应区和产物区的显微结构,用能谱仪(EDX)分析了各微区
期刊
TiC-Cu
复合材料
自蔓延高温合成
显微结构演变
合成机理
燃烧波前沿淬熄法
TiC-Cu composites
self-propagating hig
Meso-Scale VOC-Mixture Analyzer with Tunable Separation and Microsensor Array Detection
<正>A novel portable instrument developed for field determinations of complex mixtures of volatile organic compounds (VOCs) is described.The key features of the
期刊
缺陷类型对SiC纤维抗拉强度与直径关系的影响
通过Weibull理论探讨了缺陷类型对SiC纤维抗拉强度与直径关系的影响,并通过对国产KD型SiC纤维抗拉强度与直径关系的分析得出了控制纤维力学性能的主要缺陷类型为内部缺陷。根
期刊
碳化硅纤维
缺陷
抗拉强度
直径
SiC fiber
defect
tensile strength
diameter
一种支持智能环境构建的中间件
在普适计算领域中,中间件已经成为分布式智能环境开发的关键.基于"不动机器人"的概念,介绍一种中间件ROS.以ROS为核心,构建了一个典型智能环境,并在信息服务能力、系统集成能力
期刊
智能环境
ROS
中间件
intelligent environment
robot operating system(ROS)
middleware
三圆筒透镜强流脉冲束传输模拟计算
基于三圆筒透镜的强流脉冲束传输和高斯—赛德尔迭代等理论,编写了三圆筒透镜的束流传输模拟程序TTLS,TTLS适用于强流脉冲束在三圆筒透镜中传输的模拟计算.用模拟程序对不同
期刊
强流脉冲束
三圆筒透镜
高斯—塞德尔迭代
空间电荷力
three-tube lenses
intense pulsed beam
Gauss-Seidel it
压差方程的广义黎曼问题格式
引入黎曼不变量对中心疏散波重解,构造了压差方程的广义黎曼问题格式.数值结果验证了广义黎曼问题格式的高精度性质,发现Godunov类型格式对压差方程只包含强简单波的黎曼解有
期刊
广义黎曼问题格式
黎曼不变量
特征坐标
generalized Riemann problem scheme
Riemann invariants
char
Davey-Stewartson类方程和穿衣服方法
分别从两种变系数初始微分算子出发,利用推广的穿衣服方法,通过讨论初始微分算子的多种矩阵形式,导出了两大类Davey-Stewartson类方程.其中,一类需经过坐标变换得到,而另一类
期刊
穿衣服方法
DAVEY-STEWARTSON方程
显式解
dressing method
Davey-Stewartson equation
explici
带干扰的多险种二项风险模型的破产概率
考虑到保险公司的投资利率和通货膨胀率,建立了带干扰的多险种二项风险模型.讨论了盈余过程的性质,得到了破产概率的一般公式和Lundberg上界.
期刊
多险种
二项风险模型
干扰
破产概率
multi-line
binomial risk model
interference
ruin probabili
未知环境中自主机器人环境探索与地图构建
研究了未知环境中自主机器人同时进行环境探索和拓扑地图构建问题.基于实时获得的激光传感器数据,提出了具有避障功能的环境探索策略.在环境探索的基础上,提出了以增长的神经气网络的网络节点作为拓扑网络节点的环境地图模型.该模型利用神经气网络的增长特性,通过不断增加新的拓扑网络节点来对机器人周围未知环境的整体性知识进行抽取与表达,构建出了易于机器人理解的环境地图.仿真试验验证了所提方法的有效性.
期刊
自主机器人
环境探索
地图构建
增长的神经气网络
autonomous robot
environment exploration
map building
基于宏块合并的H.264模式选择算法
H.264新技术的引入提高了压缩效率,但同时编解码器运算复杂度也成倍增加.为了减小H.264的编码算法复杂度,对编码选项和模式选择算法进行了优化.算法以运动矢量合并为基础,采
期刊
帧内预测
模式选择
运动估计
inter-prediction
mode decision
motion estimation
与本文相关的学术论文