一道微分方程题的新解法

通过对一道常微分方程习题的初等解法进行讨论,给出具有一般性的常微分方程组的初等解法。     

二次B-Spline时域基函数的TDFEM的应用

提出了时域有限元法(TDFEM)的一种新的基函数—二次B-spline时域基函数.首先简述了时域有限元法的原理和基本公式;然后提出了新型的基于B-spline函数的条件稳定和无条件稳定的时域有限元法方案,并应用于三维电磁辐射问题.通过典型的算例对这两种方案的精度、运算时间进行了比较,证实了基于二次B-spline函数的时域有限元法的有效性.通过稳定性理论分析得出该算法的精确稳定性,并且通过数值计算的结果得到验证.     

双正交尺度函数的两尺度关系

构造了双正交尺度函数Lk^j（x）与Lk^j^-（x）的两尺度关系。首先给出了双正交尺度函数Lk^j（x）与Lk^j^-（x）的定义以及几个引理,通过这些得到了双正交尺度函数的两尺度关系式。     

高维力学系统的能量方程

在低维系统中,能量方程因其明晰的物理意义而得到广泛的应用,而研究高维力学系统的能量方程也同样具有理论价值和实际意义,如位移对时间的导数是速度,速度对时间的导数是加速度,这些具有明显的物理意义,而加速度的导数其物理意义就不是很清晰了,但具有理论上的意义.本文应用广义经典力学中关于广义拉格朗日函数、广义动量和广义哈密顿函数等概念,推导了高维系统的能量方程,文中举了实例具体说明新方程的应用,为力学数学系统能量方程的推广提供了一种途经.     

Construction of highly nonlinear resilient Boolean functions satisfying strict avalanche criterion

Boolean functions with high nonlinearity, high resiliency and strict avalanche criterion （SAC） play an important role in the designs of conventional cryptographic systems. In this paper, a method is proposed to construct resilient Boolean functions on n variables （n even） satisfying SAC with nonlinearity 〉 2n-1 -2n/2. A large class of cryptographic Boolean functions that were not known earlier were obtained.     

Fuzzy deduction methods of selecting the underwater terrain navigation matching area

To overcome the problems of not describing terrain matching characteristics totally with a single terrain feature parameter in underwater navigation terrain database, an evaluation method named Vague set is proposed to describe the terrain suitability comprehensively based on the fuzzy decision making (FDM) method. The membership functions and non-membership functions of the Vague set are used to define the influence of the terrain map characteristics parameters on matching suitability, and comprehensive evaluation values of matching areas are obtained by the weighted score function method. Simulation results demonstrate that the terrain map suitability is positively proportional to the comprehensive evaluation value, while the matching position error is negatively proportional to the comprehensive evaluation value of the matching area. The Vague set can choose the optimal matching areaeffectively, and solve the problem that the single topographic map featurecannot evaluate suitability comprehensively.     

面向水流系统功能的多维度水资源承载力评价指标体系

在简述水资源承载力研究进展的基础上,基于系统结构与功能的相互关系和水资源系统的演变特征,从水资源系统自然演化、生态服务和社会服务三大功能推演出水资源系统的水量、水质、水生栖息环境和连通性四维结构,并以此对水资源承载力进行表征。基于对水资源承载主体、客体及承载过程的分析,以水资源承载支撑力、压力和调控力描述承载过程,建立了基于承载过程的"水量-水质-水生栖息环境-连通性"四维指标体系,该指标体系可用于不同流域或区域多维水资源承载力评价。     

ID-based trapdoor mercurial commitment under one-way functions assumptions

The notion of identity-based trapdoor mercurial commitment incorporates the advantages of both identity-based trapdoor commitment and trapdoor mercurial commitment. So far, the existing identity-based trapdoor mercurial commitment schemes are based on the strong Diffie-Hellman assumption or computational Diffie-Hellman assumption. One-way function existence is one of the fundamental assumptions in the cryptography. In this paper, we first propose a general construction for identity-based trapdoor mercurial commitment based on the one-way function. Meanwhile, we give a concrete instantiation based on the Boneh-Boyen signature scheme.     

细胞自动机：简单的规则，复杂的行为

细胞自动机是一种时间、空间与状态都离散的数学模型。回顾了初等细胞自动机模型的应用及其符号动力学刻画的相关文献,在大量统计性质和计算机模拟基础上,着重分析具有鲁棒Bernoulli移位特征的细胞自动机规则的一些符号动力学性质,揭示了细胞自动机的简单规则中蕴含着复杂、混沌的非线性动力学特性。这些结果丰富了细胞自动机的理论基础,也将促进符号动力系统的理论和应用的研究。     

两类ω-超广义函数空间的结构表示

利用ω-超广义函数空间与某些实解析函数空间之间的拓扑同构对应关系,通过实解析函数空间考察了两类ω-超广义函数空间,给出了RN中开集Ω上由任意的权函数引出的ω-超广义函数E′*(Ω)和由非伪解析的权函数引出的ω-超广义函数D′*(Ω)的某种结构表示