带空间限制的实时并行模型调度研究

在带空间限制的实时多处理器系统模型上,针对文献[8]提出的DDS并行模型算法的不足提出一种新的基于EDF的优先级驱动全局调度算法,该算法保证了重要任务的优先调度。对文献[8]及该文的算法进行了对比研究,从调度成功率以及资源利用率方面对比,此算法均优于文献[8]提出的算法。     

关于极限论对Berkeley悖论之解释方法的分析与研究

该文是文献[5]的续篇,由于文献[1]之2．5论证指出：当代极限论没有给Berkeley悖论留下任何有关0/0一类悖论生成余地或隙缝．（文献[1]P26）,文献[5]在确认潜无限（poi）与实无限（aci）在ZFC框架内是无中介矛盾对立面（p,]p）前提下,论证结论是当代极限论所留给Berkeleyn悖论有关0/0一类悖论的,远不止一个隙缝,而是一个大窟窿．但文献[1]之2．5与2．6还有诸多针U对文献[2]之6．7．3的质疑,本文旨在质疑文献[1]对文献[2]的每一条质疑,结论是文献[1]针对文献[2]之任何一条相关的质疑都是没有根据的．并在逻辑数学层面上对文献[1]中所谓“双相无限”概念略作评论．     

关于n阶矩阵m次方幂的通项公式问题

文献[1]、[2]中曾通过判别矩阵△是幂零矩阵,文献[3]通过幂等矩阵对一般矩阵的方幂作出了讨论。本文通过三次幂等矩阵对矩阵方幂作出初步讨论,并同时指出文献[2]的两处疏漏,把文献[3]中的结果再推广一点。     

关于4–正则简单图一性质的另证

1973年,C．BerGe提出了关于正则图的一个猜想：4 正则简单图都包含3 正则子图．文献[2]利用4 正则图的邻接矩阵论证了这一结论;文献[3]、[4]就几种4 正则简单图证明了这一猜想．本文受文献[2]的启发,在文献[3]、[4]的基础上对这一性质进行了另证。     

具有反馈控制的非自治两种群浮游生物相克系统的持久性

研究一类具有反馈控制的非自治两种群浮游生物相克系统．借助干微分方程的比较原理和一个积分不等式,得到了一组保证系统持久的充分性条件．结果表明在原系统持久下,反馈控制变量对系统的持久性没有影响．所得结果说明文献[2]的持久性条件中有关反馈控制变量的条件限制是多余的,由此实质性地改进了文献[2]的结果．     

吊桥方程解的存在性的一个注解

本文利用文献[2]中的方法对文献[1]中的定理3．1进行了新的证明．     

混合线性同余发生器的周期分析

结合文献[1]给出了混合线性同余发生器达到满周期的条件,并给出了系统的数学证明.     

由两个已知bent序列构造bent序列

文献[1-5]都讨论了由给定的bent函数（或序列）构造新的bent函数（序列）的方法,本文证明文献[5]中的方法实际上可以通过结合文献[1]和文献[3]的方法而得到的,从而对给定的两个bent序列可以得到比文献[5]中构造出的序列更多的bent序列。     

一类方程组的零解为全局稳定的充要条件

两个微分方程的组的零解全局稳定的充要条件的研究有文献[1]、[2]、[3]、[4]。[5]研究了方程组(1)的零解为全局稳定的充分条件,本文削弱了文献[5]中的充分条件,并用定性方法得到方程组(1)的零解为全局稳定的充要条件。     

主要参考文献编排格式

●专著·论文集·学位论文·报告[序号 ]主要责任者 .文献题名 [文献类型标识 ].出版地 :出版者 ,出版年 .起始页码 (任选 ) .●期刊文章[序号 ]主要责任者 .文献题名 [Ｊ].刊名 ,年 ,卷 (期 ) :起始页码 .●论文集中的析出文献[序号 ]析出文献主要责任者 .析出文献题名 [Ａ].原文献主要责任者 (任选 ) .原文献题名 [Ｃ].出版地 :出版者 ,出版年 .析出文献起始页码 .●报纸文章[序号 ]主要责任者 .文献题名 [Ｎ].报纸名 ,出版日期 (版次 ) .●国际、国家标准[序号 ]标准编号 ,标准名称 [Ｓ].●专利[序号 ]专利所有者 .专利题名 [Ｐ].专利国…     

圆锥曲线的统一性质——“相交弦定理”的简证

文献[1]中以射影线段为视角进而表示相交弦长，并对定理加以证明，解法独特但过程较为繁难．文献[2]以直线的参数方程为视角着重对抛物线中的相交弦定理加以推导．它们的共同之处在于都是以抛物线为主要探究对象，将所得结论推广到椭圆及双曲线上，从而得到不同圆锥曲线的相交弦定理．显然，在探索过程中，文献[2]的方法较文献[1]简便．     

随机经济周期模型的动力学研究

在文献[1]给出的动态经济周期模型的基础上,研究当O＊（t）（白发投资与自发消费的总和）为随机外力干扰的随机函数时对经济的影响,应用多尺度法及文献[7]求出了一阶近似解及系统的稳态响应,并分析了参数和随机激励的幅值对经济系统的影响．讨论了非零解的稳定性以及非零解稳定的充要条件,得出当随机激励的带宽γ较小时,系统仍会出现多值现象．     

两个几何不等式的推广

本文给出了所引文献[2]中两个几何不等式的加强与推广,这是实质性的推广,文中结果包含了所引文献[3]、[4]中的所有结果.     

对系统Hα中F(S)分划的一种改进

研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种不同的广义重言式,即[0]-T(H12),[α2]-T(H12),[(α2) ]-T(H12),[α]-T(H12),[α ]-T(H12),T(H12)(α∈(0,1))     

Hoyer系统的Hamilton结构研究

主要讨论了Hoyer系统具有Hamilton结构的参数条件，得到的结果相对于文献[3]的结果更准确更易于应用．     

评注“（G’/G）展开法和（2＋1）维非对称Nizhnik-Novikov-Veselov系统的新精确解”

文献[1]通过引入并扩展（G＇/G）展开法给出了（2＋1）维非对称Nizhnik-Novikov-Veselov系统十组精确通解,该文献认为这些解是系统新的精确解,本文说明这一结论是不正确的.     

关于可测空间中非负可测函数序列积分的不等式

Xie在文献[1]给出了一个关于Borel-Cantelli引理的重要的双边不等式,对Borel-Cantelli引理做了一个新的推广.胡舒合、王学军等在文献[2]中指出了在文献[1]中定理的证明及举例有错误,给出了定理的正确证明和例子的详细分析.本文在上述文献的基础之上,主要通过对文献[1]中双边不等式的研究,将Xie的结果推广到可测空间中的非负可测函数序列,得到相应的不等式.     

基于软构件技术的信息系统开发过程研究

根据信息系统的特点,在文献[1]的基础上提出了一个基于软构件技术的信息系统开发模型,详细讨论了基于该模型的信息系统开发过程和基本方法。     

关于Cantor-Hilbert对角线论证方法的分析与研究

在近现代数学中,通常认为Cantor-Hilbert对角线论证方法是有效的.特别有如文献[1]之2.4,列举多条理由论证Cantor-Hilbert对角线论证方法是无懈可击的,但经分析研究文献[1]之2.4中所列之论据,其中每一条论据都是没有根据的.文献[2]之6.6指出：在兼容两种无穷观之分析方法前提下,可以证明Cantor-Hilbert对角线论证方法并不是无懈可击的.文献[3]又在逻辑演算之谓词与集合的层面上,给出了一个不同于文献[2]之6.6中的证明方法.因此该文既是一篇评论性文章,其实更是一篇研究性论文.     

《湖北成人教育学院学报》文献著录格式

1.专著、论文集、学位论文、研究报告格式[序号]主要责任者.文献题名[文献类型标识].出版地:出版者,出版年,起止页码(任选)。2.期刊文章格式[序号]主要责任者.文献题名[J].刊名,年,卷(期):起止页码。3.论文集中的析出文献格式[序号]析出文献主要责任者.析出文献题名[A].原文献主要责任者(任选).原文献题名[C].出版地:出版年.析出文献起止页码。