FORMATION OF SINGULARITIES FOR A KIND OF QUASILINEAR NON－STRICTLY HYPERBOLIC SYSTEM

The author gets a blow-up result of C1 solution to the Cauchy problem for a first order quasilinear non-strictly hyperbolic system in one space dimension.     

Banach空间二阶非线性微分方程的弱Carathéodory解

本文定义了二阶微分方程的弱 Carathéodory解 ,在不涉及紧型条件的情形下 ,直接用迭代法证明了 Banach空间二阶非线性常微分方程两点边值问题存在唯一解 ,并给出逼近解迭代序列的误差估计 ,对周期边值问题得到类似的结果     

超尺寸物品装箱问题及其算法

本文探讨一类新装箱问题-超尺寸物品装箱问题。针对实际解决该问题的两涉法，我们提出了一个评价效率更高的目标函数，证明了在此目标函数下两步法的渐近最坏比不小于2，并给出了渐近量坏比与拆分次数的关系。最后本文提出了一种不同于两步法的新在线算法MA，证明了在新目标函数下其渐近最坏比不超过7/4。     

Banach空间中优化问题的最优性条件

首先在Contingent切锥意义下界定了Banach空间中非空集合的伪切锥和伪凸性的概念，并讨论了相应的性质，然后针对可微优化问题，在广义凸性假设下，建立了最优性条件。     

浅谈数学问题的表征形式

表征是信息在人脑中的呈现和记载的方式 .根据信息加工的观点 ,当人对外界信息进行加工(输入 ,编码 ,转换 ,存储和提取等 )时 ,这些信息在头脑中得以表征 .表征是客观事物的反映 ,又是被加工的客体 .同一事物 ,其表征形式不同 ,对它的加工也不同 .知识的表征是现代认知心理学的一个核心概念 .著名的认知心理学家安德森认为 ,“通过以多种方式应用我们从自己的经验中获得的知识 ,认知才得以进步 .理解知识如何应用的前提是理解它如何在人脑中表征的 .”西蒙也曾指出 ,“表征是问题解决的一个中心环节 ,它说明问题在头脑中是如何呈现的 ,如何…     

用"更相减损术"求最大公因式

“更相减损术”是我国古代数学中求二整数最大公因数的方法 .古典名著《九章算术》卷一在谈到分数分子分母约去公因数有“置分母子之数 ,以少减多 ,更相减损求其等也 .以等数约之 .”这里的“等数”就是所说分母分子的最大公因数 .所谓“更相减损求其等”就是置两个整数 ,以少减多 ,反复相减 ,直到二数相等就得到它们的最大公因数 .例如 ,求 91 ,49的最大公因数(91 ,49) .我们有(91 ,49) =(91 -49,49) =(4 2 ,49)=(4 2 ,7) =…… =(7,7) =7刘徽说 :“其所以相减者 ,皆等数之重叠 .”数91 ,49都是等数 7的重叠 .对于初学者来说 ,“更相减损求…     

拟线性波动方程耦合组Cauchy问题的整体解存在定理

对于相对场相互作用系统〔‘l口切=F(切,吵,刀p,D必口砂=G(切,劝,刀甲,D妇t二0:(甲,叻)“(蜜:,舀2),(沪‘,功.)二(叮:,斤2)声..t‘苦.t 、产 ︸l 了、其中场变量伽,初为(t,x)任R+xR”的未知函数,F、G、古:、条、粉:、刀:为已知函数,口=a‘一△,D=(J.,a二:,…,a二。),有 定理若存在常数v。>o,使当1入】(v。时,)F{二o(囚’‘,),【Gl=o(囚.”),入==(入。,入:,…,入。,#。,拼,,…,拼,),F、G〔C’(R,,+舍),且八>2(a+1)la,a》z,对于任何正整数50>。/2(a+i)+i及s》〔an/(a+1)〕+s。+1,存在d>o,E>o,使当君:、么〔H,+’(R”)门研.+’,,“+”…     

工件集合上的某种全序及其应用

对于由工时与工期所确定的工件的全体,本文定义了一种全序,该全序是SPT序(短工时序)与EDD序(早工期序)的结合,且结合方式依赖于某个时间参数。本文分析了该全序与有关延误的相邻交换条件之联系,从而给出总延误问题的一个近似算法,并证明它可以在多项式时间内得到后移邻域所相应的局部解。     

可集成量子计算中的非近邻相互作用

我们研究一维自旋1／2链中的非近邻相互作用的影响。和近邻相互作用相比，非近邻的相互作用强度一般会较弱，因而在以前的许多方案中，这种长程的相互作用被忽略了。本文首先估计由被忽略的非近邻相互作用所引起的量子逻辑门的误差。我们得到的结果是，这项误差不仅和非近邻相互作用的强度有关，更依赖于一维自旋链所包含的粒子数，忽略非近邻相互作用有可能会对可集成量子计算造成影响。我们进一步研究如何消除或者压缩这种长程的相互作用所造成的影响。我们提出了一个量子计算方案。在这种方案中，次近邻的相互作用的影响被完全消除，从而我们可以使量子逻辑门的精度得以提高。我们也讨论了这种方案在超导量子计算体系里面的物理实现问题。