带包类后桥壳的铸造技术

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

基于事件逻辑的改进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）的结构模式。实践证明,三峡水情遥测系统中心站既保证了三峡水情遥测系统非常高的畅通率和准确率,又降低了通信成本;既保证了三峡梯级水库调度、防洪、发电和航运的要求,同时还为系统运行维护工作提供了方便。     

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

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

模型检测在软件测试中的应用研究

以测试为基础的模型或规格是产生测试用例的一种很有潜力技术。在这种方法中,先要建立一个系统的规格或模型,再由规格或模型产生测试用例。文章对结合模型检测来进行测试的方法进行了研究,从整体上对测试进行考虑,不仅包含了对系统所希望具有的功能进行测试,还包括了对系统不应具有的功能进行测试。通过这种方法,我们可以进一步保证系统的正确性和可靠,大大降低人力和资源的开销,为进一步优化测试奠定了基础。     

基于用户行为的网络管理模型能力分析

现有的网络管理模型一般都侧重网络设备本身的管理,不太适应现在越来越复杂的网络管理。基于用户行为的网络管理模型从用户行为管理的角度出发,关联分析出网络中的用户行为,并根据用户行为管理策略规范用户的网络行为,从而消除不良网络行为对网络性能和安全的影响,使网络能安全稳定地运行,并可大幅度减轻网络管理员的负担。本文讨论基于用户行为的网络管理模型要解决的关键问题,提出并分析模型应具备的4个能力：感知能力、控制能力、取证能力和告知能力,最后讨论它们在实际网络管理中的应用情况,并证明它们的可用性。     

虚拟展示/定制中动态交互的设计与实现

X3D语言不具备与外部交互的能力,为实现虚拟展示和定制过程中的动态交互功能,提出一种X3D场景与外部动态交互的方法。基于这种方法设计一个基于X3D的家具展示／定制的原型系统,实现系统的动态交互功能。为三维虚拟电子商务提供一种可行的实现方法,具有一定的商业价值。     

几何画板在中学数学教学中的应用

多媒体技术的应用为数学教学的更新创造了条件,也给学校教育带来了一场深刻的变革。数学作为一门独立的自然科学,有它自身的特点、体系和规律,而几何画板作为电子尺规,是研究几何图形的关系、动态地观察几何图形运动状态、探索数学信息的有力工具。从几何画板辅助中学数学教学的现状、目标及其意义入手,结合几何画板辅助中学数学教学的实例,就几何画板在中学数学教学中的应用及其在教学活动中的重要作用做了系统地阐述和说明。