关于逻辑函数化简的行为诊断的研究

本文以逻辑函数化简的行为诊断为研究背景，提出了一种适合于解题ＩＣＡＩ系统中学生行为的、符合人类思维特征的认识诊断系统模型，详细论述了逻辑函数化简过程中，学生行为认识诊断的具体实现，在准确捕捉学生行为中的错误及错误原因等重要问题上取得了意义的研究成果。     

军事目标激光散射特性研究进展

军事目标的激光散射特性是影响装备作战效能的重要因素,对于研究激光装备的作用距离、装备的激光隐身性能具有重要的意义。本文介绍了目标激光散射特性的基本概念,从理论模型和经验公式两方面介绍了激光散射特性的理论建模研究成果,分析了各种模型和经验公式的适用范围。从目标表面材料BRDF测量、缩比模型LRCS测量、真实目标LRCS测量三个方面,分析了国内外典型测量方法、相关应用以及下一步发展方向,为后续目标散射特性的研究提供借鉴。     

核Fisher判别方法在低分辨雷达目标识别中的应用

将机器学习领域新的研究成果应用到雷达目标识别中，并开发有效、实用的分类器具有重要实际意义。核Fisher判别方法是基于Fisher线性判别方法而提出的一种非线性分类方法，在这种方法中使用了基于核的算法中的“核技巧”。本文研究了核Fisher判别分类方法在低分辨雷达目标识别中的应用，并用从某低分辨雷达录取的实际飞机目标回波数据时该算法进行了测试，实验证明了核Fisher方法在低分辨雷达目标识别中的有效性。     

基于小波包的雷达波形设计与性能分析

研究了如何利用小波包的相关理论来设计雷达波形,从小波和小波包的基本理论入手,通过分析已有的小波包的特性,提出了级联小波包来构造雷达波形的设计方法。使用自相关函数、模糊函数和时频分布等分析工具,对设计的雷达波形进行了性能分析。理论分析和计算机仿真结果均表明,基于小波包设计的雷达波形与传统的线性调频信号(LFM)相比具有更低的压缩旁瓣和更复杂的脉内特征。文中的研究成果能够为雷达的波形设计提供一种可行的方法和思路。     

基于小波变换的电力系统谐波检测的研究

小波变换在电力系统谐波中的应用,与谐波本身的特性是直接相关的,要得到实时性和精确性都较高的检测效果就需要对电力系统的谐波特点,小波在这方面的应用原理有深刻的理解。文中对此在作了深入分析的基础上,还重点研究了采用小波变换研究谐波检测的主要因素,用仿真验证其影响效果。最后针对目前的研究成果论述小波在谐波检测应用中的发展,为小波变换在分析有效、精确、可靠的电力谐波检测方法提供研究思路。     

小波在信号间断点检测中的应用分析

信号间断点问题在工程实际中大量遇到,它往往携带着被研究对象的重要信息,如图像的特征信息就包含在它的边缘和轮廓里,检测出信号间断点对对象本身的研究有重要意义。由于小波理论近年的迅猛发展,使其成为检测信号间断点的有力工具。文章就利用小波理论,对信号间断点的检测方法展开讨论。首先基于Haar小波,对其理论做简单介绍,讨论利用Haar小波对信号的分解过程。把信号分解到下一级尺度空间和小波空间,并根据分解后的信号小波系数检测信号的间断点。最后讨论了分解级数对检测精度的影响。     

空间目标光学散射特性研究进展

空间目标光学散射特性建模与分析是空间光学监视系统论证设计、性能评价的前提和基础。以空间目标的可见光与激光散射特性为主要研究对象,分析了空间目标光学散射特性的基本研究内容和方法,介绍了国内外应用于卫星表面材料的比较典型的BRDF 模型,从卫星表面材料BRDF 测量与建模、目标可见光散射特性测量与仿真计算和空间目标LRCS 测量与仿真计算三个方面,介绍了国内外典型研究单位的研究成果以及下一步的研究发展方向。可为空间目标光学特性研究思路与方法提供借鉴。     

磷化铟基异质结双极晶体管研究的新进展

从纵向结构设计的角度，评述了磷化铟基ＨＢＴ研究的新进展，介绍了几个重要的研究成果。     

关于Bent函数的构造与分类

本文提出了一种构造Bent函数的新方法,依此可定出大量在实用中很重要的Bent函数;本文还对2次Bent函数进行仿射分类,证明了2次Bent函数仅有2类,并定出了其每一类中的代表函数;最后,本文研究了Bent函数的一阶广义相关免疫性。     

对象-关系数据模型的依赖性研究

数据依赖的研究是数据库理论研究的前提,给出了对象-关系数据库中数据依赖的通式,定义两种重要的数据依赖,即对象函数依赖和嵌套函数依赖,并给出嵌套函数依赖的推理规则且予以证明。     

Some results on the algebraic immunity of Boolean functions

From the motivation of algebraic attacks on stream and block ciphers,the concept of algebraic immunity(AI) of a Boolean function was introduced and studied extensively.High algebraic immunity is a necessary condition for resisting algebraic attacks.In this paper,we give some lower bounds on the algebraic immunity of Boolean functions.The results are applied to give lower bounds on the AI of symmetric Boolean functions and rotation symmetric Boolean functions.Some balanced rotation symmetric Boolean functions with their AI near the maximum possible value「n/2」are constructed.     

5元1-弹性函数的代数免疫阶

首先给出了最优代数免疫布尔函数弹性阶的一个上界,并且证明了一类5元1阶弹性函数不是最优代数免疫函数,得到了最优代数免疫函数具有一阶弹性时可能的结构形式;在此基础上,给出了布尔函数代数免疫阶和弹性阶随着变元个数变化的一些结果,最后给出了一个5元1阶弹性的最优代数免疫布尔函数。     

相关免疫H布尔函数的代数免疫和代数次数

将导数和自定义的e-导数结合在一起作为新的研究工具,而这两者(导数和e-导数)结合在一起能直接明确反映布尔函数的重量,深入到布尔函数取值的内部结构中去,讨论相关免疫H布尔函数的代数免疫阶、代数次数等问题,即严格雪崩性质、相关免疫性、代数免疫性及最高代数次数的相容性问题,得出Hamming重量为2n-1+2n-2这类H布尔函数的最低代数次数和最高代数次数、最优代数免疫等结果。同时,也给出了一些求布尔函数代数次数和最优代数免疫的方法。     

布尔函数设计中的爬山算法及其改进

针对布尔函数设计中的爬山算法,分析了算法中集合W_(2,3)~ 与W_(2,3)~-的性质,优化了该算法的部分计算。通过分析布尔函数自身的局部性质,提出了改进的爬山算法。实验数据表明:新的算法可以找到非线性度更高的布尔函数。     

相关免疫布尔函数的计数

本文给出一种关于相关免疫布尔函数的计数方法，并由此给出了一些小重量的相关免疫布尔函数的确切计数公式。本文还根据Rao不等式分析了高阶相关免疫函数计数的性质，并得到了对于高阶相关免疫函数存在的一个关于重量的必要条件，证明了文献【1】中提出的一个猜想是正确的。     

一类密码函数的构造与分析

利用t+1个n元布尔函数(称为基函数)级联构造了一类n+t元布尔函数G(x,y),并给出了G(x,y)的Walsh循环谱和自相关系数。通过Krawtchouk多项式与Krawtchouk矩阵对G(x,y)和基函数的关系进行了研究。分析了G(x,y)的密码学性质:相关免疫性、扩散性和代数免疫性。特别地,当t=2时,分析了G(x,y)与基函数的具体关系。另外,一般化该构造方法构造了一类多输出布尔函数,给出了该类多输出布尔函数的广义Walsh循环谱,进而分析了该类多输出布尔函数的相关免疫性和代数免疫性。     

Theorems for Fault Collapsing in Combinational Circuits

This paper gives a mathematical approach to fault collapsing based on the stuck-at fault model for combinational circuits. The mathematical structure we work within is a Boolean ring of Boolean functions of several variables. The goal of fault collapsing for a given circuit is to reduce the number of stuck-at faults to be considered in test generation and fault diagnosis. For this purpose we need rules that let us eliminate faults from the considered fault set. In this paper some earlier known rules are proved in the new context, and several new rules are presented and proved. The most important of the new theorems deal with the relationship between stuck-at faults on a fanout stem and the branches. The concept of monotony of Boolean functions appears to be important in most of these new rules. Editor: M. Hsiao Audhild Vaaje received the M.S. degree and the Ph.D. degree in mathematics from University of Oslo in 1971 and 1992, respectively. She is an associate professor of mathematics at Agder University College in Norway, where she has been employed since 1972. She has research interests in mathematics applied to fault detection in digital circuits.     

一次扩散布尔函数的一些密码学性质

通过将导数和自定义的e-导数结合,作为新的研究工具引入到布尔函数密码学性质研究中来。利用导数和e-导数可将布尔函数内部取值不同特点进行区分的特性,系统地证明了不同重量一次扩散布尔函数相关免疫最高阶数问题,得出了一些用传统研究工具,如频谱理论等,不易导出的布尔函数密码学性质。这一结果对提高密码系统抵抗相关攻击的能力,提供了理论依据。     

布尔函数的线性结构的特征

本文首先利用布尔函数的特征集合对布尔函数的线性结构进行了刻划,给出了寻找布尔函数的线性结构的一种方法。其次引入了布尔函数的r型线性结构的概念,并对其进行了研究,同时还指出了布尔函数的r型线性结构的密码学意义。     

对称布尔函数的扩展代数免疫度

构造具有最优代数免疫度的布尔函数在流密码中有重要作用,基于布尔函数的单变量多项式表示,构造了一类达到最大扩展代数免疫度的布尔函数。以前的一些函数是这类函数的特例。利用对称布尔函数的基本性质,分析了具有最大代数免疫度的对称布尔函数的扩展代数免疫度。得出结论：共有 个达到最大扩展代数免疫度的 （ 是偶数）元对称布尔函数。