We study an optimal control problem with quadratic objective functional for the three dimensional Navier-Stokes-Voigt equations in bounded domains. We show the existence of optimal solutions, the necessary optimality conditions and the sufficient optimality conditions. The second-order optimality conditions obtained in the article seem to be optimal. 相似文献
A set S of permutations of k objects is -uniform, t-homogeneous if for every pair A, B of t-subsets of the ground set, there are exactly permutations in S mapping A onto B. Arithmetical conditions and symmetries are discussed. We describe the character-theoretic method which is useful if S is contained in a permutation group. A main result is the construction of a 2-uniform, 2-homogeneous set of permutations on 6 objects and of a 3-uniform, 3-homogeneous set of permutations on 9 objects. These are contained in the simple permutation groups PSL2(5) and PSL2(8), respectively. The result is useful in the framework of theoretical secrecy and authentication (see Stinson 1990, Bierbrauer and Tran 1991). 相似文献
Well known extensions of the classical transportation problem are obtained by including fixed costs for the production of
goods at the supply points (facility location) and/or by introducing stochastic demand, modeled by convex nonlinear costs,
at the demand points (the stochastic transportation problem, [STP]). However, the simultaneous use of concave and convex costs
is not very well treated in the literature. Economies of scale often yield concave cost functions other than fixed charges,
so in this paper we consider a problem with general concave costs at the supply points, as well as convex costs at the demand
points. The objective function can then be represented as the difference of two convex functions, and is therefore called
a d.c. function. We propose a solution method which reduces the problem to a d.c. optimization problem in a much smaller space,
then solves the latter by a branch and bound procedure in which bounding is based on solving subproblems of the form of [STP].
We prove convergence of the method and report computational tests that indicate that quite large problems can be solved efficiently.
Problems up to the size of 100 supply points and 500 demand points are solved.
Received October 11, 1993 / Revised version received July 31, 1995 Published online November 24, 1998 相似文献
We present criteria for the Cohen–Macaulayness of a monomial ideal in terms of its primary decomposition. These criteria allow us to use tools of graph theory and of linear programming to study the Cohen–Macaulayness of monomial ideals which are intersections of prime ideal powers. We can characterize the Cohen–Macaulayness of the second symbolic power or of all symbolic powers of a Stanley–Reisner ideal in terms of the simplicial complex. These characterizations show that the simplicial complex must be very compact if some symbolic power is Cohen–Macaulay. In particular, all symbolic powers are Cohen–Macaulay if and only if the simplicial complex is a matroid complex. We also prove that the Cohen–Macaulayness can pass from a symbolic power to another symbolic powers in different ways. 相似文献
The paper is concerned with the non-linear backward heat equation in the rectangle domain. The problem is severely ill-posed. We shall use a modified integral equation method to regularize the nonlinear problem. The error estimates of Hölder type of the regularized solutions are obtained. Numerical results are presented to illustrate the accuracy and efficiency of the method. This work is a generalization of many earlier papers, including the recent paper [D.D. Trong, N.H. Tuan, Regularization and error estimate for the nonlinear backward heat problem using a method of integral equation, Nonlinear Anal. 71 (9) (2009) 4167-4176]. 相似文献
In this paper, we establish some quotient calculus rules in terms of contingent derivatives for the two extended-real-valued functions defined on a Banach space and study a nonsmooth multiobjective fractional programming problem with set, generalized inequality and equality constraints. We define a new parametric problem associated with these problem and introduce some concepts for the (local) weak minimizers to such problems. Some primal and dual necessary optimality conditions in terms of contingent derivatives for the local weak minimizers are provided. Under suitable assumptions, sufficient optimality conditions for the local weak minimizers which are very close to necessary optimality conditions are obtained. An application of the result for establishing three parametric, Mond–Weir and Wolfe dual problems and several various duality theorems for the same is presented. Some examples are also given for our findings.
The X‐ray mass attenuation coefficients of silver were measured in the energy range 5–20 keV with an accuracy of 0.01–0.2% on a relative scale down to 5.3 keV, and of 0.09–1.22% on an absolute scale to 5.0 keV. This analysis confirms that with careful choice of foil thickness and careful correction for systematics, especially including harmonic contents at lower energies, the X‐ray attenuation of high‐Z elements can be measured with high accuracy even at low X‐ray energies (<6 keV). This is the first high‐accuracy measurement of X‐ray mass attenuation coefficients of silver in the low energy range, indicating the possibility of obtaining high‐accuracy X‐ray absorption fine structure down to the L1 edge (3.8 keV) of silver. Comparison of results reported here with an earlier data set optimized for higher energies confirms accuracy to within one standard error of each data set collected and analysed using the principles of the X‐ray extended‐range technique (XERT). Comparison with theory shows a slow divergence towards lower energies in this region away from absorption edges. The methodology developed can be used for the XAFS analysis of compounds and solutions to investigate structural features, bonding and coordination chemistry. 相似文献
We obtain new convolutions for quadratic-phase Fourier integral operators (which include, as subcases, e.g., the fractional Fourier transform and the linear canonical transform). The structure of these convolutions is based on properties of the mentioned integral operators and takes profit of weight-functions associated with some amplitude and Gaussian functions. Therefore, the fundamental properties of that quadratic-phase Fourier integral operators are also studied (including a Riemann–Lebesgue type lemma, invertibility results, a Plancherel type theorem and a Parseval type identity). As applications, we obtain new Young type inequalities, the asymptotic behaviour of some oscillatory integrals, and the solvability of convolution integral equations. 相似文献