对时间自动机中时钟约束的处理

在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理.     

基于均匀k均值和高维局部二值模式的人脸识别算法

针对传统局部二值模式(LBP)及其一些改进方法会将具有不同灰度特征的邻域赋予相同的特征值和特征维数倍增的问题,提出一种基于均匀k均值和高维局部二值模式的算法.该算法首先对原图进行切割得到子图;然后提取子图的高维局部二值模式特征,利用均匀k均值对高维特征进行降维处理;最后级联所有的子图特征进行分析.为了验证该算法的性能,在ORL人脸库和YALE人脸库以及FERET人脸库上进行对比实验,结果表明该算法在保证特征维数不递增的前提下,能够明显提高LBP算法的识别率.     

基于认证测试的一种安全协议一致性分析方法

认证测试^[1]技术是串空间（strand space）理论的进一步发展,不仅用于认证协议的安全性分析而且还用于指导认证协议的设计^[2]。但在分析安全协议为何不正确以及如何改进方面,与其他的形式化验证方法一样,也不能提供更深入有效的分析。本文提出了参数一致性矩阵的概念并运用参数一致性矩阵对协议的一致性进行分析,说明了协议失败的原因并给出改进的方向。分析过程的形式化有利于协议分析自动化工具的实现。     

消防应急照明及智能疏散系统的功能和应用

随着人们对自身消防安全意识的加强,消防应急照明及智能疏散指示逃生系统受到了更加广泛的关注。本文介绍了智能照明疏散系统与传统疏散照明系统的不同和优势。重点说明了智能照明疏散系统的功能与特点,以及智能照明疏散系统在建筑中的应用。     

羧酸钼体系1,2-聚丁二烯橡胶的结构与性能

羧酸钼体系是合成1,2-聚丁二烯橡胶的新催化体系。本工作以MoCl_3(C_2H_5COO)_2-CH_3COOAl(i-Bu)_2为催化剂,己烷为溶剂,烯丙基卤为调节剂,合成了不同分子量和分子量分布、不同微观结构的胶样,考察了生胶、混炼胶以及硫化胶的一些基本性能。其硫化胶的物理机械性能与天然胶、顺丁胶及丁苯胶相近,但抗湿滑性能突出,生热值特别低,有利于制造航空轮胎。     

利用交变磁场测量法的金属表面缺陷检测

当通有交变电流的激励线圈靠近被检测试件时,产生的交变磁场会在试件表面感应出电流.基于交变磁场测量法(ACFM)的原理,建立被测试件感应电流流向模型,并把电磁场场量分成三个分量进行分析,再用ANSYS基于有限元法的金属表面缺陷检测仿真.仿真结果表明,通过测量扰动磁场的分布,可检测金属表面缺陷.     

基于串空间模型的Andrew RPC协议的分析与验证

本文首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。     

基于QPSO算法的信道分配方法

由于传统的信道分配方法存在频率利用率低下和处理速度慢的缺点,为此,提出基于量子计算的PSO算法（QPSO）来快速实现信道最优化分配方法。这种优化方法利用了量子计算的并行计算能力强、全局收敛、运算速度极快等特点,主要包括初始化代表每个信道的粒子的速度和位置,根据信道分配的教学模型计算保证信道各种约束条件的适应度函数,根据量子粒子群的规律进行粒子位置更新,直至找到最佳信道分配方案等步骤。仿真结果表明其方法是行之有效的,优化效果优于基于遗传算法和PSO算法的信道分配方法。     

气相法测定氢化蓖麻油的溶媒残留

建立氢化蓖麻油（HS40）中有机溶剂残留量的检测方法,采用气相色谱法,色谱柱为INNOWAX毛细管柱,载气为氮气,采用氢火焰离子化检测器（FID）,外标法计算残留溶剂的含量。在实验的浓度范围内所测结果呈现良好的线性关系,1,4-二氧六环相关系数为0.999 3,回收率为95.4%,RSD值为2.1%,检测限为1.95μg/mL;乙酸相关系数为0.999 3,回收率为87.2%,RSD值为2.5%,检测限为50.0μg/mL;乙二醇相关系数为0.999 6,回收率为96.3%,RSD值为2.2%,检测限为6.1μg/mL;二甘醇相关系数为0.996 1,回收率为97.0%,RSD值为1.8%,检测限为6.1μg/mL。本法专属性强、重现性好、灵敏度高,可用于氢化蓖麻油中残留溶剂的测定。     

抑制空间行波管三阶交调失真的信号注入技术

为了抑制空间行波管非线性特性产生的交调失真,本文通过理论分析、计算机仿真和实验验证,分别研究了谐波、交调和混合信号注入技术对空间行波管三阶交调（IM3）分量的抑制情况。实验结果表明：IM3注入技术能够得到25.2 dB的IM3最大抑制量,明显大于谐波注入技术的12.7 dB,两者对IM3失真分量的抑制效果都很良好,且就窄带空间行波管而言IM3注入技术比谐波注入技术更具优势。通过进一步仿真实验,证明双IM3注入技术可以在两个IM3频率处分别产生46 dB和53 dB的最佳抑制量,且混合注入谐波和交调信号也能最大抑制36.9 dB。