Ti—C—Al体系热爆合成过程

采用整体加热燃烧合成法（即热爆合成）制备了ＴｉＣ－Ａｌ复合体系，利用差热分析（ＤＴＡ）、Ｘ射线衍射分析（ＸＲＤ）和扫描电镜（ＳＥＭ）等手段研究了Ｔｉ－Ｃ－Ａｌ体系中升温速度及Ａｌ含量对ＴｉＣ反应合成过程的影响，分析了Ａｌ基体对ＴｉＣ粒子的形成机理．结果表明，在ＴｉＣ反应合成过程中，首先是Ｔｉ与Ａｌ反应形成Ｔｉ与Ａｌ的化合物，放出热量，随后促使Ｔｉ与Ｃ的放热反应发生，合成ＴｉＣ时放热产生的高温使Ｔｉ与Ａｌ的化合物分解，从而制得ＴｉＣ－Ａｌ复合体系；升温速度及Ａｌ含量只有超过一定值时，该体系才能在较低温度发生热爆反应；当Ａｌ的质量分数从１０％升至５０％时，ＴｉＣ的粒度从５．０μｍ阵至０．５μｍ．     

并联机床数控平台建造

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

带包类后桥壳的铸造技术

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

镁合金压铸浇注系统设计与压铸工艺参数优化

根据压铸镁合金铸件浇注系统的设计原则，设计了S11-1001211cb支架浇注系统，而后利用Flow-3D模拟软件进行充型模拟分析，根据模拟结果对其进行了优化设计。共进行了3种浇注系统的模拟分析，并最终确定了最优化浇注系统。此外，还利用模拟结果分析了充型速度对铸件成形性和品质的影响，从而优化了压铸工艺参数，在容易产生缺陷的部位加设溢流槽，可以尽量减少铸件缺陷，提高铸件的品质。     

席夫碱结构对Cu缓蚀作用的影响

用自组装技术使席夫碱在Cu表面自组装成膜,用扫描电子显微镜(SEM)、交流阻抗方法及量子化学法研究了席夫碱结构对Cu缓蚀作用的影响.结果表明:席夫碱类化合物在发挥其活性时应以接受电子为主,此类化合物的亚胺或甲亚胺特性基团(-RC=N-)和苯环上的-OH是该类化合物的主要活性区,席夫碱苯环的-H被给电子基团取代会提高对Cu的缓蚀效率,且取代基团越靠进-C=N-,形成的螯合物越稳定,缓蚀效率越高.     

基于地址-事件表示的高速二值连通域标记方法

为提高二值连通域标记的速度,将地址-事件表示AER（Address Event Representation）思想引入到二值图像处理,提出了一种基于事件对等价标号的二值连通域标记方法。该算法无需多次遍历图像中的背景点和冗余目标点,首先将待标记的连通域以AER“事件对”的方式编码保存,通过“事件对”的遍历生成临时标号和等价标记表;然后根据等价表修改临时标号;完成标号映射后最终实现连通域标记。整个算法只处理极低冗余的事件信息,避免了对全图像素的重复扫描与处理。实验结果表明,图像以AER“事件对”方式存储,数据量仅为全帧图像的10%~35%,有较高的压缩比;且该算法速度快,可达到了传统基于等价标号算法的1.5~8倍。     

A setup for panoramic stereo imaging

In this paper, based on the proposed basic implementation of circular projection, a multi-camera setup which can be used for panoramic stereo imaging is presented. Firstly, we get multiple stereo pairs instantly by fixing multiple cameras on the proposed setup, which is an approximate implementation of circular projection. We then prove that the influence on the resultant stereo pairs generated by this approximate setup is slight based on similar triangles and structural similarity (SSIM). With these stereo pairs, the automatic panoramic image stitching algorithm is applied to generate panoramas for both eyes. In addition, with reasonable distance between cameras and the scene, physical dimensions of this setup are given. Finally, experimental results demonstrate that our scheme can be used to generate cylindrical stereo panoramic image with proper scene depth, which can provide viewers with distinguishing stereoscopic experience. The device can be installed on the mobile equipment and captures panoramic stereo image in a moment without stopping. In the future, the proposed setup can be used in the field of network navigation, video monitor and virtual reality.     

面向军事行动的后勤保障系统架构与关键技术

为了解决传统系统忽略后勤保障与军事行动间交互作用的局限性,从后勤保障对军事行动的感知与响应视角,对面向军事行动的后勤保障系统进行研究.在分析系统需求的基础上,构建响应灵敏和柔韧健壮的系统架构,给出系统实现关键技术,动态捕捉后勤保障对军事行动的协同效应.该系统的研究可为后勤保障提供决策信息,对于提高后勤保障力度具有重要作用.     

基于事件逻辑的改进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协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。