Image normalization of Wiener-Hopf operators and boundary-transmission value problems for a junction of two half-planes

The present paper deals with an application of the image normalization technique for certain classes of Wiener-Hopf operators (WHOs) associated to ill-posed boundary-transmission value problems. We briefly describe the method of normalization and then apply it to boundary-transmission value problems issued from diffraction problems for a junction of two half-planes, which are relevant in mathematical physics applications. For each boundary-transmission value problem, we analyze the conditions under which the associated operator and the equivalent WHO are not normally solvable, and define the corresponding image normalized operators.     

线性无量纲化方法对比及反向指标正向化方法

线性无量纲化方法的对比及反向指标的正向化方法都是综合评价的重要研究内容。从指标差异信息的角度,以TOPSIS、基于街区距离的TOPSIS和线性加权综合法为例,基于理论推导和实证分析对比了常用的线性无量纲化方法,并提出了两种反向指标正向化方法。研究发现,对于线性加权综合法和TOPSIS,不同线性无量纲化方法下同一指标归一化极差的不同是导致排序结果存在差异的关键因素;本文提出的反向指标正向化方法,不仅可以保证正向化前后TOPSIS、基于街区距离的TOPSIS的评价值不变,也可以实现反向指标正向化后线性加权综合法与基于街区距离的TOPSIS在排序目的上的等效性。最后,本文提出了线性无量纲化方法和反向指标正向化方法的应用建议。     

综合评价中指标的规范化研究

通过构造指标值的简单线性密度函数,将指标值的积分函数值作为规范化值,弥补现有的区间指标规范法的不足;效益指标、成本指标、和固定值指标的规范化都可用该方法进行处理.     

Surrogate constraint normalization for the set covering problem

The set covering problem (SCP) is central in a wide variety of practical applications for which finding good feasible solutions quickly (often in real-time) is crucial. Surrogate constraint normalization is a classical technique used to derive appropriate weights for surrogate constraint relaxations in mathematical programming. This framework remains the core of the most effective constructive heuristics for the solution of the SCP chiefly represented by the widely-used Chvátal method. This paper introduces a number of normalization rules and demonstrates their superiority to the classical Chvátal rule, especially when solving large scale and real-world instances. Directions for new advances on the creation of more elaborate normalization rules for surrogate heuristics are also provided.     

A formalization of Sambins's normalization for GL

Sambin [6] proved the normalization theorem (Hauptsatz) for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45.     

An operator approach for an oblique derivative boundary‐transmission problem

We consider a boundary‐transmission problem for the Helmholtz equation, in a Bessel potential space setting, which arises within the context of wave diffraction theory. The boundary under consideration consists of a strip, and certain conditions are assumed on it in the form of oblique derivatives. Operator theoretical methods are used to deal with the problem and, as a consequence, several convolution type operators are constructed and associated to the problem. At the end, the well‐posedness of the problem is shown for a range of non‐critical regularity orders of the Bessel potential spaces, which include the finite energy norm space. In addition, an operator normalization method is applied to the critical orders case. Copyright © 2004 John Wiley & Sons, Ltd.     

特殊函数模积分的一个统一公式

以各类特殊函数与S turm-L iouv ille本征方程之间关系为基础,导出了一个计算各类特殊函数模积分的一个统一公式,这样不仅避免了过去要对不同的特殊函数分别用不同方法计算模的积分,而且使模的计算本身得到较大简化.     

Extreme value modeling under power normalization

In this paper the mathematical modeling of extremes under power normalization is developed. An estimate of the shape parameter within the generalized extreme value distribution under power normalization is suggested. The statistical inference about the upper tail of a distribution function by using the power normalization is studied. Two models for generalized Pareto distribution under power normalization (GPDP) are given. Estimates for the shape and scale parameters within these GPDP’s are obtained. Finally, a simulation study illustrates and corroborates theoretical results.     

Convex mean curvature flow with a forcing term in direction of the position vector

A smooth, compact and strictly convex hypersurface evolving in ℝ ⁿ⁺¹ along its mean curvature vector plus a forcing term in the direction of its position vector is studied in this paper. We show that the convexity is preserving as the case of mean curvature flow, and the evolving convex hypersurfaces may shrink to a point in finite time if the forcing term is small, or exist for all time and expand to infinity if it is large enough. The flow can converge to a round sphere if the forcing term satisfies suitable conditions which will be given in the paper. Long-time existence and convergence of normalization of the flow are also investigated.     

Enforced stability of a simple eigenvalue in the continuous spectrum of a waveguide

It is shown in the paper that, under several orthogonality and normalization conditions and a proper choice of accessory parameters, a simple eigenvalue lying between thresholds of the continuous spectrum of the Dirichlet problem in a domain with a cylindrical outlet to infinity is not taken out from the spectrum by a small compact perturbation of the Helmholtz operator. The result is obtained by means of an asymptotic analysis of the augmented scattering matrix.     

The Geometry of Lightlike Hypersurfaces of the de Sitter Space

It is proved that the geometry of lightlike hypersurfaces of the de Sitter space Sn+11 is directly connected with the geometry of hypersurfaces of the conformal space Cn. This connection is applied for a construction of an invariant normalization and an invariant affine connection of lightlike hypersurfaces as well as for studying singularities of lightlike hypersurfaces.     

Simplicial normalization in the entire cyclic cohomology of Banach algebras

We show that the entire cyclic cohomology of Banach algebras defined by Connes has the simplicial normalization property. A key tool in the proof is the notion and properties of supertraces on the Cuntz algebraQ A. As an example of further applications of this technique, we give a proof of the homotopy invariance of entire cyclic cohomology.Address after 1st October 1995: Department of Mathematics, University of Exeter, North Park Road, Exeter EX4 4QE, U.K.     

Algebra over estimation algorithms: Normalization with respect to the interval

Algebra over estimation algorithms with addition, multiplication by a constant, and normalization operations is investigated. Normalization is interpreted as a linear (with respect to each row) transformation of the matrix of estimates that takes the maximum entry of the row to unity and the minimum entry to zero. The algebraic closure is described, a formula for its dimension is obtained, and correctness criteria are formulated.     

Lightlike Hypersurfaces on Manifolds Endowed with a Conformal Structure of Lorentzian Signature

The authors study the geometry of lightlike hypersurfaces on manifolds (M, c) endowed with a pseudoconformal structure c = CO(n – 1, 1) of Lorentzian signature. Such hypersurfaces are of interest in general relativity since they can be models of different types of physical horizons. On a lightlike hypersurface, the authors consider the fibration of isotropic geodesics and investigate their singular points and singular submanifolds. They construct a conformally invariant normalization of a lightlike hypersurface intrinsically connected with its geometry and investigate affine connections induced by this normalization. The authors also consider special classes of lightlike hypersurfaces. In particular, they investigate lightlike hypersurfaces for which the elements of the constructed normalization are integrable.     

血管抑素与内皮抑素作用下抗血管生成治疗对肿瘤微血管网与微环境影响的模拟研究

基于对血管抑素和内皮抑素作用下肿瘤抗血管生成及血液动力学的数学建模与数值模拟,研究抗血管生成治疗对肿瘤微血管网的影响及对微环境流动的改善作用．研究表明,抗血管生成治疗后:1） 新生血管的生长与分叉受到抑制,血管化程度降低;2） 血液灌注量减少,间质高压得到缓解,渗入宿主组织的间质液减少,负向跨壁流量大幅下降．     

A note on finite abelian covers

We prove that any abelian cover over a smooth variety is defined by some cyclic equations. From the defining equations, we compute explicitly the normalization, branch locus, ramification indices, global invariants, and the resolution of singularities. As an application, we construct a new algebraic surface which is the quotient of ball.     

基于广义平均的方向距离函数效率测量方法

在DEA数据标准化、基于弱有效和算术平均的方向距离函数模型效率测量方法的基础上,定义了一组基于强有效和广义平均的具备单位不变性的方向距函数效率测量方法,并进一步定义了基于强有效和广义平均的效率测量方法,克服了效率测量投入指标和产出指标作用不平衡的问题.     

校车安排问题

探讨如何安排校车运行使得教师和工作人员尽量满意的问题.首先建立动态规划模型和选址规划模型,求出合理站点位置及其总距离.然后用归一法定义满意度与距离的函数关系,考虑各区域人数,建立选址规划模型.得到合理站点位置和总满意度.之后建立双目标非线性规划模型,利用量纲分析法给出权重,以此求出合理乘车位置和满意度.最后对问题进行推...     

A Compact Law of the Iterated Logarithm for Random Vectors in the Generalized Domain of Attraction of the Multivariate Gaussian Law

For a sequence of independent identically distributed random vectors, we prove that the limiting cluster set of the appropriately operator normed partial sums is, with probability one, the closed unit euclidean ball. The result is proved under the hypotheses that the law of the random vectors belongs to the Generalized Domain of Attraction of the multivariate Gaussian law and satisfy a mild integrability condition. The two conditions together are still weaker than finite second normed moment and are necessary and sufficient.     

模糊拓扑环的模糊复范化

引入环上的模糊复范数概念 ,得到模糊拓扑环可模糊复范化的充分必要条件 ,从而揭示出模糊拓扑环与普通拓扑环所不同的一个新特点 .