西安电子科技大学学报

认知无线网具有业务感知功能的新型路由协议

徐扬;盛敏;张琰

2012, 39(5): 1-5+11. doi:10.3969/j.issn.1001-2400.2012.05.001

摘要 ( 985 )

PDF (590KB) ( 1057 )

参考文献 | 相关文章 | 多维度评价

针对无线网络中的路由协议以被动方式处理网络拥塞，可能导致更多的数据丢失、更长的时延和更大的网络开销问题，提出了可用于认知网络的具有业务感知能力的路由协议(Traffic-Aware Cognitive Routing，TACR)．TACR通过应用基于维纳过程的预测方法，利用局部探测信息使节点快速、准确地感知到网络中业务状态的变化，从而优化了网络路由，均衡了网络负载．同时，TACR引入分布式Q学习算法，根据网络状态自适应地调整路由生存期，提高了路由对业务分布的自适应性．在合理的开销下，对典型场景中TACR的性能进行分析，证明了TACR性能的优越．仿真结果表明：在重负荷时，与已有协议对比，TACR的平均端到端时延减小约40%，丢包率降低约10%，网络开销减小约27%．

多用户量子密钥分配方案及协议设计

刘晓慧;裴昌幸;聂敏

2012, 39(5): 6-11. doi:10.3969/j.issn.1001-2400.2012.05.002

摘要 ( 2377 )

PDF (556KB) ( 919 )

参考文献 | 相关文章 | 多维度评价

在纠缠态和纠缠交换的基础上，提出一种多用户量子密钥分发方案及协议．该方案只需n个量子信道就可实现n用户系统两两之间的密钥分发．量子交换中心通过纠缠交换建立量子信道，量子信道一旦建立，系统中任意两个用户即可进行量子密钥分发．还探讨了系统容量问题，结合话务量的概念，给出了量子Bell基测量单元数m与用户数n的关系式．量子交换中心完成纠缠交换后不再介入密钥分发，从而保证了通信的安全性．

利用改进Fisher分类器进行遥感图像变化检测

辛芳芳;焦李成;王凌霞;王桂婷

2012, 39(5): 12-17+29. doi:10.3969/j.issn.1001-2400.2012.05.003

摘要 ( 955 )

PDF (2810KB) ( 955 )

参考文献 | 相关文章 | 多维度评价

将多时相遥感图像变化检测问题看成一个分类问题，利用改进的动态Fisher分类器通过二维联合直方图检测变化区域．考虑图像邻域关系，提出基于局部均值的动态Fisher分类器，在引入图像空间关系的同时，根据当前检测结果动态调整训练参数，解决了由于初始训练数据选取不同而造成的不稳定性．该算法不需要假设分布模型，不受差异算子的影响，且将原有的像素级检测提升为上下文相关检测．实验结果表明，该算法提高了检测精度，检测结果稳定．

二阶总广义变分图像修复模型及其算法

许建楼;冯象初;郝岩

2012, 39(5): 18-23. doi:10.3969/j.issn.1001-2400.2012.05.004

摘要 ( 1337 )

PDF (3412KB) ( 1146 )

参考文献 | 相关文章 | 多维度评价

为更好地修复图像，提出了一种新的图像修复模型．通过分析新模型的性质，给出了一种有效的原始对偶修复算法．实验结果表明，相比于总变分图像修复模型，新模型在修复结果上有更高的峰值信噪比和更好的视觉效果．

基于无密钥泄露变色龙签名的数码防伪方案

刘东苏;苗美霞;马华;林锐斌;田海博

2012, 39(5): 24-29. doi:10.3969/j.issn.1001-2400.2012.05.005

摘要 ( 1118 )

PDF (515KB) ( 802 )

参考文献 | 相关文章 | 多维度评价

针对现有数码防伪方案中商品查询率低、产品真伪难以鉴别、假品责任难以追究等安全缺陷和问题，提出了一个新的数码防伪方案．该方案能有效提高系统查询率，提高数据完整性保护强度，抵抗枚举查询攻击，容易辨别产品真伪且能明确假品责任人群，因此更适合用于电子商务平台下数字化产品的安全防伪．

不同周期的P元m序列之间的互相关性质

孙玉花;李晖;闫统江

2012, 39(5): 30-34+41. doi:10.3969/j.issn.1001-2400.2012.05.006

摘要 ( 1231 )

PDF (383KB) ( 826 )

参考文献 | 相关文章 | 多维度评价

基于Ness和Helleseth等人对二元不同周期的m序列之间的互相关函数的研究，研究了不同周期的p元m序列之间的互相关性质，给出了周期为p<sup>2m</sup>-1和p<sup>m</sup>-1的m序列之间的互相关函数所满足的方程，同时证明了当p等于3时，互相关函数至少是3个值的．

参数逼近的自适应时频分析

王海;马琳丽;张敏

2012, 39(5): 35-41. doi:10.3969/j.issn.1001-2400.2012.05.007

摘要 ( 1004 )

PDF (918KB) ( 849 )

参考文献 | 相关文章 | 多维度评价

针对二次时频变换中的交叉项影响，研究了一种基于信号分解的WVD时频分析的方法，它结合自适应高斯提取法的思想和WVD的优良特性，将信号分解为若干个基于高斯包络的chirp信号分量，然后进行WVD时频变换和时频图的综合显示，消除了时频变换中交叉项的影响，也保持了信号自项的时频聚集度．将此时频分析方法应用于雷达信号时频分析，实验结果表明，该分解方法有效地消除了信号交叉项的影响，且保持了原信号的时频聚集度．

用混沌序列降低MIMO雷达波形自相关旁瓣和互相关

申东;张林让;刘昕;刘楠

2012, 39(5): 42-46+60. doi:10.3969/j.issn.1001-2400.2012.05.008

摘要 ( 1049 )

PDF (505KB) ( 856 )

参考文献 | 相关文章 | 多维度评价

基于混沌序列的良好相关性和随机性，提出了一种使用混沌序列降低多输入多输出雷达波形自相关旁瓣和互相关的方法．通过不同初值迭代得到混沌序列，然后经过相应的量化和四相编码得到混沌波形．由于不同混沌波形的自相关旁瓣不相关，同时，不同混沌波形的互相关也不相关，因此通过多脉冲压缩积累能够有效地降低自相关旁瓣和互相关在多输入多输出雷达中的影响．输出结果具有较低的旁瓣峰值，从而提高了检测性能．

枝切法与曲面拟合结合的InSAR相位展开算法

张妍;冯大政;曲小宁

2012, 39(5): 47-53. doi:10.3969/j.issn.1001-2400.2012.05.009

摘要 ( 1336 )

PDF (3989KB) ( 894 )

参考文献 | 相关文章 | 多维度评价

为了解决干涉合成孔径雷达(InSAR)相位被缠绕的问题，提出了一种基于枝切法与曲面拟合的合成相位展开算法．这种算法针对干涉相位图中不同质量的区域采用不同的展开策略，首先利用枝切法准确性高的特点展开高质量区域的相位，然后利用曲面拟合的方法对低质量区域的相位进行拟合，最后利用遗传算法对拟合函数进行修正来获得最终的展开相位．仿真实验和实测数据表明，该方法很好地克服了枝切法的“孤岛现象”和最小二乘法存在相位坡度欠估计的情况，且比其他方法的精度高．

脉冲相位编码信号大测绘带合成孔径雷达成像

侯育星;张磊;徐刚;唐禹;冯大政;邢孟道

2012, 39(5): 54-60. doi:10.3969/j.issn.1001-2400.2012.05.010

摘要 ( 1092 )

PDF (922KB) ( 818 )

参考文献 | 相关文章 | 多维度评价

在传统单天线体制的合成孔径雷达成像中，存在方位向高分辨率与大测绘带相互制约的关系，以前的方法总是寻求两者的折中．针对这一问题，提出了一种利用脉冲信号相位编码解距离模糊的新方法，在保证方位高分辨的同时实现大测绘带成像．该算法通过引入初始调制相位，利用回波方程建立线性方程组，实现了将产生距离模糊的不同子测绘带回波分离，取得了很好的成像效果．相对于多天线方法解模糊，具有系统复杂度低、容易实现等优点．

一种改进的粒子群优化快速聚类算法

王纵虎;刘志镜;陈东辉

2012, 39(5): 61-65+78. doi:10.3969/j.issn.1001-2400.2012.05.011

摘要 ( 1402 )

PDF (486KB) ( 939 )

参考文献 | 相关文章 | 多维度评价

提出了一种改进的基于粒子群优化的快速K均值算法，有效克服了K均值算法对初始聚类中心敏感和容易陷入局部最优从而影响聚类效果等缺点．与已有的粒子群优化聚类算法相比，该算法通过对样本各维属性进行规范化，预先计算样本的相异度矩阵，提出了一种简化的粒子的编码规则，基于相异度矩阵进行粒子群优化K均值聚类，在保证聚类效果的基础上，有效降低了计算的复杂度．在多个UCI数据集上的实验结果表明，该算法是有效的．

双基地MIMO雷达目标定位及互耦自校正算法

郭艺夺;张永顺;张林让;童宁宁

2012, 39(5): 66-71+90. doi:10.3969/j.issn.1001-2400.2012.05.012

摘要 ( 1023 )

PDF (527KB) ( 844 )

参考文献 | 相关文章 | 多维度评价

利用均匀线阵互耦矩阵的带状和对称Toeplitz特性，提出了一种基于旋转不变技术估计目标参数(ESPRIT)的双基地多输入多输出(MIMO)雷达目标定位及互耦自校正算法．该算法通过ESPRIT算法中子阵的选取，将目标二维方位角估计与互耦参数估计相“去耦”，角度估计过程不需任何互耦矩阵信息，且估计精度高、分辨力强;基于对目标二维方位角的估计，算法还可以精确地估计出互耦矩阵，从而实现双基地MIMO雷达的互耦自校正．该算法对目标二维方位角与互耦矩阵的估计不涉及任何角度搜索和迭代过程，具有较小的运算量．计算机仿真结果证明了该算法的正确性和可行性．

高超声速飞行器成像算法

刘高高;张林让;刘楠;刘昕;张波;陈广锋

2012, 39(5): 72-78. doi:10.3969/j.issn.1001-2400.2012.05.013

摘要 ( 865 )

PDF (1242KB) ( 745 )

参考文献 | 相关文章 | 多维度评价

高超声速飞行器是目前各国航空航天发展的重点．搭载其上的合成孔径雷达成像系统面临两方面的问题：一个是多普勒与快时间的耦合，另一个是斜视成像的校正问题．借鉴调频连续波合成孔径雷达的几何模型，提出了一种去耦合的扩展的频域变标成像算法，可在一定的斜视角下解耦合并且无失真高精度成像．

前视扫描SAR超分辨成像

徐刚;陈倩倩;侯育星;李亚超;邢孟道

2012, 39(5): 79-84+95. doi:10.3969/j.issn.1001-2400.2012.05.014

摘要 ( 1454 )

PDF (2952KB) ( 841 )

参考文献 | 相关文章 | 多维度评价

提出了一种前视SAR超分辨成像算法．方位维分辨通过安置线性阵列，采用“多发多收”的工作方式，通过波束形成技术得到较窄的发射波束以覆盖有限观测场景，利用目标的稀疏先验信息建立正则化问题，然后通过求解最优化问题实现超分辨成像．该算法在有限阵列长度的条件下可以获得更优的成像结果，有效降低了系统的成本和复杂度．仿真结果验证了该文分析的正确性和算法的有效性．

采用微波移相网络实现PSK调制的新技术

陈杰;黄友火;白小平;刘卫星

2012, 39(5): 85-90. doi:10.3969/j.issn.1001-2400.2012.05.015

摘要 ( 1080 )

PDF (552KB) ( 988 )

参考文献 | 相关文章 | 多维度评价

提出了一种采用数字微波移相系统实现相移键控(PSK)的技术，用现场可编程门阵列(FPGA)控制下的微波移相器对射频载波进行移相的方法实现PSK调制．新设计可以实现2，8，16，32，64进制的PSK调制．该技术应用于天线阵系统时能够采用同一个调相网络同时实现PSK调制和波束合成．采用新技术制作的无线发射系统的实测表明，该系统的移相误差小于1.2°，误码率低于10^-5，达到了常见的正交调制PSK实现技术的误码水平．新设计不需要常见的正交调制PSK实现技术必需的正交调制器和混频器，简化了系统，降低了成本．

结构型吸波材料在阵列天线RCS减缩中的应用

王夫蔚;龚书喜;张鹏飞;洪涛;于松涛;马骥

2012, 39(5): 91-95. doi:10.3969/j.issn.1001-2400.2012.05.016

摘要 ( 1049 )

PDF (1584KB) ( 915 )

参考文献 | 相关文章 | 多维度评价

天线雷达散射截面(RCS)减缩时需要保证天线的基本辐射性能，这使得其带内的RCS控制变得十分困难．为此，提出了利用结构型吸波材料实现阵列天线的带内RCS减缩．结构型吸波材料由矩形金属贴片和相邻贴片之间的加载电阻构成，阵列天线为1×4的微带贴片天线阵，并将吸波材料排列在阵列天线单元之间．仿真和实测结果表明，当阵列单元之间加入结构型吸波材料后，阵列天线的辐射性能基本保持不变，阵列天线的带内RCS能获得9dB以上的减缩．

类依赖增强线性判别分析算法

任获荣;李春晓;孙建维;秦红波;何培培;高敏

2012, 39(5): 96-101+167. doi:10.3969/j.issn.1001-2400.2012.05.017

摘要 ( 1249 )

PDF (2084KB) ( 838 )

参考文献 | 相关文章 | 多维度评价

在增强线性判别分析和类依赖线性判别分析的基础上，提出了类依赖增强线性判别分析算法，对多模态数据进行分类．算法利用增强线性判别分析的局部信息保持能力，在不破坏多模态局部结构的前提下，对数据进行降维; 然后采用最大散度差线性鉴别分析准则对每一类样本获取一个投影矩阵，从而获取不同类的样本分布的特征差异．在人脸数据库上进行实验验证，结果表明，该算法的分类效果好．

三维集成成像系统中物体三维信息的重建方法

杨钉钉;王晓蕊;杨琛;向健勇;张方芳

2012, 39(5): 102-106+153. doi:10.3969/j.issn.1001-2400.2012.05.018

摘要 ( 1058 )

PDF (2171KB) ( 1015 )

参考文献 | 相关文章 | 多维度评价

依据三维集成成像特性，以立体视觉理论为基础，提出了一种基于点对匹配的单元图像立体匹配算法，建立了单元图像像素到重建三维物体点的精确映射关系，实现了三维集成图像的重建．最后，提出一种符合人眼视觉观测效果的评价尺度，定量分析了不同设计参数对三维图像重建结果的影响．

利用膜粒子群优化的条件随机域特征选择

豆增发;高琳

2012, 39(5): 107-112. doi:10.3969/j.issn.1001-2400.2012.05.019

摘要 ( 922 )

PDF (493KB) ( 788 )

参考文献 | 相关文章 | 多维度评价

提出了一种新的基于膜粒子群优化的特征选择方法．该方法利用了膜系统的分层结构和消息传递机制，将粒子群优化算法作为区域子算法部署到各个区域中．不同于传统粒子群优化算法，该方法将粒子群优化的搜索速率分解为局部搜索速率和全局搜索速率．膜系统的所有外层区域采用局部搜索速率，搜索局部最优解；最内层区域采用全局搜索速率，搜索全局最优解．所有外部区域将最优解传递给相邻内部区域，内部区域将最差解传递给相邻外部区域，最内区域向相邻外部区域传递最差解．当各个区域之间的解传递在一段时间内停止时，或者算法迭代次数达到限定次数时，算法收敛，取最内层区域的最优解为最终解．以条件随机域模型的最大似然估计函数为目标函数，利用膜粒子群优化计算各个特征权重系数，最后剔除那些权重系数小于阈值的特征．实验结果表明，在进行生物文本的基因名称识别时，利用该方法对条件随机域的特征进行选择后，可以消除冗余特征的干扰，能获得更高的准确度．

变采样周期网络控制系统的模态依赖的H_∞预测控制

于水情;李俊民

2012, 39(5): 113-118+180. doi:10.3969/j.issn.1001-2400.2012.05.020

摘要 ( 786 )

PDF (455KB) ( 793 )

参考文献 | 相关文章 | 多维度评价

研究了一类具有随机时延和外部扰动的网络控制系统的H_∞预测状态反馈控制器的设计问题．利用变采样周期的方法，将连续的网络控制系统离散化，从而建模为部分转移概率未知的马尔可夫跳变线性系统．利用一步性能函数，给出了保证整个闭环系统随机渐进稳定且具有性能指标上界的充分条件，通过线性矩阵不等式的方法，给出了预测状态反馈控制器的设计方法．

时变复杂动态网络非脆弱同步算法

李俊民;曹梦涛;沈思

2012, 39(5): 119-125+185. doi:10.3969/j.issn.1001-2400.2012.05.021

摘要 ( 1077 )

PDF (554KB) ( 856 )

参考文献 | 相关文章 | 多维度评价

对一类时变复杂动态网络问题，通过引入反馈控制策略来实现非脆弱同步．考虑到网络同步轨迹、拓扑信息等时变不确定因素，假设网络的耦合配置矩阵有界，内部耦合矩阵在范数有界扰动，分别设计加性和乘性非脆弱反馈控制算法，利用Lyapunov方法分析其稳定性，得出实现时变复杂动态网络非脆弱同步的线性矩阵不等式条件，利用此条件求出反馈增益矩阵．

LTE中适用于MBSFN的自适应资源分配机制

张天魁;蒋傲雪;冯春燕

2012, 39(5): 126-131+191. doi:10.3969/j.issn.1001-2400.2012.05.022

摘要 ( 1107 )

PDF (631KB) ( 897 )

参考文献 | 相关文章 | 多维度评价

提出了一种适用于长期演进(LTE)系统多播广播单频网传输方式的自适应资源分配机制，考虑多播业务的资源需求和信道情况决定每个子帧上传输的业务类型．在每个资源分配周期内，通过估计系统内多播业务所需的子帧比例，选定相应的信干噪比门限;通过门限判决并考虑多播业务所需资源分配情况，自适应地实现多播业务和单播业务间的子帧分配．仿真结果表明，所提机制在保证多播业务速率的同时，可以提高单播业务吞吐量，优化了系统无线资源的利用率．

无需设置阈值的快速水平集分割算法

汪云飞;毕笃彦

2012, 39(5): 132-139+196. doi:10.3969/j.issn.1001-2400.2012.05.023

摘要 ( 784 )

PDF (6503KB) ( 823 )

参考文献 | 相关文章 | 多维度评价

针对快速水平集算法用于图像分割时存在着阈值设置的困难，提出了一种新的改进思路．将曲线演化的过程看成对曲线上的点不断进行模式分类的过程，对控制曲线演化的外部速度函数进行重新设计．新算法通过引入贝叶斯分类决策和最小距离分类决策交替工作，间接从图像数据中获取外部速度函数所需的驱动力，使驱动力不再产生于划分图像数据所采用的阈值，同时将两种分类决策的失效条件作为新算法迭代停止的条件．仿真实验结果表明，新的分割算法不仅拥有较强的鲁棒性，能够自适应地根据图像灰度信息自动演化，而且对噪声影响也具有较强的抑制性．同时保留了原算法执行效率快的优点，在分割速度方面明显优于其他几种经典的水平集算法．

无线传感网非测距三维节点定位算法

江禹生;冯砚毫;管芳;李萍

2012, 39(5): 140-147. doi:10.3969/j.issn.1001-2400.2012.05.024

摘要 ( 1111 )

PDF (954KB) ( 835 )

参考文献 | 相关文章 | 多维度评价

采用DV-hop算法中距离矢量跳数和平均跳距计算方法，依据几何学原理，引入位置估算偏差值，利用加权质心算法进行位置估算，设计了一种新的无线传感网非测距三维节点定位算法，给出了该算法设计的理论依据和实现步骤．仿真结果表明，作为非测距定位算法，在设定的三维空间中，随机放置40个锚结点，能对所有节点进行定位，并可以达到0.4以下的较高精度，而且通信开销相比于二维定位方法增幅不大．

PMC模型下超立方体的一种条件诊断算法

张丽果;杜慧敏;韩俊刚

2012, 39(5): 148-153. doi:10.3969/j.issn.1001-2400.2012.05.025

摘要 ( 834 )

PDF (560KB) ( 865 )

参考文献 | 相关文章 | 多维度评价

诊断是一种提升互连网络可靠性的常用手段．条件诊断是假设系统中任一节点的所有相邻节点不会同时发生故障，这种诊断大大提高了诊断的有效性．提出一种在PMC模型下超立方体的条件诊断算法，通过广度优先搜索遍历整个超立方体，在遍历过程中通过相邻节点之间的诊断结果将超立方体节点分成若干个集合，再通过集合之间的关系和集合中所含元素的数量识别出故障集合和无故障集合．对于n维超立方体，节点数为N，该算法的时间复杂度为O(N²)．

拟蒙特卡罗聚合重采样粒子滤波无源定位算法

刘学;焦淑红;蓝晓宇

2012, 39(5): 154-160. doi:10.3969/j.issn.1001-2400.2012.05.026

摘要 ( 848 )

PDF (576KB) ( 807 )

参考文献 | 相关文章 | 多维度评价

提出一种基于拟蒙特卡罗聚合重采样粒子滤波的机载无源定位算法．首先利用基于离散状态空间的粒子聚合技术对空间相近粒子进行加权聚合，在保证粒子空间分布合理性的同时有效抑制了粒子的退化;然后采用拟蒙特卡罗技术将重采样后的粒子向高似然区移动，优化了粒子在状态空间中的分布特性，提高了滤波精度．仿真结果表明: 新算法对比拟蒙特卡罗高斯粒子滤波算法，在保证滤波精度的同时，提高了运行效率．

混合神经网络匹配响应面的多学科设计方法

刘道华;王淑礼;薛瑞

2012, 39(5): 161-167. doi:10.3969/j.issn.1001-2400.2012.05.027

摘要 ( 802 )

PDF (617KB) ( 779 )

参考文献 | 相关文章 | 多维度评价

为提高多学科设计方法的求解性能，构建了混合神经网络匹配响应面的多学科优化设计方法．将BP网络以及ART网络的优点相结合，为充分利用学科级优化时获得的目标结果样本自适应地改变传统固有的响应面结构，从而提高了响应面的精度，减少了学科级优化迭代的次数，进而提高了整个多学科优化方法的求解效率．通过具体的优化实例验证了该方法，以获得优化解的精度、优化解的平均迭代次数以及整个迭代占用的时间作对比，结果表明混合神经网络匹配响应面的多学科设计方法既能提高优化解的精度，又能提高算法的求解效率．

目标跟踪系统在FPGA上的实时实现

刘速;孙伟峰;王洪君

2012, 39(5): 168-173. doi:10.3969/j.issn.1001-2400.2012.05.028

摘要 ( 1197 )

PDF (1224KB) ( 946 )

参考文献 | 相关文章 | 多维度评价

目标跟踪是计算机视觉领域中的重要技术，它的难点之一在于其对实时性处理速度的要求．提出并应用高效的基于并行搜索的硬件架构，使得实时的目标跟踪系统在可配置器件上得以实现．采用基于减背景的算法，设计的目标跟踪系统采用并行架构来实现高速处理，并提出一种复合目标区域搜索技术来进一步加速系统在复杂跟踪环境下的运行速度．选用Altera Stratix Ⅲ EP3SL340H1152C2 FPGA器件作为硬件平台，将该目标跟踪算法基于CPU平台的软件实现(2.2GHz的处理器)与基于FPGA平台实现的处理速度进行了比较，速度提升最高可达100倍以上．

实时嵌入式多媒体系统模糊阈值合并内存管理算法

姜艳;曾学文;孙鹏;朱小勇

2012, 39(5): 174-180. doi:10.3969/j.issn.1001-2400.2012.05.029

摘要 ( 1032 )

PDF (623KB) ( 911 )

参考文献 | 相关文章 | 多维度评价

为了提高实时嵌入式多媒体系统动态内存分配的效率，提出一种基于两级离散列表(Two-Level Segregate Fit，TLSF)的模糊阈值合并算法．根据内存区间的使用概率和空闲块数统计，运用模糊规则计算合并系数，并与由碎片率决定的动态阈值相比较，决定是否推迟合并．实验结果表明，该算法在内存大小随机分配时与TLSF算法的性能相当;在实际的视频点播系统应用中，分配和释放效率分别提高了12.6%和9.5%．

周期性信号之间的相位量子特征及其应用

张雪萍;周渭;李智奇;苗苗

2012, 39(5): 181-185. doi:10.3969/j.issn.1001-2400.2012.05.030

摘要 ( 1103 )

PDF (532KB) ( 869 )

参考文献 | 相关文章 | 多维度评价

针对周期性信号之间的普遍规律性，分析了等效鉴相频率和相位量子的概念．周期性信号除自身的变化规律外，周期性信号之间相互作用和联系的基础是相位量子，它揭示了周期性信号普遍联系的本质．实验证明相位量子是相互作用的周期性信号之间不可分割的基本个体，以相位量子为基础的测量、比对和控制能实现任意频率信号之间的直接相位比对．相位量子在主动型氢原子钟锁相环线路改造中简化了传输线路，减少了相位噪声引入，提高了性能．

弛豫锗硅减压化学气相淀积的CFD模型及仿真

戴显英;郑若川;郭静静;张鹤鸣;郝跃;邵晨峰;吉瑶;杨程

2012, 39(5): 186-191. doi:10.3969/j.issn.1001-2400.2012.05.031

摘要 ( 1227 )

PDF (1528KB) ( 857 )

参考文献 | 相关文章 | 多维度评价

基于SiGe材料化学气相淀积(CVD)生长原理，针对减压化学气相淀积 (RPCVD)系统，建立了弛豫锗硅RPCVD的计算流体动力学仿真模型及相应的流体模型，采用Fluent软件对流量、压强、基座转速等工艺参数对反应室中气体密度场和速度场的影响进行了模拟仿真及分析．模拟结果表明，流量为50L/min、压强为2666.44Pa、基座转速为35r/min时，基座上方流场的均匀性最佳．采用仿真优化的工艺条件进行了弛豫SiGe的RPCVD实验，其SiGe薄膜厚度分布实验结果与弛豫SiGe前驱体SiH₂Cl₂的Fluent浓度分布模拟结果一致，验证了该模型的正确性．

进位保留加法器的命题投影时序逻辑组合验证

张南;段振华

2012, 39(5): 192-196. doi:10.3969/j.issn.1001-2400.2012.05.032

摘要 ( 1019 )

PDF (429KB) ( 819 )

参考文献 | 相关文章 | 多维度评价

为保证硬件设计的正确性，提出了对硬件设计组合验证的新方法．该方法在命题投影时序逻辑的统一框架下，实现对硬件系统行为的建模，对所期望性质的形式化描述，并利用命题投影时序逻辑合理且完备的公理系统对系统性质进行验证，从而证明硬件系统满足期望的性质，保证设计的正确性．进位保留加法器的验证实例说明了该方法的可行性．

当期目录