另一方面,高等数学、物理学和化学通常是以公式的形式来讲解定义和定律的。
On the other hand, higher mathematics, physics and chemistry usually in the form of formula to explain the law and the definition.
利用形式化规格说明语言——B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
基于线性随机分布参数系统新的数学描述形式,给出了相应的均方稳定定义。
On the basis of the new mathematical description of the linear stochastic system with distributed parameter, the corresponding definition of mean-square stability is given.
形式化地定义了APN的数学结构,利用APN图形化的工具,形象地描述了定性映射。
APN mathematics structure is defined formally and Qualitative Mapping model can be described vividly by making use of the tool of the APN graphics.
另一方面,目前仍旧缺乏一种能够支持过程定义、过程演进以及过程分析的形式化数学模型。
On the other hand, there still lack of a formal and mathematical model which is able to support the definition of process, process evolvement, process analysis.
引入了完备自动机作为定义命令分析器的一种抽象数学模型,并用该模型给出了命令分析器的形式化描述。
It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.
然后,在公差数学定义理论的基础,基于要素的自由度分析,采用不等式约束方程的形式建立各公差带的数学模型。
Then in the foundation of tolerance mathematical definition theory, each tolerance zone's mathematical model was established by inequality based on degrees of feature.
以数学方法给出了工作流过程定义模型的形式化描述,并提出一种工作流自动化的实现模型,包括系统体系结构和数据库的设计。
The paper gives mathematical definitions of process defining model and an implementing model of workflow automation, including the system architecture and database design.
本文以精确的数学形式重新定义深度图物体的识别为广义道集合映射。
This paper redefines depth map object recognition in precise mathematical terms as a generalized inverse set mapping.
本文以精确的数学形式重新定义深度图物体的识别为广义道集合映射。
This paper redefines depth map object recognition in precise mathematical terms as a generalized inverse set mapping.
应用推荐