Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

以聚酰胺-胺树形分子为模板剂Cu原子簇的制备与表征

以4代端胺基的聚酰胺-胺(PAMAM)树形分子为模板剂,羟胺为还原剂,在空气中得到了分散性好、尺寸分布均匀(粒径为4～5 nm左右)、结构和性能稳定的Cu原子簇.同时,探讨了溶液的pH值对粒子的半径及分散状况的影响.     

电大尺寸载体天线间宽带干扰耦合快速分析

为求解电大尺寸载体天线间的宽带干扰耦合度,建立了天线间干扰耦合分析模型,提出了自适应多层快速多极子算法作为求解该耦合分析模型的核心算法.该算法将阻抗积分表达式中的基函数和权函数分别用不同空间位置上的Dirac函数展开,使阻抗积分的计算得到大大简化,所有转移过程可由快速傅里叶变换计算完成,应用波形渐进估计技术计算载体表面及天线上的宽带电流值,最后结合微波二端口网络理论求得天线间的宽带耦合度.数值实验和实测结果证明,在精度相等的前提下,所提出的快速分析方法比传统快速分析方法的计算效率和存储效率均提高了30%左右.     

开圆形槽的半圆形平面单极超宽带天线的研究

文章在传统的平面单极天线结构的基础上,设计了一种采用微带线馈电,在半圆形贴片上开圆形孔的新型平面单极天线,研究了半圆形平面贴片以及接地面的结构对天线性能的影响.研究表明,这种天线能够工作在2—12GHz的频率范围内,并能获得超过140%的工作带宽.     

基于EFAB工艺的可植入RFID天线设计

可植入RFID目前已被广泛应用于动物识别和生物医学应用等领域,为了保证RFID在植入体内后避免引起动物或人体的不适,小尺寸和高灵敏度是可植入RFID设计的基本要求.首先说明可植入RFID天线设计的基本参数要求,然后介绍一种标准的MEMS工艺——EFAB工艺,并利用该工艺标准的设计规则进行可植入RFID天线的结构设计,最后通过仿真验证该线圈天线符合可植入RFID的工作要求.     

FDTD Analysis and Application of Sleeve Monopole Antenna

Based on the symmetry of the structure, a two-dimensional finite difference time domain （FDTD） method is used to analyze the sleeve monopole antenna on the infinite perfect conductor ground fed by a coaxial line. The fields in time domain are then turned into frequency domain through the discrete Fourier Transform to compute the surface current distribution and the input impedance of the sleeve monopole antenna. The gain or pattern of the monopole antenna is also computed, employing the combination of the image theory and the near-to-far transformation in frequency domain. All the computed results agree very well with the results of other methods and measured ones, verifying the application of the FDTD method to analyze the sleeve monopole antennas. The voltage standing wave ratio （VSWR） of the sleeve monopole antennas with different heights and radii of the sleeve are checked to study the influence of the sleeve, which indicates that the height and the radius of the sleeve are both important to the impedance bandwidth of the sleeve monopole antennas.     

用树形结构对数据库表控制的一种方法

给出了利用TreeView控件对具有树形结构的数据进行编辑、浏览、查询的人机交互方法。该方法利用一个二维数组(行用于区分不同级别、列用于区分不同节点)，可在不占用太大空间的情况下，区分大量节点的Key值。同时针对在TreeView控件的常用属性、事件与方法中并没有提供打印功能的问题，编制了一个TreeView的通用打印程序，可方便地打印一个已建立的树状结构。     

基于测试不变性方程的矩阵分解技术在相控阵天线分析与设计中的应用

将MDMEI引入平面相控阵天线的分析与设计算法之中,通过选择适当的测试函数(Metrons),成功地实现了矩阵方程中满系数矩阵的分解与高度稀疏化,其稀疏率不超过4.1%.方向图的数值计算结果表明,除H平面极远区个别副瓣以外,MDMEI结果具有良好的精度.该技术可以显著提高相控天线的优化设计效率.     

一种空间谱估计测向仿真系统的实现

分析了空间谱估计测向系统的组成及要求，确定了本设计的系统组成及该系统的工作流程，介绍了空间谱估计测向处理器的构成和软、硬件设计思路并给出了核心部分的电路。     

单极粗振子天线的超宽带性能分析

采用矩量法研究了单极粗振子天线的超宽带性能，分别计算了该天线的电流分布、输入阻抗、辐射方向图以及驻波比随频率的变化规律。通过分析表明该天线具有良好的超宽带性能。在频率f0=1．4GHz，设计了一个臂长为50mm、直径为5mm、底部接在无限大导体平面上、采用50Ω同轴线馈电的单极粗振子天线，实测结果与理论分析结果基本吻合，并在实用中验证了它的超宽带性能。