本文讨论如何应用代数规范说明方法来说明软件系统。
This paper discusses how to use the method of algebraic specification in specifying software systems.
你会发现这是他它的第一卷，并且第二卷也值得去读：微积分卷2：多远微分与与线性代数及其应用。
You may want to note that this is the first volume, and that the second volume is also worth getting: Calculus, vol. 2: Multi-Variable Calculus and Linear Algebra with Applications.
加州开发了iPad代数应用的霍顿·米夫林-哈考特宣称，其计划比较使用数字化教科书与传统课本的考试成绩。
Houghton Mifflin Harcourt, which developed the iPad algebra program in California, said it planned to compare the test scores of students using a textbook in digital and traditional book formats.
这些基于SQL的新应用程序正在利用现代数据中心开发概念，某些概念强调将更多业务规则和逻辑推到数据库中的重要性。
These new SQL based applications are taking advantage of modern data centric development concepts that stress the importance of pushing more of the business rules and logic into the database.
最初的版本(一个计算机代数系统)名为DOE Macsyma，它开辟了后来开发的更知名的应用程序(例如Mathematica)的道路。
The original version (a computer algebra system) was called DOE Macsyma and led the way for later development of more commonly known applications such as Mathematica.
所学专业是应用数学，主要教授《微积分》、《线性代数》、《概率论与数理统计》课程。
I have been teaching courses such as Calculus, Linear Algebra, and Probability and Mathematical Statistics in the institute for more than twenty years.
我始终没有真正地领会代数学在几何学上的应用。
I have never got so far as to understand properly the application of algebra to geometry.
正交频分复用(OFDM)因为其优良的性能在现代数字广播电视领域得到了广泛应用。
Orthogonal Frequency Division Multiplexing (OFDM) is widely applied in modern digital television broadcast field due to its favorable performance.
同伦是代数拓扑学中的概念，同伦算法已应用于一些工程实际问题的求解。
Homotopy is a concept of algebra topology, and homotopy algorithm has been applied to solving the practical problems.
对这项技术应用的基本原理是电路和布尔代数。
The underlying principles of the application of this technology are electrical circuits and Boolean algebra.
利用指数对应定理，将关于商映射的一个定理推广到上诱导拓扑的情形，并给出其在代数拓扑学中的若干应用。
Used the theorem of exponential correspondence, a theorem on quotient map was generalized to the cases of coinduced topology, and some applications of it in algebraic topology were also discussed.
探讨了矩阵标准形在高等代数理论中的若干应用。
This paper probes into some applications of the matrix normal form to advanced algebra theory.
这可能是一款终极学习应用，它提供了非常广泛的学习视频，从代数到风险投资基础。
Khan Academy: This is probably the ultimate "learn something" app – it's a video school that'll teach you everything from Algebra to the basics of Venture Capitalism.
主要内容：高等代数是应用数学专业的一门重要基础课。
Content: Higher algebra is an important basic course of applied mathematics.
本文应用共形几何代数分析串联机器人的运动学反解。
This paper applies conformal geometric algebra to analyze the reverse kinematics of serial robot.
作为应用，给出结合BCI -代数的一组等价公理系。
As application, we give a equivalent axiom system of associative BCI-algebras.
结果：改良后的推算开穴法完全运用代数推算，临床应用更加简便，规律性更强，临床疗效更好。
Results the improved calculative method of point-open was more simple in clinical application, with stronger regularity and better clinical therapeutic effect.
应用GF (P)上的代数运算和单向函数，构造了一种不用通行字表的远程通行字认证方案，并对该方案进行了安全性分析和计算特性分析。
A remote password authentication scheme is given only applying some arithmetic operation and an one_way function in field GF (p), and analyses this schemes security and computing property.
逐次超松弛迭代(SOR)法是求解代数方程组应用较为广泛和有效的方法之一。
The successive overrelaxation (SOR) method is one of the more efficient and widely used iterative methods for solving linear systems.
本篇文章主要讨论了李代数胚联络以及它的一些性质和应用。
In this paper, we will mainly discuss the Lie Algebroid connection including some properties and applications of it.
线性微分方程组可以应用线性代数中的方法求解。
Systems of linear differential equations can be handled by using the methods of linear algebra.
应用bci关联理想完全刻画了关联BCI代数。
The implicative BCI algebras are described completely via BCI implicative ideals.
现代数字、网络技术的广泛应用以及虚拟图书馆的出现，给图书馆学研究提出了许多新的课题。
The wide use of digital and network technology and the appearance of virtual library pose many new problems for the study of library science.
应用李代数方法讨论了非简谐振子激光激发的统计性质。
The statistical properties of non-harmonic oscillators' laser excitation are discussed by using Lie algebraic method.
该方法为基于该运算的串行生产线理论研究提供了便捷的条件，并为极大代数的应用提供更优越的条件。
This method offered a convenient term for studying serial - production-line based on maximum algebra and provided more advantages for the application of maximum algebra theory.
讨论了现代数值计算与模拟技术在大学物理中的应用，并给出了两个具体应用的实例。
The application of modern number calculation and simulating technique is discussed in the university physics and two concrete examples are presented.
讨论了现代数值计算与模拟技术在大学物理中的应用，并给出了两个具体应用的实例。
The application of modern number calculation and simulating technique is discussed in the university physics and two concrete examples are presented.
应用推荐