圆柱形容器中自由表面波的三波内共振相互作用

由Luke变分原理导出了圆柱形容器中自由毛细重力表面波的基本方程.首先对速度势和自由面波高作Galerkin展开,用多重尺度法导出了控制方程前二阶摄动方程,在此基础上讨论了三个波二阶内共振的非线性相互作用,导出了三波内共振的非线性耦合作用方程和守恒律.针对非退化的作用方程,分析了相平面上平衡点的位置,研究了参数对应共振与非共振的各种情况,在不同参数情况下求出二阶作用方程的稳态解并分析了解的稳定性态,还讨论了只在有限时间内有效的解.分析表明,在非退化情况下,由于初始条件不同,3个波之间能量传递的模式不尽相同,有可能能量在3波之间周期性传递,亦可能单波的能量有衰减或增长.     

关于半线性椭圆共振问题的注记

本文应用Ｍｏｒｓｅ理论和惩罚性技巧研究了一类半线性椭圆方程在无穷远处和在原点处都共振情形下非平凡解的存在性．     

一类波方程的自由强共振问题

本文利用1983年Coron文[1]中的技巧讨论了一类波方程的自由强共振问题。在一定条件下,证明了解的存在性、非平凡解的存在性并且给出了一些非平凡解的个数的下界估计。     

共振的半线性椭圆方程Dirichlet问题解的多重性

使用极小极大方法获得非线性非自治无界共振的半线性椭圆方程Dirichlet问题解的多重性结果。     

具有无界非线性项的半线性椭圆共振问题

本文中我们研究一类在高阶特征值处共振、具有无界的非线性项的渐近线性椭圆方程的非平凡解的存在性．     

黏弹性屈曲梁非线性内共振稳态周期响应

研究了内共振下简支边界屈曲黏弹性梁受迫振动稳态周期幅频响应.考虑Kelvin黏弹性本构关系,并通过对非平凡平衡位形做坐标变换,建立屈曲梁横向振动的非线性偏微分-积分模型.基于对控制方程的Galerkin截断,得到多维非线性常微分方程组.在前两阶模态内共振存在的条件下,运用多尺度法分析截断后的控制方程,利用可解性条件消除长期项,获得一阶主共振下的幅值与相角方程.通过数值算例以展示系统稳态幅频响应关系以及失稳区域,从而聚焦系统共振中存在的非线性现象,如跳跃现象、滞后现象,并讨论了双跳跃现象随轴向荷载的演化.通过直接数值方法处理截断方程,数值验证近似解析解,计算结果表明多尺度法具有较高精度.     

离散共振问题的非平凡解

研究了一类二阶非线性差分方程两点边值问题非平凡解的存在性.假设该问题在无穷远点及零点处均是共振的,利用变分方法,同时考虑正、负能量泛函的临界点,在一定的假设条件下,通过临界群的计算,证明了该问题至少存在一个非平凡解.     

流体流过下凹地形的共振流动

本文讨论流体流过下凹地形时共振产生非线性毛细重力波.采用摄动方法,导出了一个具负强迫力的KdV方程.采用拟谱方法,对所得方程进行了数值分析,给出了在超临界,亚临界以及精确共振情形的数值结果.     

传送带系统主参数共振分析

基于Coriolis加速度和Lagrange应力公式,利用Newton定律得到了运动带的横向振动运动方程.运用多尺度法得到了传送带系统主参数共振的近似解.分析了调谐参数、带的横截面积、黏弹性参数、轴向速度不仅影响非平凡稳态响应的幅值,并且影响其存在区域,揭示了一些新的动力学现象.     

强共振情况下不变环面的分支

本文利用周期变换和积分流形理论研究平面周期扰动系统，在强共振情况下获得了从一阶细焦点分支出不变环面的简洁条件，本文中的非共振条件不同于［５］中所给出的非共振条件．     

Density results for subspace multiwindow Gabor systems in the rational case

Let S be a periodic set in R and L2(S) be a subspace of L2 (R). This paper investigates the density problem for multiwindow Gabor systems in L2(S) for the case that the product of time-frequency shift parameters is a rational number. We derive the density conditions for a multiwindow Gabor system to be complete (a frame) in L2(S). Under such conditions, we construct a multiwindow tight Gabor frame for L2(S) with window functions being characteristic functions. We also provide a characterization of a multiwindow Gabor frame to be a Riesz basis for L2(S), and obtain the density condition for a multiwindow Gabor Riesz basis for L2(S).     

Implicit construction of multiple eigenvalues for trees

We are generally concerned with the possible lists of multiplicities for the eigenvalues of a real symmetric matrix with a given graph. Many restrictions are known, but it is often problematic to construct a matrix with desired multiplicities, even if a matrix with such multiplicities exists. Here, we develop a technique for construction using the implicit function theorem in a certain way. We show that the technique works for a large variety of trees, give examples and determine all possible multiplicities for a large class of trees for which this was not previously known.     

Duality theorem for a generalized Fermat-Weber problem

The classical Fermat-Weber problem is to minimize the sum of the distances from a point in a plane tok given points in the plane. This problem was generalized by Witzgall ton-dimensional space and to allow for a general norm, not necessarily symmetric; he found a dual for this problem. The authors generalize this result further by proving a duality theorem which includes as special cases a great variety of choices of norms in the terms of the Fermat-Weber sum. The theorem is proved by applying a general duality theorem of Rockafellar. As applications, a dual is found for the multi-facility location problem and a nonlinear dual is obtained for a linear programming problem with a priori bounds for the variables. When the norms concerned are continuously differentiable, formulas are obtained for retrieving the solution for each primal problem from the solution of its dual.     

Carleman estimate for a strongly damped wave equation and applications to an inverse problem

In this paper, we establish a Carleman estimate for a strongly damped wave equation in order to solve a coefficient inverse problems of retrieving a stationary potential from a single time‐dependent Neumann boundary measurement on a suitable part of the boundary. This coefficient inverse problem is for a strongly damped wave equation. We prove the uniqueness and the local stability results for this inverse problem. The proof of the results relies on Carleman estimate and a certain energy estimates for hyperbolic equation with strongly damped term. Moreover, this method could be used for a similar inverse problem for an integro‐differential equation with hyperbolic memory kernel. Copyright © 2012 John Wiley & Sons, Ltd.     

An algorithm for the two-dimensional assortment problem

In this paper we consider the two-dimensional assortment problem. This is the problem of choosing from a set of stock rectangles a subset which can be used for cutting into a number of smaller rectangular pieces. Constraints are imposed upon the number of such pieces which result from the cutting.A heuristic algorithm for the guillotine cutting version of the problem is developed based on a greedy procedure for generating two-dimensional cutting patterns, a linear program for choosing the cutting patterns to use and an interchange procedure to decide the best subset of stock rectangles to cut.Computational results are presented for a number of test problems which indicate that the algorithm developed produces good quality results both for assortment problems and for two-dimensional cutting problems.     

Testing for elliptical symmetry in covariance-matrix-based analyses

Many normal-theory test procedures for covariance matrices remain valid outside the family of normal distributions if the matrix of fourth-order moments has structure similar to that of a normal distribution. In particular, for elliptical distributions this matrix of fourth-order moments is a scalar multiple of that for the normal, and for this reason many normal-theory statistics can be adjusted by a scalar multiple so as to retain their asymptotic distributional properties across elliptical distributions. For these analyses, a test for the validity of these scalar-adjusted normal-theory procedures can be viewed as a test on the structure of the matrix of fourth-order moments. In this paper, we develop a Wald statistic for conducting such a test.     

Suboptimal feedback control of linear periodic systems

A method is developed for the approximate design of an optimal state regulator for a linear periodically varying system with quadratic performance index. The periodic term is taken to be a perturbation to the system. By making use of a power-series expansion in a small parameter, associated with periodic terms, a set of matrix equations is derived for determining successively a feedback gain. Given periodic terms of a Fourier-series form, explicit solutions are obtained for those matrix equations. A sufficient condition for existence and periodicity of the solution is also shown. Further, the performance degradation resulting from a truncation of the power-series solution is investigated. The method may effectively be used in a computer-programmed computation.     

Multiround Unconditionally Secure Authentication

Authentication codes are used to protect communication against a malicious adversary. In this paper we investigate unconditionally secure multiround authentication schemes. In a multiround scheme a message is authenticated by passing back and forth several codewords between the sender and receiver. We define a multiround authentication model and show how to calculate the probability of a successful attack for this model. We prove the security for a 3-round scheme and give a construction for the 3-round scheme based on Reed-Solomom codes. This construction has a very small key size for even extremely large messages. Furthermore, a secure scheme for an arbitrary number of rounds is given. We give a new upper bound for the keys size of an n-round scheme.     

A path following method for box-constrained multiobjective optimization with applications to goal programming problems

We propose a path following method to find the Pareto optimal solutions of a box-constrained multiobjective optimization problem. Under the assumption that the objective functions are Lipschitz continuously differentiable we prove some necessary conditions for Pareto optimal points and we give a necessary condition for the existence of a feasible point that minimizes all given objective functions at once. We develop a method that looks for the Pareto optimal points as limit points of the trajectories solutions of suitable initial value problems for a system of ordinary differential equations. These trajectories belong to the feasible region and their computation is well suited for a parallel implementation. Moreover the method does not use any scalarization of the multiobjective optimization problem and does not require any ordering information for the components of the vector objective function. We show a numerical experience on some test problems and we apply the method to solve a goal programming problem.     

Diffusion in poro‐plastic media

A model is developed for the flow of a slightly compressible fluid through a saturated inelastic porous medium. The initial‐boundary‐value problem is a system that consists of the diffusion equation for the fluid coupled to the momentum equation for the porous solid together with a constitutive law which includes a possibly hysteretic relation of elasto‐visco‐plastic type. The variational form of this problem in Hilbert space is a non‐linear evolution equation for which the existence and uniqueness of a global strong solution is proved by means of monotonicity methods. Various degenerate situations are permitted, such as incompressible fluid, negligible porosity, or a quasi‐static momentum equation. The essential sufficient conditions for the well‐posedness of the system consist of an ellipticity condition on the term for diffusion of fluid and either a viscous or a hardening assumption in the constitutive relation for the porous solid. Copyright © 2004 John Wiley & Sons, Ltd.