【摘 要】
：
BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了
【基金项目】
：
国家自然科学基金（No.11171196）, 中央高校科研业务费专项资金项目（No.GK201501001）
论文部分内容阅读
BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法和MP滤子的特征,在BR0-代数中提出了MT理想,极大MT理想,素MT理想等概念,讨论了它们的基本性质及相互关系,并通过素并-理想构造性的证明了素MT理想的存在性;最后,在非退化的BR0-代数中证明了任何一个真MT理想可以扩展为一个极大素MT理想.本文的工作是对
其他文献
塔式起重机的安全安全评估对陈旧塔式起重机的管理和充分利用具有重要意义。本文阐述了塔式起重机安全评估的依据,根据相关的技术规范以及塔式起重机的实际状况确定了塔式起
摘 要：本文采用文献资料、数据对比等研究方法，对高校普通学生运动队训练的特点和组队意义展开研究，即重点分析了组建运动队的意义和作用。研究认为，普通学生运动队的组建不但能为普通学生提供更多的训练机会，同时还能促进高校体育事业的发展。所以相关人员一定要重视普通学生运动队的组建作用，然后根据高校的实际情况来制定符合学生发展的训练对策。 关键词：高校 普通学生 运动队 训练特点 组队意义 中图分类号：
COMID（Composite Objective Mlrror Descent）是一种能够保证L1正则化结构的在线算法，其随机收敛速率可由在线算法的regret界直接得到，但其最终解是T次迭代平均的形式，稀疏性很差．瞬
在变形分析中需要对两期的差值统计检验 ,用以确定差值的变化是否显著 ,这就要用到两期的协方差阵中相关的元素。但在实际数据处理中 ,常常并不保存协方差系数 ,而保存误差椭圆元素。本文就其数学关系进行了推导。
对SPOT、TM、ETM卫星数据进行了校正、配准、镶嵌和多源多时相遥感数据融合 ,采用三种方法对土地利用变化信息进行提取 ,提高了监测成果的准确性和可靠性 ,获得了矢、栅、属一体化监测成果