无重叠生成文法的一义可解析性及图林等价性

为了实现有效的文法解析,定义了一种生成规则受限的短语结构文法,称为无重叠生成文法.证明了该类文法的任何语言句子都可以被无回朔无失败地解析.尽管该类文法的生成规则受到很大的限制,但这种文法的生成能力仍然和图灵机等同.     

结合二叉判决图和布尔可满足性的等价性验证算法

本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术.算法是在与/非图AIG中进行推理,并交替使用BDD扩展和基于电路SAT解算器简化电路.如尚未解决,将用基于合取范式SAT解算器进行推理.与已有算法相比主要有如下改进:在AIG中结合多种引擎进行简化,不存在误判可能;充分利用了基于电路解算器和基于合取范式解算器各自优点,减小了SAT推理的搜索空间.实验结果表明了本算法的有效性.     

固定单站对三维运动辐射源无源定位算法及可观测性分析

实现固定单站对运动辐射源无源定位,传统的方法是测量TOA和DOA。本文将方位角变化率测量信息也引入该定位问题,提出了基于MGEKF(修正增益扩展卡尔曼滤波),对三维运动辐射源的无源定位跟踪算法。通过推导伪线性测量方程,本文进行了测量TOA和DOA对三维运动目标无源定位的可观测性分析。最后给出了计算机仿真结果。     

无源双基地雷达目标运动分析的可观测性

本文研究利用外辐射源的单站无源定位和跟踪技术的可观测性问题。引入相容目标轨迹的概念,分析了三维N阶运动目标在不同观测信息条件下的相容轨迹的几何分布,并证明多普勒和到达时差观测是等价观测量。     

DOA和TOA的单站无源定位可观测性分析

在现有单站无源定位技术的基础上,介绍了新的基于机动辐射源目标的DOA和TOA测量信息的单站无源定位的可观测性分析.此分析直接应用非线性系统的可观测性分析原理,得到了基于DOA和TOA测量信息的单站无源定位的可观测性条件,并对其进行了计算机仿真.与文献[1-2]相比,此可观测性分析更直观更简明.     

舰载雷达装备通用测试诊断技术研究

舰载雷达装备功能、性能完好性,以及故障的快速诊断隔离与恢复能力已然成为装备战斗力形成的基础。针对多型号、种类舰载雷达的通用测试诊断技术已成为当今研究热点。本文综述了舰载雷达装备通用测试诊断技术研究的必要性、方法、措施及实现,提出了适合现役、改型、新研等不同状态的雷达装备的测试与故障诊断方法,可实现舰载雷达装备的通用化测试与故障诊断。     

红外辐射光谱在玻璃和熔体结构研究中的应用

介绍了FT-IR辐射光谱的理论基础和利用5-DX FT-IR光谱仪进行辐射光谱测量的方法.讨论了样品的自吸收效应,加热温度、选择性反射带和粒度以及衬底等物理条件对红外辐射光谱的影响.最后介绍了FT-IR辐射光谱在玻璃和熔体结构研究中的应用.     

UWB天线的宽带化技术及其发展

在现代通信技术中,为了实现通信保密、排除干扰、提高通信效率等,超宽带系统得到了大力发展,然而,在一定程度上却受制于系统中超宽带天线的阻抗带宽。详细介绍了展宽天线阻抗带宽的4种方法,包括渐变阻抗方法、分形几何方法、微带天线开槽方法和非频变结构方法,其中分形几何方法由于其几何结构的自相似性使得其贴片电流分布具有自相似性,从而导致天线的多频点谐振,有效拓展了天线带宽。上述4种天线尽管作用原理互不相同,但在超宽带天线的工程应用中,研究者可将这些方法单独或同时应用于天线结构设计,使得天线既能保持良好的方向性和增益等性能,又能获得较大带宽。     

关于智能变电站及其技术特点分析

在我国经济水平飞速提升的背景下,对于用电量的需求也在日益增加。变电站是构建电网的核心,是电力从电站到用户的中转站。智能变电站具有良好的兼容性和扩展能力,能够快速有效地调整电力输送、监控各项设备运行以及排除潜在安全隐患。本文就智能变电站的基本架构出发,简要分析了智能变电站的技术特点,以及部分需要注意的事项。     

Synthesis of Uniquely Structured SnO2 Hollow Nanoplates and Their Electrochemical Properties for Li‐Ion Storage

A new mechanism for the transformation of nanostructured metal selenides into uniquely structured metal oxides via the Kirkendall effect, which results from the different diffusion rates of metal and Se ions and O₂ gas, is proposed. SnSe nanoplates are selected as the first target material and transformed into SnO₂ hollow nanoplates by the Kirkendall effect. SnSe‐C composite powder, in which SnSe nanoplates are attached or stuck to amorphous carbon microspheres, transforms into several tens of SnO₂ hollow nanoplates by a thermal oxidation process under an air atmosphere. Core–shell‐structured SnSe‐SnSe₂@SnO₂, SnSe₂@SnO₂, Se‐SnSe₂@SnO₂, and Se@SnO₂ and yolk–shell‐structured Se@void@SnO₂ intermediates are formed step‐by‐step during the oxidation of the SnSe nanoplates. The uniquely structured SnO₂ hollow nanoplates have superior cycling and rate performance for Li‐ion storage. Additionally, their discharge capacities at the 2nd and 600th cycles are 598 and 500 mA h g^‐1, respectively, and the corresponding capacity retention measured from the 2nd cycle is as high as 84%.     

硫化物纳米管及其研究进展

综述了硫化物纳米管的发现、结构和独特的性质,对硫化物纳米管的制备方法进行了详细地说明,包括化学汽相沉积法、模板法、电子辐射法、等离子体法、催化法等,介绍了硫化物纳米管作为原子力显微镜的扫描探针针尖和在物理、化学、材料、储能等方面的应用以及对MS2纳米管的组成、结构、形貌进行分析检测的方法——HRTEM,TEM,SEM,ED,XRD,EDS,AFM,光学吸收光谱,喇曼光谱。     

针对AES加密算法的研究及其FPGA实现

旨在对AES加密算法进行研究,并采用Nios Ⅱ CPU的SOPC集成实现方式,基于FPGA设计出了具有加解密功能的、密钥可配置的、资源利用和吞吐量都十分理想的SOPC加密系统.系统轮变换通过状态机进行控制,采用加密内部和解密外部的密钥扩展方式,大大提高了系统的实现速度.     

数字CATV机顶盒菜单功能及应用

浙江省海盐县广播电视台在发展全县数字电视两年多的过程中,为方便用户操作及技术人员的日常维护,联合数字CATV机顶盒生产厂家改进了机顶盒的菜单结构,增设人性化设计,进一步完善了菜单功能,以更好地服务广大用户。     

新型微带反射阵单元的设计及其应用

提出了一种单层的具有多谐振结构的微带反射阵单元,利用高频电磁仿真软件Ansoft HFSS对其反射相位特性进行仿真分析,获得了约430°的反射相位动态范围,并且反射相位曲线的线性度较好.根据此单元设计了一个工作在Ku波段的微带反射阵,用指数渐变槽线(Vivaldi)天线作为该反射阵的馈源.仿真结果表明:在中心频率处增益可达27.1 dB,半功率波瓣宽度均为4.96°,在12～15.5 GHz的频带内增益波动约2 dB,具有较宽的频带.将此Vivaldi天线和反射阵天线进行加工测试,得到的测试结果与仿真结果吻合较好.