【摘 要】
：
本文从“简单逼近”角度去讨论Hilbert提出的多元函数简单表示问题。我们证明,应用广泛的一类可结合函数可以用单个一无单调函数与加法来近似表示,“逼近”到任意事先指定的精度。从而在实际应用中不少多维问题可近似地归结为一维问题。从纯数学看,结合Arnold等人工作,这就是说Archimedes三角模在全体连续三角模空间中是稠密的。
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
本文从“简单逼近”角度去讨论Hilbert提出的多元函数简单表示问题。我们证明,应用广泛的一类可结合函数可以用单个一无单调函数与加法来近似表示,“逼近”到任意事先指定的精度。从而在实际应用中不少多维问题可近似地归结为一维问题。从纯数学看,结合Arnold等人工作,这就是说Archimedes三角模在全体连续三角模空间中是稠密的。
其他文献
本文给出了最近在上海光学精密机械研究所LF12高功率激光装置上用KCl和CaF_2真板状靶进行的类锂K和Ca离子X射线激光增益实验的结果。将要给出的还有复合X射线激光发射的时间过程和实验所用X光底片的相对标定结果。
本文讨论反馈小时滞对镇定的影响。证明了在反馈小时滞下,抛物系统的(边界)镇定是稳健的,但无限维保守系统的对称镇定是不稳健的。例加,波方程常用的边界镇定在反馈小时滞下是不稳健的。这回答了“控制论的未来方向:数学展望”(美国SIAM专家组报告,philadelphia,1988)中提到的一个问题。
本文用流动显示方法细致地观察了等速上仰翼型的非定常流动现象,通过多种布置产生氢气泡鉑丝的方法,清楚地显示出了等速上仰翼型的流动结构。研究了前缘涡、剪切涡和尾部流动结构随着时间的演变及它们之间的相互作用。还研究了转速对流动结构的影响:在不同的转速变化范围内,会出现不同的流动结构。并结合旋涡动力学理论,探讨了翼型上仰过程中高升力产生的原因和动态失速机理。
本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密
本文基于1989年3月超级大活动区AR 53 95中几个与活动区电流密切相关的观测事实,认为导致耀斑发生的直接关键因素在于活动区电流的增强。在这种模式下,分析了耀斑现象的贮能过程,井建立了活动区电流暗条的运动方程和能量方程。根据该活动区的观测数据,从理论上计算和讨论了由活动区电流增强导致耀斑出现的可能性。所得结果与观测基本相符。
本文研究弹性波反演的数值解法,文中通过不断构造虚拟震源,变换优化解法的目标函数,使得对任何初始背景计算都能收敛于真实解;该方法不仅解次了优化法的收敛问题,还通过改变目标函数曲面的性态,提高了收敛速度。
本文改进了Thistlewaite, MoRobbie和Meyer的结果,证明了在命题相关逻辑LR的Gentzen型形式系统L_5中,若多重集α是L_5~-可证的,则存在α的L_5-证明τ具有Curry性质,从而简化了L_5可判定性的证明。并指出:在具体的机器实现中使用Curry性质,提高了L_5证明搜索的LR的自动定理证明的剪枝效率。
本文提出了用Monte Carlo模拟计算晶体中析出相X射线发射强度的理论和方法。作为实例,对不同加速电压下Au,Cu基体中Cr—Fe—Ni合金析出相的X射线发射强度作了计算,并得出一些规律。
本文利用一个新的鲁棒性指标,给出了一个全局收敛的用状态反馈配置鲁棒极点的算法,并证明了收敛点至少是局部最优解。
本文证明了对任一超越整函数f,微分多项式f~K Q[f]+P[f]在不含有P[f]零点的可数个圆盘并集之外有无穷个零点。J. M. Anderson等人提出的两个问题是本文结论的两种很特殊的情况。