关于Hale《泛函微分方程理论》第四章的一些结果

本文推广了文[1]第四章订正后的新引理3.5,重新确立了原引理3.4的正确性,从而由另一条途径证得了推论3.3,定理4.2以及定理4.4的结论。     

关于Lefschetz数的计算

本文给出了计算多面体到自身连续映射的Lefschetz数的一种新方法,可用于计算球面上连续映射的拓扑度,也可用来证明关于保径映射的Borsuk定理和Ky Fan的组合引理的等价性。其算法能方便有效地在计算机上实现。     

Global Stability for a Diffusive System with Time Delay and Functional Response

In this paper,by applying Comparison Theorem of differential equation,Continuation Theorem of coincidence degree theory,Barbalat Lemma and Lyapunov Function,a diffusion system with distributive time delay and ratio-dependence functional response is studied.It is proved that the system is uniformly persistent under appropriate conditions.Further,if the system is a periodic one,it can have a strictly positive periodic solution which is globally asymptotically stable under appropriations.Some new results are obtained.     

序凸集与锥的正规性

研究了序凸集的一些运算性质,得到了紧序凸集的序端点表示定理．定理2紧序凸集是其所有序端点的序凸包．还利用序凸集给出了正规锥的两个特征性质．定理3实Banach空间E的锥P是正规的当且仅当E的任何有界集的序凸包是有界的．定理4实Banach空间E的锥P是正规的当且仅当E是局部序凸的,即E有一个序凸的零点邻域基．     

一元函数微分的一种处理方法

给出一元函数微分的一种处理方法。即在定义了导数之后,直接给出利用导函数的符号判定函数单调性的方法,而不利用微分中值定理;在此基础上,我们可以很方便地给出所有微分中值定理的证明。     

带可变的分布式延时的高阶Cohen-Grossberg神经网络的动力学行为分析(英文)

对于高阶和低阶CGNN的工作前人做了很多,其中论及的网络都属于文章中讨论的高阶Cohen-Grossberg神经网络的某种特殊情况.讨论了此类网络平衡点的存在性和稳定性.引理2给出了系统(3)何时有平衡点的一个判断,定理1和定理2则讨论了不同条件下引理中平衡点的稳定性.每一个引理和定理都有简单的式子便于计算和判断.研究的带有可变的分布式延时的Cohen-Grossberg神经网络的平衡点的存在性和稳定性的结果具有普遍的意义,可以用于一大类CGNN的平衡点存在性和稳定性的判定上.     

一些局部凸空间的算子刻划

用线性算子刻划了Mackey空间,囿空间,Banach-Mackey空间和Mazur空间等局部凸空间.设X,Y都是非零的Hausdroff局部凸空间,则有定理1 X是Mackey空间的充要条件为:对L_s(X,Y)的每个均衡凸紧子集M,如果M′将Y′的均衡凸σ(Y′,Y)闭的等度连续集映成X′的凸集,那么就有M等度连续.定理3 X是囿空间的充要条件为:每个从X到Y的一致有界的线性算子族都是等度连续的.定理5 X是Banach-Mackey空间当且仅当L_s(X,Y)中的每个点点有界集都是一致有界的.定理8 X是Mazur空间当且仅当每个从X到Y的序列连续的线性算子都是弱连续的.     

概率思想在计算实无穷积分中的应用

将概率的基本思想,应用在计算实无穷积分中,结果表明该方法与小圆弧引理相比,计算更为方便简单、适用范围更为广泛.文章分三部分:首先讲述小圆弧引理及其局限性;接着介绍概率基本思想在计算实无穷积分中的应用及其优越之处;最后是总结我们的工作并展望未来的工作.     

(OP)型空间与谱算子

(OP)型空间的概念是江泽坚、邹承祖在[1]中提出的,这种空间保证了级数的弱无条件收敛与无条件收敛的等价性,是使谱算子许多性质成立的最佳空间。本文要讨论(OP)型空间的一些性质及谱算子与(OP)型空间的关系。     

关于变换半群的子群结构

本文主要讨论变换半群的子群的性质和结构,得到的主要结果是:定理1 设B是A的一个非空子集,H是M(B)的一个子群,则有M(A)的子群G使得G_B=H且G与G_B同构。定理2 (1)设G是M(A)的一个子群,e是G的单位元,则G是M(A)的一个极大子群当且仅当G_Ae=∑_(Ae)。(2)M(A)的任何两个不同的极大子群之交是空集。     

没有P S条件的山路引理

本文研究了没有Palais-Smale条件的山路引理．对于不满足Palais-Smale条件的泛函．得到了渐近临界点的存在性，推广了古典的山路引理．本文还提供了更弱条件下的山路引理的新的证明．     

Levi定理和Fatou引理的一种推广

利用 L evi定理及一般可测函数的定义对 L evi定理作推广 ,同样对 Fatou引理进行改进而作为 Fatou引理的推广 ,并由此得到比 L ebesgue控制定理更一般的结论     

s-单式环的交换性定理(英文)

本文将文献[3]的引理1推广到s-单式环上,并用迭代技术给出文献[4]的定理2一个简易的证明,将若干有1环的交换性定理推广到s-单式环上。     

形如xw的双边无限C∞字的组合

文[1]定理2给出了形如w xw的间隙为x（｜x｜≤4）的双边无限C∞字所确定的无限C∞字w恰有12个.文章在此研究定理2的逆问题,并完全确定了形如wxw的双边无限C∞字的间隙x的取值,其中w是由定理2确定的12个无限C∞字.     

关于《Banach空间上的q-框架与 P-Reisz基的稳定性》的注记

文献[4]给出了Banach空间上q-框架稳定性的两个定理(定理2,定理3),本文用另外的方法证明了定理3,给出了比定理2好一些的结果.     

Eisenstein判别法及（E，ρ）型数域的推广

Eisenstein判别法是高等代数中判定整系数多项式在有理数域中的可约性的重要方法,其推广形式很多,而最原始的形式应用代数数论中来定义（E,ρ）型数域。本文在原来Eisenstein判别法的基础上进行适当地推广,并将已知的（E,ρ）型数域也随其判别法的推广而推广,成为广（E,ρ）型数域,在此基础上研究此数域的性质：给出素数p在广（E,ρ）型数域中的素理想分解形式,并且给出了这个素数户的一个重要性质。其次,得到广（E,ρ）型数域中素数ρ及相关理想的一些性质,并给出相应的证明。这样,就推广了原本只讨论最原始定义的Eisenstein判别法及（E,ρ）型数域的相关性质,使此理论更加完善。     

关于过程调用中的透明性和可靠性

以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。     

面向变异分析的协议安全测试方法

在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.     

容错定位控制集的界

给定图G=(V,E),S是V的任意一个非空子集,如果对所有的v∈V-S,集合I(v)=N［v］∩S都是非空且是两两不同的, 那么称S是G的一个定位控制集.如果当S中所有的装置都传送正确的监测信息值0,1或2,或者仅有一个装置错误地传送数值0而不是1或2时,它都能测定出V中任何一个错误的处理器w,那么称S是G的一个容错定位控制集.研究了容错定位控制集,给出了容错定位控制集在几类有限图和无限三角形格子图中的一些界.     

关于有限域中的元根

最近、王巨平使用数论中的Gauss和证明了:如果P~n≥Z~(60),则在有限域GF(P~n)中存在二个元根α和β,使得α+β=1。于是,Golomb有关元根的一个猜想基本上得到证明。本文用Jacobi和及王巨平提出的方法证明了若干更为一般的结论。此外,本文还基本上解决了Vegh提出的一个问题:是否对所有大于1的系数p,均能使得每一整数被表成P的二个元根之差。