近终形连铸技术的发展状况

近终形连铸技术是当今冶金科技领域的一门前沿学科。本文介绍目前近终形连铸技术的发展及趋势。在世界各国的研究中，美国比较注重单辊法，日本侧重于双辊法，西欧则侧重于改进结晶器的结构和功能，开发新型铸机     

菲涅耳双棱镜干涉实验研究

针对学生在双棱镜实验中常出现的问题，对其产生原因进行了理论分析，并以具体实列指出了正确的操作方法．     

双馈电机运行速度对稳态性能的影响

研究双馈电机运行速度对双馈电机稳态性能的影响．首先对比了双馈电机运行于超同步转速及次同步转速时的稳态波形，然后对谐波及稳态参数的变化进行了分析．研究表明双馈电机稳态运行速度对其稳态运行性能有较大影响．     

威布尔分布下未来观测值的预测

在历史样本为Ⅱ型双删失情形下 ,得到了未来观测值的后验预测分布密度     

双间隙加速管设计中几个问题的研究

对加速管的放电或击穿与绝缘环，电极材料，极间距离和真空度等因素的关系进行了分析，为加速管的设计提供了依据。以此研制的加速算运行正常。     

消交叉极化偏置双镜天线的分析和设计

偏置双镜天线,由于其结构不对称,交叉极化较难控制。成形时,涉及到一个非线性偏微分方程组,其精确解对任何预先给定的主镜口径场分布和馈源场分布不都存在。为此,本文提出了一个处理这一问题的近似方法,不仅提高了精度,还消除了天线的交叉极化分量。按此方法所设计的一个3米天线在12GHz 时的效率(计算值)为82%。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

椭圆周上的一类新的双正交级数

研究了椭圆周上一类新的双正交级数，给出了它的部分和与其诱导函数的Ｆｏｕｒｉｅｒ三角级数的部分和之间偏差的精确的渐近表达式．