An Investigation of Formal Techniques of Protocol Based on CFSM

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

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

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

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

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

新型叠合楼板的叠合面连锁咬合效应分析

针对组合楼板的主要破坏模式——纵向剪切破坏,本文发现在一种新型叠合楼板中存在的连锁咬合效应,以之作为一种新的叠合面水平抗剪机制,并阐述了其作用机理.通过进行6块3类不同形式预制底板叠合成的叠合楼板的单向拟静力试验,从极限承载力、滞回曲线、自复位性能等方面总结、对比了这3种叠合板的整体受力性能,验证了这种水平抗剪机制的有效性.结果表明:相比于传统的叠合板,本文提出的这种新型叠合板中存在的连锁咬合效应减少了叠合面的损伤累积,可在一定程度上增强叠合板的变形恢复性能,提高此类叠合楼板叠合层与预制底板的协同受力性能,保证叠合试件充分发挥其极限承载能力.     

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

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

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

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

单层倒悬链型叉筒网壳静力与稳定性研究

针对以倒悬链线作为交叉柱面准线的单层倒悬链型叉筒网壳,对其常见网格形式结构的静力与稳定性进行比较,得到了结构最佳网格形式.在此基础上,将单层倒悬链型叉筒网壳与圆弧型叉筒网壳进行了静力性能与稳定承载力对比,研究了倒悬链型叉筒网壳的稳定性,包括屈曲模态及杆件截面尺寸、结构几何缺陷、荷载不对称分布与支座约束形式等对结构极限承载力的影响.结果表明,单层倒悬链型叉筒网壳三角形网格形式结构性能最佳;该结构相比圆弧型叉筒网壳具有明显的优越性;初始缺陷对结构稳定性影响较为显著,计算时应考虑1/300跨度的初始缺陷峰值;结构对不对称荷载作用较为敏感;矢跨比为0.50时,网壳的稳定性最好,为最优矢跨比.     

高层建筑中转换大梁的分析与设计

利用有限元方法分析了转换大梁的受力特点,并从转换大梁与上下部结构的相对刚度变化,分析了它对大梁受力的影响。     

Allen电负性标度的理论基础

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

MSCTP对IP移动性支持的研究

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