论文部分内容阅读
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出 3个更新律,并修改了 3个τ律.最后,给出了 14个同余关系的可靠完备系统.
非对称带不等算子的χ^≠-演算
【摘 要】
：
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同
【机 构】
：
浙江师范大学计算机科学系
【出 处】
：
淮北煤炭师范学院学报：自然科学版
【发表日期】
：
2006年2期
【基金项目】
：
浙江省自然科学基金委资助项目（Y105272）,Supported by the Zhejiang Provincial Natural Science Foundation of China（Y105272）
其他文献
文章讨论了用线性多步法求解线性中立型多延时微分代数系统的渐近稳定性．通过分析相应的特征方程根的性质，得出一个线性多步法渐近稳定的充分条件：线性多步法是A稳定的，并且它的
文章证明了三分Cantor集C的自乘积C×C的Hausdorff测度的上限满足，H^lop4（C×C）≤1．495901改进了现有文献的有关结果．
农村土地承包经营权确权登记颁证的工作内容包含工作底图制作、界址点测量、界址线测量及质量检测等项目。文中在简要介绍CORS系统组成的基础上,对YXCORS系统的RTK测量精度进行了分析,探讨了CORS技术应用于该项工作的可行性。文章详细介绍了YXCORS系统在像控点测量、界址点测量及质量检测等方面的具体应用,并指出了操作过程中的注意事项,在类似工程实践中具有一定的参考价值。
该文利用锥理论与单调迭代技巧讨论了uo-凸算子的不动点的存在唯一性，得到了在不具有连续性和紧性的条件下uo-凸增算子的新的不动点定理，并将所得的结果应用Hammerstein积分方
每到新学期初都会有从未经历过集体生活的新入园幼儿在与家人分离时产生出各种各样的焦虑情绪,如:不安,燥怒,悲伤,哭闹等,这些分离焦虑是一种情绪障碍,面对陌生的环境、老师
2011年出版的《语文课程标准(修订稿)》在教学建议部分,做了这样的表述:'培养学生广泛的阅读兴趣,扩大阅读面,增加阅读量,提倡少做题,多读书,好读书,读好书,读整本的书。
本文提出随机变量不平均相依的概念,证明它是介于不相关与独立之间的一种统计关系,并给出随机变量不平均相依的假设检验方法.
该文在度量空间中得到了下局部维数与 Hausdorff维数的一个关系,从而改进和推广了有关文献的相应结果.
英语作为一门语言学科,具备工具性和人文性双重属性。因而在教学实践的过程中,通过英语教学的过程,让学生获得知识和技能、掌握语言学习的具体途径和方法,使学生在具体的学习
幼儿健康的习惯对于他们日后的成长有着极其重要的意义。学前阶段,家庭和幼儿园作为幼儿成长过程中的两大重要场所,唯有通过家园合作形成积极一致的教育合力,才能够帮助幼儿