【摘 要】
：
<正> 在集合论中关于差的运算及在命题演算中关于→的运算均具有以下性质: 1) (x*y)*(x*z)≤(z*y); 2) x*(x*y)≤y; 3) x≤x, 4) 0≤x; 5) 若x≤y,y≤x则x=y; 6) x≤y x*y=0.
论文部分内容阅读
<正> 在集合论中关于差的运算及在命题演算中关于→的运算均具有以下性质: 1) (x*y)*(x*z)≤(z*y); 2) x*(x*y)≤y; 3) x≤x, 4) 0≤x; 5) 若x≤y,y≤x则x=y; 6) x≤y x*y=0. 在集合论中,“*”表示两个集合之差的运算,“≤”表示两个集合之间的包含“(?)”关系,“0”表示空集,“=”表示两个集合相等.在命题演算中,“*”表示两个命题之间的
其他文献
<正> 《应用数学》第三卷(1990)第四期刊载秦永松同志的“一类非参数回归函数估计的性质”一文,该文定理证明欠周全. 考察文[1]中定理1的证明:关于原文(8)式,即(原文中,上式
本文讨论了椭圆型方程发((?)~2u)/((?)y~2)+(?)/((?)x)(a(x)((?)u)/((?)x))=0在区域x>0,y>0上确定未知系数a(x)的反问题,文中给出了局部解的存在性、唯一性。
本文考虑半马尔可夫随机对策.在一定条件下,我们证明随机对策有值函数,两个局中人相对于折扣报酬都有最优策略.
本文寻求方程组 i sum from j=0 to 3 r~j _jΨ+L(Ψ■)Ψ=0的某些含两个零分量的解.
本文利用文[1]的方法进行误差估计产生了严重过估的事实,从而提出了一个估计误差的新方法。通过严格的分析树高定义,给出了绝对误差和相对误差二种形式的误差估计方法,并针对
本文应用Pontryagin最大值原理研究加热过程,提出一个在加热过程中节能的最优控制方案。
<正> 1 引言可行方向法是非线性规划中一类思想简单数值效果好的基本方法。特别是对线性约束问题,这类方法一直受人欢迎。但由于非线性约束带来的困难,这一领域内的工作近年
<正> 其中p为正交矩阵.类似[2,P220],我们可以证明(6)式给出的正好是模型(1)中β的最小二乘估计. 本文的改进特征根估计β_c由以下的(7)式给出: (8)式与(5)式根本不同之处在
介绍了故障电弧类型和产生原因,阐述了故障电弧形成的过程,分析了故障电弧能量与电弧电流的关系,提出了故障电弧的频率范围以及判别故障电弧的方法等。对电弧故障保护装置的
研究了颗粒粘结高燃速固体推进剂药柱中粘结剂与小粒药之间的溶剂双向迁移现象，并利用计算机模拟估算了溶剂迁移量的大致范围。