与广义KdV方程族相关的谱问题及其完全可积性

通过Lax方程获得了与二阶谱问题相联系的广义KdV方程族.利用位势函数与特征函数之间的Bargmann约束,将Lax对非线性化.由合适的Jacobi-Ostrogradsky坐标,得到一个新的有限维Hamilton正则系统,并证明其是完全可积系统.最后得到发展方程族的对合表示.     

两个边界条件带谱参数的Sturm-Liouville算子特征的渐近分析

研究了一类具有转换条件且在两个边界条件中带谱参数的Sturm-Liouville算子特征的渐近式.将对上述问题特征值与特征函数的研究,转化为考虑定义在Hilbert空间H中一个算子A的特征值与特征函数问题,并通过对基本解的渐近分析求出特征值与相应特征函数的渐近式.     

凹凸模糊集在R^n上的性质

利用凹凸模糊集的概念及凹凸模糊集在一维空间上的性质,定义了凹凸模糊集在n维空间上的单调性,运用分析学的方法将凹凸模糊集在R1上特征函数的性质推广到Rn上.     

凹凸模糊集在R^n上的性质

利用凹凸模糊集的概念及凹凸模糊集在一维空间上的性质,定义了凹凸模糊集在n维空间上的单调性,运用分析学的方法将凹凸模糊集在R1上特征函数的性质推广到Rn上.     

一个新的发展方程族及可积系

利用Lax对非线性化方法,讨论二阶矩阵特征值问题.利用位势函数与特征函数之间的Bargmann约束,将二阶矩阵特征值问题非线性化,获得一个新的有限维Hamilton系统和发展方程族解的对合表示.     

浅谈风积砂填筑高速公路路基边坡稳定性

在沈山高速公路九至十五标段(国际标段)采用风积砂填筑路基，在我省高速公路建设中是一个重大突破。本文对风积砂成份、物理力学性质进行分析，验算路基边坡稳定系数，证明风积砂填筑高速公路路基边坡是稳定的。     

一类两个边界带谱参数的Sturm-Liouville算子Ⅲ

本文研究一类正则Sturm-Liouville(S-L)问题,其中具有转换条件,并且在边界条件中带两个谱参数.将S-L问题的特征值和特征函数的研究,转换为适当Hilbert空间H中线性算子A的特征问题.同时,探究上述问题新算子A特征函数系的完备性.     

一个复形式的C.Neumann系统与Jaulent-Miodek发展方程族的解

利用谱问题的位势与特征函数之间的约束关系，将Jaulent-Miodek发展方程族的Lax表示及其共轭形式进行非线性化，并在实空间中引进一个合适的辛结构，Poisson括号和Hamilton正则方程，导出了复形式的辛结构、Poisson括号和Hamilton正则方程。进而证明被非线性化的Lax表示化为一个完全可积的C．Neumann系统。借助可换流的以合解，给出了Jaulent-Miodek方程族的解。     

对称结构振型特性的一般性证明

对称结构大量的存在于实际工程中.对对称结构的力学分析通常都可采用相应的简化模型进行计算.在静力结构问题对称特性方面,已经进行了严格的证明并得出了完整的理论和结果.并已经被广泛应用.对对称结构动力分析中的若干性质虽也有些结论,但并不是普遍性的.这里利用数学物理方法,证明了对一般对称结构(包括由离散方法建立的对称力学模型),振型应该具有的一般性质.在对对称结构进行动力分析时利用对称结构本身的振型特性,可以大幅度简化计算.     

对称结构振型特性的一般性证明

对称结构大量的存在于实际工程中.对对称结构的力学分析通常都可采用相应的简化模型进行计算.在静力结构问题对称特性方面,已经进行了严格的证明并得出了完整的理论和结果.并已经被广泛应用.对对称结构动力分析中的若干性质虽也有些结论,但并不是普遍性的.这里利用数学物理方法,证明了对一般对称结构(包括由离散方法建立的对称力学模型),振型应该具有的一般性质.在对对称结构进行动力分析时利用对称结构本身的振型特性,可以大幅度简化计算.     

基于指数函数的开关磁阻电机磁链非线性模型

开关磁阻电机（SRM）的双凸板结构导致其运行时磁链具有非线性特点,因而精确建立电机的数学模型比较困难.在分析开关磁阻电机的非线性特性和磁链曲线后,提出了利用一种指数函数来构建磁链曲线的新型数学模型.结合Ansoft软件的电磁分析功能,利用Matlab软件搭建一台3 kW、12/8极SRM的控制仿真模型,在角度位置控制（APC）模式下进行了仿真分析,并与实验结果进行了比较,验证了该磁链非线性模型的准确性.     

基于Bezier函数的列车特性曲线数据处理方法研究

在列车运行计算领域, 对列车特性曲线数据处理方法的研究一直得不到应有的重视,因此利用插值法求解列车特性数据的方法沿用至今. 本文研究了插值法计算列车特性数据的误差及其影响. 对比分析了Bezier曲线与列车特性曲线特点,得出可用Bezier曲线拟合列车特性曲线,并提出一种基于Bezier函数的列车特性曲线数据求解方法. 该方法是通过人机交互方式,运用Bezier曲线拟合列车特性曲线,该Bezier曲线对应的Bezier函数为列车特性曲线的拟合函数. 用该拟合函数求解列车特性数据,计算速度与精度均明显提高. 最后对CRH3型动车组的牵引特性曲线作了实际拟合,得出的结果令人满意.     

Some Results on Unicity of Entire Functions Related to Normal Families

IntroductionLet D be a domain in C.Define for f mero-morphic on D and a,b∈C,we putE(a,f)={z∶f(z)-a=0}where a zero of multiplicity m is counted m times inthe set.And put-E(a,f)=f-1({a})∩D={z∈D∶f(z)=a}Then f and g share a IM(ignoring multiplicities),i.e.-E(a,f)=-E(a,g)If f-a and g-a have the same zeros with thesame multiplicities,then f and g share the value aCM(counting multiplicities),i.e.E(a,f)=E(a,g)A meromorphic function f on C is called anormal function if there exists a posit…     

A Fuzzy Fault Diagnosis Method for Large Radar Based on Directed Graph Model

To meet the requirement of the real-time, accuracy and multi-target diagnosis of the large radar system,a new fuzzy fault diagnosis method based on directed graph model is proposed in this paper. In this method, the large complex system model is defined using the directed graph model firstly, in which the nodes observing the fault by the hierarchical reconstruction of the directed graph are located, then the fault dependency matrix between these nodes and the fault sources are established. And then, we utilize the sensors’ alarm probabilities under different situations to build the characteristic fault observation matrix in the fault observation space. Finally,the optimized corresponding diagnosis method using a fuzzy function, which describes the similarity between the actual observation vector and the fault’s characteristic vector, is designed. The experimental results demonstrate that the proposed method can achieve high diagnosis efficiency and accuracy. It can be widely used in the real radar system.     

Acoustic radiation analysis based on essential solution of Green’s function

The principle objective of the paper is to study the acoustic radiation problem of the 3D space domain with control boundary. By using the conformal transformation theory, the Green’s function for acoustic point source in the control domain space is obtained. With it, the expression of acoustic radiation function of the control domain is formed. Discussion about the acoustic radiation of pulsating sphere in right-angle space is drawn in the end, including the acoustic radiation directivity effect by the boundary characteristics, acoustic radiation frequency and acoustic source location. Numerical results show that: for the lower frequency radiation, the infection of free surface is significant; for the high frequency radiation, the infection of location is significant on the contrary. The research provides a new method for boundary characteristic problem of the structural-acoustic acoustic.     

Comments on enhanced yoking proof protocols for radio frequency identification tags and tag groups

A radio frequency identification (RFID) yoking proof scheme can generate proofs of simultaneous presence of two tags in the range of a specified reader so that an off-line verifier can verify the proofs later. This proof has found several interesting applications. However, many existing RFID yoking schemes are vulnerable to replay attacks. To overcome the weaknesses, Cho et al. proposed a new RFID yoking proof protocol and a new grouping protocol. Unfortunately, Cho et al.’s schemes are still vulnerable to replay attacks. In this paper, in addition to demonstrating weaknesses, we further discuss the rationale behind these weaknesses to provide a guide line for designing secure RFID yoking schemes. Based on the guide line, we propose a new RFID yoking scheme and a new RFID grouping scheme. Performance evaluation shows that our scheme outperforms its counterparts.     

A note on a provable secure encryption scheme

A Cramer-Shoup scheme was modified in a variant way.The major advantage with respect to Kurosawa-Desmedt scheme is that it saves a key parameter and produces shorter ciphertext.The proof of security shows that our scheme can be instantiated with any computational secure key derivation and message authentication functions.Thus it extends the applicability of the Kurosawa-Desmedt scheme and improves its effciency.     

模糊正规拓扑空间的两个特征性质

利用关于模糊连续映射^[2]的概念以及模糊集的若干分离性^[2]的概念给出了模糊正规拓扑空间的两个特征性质,所得出的结论是经典正规拓扑空间相应特征性质的推广,同时也是对有关模糊分离公理体系的进一步完善和发展．     

基于小波基函数的语音增强研究

小波分析理论是一种新兴的信号处理理论，在时间上和频率上都有很好的局部性，小波变换可同时进行时域和频域分析，具有多分辨特性，特别适合于处理非平稳信号。小波基是由小波函数经过平移和伸缩得到，具有简单、灵活、随意的特性和多分辨分析的功能。通过计算机仿真小波基函数对语音去噪的实现，并分析了不同阀值函数在语音处理中的效果，仿真结果表明，这些方法的运用能有效改善语音的失真程度，具有一定的实践指导意义。     

Cascaded Construction of Semi-Bent and Bent Functions

Based on the theory of quadratic forms over finite fields,a new construction of semi-bent and bent functions is presented.The proposed construction has a cascaded characteristic.Some previously known constructions of semi-bent and bent functions are special cases of the new construction.