An Investigation of Formal Techniques of Protocol Based on CFSM

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

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

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

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

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

基于DPI技术LTE-S1接口流量识别系统的设计与实现

针对长期演进(long time evolution,LTE)网络,基于数据解码技术?爬虫技术和DPI技术提出了一种流量识别系统的设计与实现方案?以图书类APP应用流量识别为例,说明深度封包检测(deep package inspection,DPI)技术在S1接口流量识别系统中的设计实现过程?采用黑盒测试方法,对系统进行性能测试,通过测试结果得出结论:该流量识别系统可以实现对用户行为的监测,对细化流量经营有着重要的推广意义?     

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

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

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

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

基于多属性分块决策的 5G 切换算法

为了解决5G异构网络在切换过程中单一处理切换参数的片面性问题,提出了一种适用于5G的新的切换算法,该算法基于多属性分块决策（modular multi-attribute decision making,M-MADM）理论,把切换参数分为2个模块,采用TOPSIS与层析分析相结合的方法选择最优网络QoS（network QoS,NQ）模块,其次利用模糊逻辑得到用户偏好（user preference,UP）模块,再对最终满意度（degree of satisfaction,DS）模块作一次模糊处理,选择最优结果执行切换。仿真结果表明,M-MADM算法与传统算法相比,可减少时延,降低切换失败率,并能快速准确地切换至最优网络,提高用户满意度。     

Allen电负性标度的理论基础

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

MSCTP对IP移动性支持的研究

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

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

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