海洋低频电场传感器敏感电极材料的选择

选择了9种不同的电极材料,根据海洋环境下低频、极低频电场的自身特点,通过直流电阻、交流阻抗、电极对极差漂移3个方面对电极性能进行了测试,研究了其用于海洋环境低频电场弱信号探测的可行性,筛选出了适合海洋环境低频电场测量的电极材料,并从理论上进行了解释.结果表明,固态Ag/AgCl电极的直流电阻和交流阻抗均较小,且其极差漂移可控制在μV级,具有优良的极化效应和较低的极差漂移,是海洋环境低频电场探测的敏感电极材料.     

面向 MPP Fortran 的程序自动并行化初探

ＭＰＰＦｏｒｔｒａｎ是由Ｃｒａｙ公司推出的一种较有代表性的数据并行语言,本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点,然后,以该语言为例,对面向ＭＰＰ系统程序自动并行化的主要内容进行了初步的探讨。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

运用分子场论对金属间化合物Nd_2Fe_(17)Hx(0≤x<5)的磁性分析

将二亚点阵分子场理论(MFT)用于渗氢化合物Nd_2Fe_(17)H_x系列,分析其磁性与温度的关系。通过与实验比较,确定分子场系数n_(RR)、n_(RF)和n_(FF),计算居里温度T_c得到了总磁矩M(T)、交换场H_(Nd)(T)和H_(Fe)(T)随温度变化的关系曲线。计算结果表明,对于渗氢化合物Nd_2Fe_(17)H_(X~y)随着氢含量的增加,引起分子场系数n_(FF)明显增大,同时H_(Nd)、H_(Fe)(T)增大,居里温度T_c相应升高。     

复合材料新的热层合理论及其有限元方法研究

本文基子三维各向异性热传导方程和复合材料的一般层合理论,推导出复合材料层合结构瞬态温度场分析的新的热层合理论,并依据此理论建立了简单、实用的有限元格式。数值算例表明：基于热层合理论的有限元方法有较好的精度,同时又比传统的分析方法更简便、有效。     

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

SPC交换程序的半自动生成技术

本文介绍我院正在研制的 SPC 交换领域用的半自动编程系统,该系统通过用规范和描述语言 SDL 书写的规范来产生 SPC 交换程序。文中讨论了半自动生成系统的基本结构,并给出一个具体的半自动生成实例。     

具有有限深度环缝的导电屏上单极天线的辐射特性

单极天线安装在理想导电平面屏上,屏上刻有有限深度的环形缝。将单极天线上电流及缝和自由空间交界处的等效磁流作为未知函数,建立了一对耦合积分方程。从方程得到电流和磁流的数值解。从这些电流和磁流计算了输入阻抗和辐射方向图。     

GF(q)上多元多项式与钟控序列

本文讨论了有限域GF(q)(q=p~α,p≥2为素数,α≥1为正整数)上多元多项式与钟控序列的周期和线性复杂度的关系。当前馈函数g(x_1,x_2,…,x_n)∈GF(q)[x_1,x_2,…x_n]为一次多项式时,我们给出了钟控序列到达最大周期与线性复杂度的充要条件。     

离散 Hartley 变换的 MIMD 并行算法

本文把长为N=N_1N_2(N_1为奇数)的离散Hartley变换(DHT)分解成N_1个长N_2的DHT及一些附加运算,附加运算也可以变成N_2个长N_1的DHT。由此得到计算它的一种MIMD并行算法,若用N_1台处理机并行计算,只需(?)个乘法步和(?)个加法步,这里M(N_2)和A(N_2)分别表示计算一个长N_2的DHT所需的乘法数及加法数。并行机的有效利用率接近于1。