The Function Differential, Partial Differentiation, Grads, Divergence, and Curl in Mizar

  • 函数的微分、偏微分及梯度、散度、旋度在Mizar语言下的实现
  • 来源:互联网摘选更新时间:2025-01-20 12:36:17

  • 重点词汇
  • inprep. 在里面;在(某范围或空间内的)某一点;在(某物的形体或范围)中;在…内;在…中;进入
  • functionn.功能;函数;作用;职能;机能;因变量;宴会;典礼;社交聚会;子例行程序
  • gradsn.毕业生,校友( grad的名词复数 );研究生;
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • partialadj.部分的;偏袒的;钟爱的;
  • andconj. 和,与;而且;于是,然后;因此;
  • differentiationn.区别,分化;分异;衍进;求导数;
  • curln.一绺鬈发;卷曲物;螺旋状物;(指头发)蜷曲;
  • differentialadj.差别的;特意的;[数]微分的;[机,物]差动的;
  • 相关例句
1、

The Analysis of Grinding Technological Parameters for Non-blade Reamer Base on Partial Differentiation

基于偏微分法的无刃铰刀刃磨参数的分析

互联网摘选

2、

Conclusion A new VL 30 like gene is identified for the first time in MEL cells during chemical inducing erythroid differentiation.

结论在MEL细胞红系分化过中发现了一种新的VL30样基因。

互联网摘选

3、

The effects of physical and chemical factors on differentiation and growth of green globular bodies of NEPHROLEPIS cordifolia

若干理化因子对日本肾蕨绿色球状体分化及生长的影响

互联网摘选

4、

Objective: To make a physical and chemical differentiation of Cuscuta Chinensis and its fake-Brassicca Juncca seeds.

目的:对菟丝子及其伪品芥菜种子进行理化鉴别。

互联网摘选

5、

Objective: To seek the basis for the physical and chemical differentiation between A.

前言:目的:研究独活及其伪品的理化鉴别依据。

互联网摘选

6、

Three types of IM present different differentiation phase in morphology and mucin secretive function, which suggests that heterogeneity of IM is substantially a dynamic and progressive change.

三型肠化形态学和粘液分泌功能表达上呈现为不同的分化阶段,提示肠化的异质性具体表现为肠化是一个动态的过程。

互联网摘选

7、

In inflorescence primordium differentiation phase, the content of polysaccharide was little, while protein was rich and distributed uniformly.

在花序原基分化期,细胞中多糖的含量较少,而蛋白质含量丰富且整体分布均匀。

互联网摘选

8、

Pistil Differentiation Phase;

雌蕊分化期;

互联网摘选

9、

Petal Differentiation Phase;

花瓣分化期;

互联网摘选

10、

Inflorescence Differentiation Phase;

花序分化期;

互联网摘选

11、

The Effect of Different Temperatures Treatment on Dynamic Changes of Endogenous Hormones in Flower-bud Differentiation Phase of Cattleya

卡特兰花芽分化期不同温度处理对新叶中内源激素动态变化的影响

互联网摘选

12、

Studies on Photoperiodic Effects After Secondary Branch Primordia Differentiation Phase of Panicle Development in Rice

水稻幼穗分化二次枝梗期后光周期效应的研究

互联网摘选

13、
14、

Green plantlet yield frequency was obviously positive correlative with green plantlet differentiation.

绿苗产率与绿苗分化率呈显著正相关。

互联网摘选

15、

The successive and differentiation media were MS supplemented with different amounts of hormones for the total of 15 combinations.

继代和分化培养基为MS,附加不同配比量的激素,共设计了15个组合,均能分化出苗,但分化能力有差异。

互联网摘选

16、

A nonlinear prediction search algorithm with successive differentiation ( NPSSD) that is used for motion estimation in such the international standards as H.261, H.

本文提出了一种连续判别的非线性预测搜索NPSSD块运动估计算法,可以用于视频压缩的一些国际标准,如H.261,H。

互联网摘选

17、

Research on brand loyalty effect based on the model of product differentiation

基于产品差异化模型的品牌忠诚效应

互联网摘选

18、

New Research Development on Product Differentiation Theory

产品差异理论研究的新动向

互联网摘选

19、

The Effect of Product Differentiation on the Market Structure& Based on Evolutionary Economics

产品差异化对市场结构的影响&基于演化经济学的观点

互联网摘选

20、

Research on Product Differentiation Strategy of China's Cosmetics Enterprises

我国化妆品企业产品差异化的策略研究

互联网摘选

  • 今日热词
  • 热门搜索

美加网英语词典(dict.tjqzz.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈