Novel recognition method for digital modulation signals with Alpha stable noise

The traditional methods for digital modulation signals recognition with Alpha stable distribution noise have the problem of poor performance. In this paper, a novel recognition method for digital modulation signals based on the generalized cumulant and generalized instantaneous phase is proposed to solve this problem. This method extracts the characteristic parameters which are the generalized cumulant and maximum of normalization and center generalized instantaneous phase spectral density based on fractional Fourier transform. And then the minimum mean square error classifier and the threshold are used to achieve modulation recognition of digital modulation signals with Alpha stable distribution noise. Simulation results show that the proposed method has not only better performance but also lower computation complexity than the traditional recognition methods in an Alpha stable distribution noise environment.     

计及输入变量强相关性的概率潮流计算模型

利用统计学的方法,以风电场出力为例,对其大量历史数据进行相关性分析,将具有强相关性的随机变量用最小二乘进行线性拟合,并用其中一个变量的线性表达式表示,从而消去随机变量之间的强相关性,并认为余下的呈弱相关或不相关的随机变量之间相互独立,以便采用半不变量法计算概率潮流。     

一种面向密码芯片的旁路攻击防御方法

针对不同级别的旁路信息泄露,提出一种通用的旁路信息泄露容忍防御模型,并结合信息熵理论给出该模型的形式化描述.该模型采用(t,n)门限机制,使得部分旁路信息泄露不会影响系统的安全性.在该防御模型的基础上,结合高级加密标准AES-128算法的安全实现,设计了一种两阶段掩码的旁路攻击防御方法.与已有的防御方法相比,该方法能够同时防御高阶旁路攻击与模板攻击.通过理论分析与仿真实验验证了该方法的有效性.     

Bending-stretching analysis of thick functionally graded micro-plates using higher-order shear and normal deformable plate theory

In the present article, higher-order shear and normal deformable plate theory together with modified couple stress theory are developed to study the bending analysis of thick functionally graded rectangular micro-plates. One material length scale parameter is used for capturing the size effects. Utilizing the variational approach and also a principle of virtual displacement, a new form of equilibrium equations and the corresponding boundary conditions are derived. It is assumed that material properties vary through the thickness according to the power law function. Finally, an analytical solution for the bending problem of a simply supported FG rectangular micro-plate is presented.     

可伸缩复合材料悬臂梁的非线性动力学建模及分析

首先,根据Reddy给出的考虑高阶剪切效应的层合理论,气动弹性活塞理论,利用Hamilton原理,对考虑采用基于活塞理论的一阶非线性气动力和面内参数激励的联合作用下的轴向可伸缩复合材料悬臂梁进行非线性动力学进行建模,得到其偏微分动力学控制方程.然后对控制方程无量纲化,利用Galerkin方法对控制方程进行了截断,得到三个可反映可伸缩悬臂梁横向振动的无量纲形式的常微分非线性动力学方程,只要选取适合的复合材料及其相关参数,使用数值方法就对模型在外伸和回收过程中的相关振动特性进行了分析.     

高阶滑模微分器的分析与改进

首先采用Terminal吸引子函数代替原不连续函数,以避免滑模微分器的抖振;然后针对现有文献中高阶滑模微分器设计参数选取苛刻这一问题,放宽了设计参数选择范围,并分不同情况证明了高阶滑模微分器的稳定性．在此基础上,给出了高阶滑模微分器估计误差的上界与设计参数和滑模微分器阶次的关系式;通过对设计参数的选取和系统整体结构的分析,提出了高阶滑模微分器减小估计误差且更适于工程应用的设计方法,并给出所需条件．仿真结果表明了所得结论的正确性和有效性．     

Higher order spectral estimation for random fields

This paper is concerned with the nonparametric estimation of the higher order cumulant spectra of vector-valued stationary random fields onZ ^d by smoothing the periodograms, whereZ is the space of integers and the dimensiond1. We derive the asymptotic cumulant properties of the spectral estimates, and consider an application to multidimensional nonlinear systems identification. Numerical examples with simulated data are provided.     

Implementing tactics and tacticals in a higher-order logic programming language

We argue that a logic programming language with a higher-order intuitionistic logic as its foundation can be used both to naturally specify and implement tactic-style theorem provers. The language extends traditional logic programming languages by replacing first-order terms with simply-typed -terms, replacing first-order unification with higher-order unification, and allowing implication and universal quantification in queries and the bodies of clauses. Inference rules for a variety of inference systems can be naturally specified in this language. The higher-order features of the language contribute to a concise specification of provisos concerning variable occurrences in formulas and the discharge of assumptions present in many inference systems. Tactics and tacticals, which provide a framework for high-level control over search for proofs, can be directly and naturally implemented in the extended language. This framework serves as a starting point for implementing theorem provers and proof systems that can integrate many diversified operations on formulas and proofs for a variety of logics. We present an extensive set of examples that have been implemented in the higher-order logic programming language Prolog.     

Thermal buckling of cross-ply laminated composite and sandwich plates according to a global higher-order deformation theory

A two-dimensional global higher-order deformation theory is presented for thermal buckling of cross-ply laminated composite and sandwich plates. By using the method of power series expansion of continuous displacement components, a set of fundamental governing equations which can take into account the effects of both transverse shear and normal stresses is derived through the principle of virtual work. Several sets of truncated Mth-order approximate theories are applied to solve the eigenvalue problems of a simply supported multilayered plate. Modal transverse shear and normal stresses can be calculated by integrating the three-dimensional equations of equilibrium in the thickness direction, and satisfying the continuity conditions at the interface between layers and stress boundary conditions at the external surfaces. Numerical results are compared with those of the published three-dimensional layerwise theory in which both in-plane and normal displacements are assumed to be C⁰ continuous in the continuity conditions at the interface between layers. Effects of the difference of displacement continuity conditions between the three-dimensional layerwise theory and the global higher-order theory are clarified in thermal buckling problems of multilayered composite plates.     

Two-point higher-order BVPs with singularities in phase variables

The existence of solutions for singular higher-order differential equations with the Lidstone or the (n,p) boundary conditions is proved. The right-hand sides of differential equations can have singularities in the zero value of their phase variables and so higher derivatives of solutions changing their signs can pass through these singularities. Proofs are based on the method of a priori estimates, the degree theory arguments and on Vitali's convergence theorem.