具有析取性质的分配格的拓扑表示及性质

来源 :数学杂志 | 被引量 : 0次 | 上传用户:simetl21
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先给出了一般格成为析取分配格的几个条件,并证明了在满足并无限分配律的条件下,具有析取性质的分配格与Boole格是等价的。文章还给出了析取分配格的拓扑表示。
其他文献
设0≠x∈Lm,如果x有(唯一)支撑泛函y∈S(LN^0),...则称x是具有(唯一)函数型支撑的点。本文在Orlicz空间LM(LM^0,lM,lM^0)中给出具有(唯一)函数型支撑的判定准则。
根据永磁电机基本方程,经过坐标变换,推导出凸极式永磁电机输转矩的解耦表达式,故保持定子磁链为额定值,通过对逆送器开关状态的选择,控制定转子磁链夹角,从而直接控制电机输出转矩
设(X(t),T1≤t≤T2)是可分,可测的高斯过程,均值函数为零,而协方差函数Г(s,t)=EX(s)X(t)具有连续一阶偏导,对于水平u↑∞,本文讨论X(t)在u上的逗留极限定理。
本文研究一般的高阶细化方程的可解性问题,利用整函数增长级的若干估计技术和遍历性等性质,得到具有一定正则性解的充分条件和必要条件。
本文导出了微分动力系统自记忆计算格式,分析了它的物理意义,并进行了数值试验.数值计算结果表明这种既基于微分方程,又对历史多个时刻观测数据具有记忆功能的方法,具有精度高、稳
德国地质、地理学家李希霍芬(Ferdinand von Richthofen, 1833年5月5日~1905年10月6日)是外国地质学家中,对早期中国地质学有重要贡献的一位学者.他对中国黄土成因的风成学说,
本文给出了一种不全用线性的变换和v.d.Waerden的指数方法的零维多项式理想准素分解的新方法:
本文利用Banach不动点定理和Schauder不动点定理研究如下算子方程解的稠密性:y=y0+LF(y)+LH(v)(其中,L、H为线性算子,F为非线性算子),然后,利用所得结论讨论Banach空间内的半线性系统:x'(t)+A(t)x(t)=f(t,x(t)+Bu(t)的近似可控性。
设X1,...,Xn是从分布密度函数为f的总中抽取的iid样本,μ=EX1本文研究了密度泛函θ=f(μ)的核型估计,fn(x)为通常的Rosenblatt-Parzen核估计。
本文对框式线性规划问题设计了一个原-对偶仿射尺度算法,并证明该算法的迭代复杂性面式同时。