An Investigation of Formal Techniques of Protocol Based on CFSM

ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...     

一类非线性微分系统的全局结构

本文利用H.Poincaré定性理论,对一类非线性系统作出了定性分析以及讨论了闭轨的存在性.通过计算机软件Maple进行图形绘制,能清晰了解轨线的走向和趋势,从而证明了结论的正确性.     

分数阶混沌系统的间歇控制同步

针对传统分数阶混沌系统连续控制同步方法存在的不足,提出了一种不连续的控制方法—间歇控制法;由于分数阶微分方程稳定性理论的发展不成熟,通过对控制器的改进构造了新的响应系统,将分数阶同步误差系统转化为整数阶同步误差系统,基于Lyapunov稳定性理论构造V函数,得出分数阶混沌系统的间歇控制同步渐近稳定的充分条件,实现了分数阶混沌系统的间歇同步;特别地,当施加周期间歇控制时,可获得更为简单和实用的同步判据;并以分数阶Chen混沌系统为例进行数值模拟,实验结果表明间歇方法能够较好的对分数阶混沌系统进行控制同步。     

初等变换在向量组的线性相关性中的应用

线性方程组的解及向量组的线性相关性是线性代数的核心内容,而初等变换是研究它们的最有力的工具,因此应用好这一工具对学习线性代数非常有帮助;用"提问—总结—举例"的方式给学生阐述了初等变换在向量组的线性相关性中的应用.     

窄带Faraday反常色散光学滤波器

研究Faraday反常色散光学滤波器,给出其理论计算过程和模拟结果.结果表明,Faraday反常色散光学滤波器有线翼和线芯透过两种工作方式,其中线翼透过单峰谱线线宽约为600MHz,透过率约为25%,线芯透过谱线线宽约为700MHz,透过率约为100%.实验结果与理论结果相符.     

一维光子晶体的吸收特性与电场分布

考虑一维光子晶体的吸收特性与电场分布,分析了吸收介质和激活介质缺陷对光子晶体吸收率的影响,并分别计算了有缺陷和无缺陷时的电场分布.     

一类时滞微分方程周期解的存在性

本文利用不动点定理,重合度理论和一些新的分析方法研究了一类时滞微分方程x″(t)+a[x′(t)]m+bx(t-τ)=f(t),m∈Z+周期解的存在性,得到了周期解存在性的新结论.值得注意的是本文所使用的方法与以往文章均不相同.     

Allen电负性标度的理论基础

用密度泛函理论论证了Allen电负性的合理性.表明如何能够用原子价层轨道能对Allen电负性进行标度,从而使周期表中元素的Allen电负性更容易被计算和理解.     

MSCTP对IP移动性支持的研究

介绍一种在传输层支持IP移动性的基于SCTP多信宿机制的移动SCTP（MSCTP）新方案。在介绍了SCTP的原理及其多信宿特性的基础上引入的MSCTP概念,重点分析了MSCTP over IPv6以及MSCTP over MIPv6的通信建立与无缝切换过程,并对MSCTP的应用及尚待解决的课题进行了较为详细的探讨。     

支持实时业务的队列调度机制与网络资源配置原则研究

分析了广为应用的WFQ调度机制的特点与局限性,提出了克服其局限性的方法;并针对WFQ存在的问题提出了WFQ改进算法,仿真验证了改进算法能显著改善实时业务的报文丢失率与网络传输时延;给出了因特网支持实时业务的网络资源配置的一般原则,以供网络运营者参考。