移动IPv6概述

文章分析了IPV6支持移动性的优势，概述了移动IPv6协议，并对一些热点问题，如快速切换、平滑切换、移动管理、AAA和服务质量等进行了探讨。     

(φ)1 400 mm ZFJ冷管型甲醇合成塔内件的设计与应用

通过对甲醇合成反应最适宜温度的计算，确定φ1400mm ZFJ冷管型甲醇合成塔内件的结构和移热方式。工厂实际应用表明，该内件具有平面温差小、产量大、结构牢靠、操作方便等特点，适合化肥企业的联醇生产。     

基于线素法的回转体零件CAD／CAM集成系统（R—MCADAM）的开发研究

Ｒ－ＭＣＡＤＡＭ系统采用形体组合法实现零件数据输入和绘图，用框架结构存储零件几何及工艺信息，以线素数据文件作为ＣＡＤ与ＣＡＭ之间的集成接口，利用工艺规则菜单以人机交互方式生成工艺文件，与刀位轨迹文件结合后，自动编制数控加工程序。     

利用PR谱无损测量半导体SCR区中的电场

利用ＰＲ谱无损测量半导体ＳＣＲ区中的电场黄晖（昆明物理研究所昆明６５０２２３）光调制反射光谱（ＰＲ谱）以其高灵敏性和高精确度，在半导体材料及半导体微结构超晶格、量子饼的研究中起到了极其重要的作用。半导体材料空间电荷区（ＳＣＲ）的电场（例如由于掺杂等因...     

预应力碳纤维加固的技术特点浅析

介绍了碳纤维布材料的性能特点与技术优势,探讨了碳纤维增强塑料加固混凝土结构的缺陷与不足,提出可以通过预应力技术克服碳纤维现有加固技术的缺陷。在此基础上分析介绍了用于预应力碳纤维布外贴加固受弯构件的施工机具,并提出了完整的预应力碳纤维布加固受弯构件的施工工艺。     

SUNDBIRSTA PCH-4KNA/4600型盘卷打捆机控制系统

介绍了SUNDBIRSTAB PCH-4KNA/4600型盘卷打捆机电气方面的基本组成和调试的主要步骤.     

碲锌镉晶体组分的辉光放电质谱分析

碲锌镉(Cd1-yZnyTe,CZT)被认为是当今红外焦平面探测器材料碲镉汞(Hg1-xCdxTe,MCT)的最佳衬底,研究亦表明[1]:CZT还是核能探测、天文射线研究、工业探伤诊断中X射线、λ射线探测器的优异材料.     

退火处理对含铒Al-Mg-Zn合金组织和性能的影响

使用硬度测量、室温拉伸、光学显微镜（OM）、电子背散射衍射（EBSD）、透射电镜（TEM）等测试方法,对不同退火处理的Al-6.0Mg-1.0Zn-0.8Mn-0.2Cu-0.2Er-0.1Zr热轧板的室温拉伸性能、晶间腐蚀性能和合金的宏微观组织进行了系统研究。结果表明：合金板材的稳定化工艺窗口为230℃/18 h,240℃/6 h,250~270℃/2 h;在250℃/2 h退火后,合金板材的屈服强度为263 MPa,失重值为6.732 mg/cm²。结合力学性能和腐蚀性能,优选250℃/2 h为热轧板的最佳稳定化工艺。通过选区电子衍射和能谱图分析,发现晶界与晶内的析出相均为T-Mg₃₂（AlZn）₄₉相。经过250℃/2 h退火后,晶内T相逐渐长大回溶,形貌由方块状转变为短棒状。而T相在晶界处呈断续分布,且间距变大,所以呈现良好的耐蚀性。     

基于符号执行技术的网络程序漏洞检测系统

网络程序由运行在不同物理节点上的服务器端和客户端组成。与普通二进制程序不同,网络程序在运行过程中,其服务器端和客户端会进行实时的通信和数据传输,二者之间的交互过程会对彼此的程序运行产生影响,因此,仅对服务器端程序进行分析常会导致漏洞的漏报或误报。首先以对网络程序进行自动化漏洞检测为目标,基于软件虚拟机的动态二进制翻译机制和选择性符号执行技术,对符号化数据的引入、符号执行过程中程序双端的状态同步技术进行了研究。然后通过重点函数挂钩的方式监控程序执行过程,确定了双端状态同步的判定模型,构建了一个自动化的网络程序漏洞检测系统。通过实验验证了该系统在实际网络程序漏洞发现过程中的有效性,并针对商业软件中存在的CVE漏洞进行了测试性检测,进一步证明了该系统的可推广性。     

基于动态符号执行的二进制程序缺陷发现系统

以对二进制程序进行自动化缺陷发现为目标, 基于软件虚拟机的动态二进制翻译机制和污点传播机制, 对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究, 改进了传统动态符号执行的路径调度部分, 分析了程序缺陷的符号断言表达形式, 构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。