第五届军事电子学防御展览会通信保密机巡礼

一九八○年军第五届军事电子学防御展览会在西德的威士巴顿举行。展览会由十月七日起至十月九日止,共进行了三天。参加展览的公司一共有二百多家,保密机有十几家公司展出,是所有展出品种较多的一类。其中很多是数字式保密机,包括单路话、群路话、电传、数据等保密机。展出的模拟信道的保密机品种也不少。 1、短波电台保密机超短波电台的中频带宽有25千赫,或50千赫可以通过数率为9.6-16千比特/秒的数字调制信号,各公司的超短波电台保密机在体制上都包括以下三部分:     

并行FDTD和IBM BlueGene/L巨型计算机结合求解电大尺寸的电磁问题

高性能巨型计算机的快速发展正在改变着人们在计算电磁学方面的一些传统观念,特别是IBM BlueGene/L巨型计算机的出现使计算电磁学所解决的问题尺寸和时间发生了巨大的变化.IBM BlueGene/L巨型计算机可以包括多达65,536处理器和 32 TB 内存,更重要的是由于它所使用的特殊体系结构使它在4000个处理器时时域有限差分程序的并行效率仍然在百分之九十左右.测试显示,在单个CPU速度接近的情况下,一台奔腾4计算机上运行五十二天的工作量在一个包含有4000个处理器的BlueGene/L巨型计算机上仅需10min左右.虽然普通的PC机群与单个处理器相比也能快速地求解相对大的问题,但是无论是使用千兆 Ethernet、Foundry、Myrinet或者Infiniband,普通PC机群的效率都会在处理其数量超过几十个的时候快速下降.为了验证并行时有预先差分程序的正确性,我们使用并行时域有限差分程序在巨型计算机IBM BlueGene/L上模拟一个144单元的对偶极化Vivaldi阵列的抛物面天线馈源.     

微内核架构内存管理的形式化设计和验证方法研究

由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS（Verified Secure Operating System）内存管理模块为例,在Isabelle/HOL定理证明器环境中对建立的内存管理模型和系统行为的操作语义进行形式化描述,并对内存管理模块的设计和实现的正确性进行验证.结果表明,这一方法是可行的和高效的.     

修正的最大散度差鉴别分析及人脸识别

针对传统的Fisher线性鉴别分析在人脸这样的多类高维小样本模式的分类中存在的小样本问题和次优性问题,该文提出了一种基于修正的最大散度差鉴别准则的线性鉴别分析方法。该方法对最大散度差鉴别准则中散布矩阵的构造加以修正,采用新的修正的最大散度差鉴别准则函数。该方法从理论上为有效地解决传统的Fisher线性鉴别分析在人脸识别中存在的这两大难题提供了有效的途径。最后,在ORL,AR标准人脸库上的实验结果验证了该算法的有效性。     

位于任意形状导体上的天线输入阻抗分析

分析位于任意形状导体上天线的输入阻抗是一个复杂的电磁边值问题，这类问题一般很难得到解析解。在数值分析中，矩量法是一个非常有用的工具。线栅法曾被用来分析这类三维问题。但对于天线的近场特性，它存在一定的不足和困难。面元剖分可以克服线栅法的缺点。Ｒａｏ采用三角面元剖分方法，分析了位于导体上的天线特性。然而，在Ｒａｏ的数值模型中，他将结点区对边边界上的电流假设为零。为此，我们对Ｒａｏ的这一结点模型进行了修正，修正后的结果表明，理论与实验符合得较好     

位于任意形状导体上的天线输入阻抗分析

分析位于任意形状导体上天线的输入阻抗是一个复杂的电磁边值问题，这类问题一般很骓得到解析解。在数值分析中，矩量法是一个非常有用的工具。线栅法曾被用来分析这类三维问题。但对于天线的近场特性，它存在一定的不足和困难。面元剖分可以克服线栅法的缺点。Ｒａｏ采用三角面元剖分方法，分析了位于导体上的天线特性，然而，在Ｒａｏ的数值模型中，他将结点区对边边界上的电流假设为零。为此，我们对Ｒａｏ的这一结点模型进行了修