排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
讨论了形如f(x,trans_1(x),…,trans_n(x))0的超越函数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具完成最后的工作.运用Maple实现了上述算法,算法对常见超越函数多项式不等式十分高效,并且可以输出"可读"的证明过程. 相似文献
2.
本文阐明由三维薄弹性体的渐近分析导出各级精度板壳理论的基本方法。将多尺度分析用于板的内部区域和边界层区域导出应力,应变和位移等物理量的不同的无量纲小厚度参数ε的渐近展开式。与工程的方法不同,推导仅基于ε→0的渐近分析,对板的变形不做任何假定。给出正交异性板的平面应变渐近展开的具体列式,仅有一些常数待定。结果表明,内域解渐近级数的首项正是熟知的Kirchhoff板理论解。本文为内域解和边界层解的渐近匹配,从而正确表述圣维南原理并用以建立各级渐近解的边界条件进而求解的研究做好了准备。 相似文献
3.
传统的K-modes算法采用了简单的0-1匹配来计算属性间的相异度,后改进为频率计算相异度,但是他们都忽略了各属性间的差异。本文研究了基于粗糙集和知识粒度的属性加权算法,该算法既克服了属性的冗余问题又综合考虑了各属性间的差异。在此基础上,通过对传统K-modes算法进行属性加权来改进K-modes算法中忽略的属性间差异问题。通过与其他的K-Modes算法进行实验比较,结果表明新的算法更加有效的。 相似文献
4.
IIntroductlonAs one ofwell-kn。mean ield models for spin glasses,the SK(Sherrin红on-Kirkpatri山)model has been studied by many authors恤叫2]nd[81,andthe references therein).Particu-larl儿丁劝a以andls]repm眈* some quite lmerestingresults on It in his one-hour Invited talk tthe International Congress ofMathem航icians held t Berlin in August,ig98.In mathematical terms;the SK-Model Is the study of a cert。n random measure on Z。:={一1;1}”for a natural。mber N.Z。Is called configu… 相似文献
5.
6.
7.
<正>1引言渗流问题在水文、土壤、医学等许多研究领域被探讨.经典的整数阶渗透方程是在渗流连续的假设条件下建立的,但是这些假设在实际渗流中一般是不成立的,从而发展出能反映实际情况的分数阶渗透方程[1-3].最近几年在国际上掀起了一股求解分数阶微分方程研究热潮.Liu等人[4]通过变量变换得到分数阶对流色散方程的解;Meerschaert等人[5]提出空间分数阶微分方程的有 相似文献
8.
本文讨论了具有交易成本与时变波动的最优投资问题。在此模型中,当风险溢价与方差成线性关系时,最优策略与波动水平无关。 相似文献
9.
10.
本文第一次确定了普遍意义下的F-P干涉方程和光谱灵敏度方程,并采用剖面展开模型,确立了FFPI光学空间的数学表达式和端面特性。引入缺陷参数x和FFPI的本征参量ν来分别表征FFPI的径向不均匀性和其对FFPI各级次的影响。同时,详尽地分析了FFPI中轴向和径向缺陷对干涉条纹的影响。基于以上分析,最后确立了FFPI可能的结构。 相似文献