摘要：通常,在无损检测过程中Lamb波电磁超声换能器(EMAT, electromagnetic acoustic transducer)具有较低的能量转换效率,尤其是Lamb波的频散特性和多模态特性对检测信号的准确性有着非常重要的影响。为了改善Lamb波EMAT的这些缺点,本文设计了一种新型环形Halbach阵列永磁体Lamb波EMAT,该换能器削弱了Lamb波的反对称模态并提高了对称模态的信号强度。首先,建立了新型环形Halbach阵列永磁体Lamb波EMAT和传统Lamb波EMAT的二维有限元模型。然后,从偏置磁场、洛伦兹力场和位移场方面进行了详细的仿真分析。最后,对新型环形Halbach阵列永磁体Lamb波EMAT进行优化设计。结果表明:优化后的Halbach阵列EMAT在削弱反对称模态的同时,将对称模态的信号强度提高了75.3%。

摘要：传统材料研发模式主要基于实验“试错法”,其研发周期长、效率低,人工智能驱动的科研范式(Alfor Science)给新材料数字化研发带来了新的机遇和挑战。就新材料研发而言,借助于不断强大且成本不断降低的高性能计算算力、数据传输能力、数据存储能力等,通过大数据、云计算、人工智能以及日益增多的围绕材料设计和性能预测的各种智能算法和模型,开展计算、数据、AI和实验紧密结合的“四位一体”的“理论设计在前,实验验证在后”的材料数字化研究方法、业态和模式,可变革仅基于实验“试错法”的传统单一研发手段,进而有效降低成本。

摘要：通过深入分析汉字的有关结构知识,提出了一种全新的汉字的数学表达方法,该方法将汉字表示成由505个部件作为操作数、部件间的6种位置关系作为运算符号的数学表达式.这种表达方法接近自然,结构简单,而且可像普通的数学表达式一样按一定的运算规则处理,它可广泛应用于排版印刷、广告、包装设计、网络传输及中文移动通信等领域.已成功地应用在汉字字形自动生成、互联网上跨平台传播汉字信息、挖掘有关汉字结构知识等方面.

摘要：首先通过讨论时态XML查询数据模型TXQDM,提出了基于结点有效时间的前缀编码方案．以此为基础,引入TXQDM结点间的基于时态连通的等价关系和基于时态包含的拟序关系,建立了时态XML索引数据模型TXIDM,该模型的基本特征足具有二重嵌套的索引框架,适合于TXQDM这种不规则的具有较大随意性的树形结构情形．其次,在TXIDM框架内,讨论了相应时态查询算法,其中包括基于时态的路径查询和值查询,同时,还讨论了时态索引更新算法,其中包括插入和修改算法．最后,对于文中提出的模型TXIDM和时态索引操作算法进行了性能分析且设计了相应模拟实验．实验结果表明,基于TXIDM的时态查询与更新算法是可行的和有效的．

摘要：在 0 .6μm CMOS工艺条件下设计了一种适合 DECT(Digital Enhanced Cordless Telephone)标准的 1 .4MS/s Nyquist转换速率、1 4位分辨率模数转换器的ΣΔ调制器。该调制器采用了多位量化的级联型 (2 -1 -1 4b)结构 ,通过 Cadence Spectre S仿真验证 ,在采样时钟为 2 5 MHz和过采样率为 1 6的条件下 ,该调制器可以达到 86.7d B的动态范围 ,在 3 .3 V电源电压下其总功耗为 76m W。

摘要：本文全面地分析了演绎数据库的实现机制,提出了一种基于关系代数及重写操作的演绎数据库模型,设计并实现了基于该模型的一种新的演绎机制—逻辑与数据库操作相结合的机制。

摘要：对诸如航天器、发电厂、汽车、土木结构等实体工程系统进行优化设计就是在满足工程性能指标,设计可用资源等条件限制下按一定评价标准寻求最优设计方案的过程。值得指出的是:目前的工程优化设计理论几乎都是针对具体单元、孤立结构的;系统工程的优化理论又几乎全是针对已建成系统的运行,控制和管理的。对于如何利用计算机等现代数值分析计算手段自动高效地设计一个工程系统,使其得到总体上的全局性的协调一致的优化,据我们所知,成熟的理论为数甚少,尚处于探索阶段。

摘要：针对移动自组织网络(Mobile Ad hoc Networks,MANET)的特点和IEEE802．11的链路层重传机制和分包策略的不足,研究基于广义误码率(Generalized Bit Error Ratio,GBER)和参考无线包重传概率(Packet Retrans- mission Ratio,PRR)的时延约束方程理论和传输层包长调整方法,并设计基于时延约束的MANET流媒体传输可变包长TCP友好速率控制机制(Variable Packet size TCP-Friendly Rate Control,VPTFRC)．与其他方案不同,该机制进一步考虑了无线包重传概率对于包长调整和TCP友好速率控制机制的影响,给出了这一机制的理论模型与相关计算的详细说明,仿真试验的结果验证了该方法在有效吞吐量、传输延时及抖动和TCP友好性方面优于TFRC协议．

摘要：本文介绍近年来货币政策规则研究的进展状况,主要从模型框架、货币政策规则的选择和设计、货币政策规则的一致性、最优性、前瞻性、稳健性及操作性等方面对货币政策规则的理论研究、实证检验及实际应用进行综述。

摘要：设计一套基于静电收集法的双道瞬时土壤测氡仪。采用单片机作为数据处理与控制单元,能在测量现场得出氡浓度测量结果。压强测量系统用于氡浓度校正;双道甄别器用于扣除RaA外的其他氡子体造成的干扰;LCD显示器提供友好人机界面;基于MCU的独立编码键盘方便用户对仪器进行操控与各种功能设置。该仪器具有体积小、成本低、探测灵敏度高等特点。