论文部分内容阅读
BR0_水数是MV-代数和R0_代数的共同基础，论文引入了BR0_代数的正规MP-滤子和布尔MP-滤子，讨论了他们之间的关系，给出它们的特征性质，并且给出了刻画正规BR0_代数的特征定理。
基础R0_代数的正规MP-滤子和布尔MP-滤子
【摘 要】
：
BR0_水数是MV-代数和R0_代数的共同基础，论文引入了BR0_代数的正规MP-滤子和布尔MP-滤子，讨论了他们之间的关系，给出它们的特征性质，并且给出了刻画正规BR0_代数的特征定理。
【机 构】
：
陕西师范大学数学研究所,西安交通大学基础科学研究中心,安康学院数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年5期
【基金项目】
：
国家自然科学基金（ No.10331010,60272022）,2006年安康学院科研基金（2006AKXY012）.
其他文献
【摘 要】情感教育在初中道德与法治课程中具有很重要的地位。因为，在道德与法治的教学中，教师不仅要讲述课本内容，还要培养学生的道德修养;不仅要顾及眼下的教学，还要考虑到学生将来的成长和发展;不仅要完成课堂教学，还要为国家和社会培养合格的人才。而这些都可以在情感教育的帮助下顺利完成。在本文中，作者通过对情感教育的理解，并根据自己多年的教学实践经验，探讨了初中道德与法治课中情感教育的作用和实施途径。
提出了一种基于秩空间的区域立体匹配算法。首先对立体图像进行秩(rank)变换,将图像从灰度空间变换到秩空间,消除因噪声和两个摄像机参数不一致产生的干扰,再根据自然视频序列每幅图像多数景物景深变化不大的事实,把视差分解为全局视差与局部视差之和,在秩空间进行二次立体匹配:先在最大窗口内估计全局视差,然后在这个最大窗口内采用块匹配方式进行二次匹配求各点的实际视差。该二次立体匹配算法有效地消除了误匹配,提
针对单目相机位姿解算过程中,定位点的分布会对解算精度产生影响的问题,提出1种分析方法:基于奥普蒂·特拉克(OptiTrack)运动捕捉系统,建立相机位姿解算实验平台,分析定位点的不同构型对于位姿解算精度的影响;并提出人工标志的布设和点位选择的相关建议;最后采用位置精度衰减因子(PDOP)值对定位点构型进行描述。实验结果表明:PDOP值小于30时,82%以上的实验结果整体定位误差小于30 mm,65
目的:探讨血脂检验在诊断冠心病合并糖尿病中的临床意义。方法:选取2016年8至2019年8月期间聊城市第四人民医院收治的150例冠心病合并糖尿病患者和同期在该医院进行健康体检
目的了解有无视网膜病变的糖尿病患者焦虑、抑郁状态及相关的影响因素.方法选取安徽医科大学附属巢湖医院收治的糖尿病患者225例,其中伴有视网膜病变97例(视网膜病变组,DR组)
入境旅游发展水平能反映一个地区旅游产业国际化程度。当前我国已成为世界第三大入境旅游接待国。为准确把握重庆直辖以来入境旅游市场的变动特征,通过对入境旅游市场的规模