查询词典 formal derivative
- 与 formal derivative 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Introduced formal notations of derivative which keep the properties of derivative and their operations are easily realized on computer,A mechanization proving principle of automatic reasoning of transformations between differential equations is built.
引进保持性质的导数的形式记号，建立了微分方程变量间依赖关系的自动推理的机械化证明原理，从而方程间的变换（如Backlund变换等）均可机械地验证。
-
The following results are obtained:(1)a derivative formal context of an information system can be induced by the notion of nominal scale and the technique of plain scaling in formal concept analysis;(2)some core notions in rough set theory such as partition,upper and lower approximations,independence,dependence and reduct can be reinterpreted in derivative formal contexts.
利用形式概念分析中名义梯级背景的概念，对信息系统进行平面梯级得到了衍生的形式背景。证明了粗糙集理论中的划分、上下近似、独立、依赖、约简等核心概念都可以在相应的衍生背景中进行表示。
- 推荐网络例句
-
The split between the two groups can hardly be papered over.
这两个团体间的分歧难以掩饰。
-
This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.
这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。
-
The new PS20 solar power tower collected sunlight through mirrors known as "heliostats" to produce steam that is converted into electricity by a turbine in Sanlucar la Mayor, Spain, Wednesday.
聚光：照片上是建在西班牙桑路卡拉马尤城的一座新型PS20塔式太阳能电站。被称为&日光反射装置&的镜子将太阳光反射到主塔，然后用聚集的热量产生蒸汽进而通过涡轮机转化为电力