传统带钢热连轧机改造的成功范例

介绍了日本川崎钢铁公司千叶钢铁厂第３号带钢热连轧机组的设备组成,采用的先进工艺和典型产品等,提出经改进的传统带钢热连轧机同样可以生产０．８ｍｍ超薄热轧带钢 且特别适于生产优质材、特殊材等质量要求较高的产品。     

小型球铁件的收缩特点及其补缩工艺

根据国内外有关研究结果，阐述了球墨铸铁件冷却凝固过程中的体积变化规律，建立了球墨铸铁的收缩和膨胀模型，用以分析球墨铸铁小件的缩孔缩松形成机理。以轮毂铸件为例提出了防止缩孔缩松缺陷的工艺措施。     

并联机床数控平台建造

针对3－HSS并联机床结构特点，确定了采用“PC＋适配器”建造硬件平台总体结构体系，并对伺服系统、I／O与数控系统的连接及DPRAM的中断设置作了介绍。     

带包类后桥壳的铸造技术

介绍带包类球墨铸铁后桥壳铸件的生产工艺.通过合理熔炼、造型、制芯及铸造工艺参数,采用冲天炉熔炼,手工造型制芯,实现批量生产优质带包类桥壳球铁件.     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

敞开式组合电器在云口水电站屋顶开关站中的应用

鉴于云口水电站厂房距河口开阔地带有一定距离,处于峡谷之中,开关站在厂房附近就地布置困难较大,采用敞开式组合电器,布置在电气副厂房屋顶上,成功地解决了开关站布置困难的问题.     

三峡水情遥测系统中心站的设计与应用

三峡水情遥测系统中心站在通信组网设计上采用甚高频（VHF）、公共交换电话网络（PSTN）、全球移动通信系统（GSM）、北斗卫星和海事卫星5种通信方式,在系统软件设计上采用了客户／服务器（C／S）的结构模式。实践证明,三峡水情遥测系统中心站既保证了三峡水情遥测系统非常高的畅通率和准确率,又降低了通信成本;既保证了三峡梯级水库调度、防洪、发电和航运的要求,同时还为系统运行维护工作提供了方便。     

计算机系统在中风病诊疗模式中的应用

本文针对中风病的诊疗模式问题,提出了一个有效的计算机辅助诊断系统,通过对一系列中风病相关的资料的汇总,可以对中风病患者给出计算机辅助诊疗方案,为医生的最后确诊和确定治疗方案提供准确、可靠的科学依据。本系统对医院的上千个实际中风病患者进行了辅助诊疗,结果达到了预期的效果,可以作为临床诊断的辅助手段。本系统简单易用,功能全面,易于临床推广应用。     

图像加密算法仿真研究

研究优化图像安全性问题.传统的利用混沌理论技术对数据加密时运算开销大、运算效率不高,导致图像安全性不高等问题.为解决上述问题,提出了一种利用混沌理论的独立密钥DES图像加密算法.首先将待加密图像看作是一个普通的数据流,然后采用混沌理论的混沌二值序列作为密钥对该数据进行加密.通过对混沌二值序列加密算法的设计,使得加密和解密运算开销和运算效率得到了较大的提高,具有较强的抗密钥穷举攻击和抗攻击的能力.仿真结果表明,提出的算法具有一定的有效性和实用性,对图像进行加密达到了更高的安全性.