复合判断推理不同推理形式间的互通

从现代形式逻辑的观点看，许多不同形式的推理实际上是等值的。但是，由于表达形式的不同，就显示了不同的特征。不同类型的推理，可以显示出从不同角度考虑极为重要的性质。诚然，这在传统逻辑中却极少论及。本文探讨了假言推理中充分条件假言推理与必要条件假言推理的等值关系；探讨了充分条件假言推理、必要条件假言推理与相容选言推理间的等值关系，并说明了诸推理式间的互通问题。     

关于交换环上二阶特殊线性群的一个结果

本文引入了广义稳定环的概念．并且证明SL(R)=E2(R)的充分必要条件是R为广义稳定环。     

带约束的一般Gauss-Markov模型下的线性充分性和线性完全性

本文将文[1,2]的结果扩展到了有约束的线性模型。     

BCI_代数的广义结合理想

本文引进BCI_代数的广义结合理想概念，给出了BCI_代数是广义结合的充要条件是它的每个理想是广义结合的。还指出广义结合理想对非广义结合BCI_代数的适用性。     

Orlicz空间上的列紧和收敛问题

这是作者前篇文章的的续篇[1],所有的记号或有关概念除另有说明的外。都跟[1]或[2]的相同,特别,我们用G表示乘积空间Gm×Gn,Gm,Gn各是m,n维欧氏空间中的致密点集;G表示有限维欧氏空间中一般的致密点集. 小定理1 假定G是有限维欧氏空间Ek中的致密点集,u(z)∈EM(G),　是Ek中任意一个固定点,那未 征 对每一个满足P(V;N)≤1的函数v(z),由[1]的小定理2的附注,并注意所有考虑的函数在G的余集上的函数值是0,即得因此,　证完 注意,(1)式的≤号一般不能改成等号,例子如下: 例1 考虑函数显然,u(x)∈L2([0,1]),而且 定理1 函数u(z)∈EM(G)的充…     

K-解析函数及其存在的条件

在K-导数的基础上定义了K-解析函数,同时给出了它的一个充要条件以及初等K-解析函数.所得结论是解析函数与共轭解析函数理论的继续和应用.     

时间尺度上一阶微分方程的振动性与非振动性

考虑时间尺度上具有不稳定项的方程x△(t)=p(t)x(τ(t))的振动性与非振动性,运用压缩映射原理,获得该方程有界正解与无界正解及振动解存在的充分和必要条件.这里p,τ∈Crd([t0,∞),R ),τ(t)≤t,limt→∞τ(t)=∞.     

求解无约束问题的一个杂交共轭梯度法

给出了一个基于PRP方法的新的杂交共轭梯度法，并在适当的条件下，证明了新算法的全局收敛性．数值结果表明提出的算法是有效的．     

中立型方程振动的充分必要条件

讨论了一类一阶常系数中立型时滞微分方程的振动性,建立了此类方程一切解振动的充分必要条件,改进了近期的相应结果     

缸盖鼻梁区沸腾冷却参数设计研究

针对沸腾冷却在强化发动机上的应用问题,以Deutz1015和S1110发动机缸盖为研究对象,进行了充分发展沸腾起点与临界热流密度点的标定实验;以气泡在水腔内消失为控制点,提出了气泡排除控制线StC=89×Pe-0.74,形成了沸腾冷却参数设计可行域.从参数设计角度提供了合理规划沸腾热流场的方法,即将沸腾控制在靠近气泡排除线区域,以解决沸腾高效与气泡控制难题.