1) holomorphic functions family
Miranda定则
1.
We can get a new rule of asserting a holomorphic functions family to be a normal family from the method used in the proof of Miranda normal rule,the estimation of the m in Qinglai Xiong s thesis and some nature of holomorphic functions family.
从Miranda定则的证明方法,熊庆来的关于m(f~(k)/f)的估计[2]和全纯函数族的一些性质,得到一个全纯函数族的正规定则。
2) Poincare Miranda theorem
Poincare-Miranda定理
3) Miranda theorem
Miranda定理
1.
Using Interval slope of objective function and the Miranda theorem,an interval method test for linear complementarity problems is proposed.
利用目标函数的区间斜量,以Miranda定理为理论依据,将Moore-Kioustelidis定理推广到不可微情况,提出了一类线性互补问题解存在性判断的区间方法,给出了具体实例,表明这种判断方法是有效的。
4) rule
[英][ru:l] [美][rul]
定则,法则
5) stability rule
稳定性定则
6) determination principle
确定原则
1.
The current research advances including connotation,determination principle and methods have been summarized in this paper,several problems existing have been presented,furthermore the development trends have been put forward.
为此,分析总结了河道内生态环境需水量的概念及其内涵、确定原则、量化方法的最新研究成果,提出目前河道内生态环境需水量研究中存在的一些问题,同时展望了河道内生态环境需水量研究的发展趋势。
补充资料:Miranda语言
Miranda语言
Miranda language
M 1 randa yuyQnMiranda语言《柑randa IangUage)一种非严格的纯函傲式程序设计语盲。它是1985年至1986年间由D.Turner设计的。陇randa的程序为一组递归定义的函数和其它数据对象。陇randa使用卫士式等式或模式匹配表示情况分析。一个基于卫士式等式的阶乘函数可写成laex==x‘fac(x一1)x=0othep泞lse而一个基于模式匹配的阶乘函数可表示为 faeo=1 fac(x+1)=(x+l)*fae(x)在实现时,前者的控制特征是显式的,而后者是隐式的。陇rallda是第一个被广泛传播的具有惰性计值语义和多态强类型的函数式程序设计语言。它已运行于世界上600多个场所,包括在250所左右的大学用于教学。陇randa系统工作于UNIx环境下,是Researeh乳ftwareLirnited公司的商业产品。〔注」Miranda是ResearehS〕ftwareLimited公司的注册 商标。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条