求向量到子空间的距离的方法

求向量到子空间的距离的方法张力宏（吉林四平师范学院数学系１３６０００）设Ｖ是实数域Ｒ上ｎ维线性空间，ａ∈Ｖ，Ｗ是Ｖ的子空间，ａ１，ａ２，…，ａｋ是Ｗ的一组基．众所周知，求向量ａ到子空间Ｗ的距离ｄ就是求一个向量β∈Ｗ使ｒ＝ａ－β此时ｄ一叫．由于ｗ一Ｎ。...     

利用伪辛空间上一类子空间构作d~e析取矩阵

利用伪辛空间上一类子空间m维(m,0,0,0)型子空间的性质构作了d~e析取矩阵M_q(2v+1,m,d),并利用子空间的计数定理计算了它的参数.通过研究N(m,0,0,0;2v+1)的单调性,得到了矩阵M_q(2v+1,m,d)的最优值.     

适合于分布式并行计算的一种并行广义乘积型双共轭残差方法(英文)

针对求解大型稀疏非对称线性方程组,提出适合于分布式并行环境的一种并行广义乘积型双共轭残差(GPBiCR)方法(简记为PGPBiCR方法).通过重构GPBiCR方法,新方法将原方法中的三个全局同步点降低到了一个,且内积所需的通讯时间可与向量校正的计算时间有效地重叠.代价仅是稍微增加了一些计算量,而相比于全局通讯时间的降低,这是可以忽略不计的.性能和等效率分析表明,PGPBiCR方法比GPBiCR方法具有更好的并行性和可扩展性,其中可扩展性可改进3倍,而并行通讯性能可改进66.7%.数值试验得到了与理论分析相吻合的结果.     

求解极小极大问题的非单调过滤算法

提出一种改进的求解极小极大问题的信赖域滤子方法,利用SQP子问题来求一个试探步,尾服用滤子来衡量是否接受试探步,避免了罚函数的使用;并且借用已有文献的思想, 使用了Lagrange函数作为效益函数和非单调技术,在适当的条件下,分析了算法的全局和局部收敛性,并进行了数值实验.     

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

模糊拓扑空间的m—收敛理论

本文在模糊拓扑空间中引进了模糊网和模糊滤子的ｍ－收敛概念，探讨了模糊网的ｍ－收敛与模糊滤子的ｍ－收敛之间的关系，得到了Ｈａｕｓｄｏｒｆｆ拓扑与模糊网的ｍ－收敛和模糊滤子的ｍ－收敛之间的关系以及刻画Ｈａｕｓｄｏｒｆｆ拓扑几何特征的定理。     

Prime Space of Lattice Implication Algebras

1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta…     

白噪声分析中的梯度算子和散度算子

在白噪声分析的框架中，我们给出了广义Weiner泛函空间上的梯度算子和散度算子的定义与公式，并利用梯度和散度算子以及适应投影建立了广义泛函的表示公式．也证明了积分核算子可用梯度与散度算子表出．     

关于素环的导子

设Ｒ是一个中心为Ｃ的素环，Ｎ是Ｒ的一个非零理想。本文我们将证明下列结果：假设ｄ是Ｒ的一个非零导子使得ｄ＾２（ａ＾２）∈Ｃ对一切ａ∈Ｎ或者〔ｄ（ａ），ａ＾２〕∈Ｃ对一切ａ∈Ｎ，那么当Ｒ的特征不等于２时，Ｒ是一个交换环。我们的结果推广了文献〔２，〔４〕，〔８〕中有关素环导子的某些已知结果。     

关于Hunt－Yorke猜想的证明

考虑具有ｎ个变时滞的泛函微分方程其中ｑ＿ｉ（ｔ），Ｔ＿ｉ（ｔ）∈Ｃ（［０，＋∞），Ｒ￣＋），ｉ＝１，２，…，ｎ。本文证明了Ｈｕｎｔ－Ｙｏｒｋｅ猜想；同时还得到了在Ｋｗｏｎｇ－Ｐａｔｕｌａ意义下泛函微分方程强振动的充分条件。