另一方面，高等数学、物理学和化学通常是以公式的形式来讲解定义和定律的。
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.
应用推荐