A Degeneracy Criterion for A∞-Structures

In the paper conditions are found under which the A-structure on the homology of a differential algebra degenerates. Examples of such algebras are given. In particular, it is shown that the A-algebra structure on the Milnor coalgebra degenerates, and that if the cohomology of a topological space is a polynomial algebra, then the A-algebra structure on it degenerates.     

A Sufficient Condition for Mi-groups

In this note, we give a sufficient condition for Mi-group. In particular, we show that if a finite group G is the semidirect product of two subgroups with coprime orders, in which one is a Sylow tower group and its Sylow subgroups are all abelian, and the other is an Mi-group and all of its proper subgroups are also Mi-groups, then G is an Mi-group.     

A Note for one of Inequality

In this paper, we find the largest contant C such that sin2 x xtanx > 2x2 cx5tan x 0相似文献   

A fiducial argument for generalized p-value

This paper provides a general method for constructing generalized p-value via the fiducial inference.Furthermore,the power properties of the generalized test are discussed.As illustrations, the two-parameter exponential distribution and unbalanced two-fold nested design are researched.It is shown that the resulting generalized p-values are of good frequency property.     

A Mathematical Model for Economic Risk

ＡＭａｔｈｅｍａｔｉｃａｌＭｏｄｅｌｆｏｒＥｃｏｎｏｍｉｃＲｉｓｋ￥ＸｕＺｅｇｕｉ（ＨｅｎａｎＩｎｓｔｉｔｕｔｅｏｆＦｉｎａｎｃｅａｎｄＥｃｏｎｏｍｉｃｓ，４５０００２）Ａｂｓｔｒａｃｔ：Ｂａｓｅｄｏｎｔｈｅａｎａｌｙｓｉｓｆｏｒｅｃｏｎｏｍｉｃａｃ...     

A Special Decomposition for Symmetric Matrix

Theorem Suppose K=(k_ij)_n×n is a symmetrical matrix,then K can be decomposedK=-AHA~T,where A contains only elements0,1 and-1;H is a diagonal matrix.     

A Spirallikeness Condition for Analytic Functions

Letα,β,γandρbe real,|α|<π/2,β>0,0≤ρ<1,and letf(z)=z+sum from n=2 to∞ a_nz~nbe analytic in the unit disc E={z:|z|<1}.Futher letJ(α,β,γ,ρ,f(z))=(e~ia(zf’(z)/f(z))-ρcosα)~1-2γ[(e~ia(zf’(z)/f(z)-ρcosα)~2+βcosae~ia(zf’(z)/f(z)(1+zf”(z)/f’(z)-zf’(z)/f(z))]~γ     

A Continuation Algorithm for Max-Cut Problem

A continuation algorithm for the solution of max-cut problems is proposed in this paper. Unlike the available semi-definite relaxation, a max-cut problem is converted into a continuous nonlinear programming by employing NCP functions, and the resulting nonlinear programming problem is then solved by using the augmented Lagrange penalty function method. The convergence property of the proposed algorithm is studied. Numerical experiments and comparisons with the Geomeans and Williamson randomized algorithm made on some max-cut test problems show that the algorithm generates satisfactory solutions for all the test problems with much less computation costs.     

A Judging Method for Normal Family

ＡＪｕｄｇｉｎｇＭｅｔｈｏｄｆｏｒＮｏｒｍａｌＦａｍｉｌｙ￥ＺｈｕＺｈｅｎｘｉｎｇ（Ｄｅｐｔ．ｏｆＳｙｓｔｅｍＳｃｉｅｎｃｅａｎｄＭａｔｈ．，ＺｈｅｎｇｚｈｏｕＵｎｉｖｅｒｓｉｔｙ，Ｚｈｅｎｇｚｈｏｕ，４５００５２）Ａｂｓｔｒａｃｔ：Ｉｎ１９６４，Ｈ...     

A Radical Theory for Additive Categories

In[1], Liu Shaoxue investigated the structure of the additive categories. Nowwe give consideration to the weakly additive category A=∪_αA_β, in which thering _αA_α need not contains unity element. In this paper, we construct radicals of weakly additive categories using twomethods, one by module-theoretic characterization and the other by generalizationof radical properties of rings. In consequence, we get the known results of theradicals of additive categories. We also define some new radicals by means of theradical properties of rings. This is the application of the radical-theoretic method     

A bound for Wilson''''s general theorem

Given any set K of positive integers and positive integer λ, let c(K,λ) denote the smallest integer such that v∈B(K,λ) for every integer v≥c(K,λ) that satisfies the congruences λv(v-1)≡0 (mod β(K) and λ(v-1)≡0 (mod α(K)). Let K0 be an equivalent set of K, k and k* be the smallest and the largest integers in K0. We prove that c(K,λ)≤exp exp{Q0}Qo=max{2(2p(ko)2-k2kk)p(ko)4,(Kk242y-k-2)(y2)}, whereand y=k*+k(k-1)+1.     

A Coalitional Power Value for Set Games

We propose the concept of a coalitional power value for set games, and present its axiomatic characterization of global efficiency, equal treatment property and coalitional power monotonicity. The coalitional power value is a generalization of the marginalistic value introduced by Aarts et al.     

A Cantor-Bernstein Theorem for σ-Complete MV-Algebras

The Cantor-Bernstein theorem was extended to -complete boolean algebras by Sikorski and Tarski. Chang's MV-algebras are a nontrivial generalization of boolean algebras: they stand to the infinite-valued calculus of Lukasiewicz as boolean algebras stand to the classical two-valued calculus. In this paper we further generalize the Cantor-Bernstein theorem to -complete MV-algebras, and compare it to a related result proved by Jakubík for certain complete MV-algebras.     

A New Method for Computing Reproducing Kernels

§１．ＩｎｔｒｏｄｕｃｔｉｏｎＡｓｙｓｔｅｍａｔｉｃｒｅｓｅａｒｃｈｔｏｔｈｅｔｈｅｏｒｙｏｆｒｅｐｒｏｄｕｃｉｎｇｋｅｒｎｅｌｗａｓｆｉｒｓｔｍａｄｅｂｙＡｒｏｎｓｚａｊｎａｎｄＢｅｒｇｍａｎ［１］．Ｔｈｅｙｇａｖｅａｓｕｆｉｃｉｅｎｔａｎｄｎｅｃ...     

A new coupled model for alloy solidification

A new coupled model in the binary alloy solidification has been developed. The model is based on the cellular automaton (CA) technique to calculate the evolution of the interface governed by temperature, solute diffusion and Gibbs-Thomson effect. The diffusion equation of temperature with the release of latent heat on the solid/liquid (S/L) interface is valid in the entire domain. The temperature diffusion without the release of latent heat and solute diffusion are solved in the entire domain. In the interface cells, the     

A Strong Approximation Theorem for Quasi-associated Sequences

By combining the Csorgo-Révész quantile transform methods and the Skorohod-Strassen martingale embedding theorem, we prove a strong approximation theorem for quasi-associated random variables with mean zero and finite （2 ＋ δ）th moment under polynomial decay rate. As a consequence, the decay rate for a strong approximation theorem of associated sequences of Yu （1996） is weakened.     

A new type assignment for λ-terms

In the present paper we propose a new type assignment for λ-terms whose motivation is to introduce a system with simple inferential rules to study termination (i.e. the property of having a normal form) of λ-terms. The main results that will be proved in this paper are:

1. all λ-terms in normal form possess a type,
2. all λ-terms which possess a type reduce to normal form.

     

A Two-Level Method for Nonsymmetric Eigenvalue Problems

A two-level discretization method for eigenvalue problems is studied. Compared to the standard Galerkin finite element discretization technique performed on a fine grid this method discretizes the eigenvalue problem on a coarse grid and obtains an improved eigenvector (eigenvalue) approximation by solving only a linear problem on the fine grid (or two linear problems for the case of eigenvalue approximation of nonsymmetric problems). The improved solution has the asymptotic accuracy of the Galerkin discretization solution. The link between the method and the iterated Galerkin method is established. Error estimates for the general nonsymmetric case are derived.     

A Simple Multistart Algorithm for Global Optimization

1.IntroductionConsidertheunconstrainedoptimizationproblem:findx*suchthatf(x*)~caf(x),(1)wheref(x)isanonlinearfllnctiondefinedonW"andXCR".Ourobjectiveistofindtheglobalminimizeroff(x)inthefeasibleset.Withoutassuminganyconditionsonf(x)globaloptimizationproblemsareunsolvableinthefollowingsensefnoalgorithmcanbeguaranteedtofindaglobalminimizerofageneralnonlinearfunctionwithinfinitelymanyiterations.Supposethatanalgorithmappliedtoanonlinearfunctionf(x)producesiteratesxlandterminatesafterKiterations.…     

A Shrinkage Estimator for Combination of Bioassays

A shrinkage estimator and a maximum likelihood estimator are proposed in this paper for combination of bioassays. The shrinkage estimator is obtained in closed form which incorporates prior information just on the common log relative potency after the homogeneity test for combination of bioassays is accepted. It is a practical improvement over other estimators which require iterative procedure to obtain the estimator for the relative potency. A real data is also used to show the superiorities for the newly-proposed procedures.