A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

一类修正的Durrmeyer－Bernstein型算子的逼近定理

讨论了引入矩阵后修正的Ｄｕｒｒｍｅｙｅｒ－Ｂｅｒｎｓｔｅｉｎ型算子的点态逼近等价定理，以及加权逼近等价定理．     

三阶非线性微分方程的周期解

通过把三阶微分方程化成等价的低价微分方程组，给出一类三阶微分方程周期解的存在定理。其中用到二阶线性微分方程的限制共振条件和Ｓｃｈａｕｄｅｒ不动点定理，这一结果简化了Ｎ．Ｎ．Ｇｅｏｒｇｅｅｖ关于同类方程周期解存在定理的条件。     

群分次环上双积对偶定理

用环论的方法证明了群分次环上的双积对偶定理，主要结果是当Ｇ为有限群时，Ｒ＃ｋＧ＃。ｋＧ≌ＭＧ（Ｒ），当Ｇ为无限群时，Ｒ＃ｋＧ＃ｋＧ≌ＭＧ（Ｒ）＾ｆｉｎ。     

复数形式下的斯铎兹定理

本文把斯铎兹定理推广到复数范围     

素数分布的三组递推公式及其应用

在研究素数分布过程中，通过创立一种新的筛法与台阶理论，得到关于素数分布的三组递推公式：不大于x的素数个数与孪生素数对数量的递推公式；不大于x的孪生素数个数的递推公式；任意偶数x≥6表为两个奇素数之和与孪生素数对数量对数的递推公式。     

一类奇异的非线性双调和方程正整解

以Schauder-Tychonoff不动点定理为理论依据，研究了一类奇异的非线性双调和方程正的径向对称整体解的存在性，并给出了解的有关性质。     

行列式的一种计算法

1Vandermonde行列式下述行列式Vn称为n阶Vandermonde行列式[1],其可表示为Vn=1 1…1b1b2…bnb21b22…2bn┇┇┇┇b1n-1b2n-1…bnn-1=∏1≤j相似文献   

关于Banach空间上非线性Lipschitz算子的几个结果

引入非线性Lipschitz算子的Lipschitz拟对偶算子的概念,从而证明了非线性Lipschitz算子的“*”运算的线性性,作为应用,最后证明了非线性Lipschitz算子的共呜定理.     

一类捕食-食饵系统绝灭的充分条件

研究了一类具有生物和化学控制(周期释放天敌和喷洒杀虫剂)的两食饵-两捕食者模型的动力学性质.通过线性周期脉冲方程的F loquet理论和小幅扰动方法,证明当脉冲周期小于某个临界值时,存在一个全局渐近稳定的两个害虫根除周期解.