一些组合地图新算法的实现

本文主要讨论组合地图列举问题.刘的一部专著中提出了一个判定两个地图是否同构的算法.该算法的时间复杂度为O(m2),其中m为下图的规模.在此基础上,本文给出一个用于地图列举以及进而计算任意连通下图的地图亏格分布的通用算法.本文所得结果比之前文献中所给结果更优.     

Propagation of traveling wave solutions for nonlinear evolution equation through the implementation of the extended modi ed direct algebraic method

In this work,di erent kinds of traveling wave solutions and uncategorized soliton wave solutions are obtained in a three dimensional(3-D)nonlinear evolution equations(NEEs)through the implementation of the modi ed extended direct algebraic method.Bright-singular and dark-singular combo solitons,Jacobi's elliptic functions,Weierstrass elliptic functions,constant wave solutions and so on are attained beside their existing conditions.Physical interpretation of the solutions to the 3-D modi ed KdV-Zakharov-Kuznetsov equation are also given.     

Sign-based Test for Mean Vector in High-dimensional and Sparse Settings

In this article, we introduce a robust sparse test statistic which is based on the maximum type statistic. Both the limiting null distribution of the test statistic and the power of the test are analysed. It is shown that the test is particularly powerful against sparse alternatives. Numerical studies are carried out to examine the numerical performance of the test and to compare it with other tests available in the literature. The numerical results show that the test proposed significantly outperforms those tests in a range of settings, especially for sparse alternatives.     

Multiple Positive Solutions for One Dimensional Third Order p-Laplacian Equations with Integral Boundary Conditions

In this paper,we consider the one dimensional third order p-Laplacian equation■u^′′(0)=0.By using kernel functions and the Avery-Peterson fixed point theorem,we establish the existence of at least three positive solutions.     

中国数学会举行第十次全国代表大会

中国数学会第十次全国代表大会暨2007学术年会11月2日在北京航空航天大学开幕,这是中国数学会历史上规模最大的一次全国代表大会.教育部副部长吴启迪、中国科协书记处书记冯长根、北京航空航天大学校长李未及中科院、科技部等单位的相关领导、嘉宾出席开幕式.     

Bayesian Approach for Recovering Piecewise Constant Viscoelasticity from MRE Data

This paper deals with an inverse problem for recovering the piecewise constant viscoelasticity of a living body from MRE(Magnetic Resonance Elastography)data.Based on a scalar partial differential equation whose solution can approximately simulate MRE data,our inverse coefficient problem is considered as a statistical inverse problem of reconstructing the posterior distribution of unknown viscoelastic modulus.For sampling this distribution,one usually can use the Metropolis-Hastings Markov chain Monte Carlo(MHMCMC)algorithm.However,without an appropriate"proposal"distribution given artificially,the MH-MCMC algorithm is hard to draw samples efficiently.To avoid this,a so-called slice sampling algorithm is introduced in this paper and applied for solving our problem.The performance of these statistical inversion algorithms is numerically tested basing on simulated data.     

Solitary Wave Solutions of Delayed Coupled Higgs Field Equation

This paper is devoted to the study of the solitary wave solutions for the delayed coupled Higgs field equation{vtt-uxx-αu+βf*u|u|²-2uv-τu(|u|²)x=0 vtt+vxx-β(|u|^x)xx=0.We first establish the existence of solitary wave solutions for the corresponding equation without delay and perturbation by using the Hamiltonian system method.Then we consider the persistence of solitary wave solutions of the delayed coupled Higgs field equation by using the method of dynamical system,especially the geometric singular perturbation theory,invariant manifold theory and Fredholm theory.According to the relationship between solitary wave and homoclinic orbit,the coupled Higgs field equation is transformed into the ordinary differential equations with fast variables by using the variable substitution.It is proved that the equations with perturbation also possess homoclinic orbit,and thus we obtain the existence of solitary wave solutions of the delayed coupled Higgs field equation.     

RIEMANN-HILBERT PROBLEMS AND SOLITON SOLUTIONS OF NONLOCAL REVERSE-TIME NLS HIERARCHIES

The paper aims at establishing Riemann-Hilbert problems and presenting soliton solutions for nonlocal reverse-time nonlinear Schrodinger(NLS) hierarchies associated with higher-order matrix spectral problems.The Sokhotski-Plemelj formula is used to transform the Riemann-Hilbert problems into Gelfand-Levitan-Marchenko type integral equations.A new formulation of solutions to special Riemann-Hilbert problems with the identity jump matrix,corresponding to the reflectionless inverse scattering transforms,is proposed and applied to construction of soliton solutions to each system in the considered nonlocal reversetime NLS hierarchies.     

RIEMANN-HILBERT PROBLEMS AND SOLITON SOLUTIONS OF NONLOCAL REVERSE-TIME NLS HIERARCHIES

The paper aims at establishing Riemann-Hilbert problems and presenting soliton solutions for nonlocal reverse-time nonlinear Schrodinger(NLS) hierarchies associated with higher-order matrix spectral problems.The Sokhotski-Plemelj formula is used to transform the Riemann-Hilbert problems into Gelfand-Levitan-Marchenko type integral equations.A new formulation of solutions to special Riemann-Hilbert problems with the identity jump matrix,corresponding to the reflectionless inverse scattering transforms,is proposed and applied to construction of soliton solutions to each system in the considered nonlocal reversetime NLS hierarchies.     

针对一维空间分数阶扩散方程的一个新的最大模近似公式

Based on the maximum principle,the difference formula defined on a non-integral node is given to approximate the fractional Riemann-Liouville derivative and the finite difference scheme for solving one-dimensional space fractional diffusion equations(FDEs) with variable coefficients is presented.Furthermore,using the maximum principle the scheme is proved unconditionally stable and secondorder accuracy in spatial grid size.Several numerical examples are given to verify the efficiency of the scheme.     

两类带有确定潜伏期的SEIS传染病模型的分析

通过研究两类带有确定潜伏期的SEIS传染病模型,发现对种群的常数输入和指数输入会使疾病的传播过程产生本质的差异．对于带有常数输入的情形,找到了地方病平衡点存在及局部渐近稳定的阈值,证明了地方病平衡点存在时一定局部渐近稳定,并且疾病一致持续存在．对于带有指数输入的情形,发现地方病平衡点当潜伏期充分小时是局部渐近稳定的,当潜伏期充分大时是不稳定的．     

Chaotic synchronization with filter based on wavelet transformation

A kind of chaotic synchronization method is presented in the paper. In the transmitter, part signals are transformed by wavelet and the detail information is removed. In the receiver, the component with low frequency is reconstructed and discrete feedback is used, we show that synchronization of two identical structure chaotic systems is attained. The effect of feedback on chaotic synchronization is discussed. Using the synchronous method, the transmitting signal is transported in compressible way, system resource is saved, the component with high frequency is filtered and the effect of disturbance on synchronization is reduced. The synchronization method is illustrated by numerical simulation experiment.     

Logic optimality for multi-objective optimization

Pareto dominance is one of the most basic concepts in multi-objective optimization. However, it is inefficient when the number of objectives is large because in this case it leads to an unmanageable number of Pareto solutions. In order to solve this problem, a new concept of logic dominance is defined by considering the number of improved objectives and the quantity of improvement simultaneously, where probabilistic logic is applied to measure the quantity of improvement. Based on logic dominance, the corresponding logic nondominated solution is defined as a feasible solution which is not dominated by other ones based on this new relationship, and it is proved that each logic nondominated solution is also a Pareto solution. Essentially, logic dominance is an extension of Pareto dominance. Since there are already several extensions for Pareto dominance, some comparisons are given in terms of numerical examples, which indicates that logic dominance is more efficient. As an application of logic dominance, a house choice problem with five objectives is considered.     

Borel measures in consonant spaces

A topology on a set X is called consonant if the Scott topology of the lattice is compactly generated; equivalently, if the upper Kuratowski topology and the co-compact topology on closed sets of X coincide. It is proved that every completely regular consonant space is a Prohorov space, and that every first countable regular consonant space is hereditarily Baire. If X is metrizable separable and co-analytic, then X is consonant if and only if X is Polish. Finally, we prove that every pseudocompact topological group which is consonant is compact. Several problems of Dolecki, Greco and Lechicki, of Nogura and Shakmatov, are solved.     

油田注水系统拓扑布局优化的混合遗传算法

以投资最小为目标函数,建立了注水系统拓扑布局优化数学模型.根据模型特点,将优化问题分为两层,分别采用遗传算法和非线性优化方法进行求解.并对遗传算法的操作过程进行了改进,调整了适应函数,改进了交叉和变异操作,结合了模拟退火算法,在操作过程中使约束条件得到满足,减少了不可行解的产生,使遗传算法的优化性能得到了提高.优化算例说明了该方法的有效性.     

An analysis of a ‘Sunday Supplement’ problem

A problem posed in an influential textbook is analysed in more detail than is given there. The textbook answer to the problem has been represented as counterintuitive, as is probably the case; however, it is here shown that it depends critically on an assumption. If this is relaxed, then a wide variety of possible answers is available. All the same, if the special assumption made is replaced by one of a number of more realistic ones, then the order of magnitude of the approximation given by the author of the textbook is preserved.     

不确定条件下双目标组批生产的交货期设置研究

交货期是调度方法的函数,因而具有不确定性.研究变批量、变批次、变生产能力下,单阶段、双目标有条件相容组批的交货期设置问题,将它转化为订单投放策略和调度模式研究.建立了一个基于目标的双目标订单投放策略数学模型.采用目标序列优先方法进行双目标求解,用两种调度模式求出区间值,进行最优交货期逼近.模式1:松弛掉产品加工约束条件,基于负荷考虑、给出离散生产模式下订单完工率最大的订单排序算法,算法综合考虑了任务紧急程度、可调度性、重要度和流程时间最短四个方面,得到区间的一个端点.模式2是有条件相容的启发式组批调度算法,即通过聚类计算将订单安排问题转化为多队列调度问题,将新来订单的投放转化为某个队列的插单和批量分割问题,不同队列中批的投产顺序由批中优先级最高的订单决定,并在能力约束下进行批量分割计算,得到区间的另一个端点,结合流程可靠性求出区间.实例证明,模式2的交货期设置小,订单完工率和生产率高.     

弱空间式Locale

空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭．本文引入弱空间式locale,证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴,且对locale秉积封闭．还证明了一个locale A是空间式的当且仅当它的枝映射localeN(A)是弱空间式的;一个空问式locale的每一个子locale都是空间式的当且仅当它的每一个子locale是弱空间式的．最后,证明了弱空间式性在定向函子下保持不变．     

覆盖下近似算子的拓扑性质

在不限制U为有限论域的情况下,研究了覆盖下近似算子XL和CL的拓扑性质。证明了覆盖下近似算子XL是内部算子,而且由XL生成的拓扑TXL为包含由覆盖C本身作为子基生成的拓扑TC的最小Alexandrov拓扑。特别地,当U为有限论域时,TXL=TC.然而,覆盖下近似算子CL不是内部算子。当覆盖C为某拓扑的基时,CL是内部算子,且此时由CL生成的拓扑TCL与TC是同一个拓扑。若进一步要求U为有限论域,则TCL=TXL=TC,进而CL=XL.     

Banach空间有界线性算子强连续双半群

本文在Ｂａｎａｃｈ空间上研究单参数有界线性算子族－强连续双半群。