论文部分内容阅读
基于对闭包运算的性质研究,引入了闭包算子以及同一集合上的闭包算子之间的通常序关系概念,构造出同一集合上的闭包算子关于通常序的上下确界,使得同一集合上的所有闭包算子关于定义的算子间的通常序构成完备格（闭包算子格）.同时证明了闭包算子格不满足分配性。
闭包算子格及其分配性
【摘 要】
：
基于对闭包运算的性质研究,引入了闭包算子以及同一集合上的闭包算子之间的通常序关系概念,构造出同一集合上的闭包算子关于通常序的上下确界,使得同一集合上的所有闭包算子
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
2009年6期
【基金项目】
：
国家自然基金（10871121）,陕西省师范大学重点科研基金（995130）.
其他文献
在车辆动态称重系统中,称重数据的处理是很复杂的。针对车辆运动参数对轴重信号的影响,本文采用径向基函数(RBF)网络,考虑到网络的泛化能力与拟合精度的矛盾,将车辆按照重量分为大、中、小3种类型,进行整车建模和网络训练。实际测试过程中,利用汽车俯视图像先提取类型特征,为了减小汽车运行过程中的振动对测试精度的影响,对汽车完全驶上称重台的信号进行经验模分解(empirical mode decomposi
通过对柴油机气道传统设计流程和现代设计方法的比较,论述了气道现代设计的关键技术,提出了一种采用逆向工程并基于“CAD/CAM/CFD”的气道改进设计流程。按照现代设计流程,改
发动机异响是汽车发动机故障诊断的难点，本文基于模糊综合评价诊断方法，建立了发动机异响的模糊综合诊断模型，并开发了计算机辅助诊断系统。实验证明，发动机异响的模糊综合诊断模
大射电望远镜馈源柔索支撑系统是一类大跨度柔索并联机器人（WDPR）。为了抑制悬索虚牵和馈源舱的风致振动，提出了在此机器人的动平台上增加盛液容器的结构新方案。首先，运用Guldin
通过鞍点定理和投影理论,提出了一个解二次极大极小问题的变时滞神经网络。利用泛函微分方程理论,给出了确保该变时滞神经网络全局指数稳定的充分条件。由于稳定性分析中不需