密码函数的一类递归构造方法

首先利用递归的方法证明了结构形式更为一般的布尔函数的 Walsh谱分解式，然后利用这类布尔函数Walsh谱分解式，给出了密码学和编码学中具有重要应用价值的一些布尔函数，如弹性函数、Bent函数以及满足严格雪崩准则的布尔函数的构造方法。     

与特定密码函数线性等价的布尔函数谱和自相关特征

对线性等价意义下2个布尔函数的密码学性质的异同做了进一步的分析，得到了一个布尔函数线性等价于某个具有m阶相关免疫性的布尔函数的充分必要条件和线性等价于某个满足k次扩散准则的布尔函数的充分必要条件，在线性等价意义上，给出了由不具有相关免疫性且不满足扩散准则的布尔函数，构造既具有相关免疫性、也满足扩散准则的布尔函数的实例。     

相关免疫布尔函数的一种构造方法

本文证明了布尔函数的谱分解定理，定义了布尔函数的谱（分解）特征向量，给出相应的充要条件，将全部Ｎ元相关免疫布尔函数的构造问题转化为线性方程组的求解问题，为相关免疫布尔函数的构造提供了新的方法。）满足，可求得符合要求的用上述方法我们通过人工计算确定出８６个符合要求的谱特征向量，注意到向量中各分量地位的对称性，并注意到定理４，我们得知全部４无相关免疫的非平凡布尔函数共２×３２４＝６４８个Ｎ＝４，ｍ＝２时，定理６中条件即从后面１１个方程可求得联系（Ⅱ）中的第５～１４个方和即知在（Ⅲ４）下ｂ１、ｂ２、ｂ３、ｂ４全为１（全为０平凡情况），在（Ⅲ４）下ｂ１、ｂ２、ｂ３、ｂ４中有３个取１、１个取０，由此可得全部４元至少２阶相关免疫的非平凡布尔函数所对应的谱特征向量如下：它们所对应的的布尔函数依次是（此结论与［１］ｐ１５５上结论相符），因而４元１阶相关免疫的布尔函数共有６４８－１０＝６３８个。一般情况下，在我们的方法里构造全部Ｎ元相关免疫布尔函数实质上是在定理６中“约束条件”（１）下去求２Ｎ－１个变元、Ｎ个方程的方程组（Ⅱ）所有解，构造全部Ｎ元至少ｍ（≥２）附相关免疫布尔函数实质上是在定理６中“约束条件，（１）下去解２Ｎ－     

广义Bent函数的稳定性及其构造

在ｐ是素数时,用ｐ次本原单位根给出广义Ｂｅｎｔ函数的谱判别条件,并由此对广义Ｂｅｎｔ函数的稳定性的概率意义进行了考察,最后,利用谱分解式研究了广义Ｂｅｎｔ函数的性质和构造,并据此给出了广义Ｂｅｎｔ函数的一种运算形式更一般的新的构造方法。     

密码学中的布尔函数研究综述

概述了目前密码学中布尔函数的研究现状和重要研究方向上的新成果，并对布尔函数的研究进行了展望，指出了一些重要的研究热点问题．     

p值逻辑函数最佳仿射逼近的谱特征

给出了ｐ（正整数ｐ≥２）值逻辑函数与ｐ值仿射函数符合率的Ｃｈｒｅｓｔｅｎｓｏｎ谱表示，并用两种Ｃｈｒｅｓｔｅｎｓｏｎ谱分别确定了ｐ值逻辑函数的最佳仿射逼近函数。     

半导体激光器谱线展宽因子测量

以１．３μｍＤｈ－ＩｎＧａＡｓＰ半导体激光器为研究对象，利用自发辐射谱测量谱线展宽因子，测出了α因子随工作电流变化的关系曲线。     

激光散斑引起象强度中心漂移的计算机模拟

本文对这个基本不确定度进行了计算机模拟研究，所得模拟曲线与Ｒ．Ｇ．Ｄｏｒｓｃｈ，Ｇ．Ｈａｕｓｌｅｒ等人的研究基本一致。此外，还对基本不确定度与表面粗糙度的关系，基本不确定度与成象系统点扩散函数内所包含的相关单元的关系进行了研究。     

拟Bent函数的构造

拟Bent函数在密码系统中可用作非线性组合函数和消息摘要函数,因而具有很好的密码学性质。本文通过计算布尔函数的Walsh谱,从映射的角度确定了变元个数不超过六的拟Bent函数的代数结构;提出了一般交换群上的扩展组合函数族的概念,研究了这类函数的性质,利用商群给出了扩展组合函数的下降构造,通过组合函数给出了提升构造法,从而得到了一种由扩展组合函数族构造拟Bent函数和Bent函数的递归构造法,由这种方法可以构造大量拟Bent函数和Bent函数。另外也构造了几种参数的布尔扩展组合函数。     

平稳地震动过程的随机函数-谱表示模拟

在平稳随机过程的谱表示基础上,采用随机函数的思想,将谱表达式中的标准正交随机变量表示为基本随机变量的正交函数形式。通过两组随机正交三角函数的构造,实现了非高斯正交随机变量和高斯独立随机变量的随机函数表达。与经典的谱表示方法相比,采用随机函数表达,仅需1~2个基本随机变量即可描述原随机过程的概率特性,而且可以直接由功率谱密度函数生成具有给定概率的非高斯平稳过程和高斯平稳过程的样本函数。最后,结合平稳地震动加速度过程的功率谱密度函数,验证了随机函数-谱表示方法的有效性。     

Boolean functions with two distinct Walsh coefficients

Are there other Boolean functions having two distinct Walsh coefficients except affine Boolean functions and maximal nonlinear (i.e. bent) Boolean functions? This paper proves that all Boolean functions with exactly two distinct Walsh coefficients are just the two known classes of affine and bent Boolean functions and the Boolean functions obtained by modifying the value of affine or bent Boolean functions at x?=?0.     

一种化简布尔空间的启发式搜索方法

本文提出一种新的布尔空间描述方法——语义网络描述,推出了结点与有向链的计算公式。把计算机图解法与语义网络启发式搜索相结合,给出了化简布尔空间的一种全新方法。它比“布尔代数”、“奎尼表”、“卡诺图”等方法具有快速、简洁、实用、直观的优越性。     

From Fourier Expansions to Arithmetic-Haar Expressions on Quaternion Groups

Arithmetic expressions for switching functions are introduced through the replacement of Boolean operations with arithmetic equivalents. In this setting, they can be regarded as the integer counterpart of Reed-Muller expressions for switching functions. However, arithmetic expressions can be interpreted as series expansions in the space of complex valued functions on finite dyadic groups in terms of a particular set of basic functions. In this case, arithmetic expressions can be derived from the Walsh series expansions, which are the Fourier expansions on finite dyadic groups. In this paper, we extend the arithmetic expressions to non-Abelian groups by the example of quaternion groups. Similar to the case of finite dyadic groups, the arithmetic expressions on quaternion groups are derived from the Fourier expansions. Attempts are done to get the related transform matrices with a structure similar to that of the Haar transform matrices, which ensures efficiency of computation of arithmetic coefficients. Received: October 5, 1999; revised version: June 14, 2000     

基于支持向量机回归爆破振动速度预测分析

运用支持向量机回归(SVMR)预测理论,对爆破振动质点振动速度进行预测,并与实测数据进行对比分析。通过与RBF神经网络、传统预测方法进行对比分析,运用支持向量机回归理论预测方法能较好地预测爆破振动速度,对研究爆破振动特征及灾害控制具有一定意义。     

Intervallmathematische Zuverlässigkeitsanalyse von Reihen-/Parallelschaltungen bei ungenauen Primärdaten

To consider the reliability of systems or products a random variable is based on the variability of the properties of materials, elements (equipment, parts of a product), manufacture and utilization. In practice we often find inaccurate primary data, the statistical analysis of which can be complicated. A possibility to exploit this uncertainty for a quantitative analysis of reliability is the use of interval mathematical methods. Here for the distribution parameters of reliability we assume uniform distributions in order to simplify calculations or to make them possible. The analysis (“find the reliability of a system for given reliabilities of elements”) and synthesis (inverse of analysis) of serial-parallel-forms of Boolean elements are described. Two plain examples (gear, drive system) are enclosed for illustration.     

基于支持向量机回归爆破振动速度预测分析

运用支持向量机回归(SVMR)预测理论,对爆破振动质点振动速度进行预测,并与实测数据进行对比分析。通过与RBF神经网络、传统预测方法进行对比分析,运用支持向量机回归理论预测方法能较好地预测爆破振动速度,对研究爆破振动特征及灾害控制具有一定意义。     

三维体素拼合及其在制图中的应用

本文介绍了一个小型三维造型系统，着重叙述了作者独立完成的物体拼合以及显示输出子模块中的三维线框模型输出，同时介绍了该软件在制图课教学中的应用。     

A transformation from a Boolean equation control specification to a Petri net

In this article we present an algorithm to transform a set(s) of Boolean equations into a Petri net(s). Boolean logic provides a mathematical basis for switching control and many other areas. In the case of programmable logic controllers used for the sequential control in manufacturing applications, Boolean equations are fundamental both in programming and in understanding their operation. A major difficulty with Boolean equations is the lack of any type of mathematical theory for the analysis of the systems that are being represented by these equations. Petri nets, on the other hand, possess a mathematical framework to analyze the properties of the system being modeled. Furthermore, Petri nets have been proved to be appropriate models for sequential control. The popularity as well as the generality of Boolean logic, on one hand, and the modeling and analytical capabilities of Petri nets, on the other hand, are the major motivations for this research.     

颗粒增强金属基复合材料中界面附近位移场测量的探索

本文采用数字散斑相关法对高能超声法制备的颗粒增强金属基复合材料在拉伸变形过程中颗粒与基体的界面处的位移进行了测量与分析，。实验结果表明，界面处所发生的位移变化要大于颗粒和基体内部所发生的位移，说明在颗粒与基体合金的界面处存在着导致应变集中的缺陷，从而导致了颗粒增强金属基复合材料失效过程中常常出现颗粒与基体在界面处脱粘的损伤形式。