前言

2010年10月19日至22日,第三届全国计算机数学学术会议在上海华东师范大学举行.来自中国科学院和全国各地高等院校共41个单位的150多名教师、研究生参加了本次学术会议.本次会议的主题包括数学机械化理论、算法和软件实现,符号与数值混合计算、可信     

计算代数方程组孤立奇异解的符号数值方法

求解代数方程组是计算代数几何的最基本问题之一,孤立奇异解的计算则是其中最具挑战性的课题之一,在科学与工程计算中有着广泛的应用,如机器人、计算机视觉、机器学习、人工智能、运筹学、密码学和控制论等.本文结合作者的研究成果,综述了符号数值方法在计算代数系统孤立奇异解、特别是近似奇异解精化与验证方面的研究进展,并对未来的研究方向提出了展望.     

余弦定理在四面体的一个推广

余弦定理　在△ABC中 ,设内角A ,B ,C的对边分别为a ,b ,c,则b2 =a2 c2 - 2accosB .( 1 )文 [1 ]给出了余弦定理在四面体的一个推广如下 :定理 1 　在任意四面体中 ,它的一个面的面积的平方 ,等于其他三个面的面积的平方和 ,减去这三个面中每个面的面积与它们所夹二面角的余弦的积的和的两部 .文 [2 ]给出了余弦定理在四边形的一个推广如下 :定理 2　设凸四边形ABCD的四边长依次为AB=a ,BC=b ,CD=c,DA =d ,两对角线长AC =p,BD =q ,则(pq) 2 =(ac) 2 (bd) 2 -2abcdcos(B D)(2 )本文给出余弦定理在四面体的一个有别于定理 1的推…     

蒙特卡罗模拟法在边坡可靠性分析中的运用

江永红．蒙特卡罗模拟法在边坡可靠性分析中的运用．数理统计与管理，１９９８，１７（１），１３～１６．可靠性分析是边坡工程及滑坡治理中的重要研究课题。鉴于决定边坡可靠性的诸变量多为随机变量，本文论述了用蒙特卡罗模拟法计算边坡可靠度的基本原理，对模拟次数确定、计算误差估计等问题提出了解决办法，并结合具体运用说明该方法的实施步骤     

积分通用计划下零售商的联盟与利润分配

会员积分策略如今已经成为零售商普遍的促销手段,许多行业的零售商形成同业联盟或异业联盟,利用积分通用计划来提高业绩。在积分通用计划的背景下,考虑到零售商各自的促销与联盟之间零售商的竞争,本文旨在研究同业联盟零售商之间的积分转换比例与促销水平决策问题,使联盟总利润最大化,并在此基础上利用积分成本共担机制解决集中决策下利润分配不合理的问题。通过数值算例验证了所得结论的重要性,为零售商进行联盟合作伙伴的选择提供了参考意见。     

基于稀疏表示的可见光遥感图像飞机检测算法

为解决当前遥感图像飞机检测方法在复杂背景下准确率低,实现旋转不变困难的问题,结合图像稀疏表示原理,提出一种基于稀疏表示的飞机检测算法.该算法首先利用飞机是刚性目标且具有明显几何外观的特点,构建飞机几何原子库;然后建立飞机轮廓几何逼近的最优化方程,在稀疏表示原理框架下,得到飞机轮廓最优的几何部件组合;最后,以星型结构的部件模型为框架,生成待检测图像的目标显著图并根据显著图定位出飞机.实验结果表明,稀疏表示方法能自适应选取飞机部件,部件数目较少且不易受光照、颜色和复杂背景的影响.与现有算法相比,本文算法准确率达90%以上,检测速度有较大的提高.     

空位对纤锌矿型AlN自发极化影响的最大局域化Wannier函数方法研究

采用基于密度泛函理论的第一性原理平面波超软赝势方法,计算了纤锌矿型AlN中引入不同电荷态的N空位和Al空位时结构中最大局域化Wannier函数,并根据Wannier函数的空间分布及空间分布的几何中心位置,对空位引起的晶体电子结构变化及[0001],[ˉ1010],[ˉ12ˉ10]晶向上的自发极化进行了研究.结果表明,利用最大局域化Wannier函数分析电子结构具有直观的特点,清晰地表明N—Al键具有较强的离子性.研究发现,N空位结构中悬挂键上电荷向空位处转移,而Al空位结构中悬挂键上电荷则远离空位,沿悬挂键方向移动到N原子一侧.同时发现,空位的引入破坏了[ˉ1010],[ˉ12ˉ10]晶向上的中心对称结构,产生了极化,且极化强度随着空位电荷态的增加而增大.在[0001]晶向上,随着N空位电荷态的增加,空位周围电子结构发生了剧烈变化,使得自发极化发生了逆转,极化强度随着电荷态的增加而增大;而在Al空位中,随着电荷态的增加,自发极化沿原方向显著增加,但没有发生极化反转.     

Electron Dynamics of Atoms in Parallel Electric and Magnetic Fields

Through an analysis of the nearest neighbor level fields, we investigate the evolution of the electron spacing statistics for atoms in parallel electric and magnetic dynamics as electric field strength increases. In the ＇inter-l mixing＇ predominant region, the electron shows complex dynamics while in the ＇inter-n mixing＇ predominant region, its dynamics behaves in a relatively stable way and the characteristic quantity ξ shows a slight oscillation. Comparing the dynamics for hydrogen and barium, we find that the core effect makes the main contribution to the chaotic behavior in non-hydrogen atoms.     

Trends in ultrashort and ultrahigh power laser pulses based on optical parametric chirped pulse amplification

Since the proof-of-principle demonstration of optical parametric amplification to efficiently amplify chirped laser pulses in 1992,optical parametric chirped pulse amplification(OPCPA)became the most promising method for the amplification of broadband optical pulses.In the meantime,we are witnessing an exciting progress in the development of powerful and ultrashort pulse laser systems that employ chirped pulse parametric amplifiers.The output power and pulse duration of these systems have ranged from a few gigawatts to hundreds of terawatts with a potential of tens of petawatts power level.Meanwhile,the output pulse duration based on optical parametric amplification has entered the range of fewoptical-cycle field.In this paper,we overview the basic principles,trends in development,and current state of the ultrashort and laser systems based on OPCPA,respectively.