用于密码协议安全性证明的串空间模型

形式化分析是密码协议安全性证明的一个有效途径。串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法。文章介绍了串空间模型的研究背景,分析它的架构和特点,综述有关研究工作,并分析其进一步的研究趋势。     

改进型遗传神经网络在模式分类中的应用

为研究图像和语音的模式分类,提出一种采用可变长度串遗传算法(VGA)的进化神经网络.该算法可以全局搜索优化神经网络的结构,找到神经网络接近最优的连接权,再通过反向传播算法(BP),在该优化结构中找到最优连接权.对语音数据和SPOT图像数据的验证结果表明,在模式分类中,采用该算法的分类器(VGA-BP)的分类性能较贝叶斯(Bayes)分类器、最近邻规则(k-NN)分类器具有更高的分类精度.     

串补电容对电流暂态量的影响分析

超高压输电线路发生故障时 ,线路上的串补电容及其保护回路都将在故障时产生附加的暂态分量 ,本文分析了串补电容对高频暂态量电流的影响 ,得出了串补电容的存在并不影响高频暂态量电流信号传送到保护安装处的时间的结论     

带有界扰动的多输入非线性串级系统的控制

本文对一大类带有界扰动的多输入非线性串级系统,基于ｂａｃｋｓｔｅｐｐｉｎｇ递推设计方法,进行状态反馈控制设计。当状态反馈控制律作用于该系统时,系统的状态和控制是全局有界的,并且第１个子系统的状态能够收敛到原点的一个小邻域内。     

基于虚拟样机的胶印机虚拟试验及串墨初始相位优化

针对胶印机结构复杂的特点,提出基于虚拟试验获得胶印机整机性能数据的方法.以SolidWorks,COSMOS/Motion和ADAMS为虚拟样机建模平台,构建了某型胶印机印刷色组的虚拟样机模型.在ADAMS中对胶印机虚拟样机进行虚拟试验,获得了胶印机整机的静力学、运动学和动力学仿真数据.通过对虚拟试验数据的分析,明确了...     

网络间的串扰分析和仿真

针对实际PCB中网络间的串扰特点,建构三线耦合均匀传输线模型,借助信号完整性分析工具Hyperlynx进行PCB布线前LineSim的串扰仿真,仿真结果表明：增大线间距、减小介质厚度、加防护布线、一定范围内减小耦合长度和给攻击线、受害线端接合适的电阻都能减小串扰,降低串扰引起的噪音,改善信号完整性问题,合理的使用多种方法可有效解决串扰噪音。     

火电厂过热汽温串级PID的快速稳定优化

针对火电机组大迟延的特点,提出了一种基于鲁棒约束的串级PID(比例-积分-微分)控制器稳定域优化方法.该方法首先根据时延系统的模型得到串级PID控制器参数的稳定域,然后利用鲁棒灵敏度函数的最大值获得最优的控制器参数.通过对火电机组过热汽温串级控制系统的仿真研究,表明该方法可以快速地确定串级控制器的最优参数,为火电机组热力系统的PID控制器参数优化提供了一种简单有效的方法.     

线性调频连续波雷达速度模糊消除新方法

为解决线性调频连续波雷达动目标的速度模糊问题,提出了多普勒频率串(DFS)算法.该算法可直接从模糊速度估计中恢复目标的真实速度,并结合基于目标均方误差的配对算法,实现了多个运动目标.仿真结果表明,DFS算法较中国余数理论对速度估计的性能有了明显的提高,表明了DFS算法的有效性.     

串钱柳挥发油化学成分及其抗细菌活性

【目的】阐明串钱柳叶片和果实挥发油的化学组成及其抗细菌活性,以期为串钱柳的综合开发和利用奠定基础。【方法】采用水蒸气蒸馏法分别提取串钱柳叶片和果实中的挥发油,通过气相色谱-质谱联用(GC-MS)对提取得到的挥发油进行化学成分分析,并通过滤纸片扩散法测定了挥发油对7种供试细菌的抑制活性。【结果】串钱柳叶片和果实中挥发油的得率分别为0.87% 和0.16%,从串钱柳叶片和果实中分别鉴定出14和17个成分,分别占二者挥发油总量的93.34%和90.29%。叶片挥发油中的主要成分为桉叶油醇(52.89%)、(1R)-(+)-α-蒎烯(17.28%)和α-松油醇(10.70%); 而果实挥发油的主要成分为桉叶油醇(38.53%)、(1R)-(+)-α-蒎烯(29.90%)和2-莰烯(8.02%); 串钱柳叶片和果实挥发油对7种供试细菌均表现出一定的抑制作用,其中果实挥发油对根癌农杆菌的抑制活性最强,抑菌圈直径为(25.2±2.8)mm,而叶片挥发油对桉树青枯病菌的抑制活性最强,抑菌圈直径为(22.3±1.5)mm。【结论】串钱柳叶片中挥发油的含量高于其果实,叶片和果实挥发油的主要成分均为桉叶油醇和(1R)-(+)-α-蒎烯,果实挥发油的抑菌活性要强于叶片挥发油。     

超高压混合串补线路瞬态恢复电压暂态特性

混合串联补偿对输电线路暂态特性的影响亟待研究。为研究串联补偿混合复用对TRV暂态特性的影响，本文以500kV超高压示范工程线路为研究背景，利用PSCAD/EMTDC建立可控串补与固定串补的电磁暂态仿真平台，分析系统发生单相接地故障时瞬态恢复电压变化规律，得到恢复电压上升率与短路电流变化曲线；采用对比分析方法，针对可控串补与固定串补不同配置方式，研究不同串补度对TRV特性的影响，并得出最佳串补配比。仿真表明：相比FSC双平台分段布置，系统采用TCSC与FSC混合复用时，TRV超标工况大幅增加；合理配置TCSC+FSC线路串补度，能够有效降低TRV与断路器短路电流，且能够满足断路器正常开断的国家标准。