论文部分内容阅读
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出 3个更新律,并修改了 3个τ律.最后,给出了 14个同余关系的可靠完备系统.
非对称带不等算子的χ^≠-演算
【摘 要】
：
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同
【机 构】
：
浙江师范大学计算机科学系
【出 处】
：
淮北煤炭师范学院学报：自然科学版
【发表日期】
：
2006年2期
【基金项目】
：
浙江省自然科学基金委资助项目（Y105272）,Supported by the Zhejiang Provincial Natural Science Foundation of China（Y105272）
其他文献
农村土地承包经营权确权登记颁证的工作内容包含工作底图制作、界址点测量、界址线测量及质量检测等项目。文中在简要介绍CORS系统组成的基础上,对YXCORS系统的RTK测量精度进行了分析,探讨了CORS技术应用于该项工作的可行性。文章详细介绍了YXCORS系统在像控点测量、界址点测量及质量检测等方面的具体应用,并指出了操作过程中的注意事项,在类似工程实践中具有一定的参考价值。