切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
具有析取性质的分配格的拓扑表示及性质
具有析取性质的分配格的拓扑表示及性质
来源 :数学杂志 | 被引量 : 0次 | 上传用户:simetl21
【摘 要】
:
本文首先给出了一般格成为析取分配格的几个条件,并证明了在满足并无限分配律的条件下,具有析取性质的分配格与Boole格是等价的。文章还给出了析取分配格的拓扑表示。
【作 者】
:
刘蔚萍
贾武
【机 构】
:
同济医科大学,军事经济学院
【出 处】
:
数学杂志
【发表日期】
:
1998年4期
【关键词】
:
拓扑空间
析取分配格
基格
分配格
拓扑表示
topological spacedisjunctive distributive latticebasislat
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先给出了一般格成为析取分配格的几个条件,并证明了在满足并无限分配律的条件下,具有析取性质的分配格与Boole格是等价的。文章还给出了析取分配格的拓扑表示。
其他文献
Orlicz空间中具有函数型支撑的点
设0≠x∈Lm,如果x有(唯一)支撑泛函y∈S(LN^0),...则称x是具有(唯一)函数型支撑的点。本文在Orlicz空间LM(LM^0,lM,lM^0)中给出具有(唯一)函数型支撑的判定准则。
期刊
函数型支撑
点
ORLICZ空间
判定准则
The point which has (unique)function type support function
永磁同步电动机直接转矩控制理论分析
根据永磁电机基本方程,经过坐标变换,推导出凸极式永磁电机输转矩的解耦表达式,故保持定子磁链为额定值,通过对逆送器开关状态的选择,控制定转子磁链夹角,从而直接控制电机输出转矩
期刊
同步电动机
直接转矩控制
永磁电机
direct torque control
IPM synchronous motor
optimum switchin
协方差函数可微的高斯过程之极值逗留
设(X(t),T1≤t≤T2)是可分,可测的高斯过程,均值函数为零,而协方差函数Г(s,t)=EX(s)X(t)具有连续一阶偏导,对于水平u↑∞,本文讨论X(t)在u上的逗留极限定理。
期刊
协方差函数
高斯过程
逗留极限定理
均值函数
covariance function Gaussian process sajourn limit theore
关于一般的细化方程
本文研究一般的高阶细化方程的可解性问题,利用整函数增长级的若干估计技术和遍历性等性质,得到具有一定正则性解的充分条件和必要条件。
期刊
细化方程
可解性
差分方程
整函数增长级
refinement equation
sovability
动力系统的自记忆数值预报
本文导出了微分动力系统自记忆计算格式,分析了它的物理意义,并进行了数值试验.数值计算结果表明这种既基于微分方程,又对历史多个时刻观测数据具有记忆功能的方法,具有精度高、稳
期刊
动力系统
自记忆
预报
dynamical stystemselfmemoryforcest
李希霍芬和“中亚人与环境”
德国地质、地理学家李希霍芬(Ferdinand von Richthofen, 1833年5月5日~1905年10月6日)是外国地质学家中,对早期中国地质学有重要贡献的一位学者.他对中国黄土成因的风成学说,
期刊
人与环境
中亚
地理学家
地质学家
黄土成因
von
中国
零维多项式理想的分解算法
本文给出了一种不全用线性的变换和v.d.Waerden的指数方法的零维多项式理想准素分解的新方法:
期刊
理想
GROEBNER基
多项式理想
分解
算法
算子方程解的稠密性及半线性系统的近似可控性
本文利用Banach不动点定理和Schauder不动点定理研究如下算子方程解的稠密性:y=y0+LF(y)+LH(v)(其中,L、H为线性算子,F为非线性算子),然后,利用所得结论讨论Banach空间内的半线性系统:x'(t)+A(t)x(t)=f(t,x(t)+Bu(t)的近似可控性。
期刊
半线性系统
近似可控性
算子方程
稠密性
semilinear system
approximate controllability
operator equa
密度泛函核估计的Bootstrap逼近
设X1,...,Xn是从分布密度函数为f的总中抽取的iid样本,μ=EX1本文研究了密度泛函θ=f(μ)的核型估计,fn(x)为通常的Rosenblatt-Parzen核估计。
期刊
密度泛函
核估计
BOOTSTRAP逼近
density functionalkernel estimationBootstrap method
框式线性规划的原—对偶仿射尺度算法
本文对框式线性规划问题设计了一个原-对偶仿射尺度算法,并证明该算法的迭代复杂性面式同时。
期刊
框式线性规划
内点法
仿射尺度算法
线性规划
Box linear programming interior-point method affine scali
与本文相关的学术论文