论文部分内容阅读
在有零元的Heyting代数上定义了一种运算(○×),并讨论了这种运算和Heyting代数上nucleus的一系列性质.
Heyting代数上的运算×与nucleus
【摘 要】
：
在有零元的Heyting代数上定义了一种运算(○×),并讨论了这种运算和Heyting代数上nucleus的一系列性质.
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
内蒙古师范大学学报：自然科学汉文版
【发表日期】
：
2005年1期
【基金项目】
：
中国科学院资助项目
其他文献
讨论了两类有理插值型算子在Orlicz空间内的逼近问题，得出逼近阶的Jackson型估计．
目的 探讨柔性管理在妇科护理管理实践中的应用效果.方法 以常规护理组(n=33例)和柔性管理组(n=36例)的形式将69例妇科疾病患者进行分组,进而对两组患者经过护理后的效果进行
利用微分方程定性理论。研究一类食饵具有常数存放率的食饵-捕食生态系统，对该系统进行平衡点分析，给出该系统存在极限环的充分条件。
口腔颌面部骨折，组织肌肉和关节病损患者多伴有张口受限。在全麻诱导期应用麻醉器械和肌松药后患者张口度没有变化或牙关紧闭而无法完成气管内插管，称为真性张口受限，相反患者张
将二元三角插值多项式的基函数做组合平均,构造出一个新的组合型二元三角插值算子,并且研究了该算子对二元连续周期函数的收敛性及收敛阶的估计等问题.
针对交流伺服系统速度控制问题，提出了一种动态积分滑模控制方法。利用动态滑模控制方法消除抖振，在切换函数中引入积分环节提高了稳态精度，并给出了交流伺服系统速度控制器的设
研究了K严格凸(K光滑)的局部凸空间,给出了K严格凸(K光滑)的局部凸空间的若干特征刻画.作为它们的直接推论,给出了严格凸(光滑)的局部凸空间的若干特征刻画,得到了一致凸的局
语文教师需要在新课改指导下对教学方式以及具体课程教学目的进行有效地调整，需要对学生进行综合能力的塑造与培养，要对学生进行诗词鉴赏的能力锻炼。这是因为诗词鉴赏不仅可以
针对最新的CMOS摄像机提出了一种新的标定方法,考虑了在摄像机模型中镜头通常会产生的径向畸变和切向畸变,并对现有教材中的坐标变换算法进行了修正,同时提出基于Matlab优化
猪伪狂犬病是由伪狂犬病毒(Pseudorabies virus,PRV)引起的不同阶段猪表现出不同症状的一种传染病,目前在我国广泛流行。本研究针对GenBank中PRV的gE基因序列进行比较分析,在