氧化物在氧梯度下分解与传输的电化学模型及其在金属和合…

当氧化物处于氧的梯度下时，可以构成自发的氧浓差电池，有可能导致氧化物的分解与传输，其分解与传输的程度取决于电池中的控制步骤和氧化物的性质。金属与合金氧化的许多现象可由此模型得到解释。例如，孔洞在氧化物中形成所产生的氧化物的分解与传输及对氧化动力学的影响；在氧梯度下多组元氧化物的分层现象；稀土等活性元素对氧化物的分解与传输的影响等。     

用于气体保护焊的自动混气设备

介绍了一种用于焊接现场的气体保护焊的自动混气设备，该设备能精确控制气体混合比例。设备主要由气体传输、气体混合、信号检测和电气控制几大部分组成。计算机适时采集、显示混合气体的混合比例、输出压力、气体湿度等信息，超限发出声光报警。混气设备通过气体分析仪、比例阀和计算机形成闭环控制，从而实现气体混合比例的精确控制。     

消失模涂料对EPS裂解产物传输特性的影响

针对消失模铸造过程中EPS模样裂解产物，涂料性能对铸件质量的影响，介绍了一种消失模涂料对EPS裂解产物传输特性的测试仪器吸测试方法。讨论了消失模涂料厚度、涂层高温透气率、涂料组分对EPS裂解产物传输特性的影响。     

Windows 2000安全技术探讨

以入侵检测技术和打补丁技术为基础，对Windows2000安全系统进行不断更新、升级是今后的发展趋势。同时介绍了Windows2000的入侵检测技术和打补丁技术。入侵检测技术和打补丁技术的有机的结合能够实时监控网络传输，自动检测可疑行为，分析来自网络外部入侵信号和内部的非法活动，在系统受到危害前发出警告，对攻击做出实时的响应，并提供补救措施，最大程度地保障Windows2000系统安全。提出在Windows2000安全建设中这两项技术应用的重要作用。     

电致孔经皮给药：表面活性剂对孔道存在时间和药物传输的影响

Electroporation creates aqueous pathways by short high-voltage pulses resulting in a transient perme- abilization of stratum corneum and an increase in the transdermal delivery rate.However the aqueous pathways will reseal after pulsing,which leads to the rapid drop of transdermal flux.In the present study,the surfactants were added to the donor solution to hinder the shrinkage and resealing of the electropore,and to prolong the lifetime of the aqueous pathways with the consideration that the surfactants could reduce the surface energy of the electropore. These effects of surfactants were demonstrated by the dynamic electrical resistance of the skin and the fluorescent imaging of the local transport regions.Piroxicam（PIX）was transported percutaneously in the presence of surfactants in vitro.Owing to the longer lifetime of aqueous pathways,together with the promotion of PIX availability at the barrier exterior and the improvement in the partition of PIX into the aqueous pathways,the presence of surfactants led to a remarkable increase in the transdermal delivery rate during electroporation and a significant growth of the accumulative transdermal amount of PIX.     

三菱化学与东海炭合并炭黑业务的协议撤消

库珀与联合工会达成出售库珀标准汽配协议     

计算可靠的密码协议形式化分析综述

密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应的安全属性.在这一工作的带动下,形式化方法的计算可靠性研究越来越受到关注,成为密码协议分析研究的一个重要内容.围绕这一热点问题,人们做了大量的工作.该文首先对两类分析方法做概要介绍;其次对形式化分析的计算可靠性研究成果进行分类和总结,并对各种方法的主要思想进行了介绍;最后对该领域未来的研究方向进行了展望.     

SDARP：基于软件定义网络的地址解析协议代理机制

针对以太网中,主机之间存在大量的地址解析协议（ARP）的广播流量,导致以太网规模受限问题的研究,提出基于软件定义网络的地址解析协议代理机制（SDARP）,利用软件定义网络范式,集中处理地址解析协议报文,应答地址解析请求,从而抑制广播流量。SDARP基于RYU控制器实现。基于Mininet仿真器的虚拟试验床实验证明：SDARP对主机透明,能够有效减少92.9%的ARP广播报文,消除广播风暴,并减少35.9%的ICMP传输时间。     

全球最大规模过氧化氢项目将落户上海化工区

12月6日，上海化工区发展有限公司与三菱瓦斯化学株式会社，在日本茨城县鹿岛郡签订战略合作协议。此举拉开了世界最大过氧化氢项目在上海建设的序幕。     

德国研制出模压橡胶制品快速硫化技术

横滨与奔驰签署供应原配轮胎协议