对偶矢量的一个应用

文[2]、[4]分别给出了空间直线位置关系的判定。本文通过空间直线与对偶矢量的关系，给出了空间直线位置关系的又一种判定方法。     

Bernoulli方程的再推广

本文巧妙地运用一些变量代换,给出了几类一阶和二阶常微分方程的求解方法,从而推广了文[1]、[2]、[3]、[4]所研究的结果。 §1 一阶微分方程 型如     

三个方向网上的二元周期样条插值问题

三个方向网上的二元样条逼近问题强烈地吸引着许多中外学者的兴趣.C.K.Chui 和王仁宏在[1]中用光滑余因子方法讨论了二元样条函数空间的维数.沙震在[2]中用 B—网方法给出了二元三次样条的插值与逼近.其后,徐利治等在[6]中也讨论了类似问题.关于双周期的二元三次样条空间问题,H.G.Ter,Morsche 在[3]中曾对该空间的维数作过猜测,但未予证明.最近,肖绍良在[4]中给出了该空间维数的证明和一组 B 样条基底.本文采用 B—网方法,继续这方面的工作:(1)讨论了一类单周期二元三次样条空间的维数、存在性唯一性及逼近度.(2)给出了一类双周期二元三次样条的插值及其逼近度.     

绝对不可分模的两种定义的差异

文献[1]、[2]、[3]给出了绝对不可分模的两种定义方式,并给出了它们之间的部分差异,本文推广其结论,给出了两种定义的全部差异.     

非均匀剖分下S_2 1(Δ_(mn) ((2)))上的插值

文[1],[2]、[3]、[4]都讨论了有关 S_2~1(△_(mn)~(2))上插值的一些问题,不过,[1]和[2]是基于均匀剖分,而[3]和[4]则又需用到被插函数的导数值,本文将在非均匀剖分之下,首先讨论 S_2~1(△_(mn)~(2))上一类插值样条及其导函数的逼近度,其次给出了一个二元数值积分公式,这些结果均无需用到被插函数的导数值.作为附带结果,本文最后也给出了一个含导数值的插值样条对被插函数的误差估计式.     

关于任意K（K≥4）个连续Fibonacci数的两个定理

文[1]给出了1991年美国Mr．A．DiDomenico教授证得的几个公式：并给出公式（2）推广到任意K（K≥5）个连续Fibonacci数的一个猜想．文[2]对公式（1）进行了推广，但仍局限于六个连续Fibonacci数前后四个数之间的关系．本文对公式（1）进行推广，给出K个连续Fibonacci数的两个定理．至于Fibonacci数列的定义由[1]中给出，此处从略．先给出比较（4）、（5）两矩阵左上角的元素，有），这是一个递推式，将其递推（n预备定理证完．现在给出（m∈N）证先证（6）由预备定理[4]中有，所以（6）得证．再证（7）仍由预备定理[4]中还有，故周得证…     

关于中值定理“中间点”的渐近性的几点注记

文[1]用统一的方法给出了更一般的中值定理“中间点”的渐近性质,本文推广、改进了文[1]中的主要结果。     

对《关于凸整边多边形》的几点注记

整边凸多边形是边长为正整数的平面凸多边形,关于整边凸多边形的性质和计数问题文[4]给出了一些结果.本文指出了文[4]中关于整边凸多边形计数公式的错误;并且介绍了Andrews对于整边三角形计数公式的一种简单的证明.     

Pelof语言的一种操作语义模型

Pelof 是一种融合 Petri 网、逻辑和函数三种风格的作用式并行程序设计语言.它的基本成分是谓词和函数,Petri 网体裁提供并行控制的工具.文献[5]中给出了 Pelof 语言的文法及设计思想.本文在文献[1,2]工作的基础上,以 FFP[3]为抽象机,采用形式化的方法为 Pelof 语言塑造了一种操作语义模型.     

矩阵对角占优性的推广

本文给出了a-对角占优矩阵的定义,讨论了块对角占优矩阵的判定及应用,这些结果推广和改进了[1]～[3]的相应结果.     

关于测度微分方程描述的大系统的稳定性

本文通过所建立的分布型向量积分不等式，对由测度微分方程所描述的大系统进行了稳定性研究，得到了其零解稳定、渐近稳定的若干判别准则；为这类问题的研究提供了一种新的途径．     

线性中立型系统的稳定度

研究线性中立型系统的稳定度问题。通过不等式分析的手段,建立起线性中立型系统的稳定度的充分准则。     

代数微分方程组的可允许解

应用亚纯函数的Nevanlinna理论 ,讨论了代数微分方程组的可允许解 ,得到了不同于单个方程的结果     

二阶非线性时滞微分方程的振动性

本文讨论了一类二阶非线性泛函微分方程的振动性,给出方程振动的若干充分条件．     

用微分形式的吴方法求解一些偏微分方程的势对称和不变解

本文利用微分形式的吴方法讨论了Kdv-Burgers-Kuramoto方程的古典对称及其不变解,同时得到了Burgers方程的势对称,并利用这些势对称作用到Burgers方程的解上从而得到了该方程更多的精确解.     

多时滞微分方程的一个新的唯一性定理

考虑了一阶多时滞微分方程的Cauchy问题这里r_i=const>0,i=1,…,n;r=max{r_1,…,r_n),给出了其解的一个新的唯一性定理.它不依赖于Lipschitz条件,而与代数方程u=tf(t,u,0,…,0)有关.进一步推广了文[1,2]的工作,一些熟知的唯一性定理可作为本文结论的特例.     

一类非线性微分系统的稳定性

给出一种新的系统分解方法,将整个系统的稳定性问题在一定的务件下转化为系统关于部分变元的稳定性问题。作为应用,研究了控制系统的稳定性。     

差分对振荡电路分析

通过对差分电路在大信号模型下的集电极电流的频谱分析 ,讨论了差分振荡电路的非线性失真、起振条件、输出电压等特性 ,并简要说明了差分振荡电路的调整方法     

齐次矩阵微分方程解的几何描述

以二维齐次矩阵微分方程为例,给出了其解的几何描述.     

含时滞的偏泛函微分方程解的稳定性

采用不等式估值方法 ,对含时滞的偏泛函微分方程解的稳定性进行了讨论 ,获得了零解渐近稳定的简洁判据