目的探讨拉格朗日微积分代数化方案的基本内涵、实质及影响。
Aim To explore the basic connotation, essence and influence of Lagrange's algebraic program of calculus.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
解决该指标全代数化计算的关键问题是寻找能够算出网络各节点之间全部路由的代数化路由算法。
The key technique to achieve complete algebraic calculation of this index is finding out an algebraic algorithm which can calculate all routes among network nodes.
可用于计算机代数的大多数系统还突出体现了某种绘图机制，允许您可视化所标绘的数据。
Most systems available for computer algebra also feature a graphing mechanism that lets you visualize the data that is being plotted.
现今大部分云计算基础设施都能提供可靠的服务，这些服务通过由基于计算和存储虚拟化技术的下一代数据中心交付。
The majority of cloud computing infrastructure currently consists of reliable services delivered through next-generation data centers that are built on compute and storage virtualization technologies.
加州开发了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.
针对一类四次隐式代数曲面，提出一种基于分片的几何参数化方法。
This paper proposes a piecewise geometric approach to parametrize a kind of quartic implicit algebraic surface.
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述。
The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing.
针对非结构化网格上迭代收敛速度会逐渐减慢的特点，引入了多重网格求解技术，采用了其中效率较高的代数多重网格方法对离散方程进行求解。
To overcome the reduced convergence speed of iteration method, multigrid method is introduced and algebraic multigrid is adopted to solve discretized equations because of its higher effectiveness.
这种方法不同于布尔代数和卡诺图的分析方法，它更有利于实现数字系统的设计自动化。
This method differs from the methods of Boolean-algebra and Karnaugh-map, and it will be of benefits to the design-automation of digital systems.
最后，得到了若干有益的推论，包括线性离散及连续系统稳定化控制器的统一代数表示等。
Finally, some useful corollaries are obtained which include the algebraic expression of stabilizing controllers for linear continuous and discrete time systems.
这是一个数学的形象化软件用于抽象代数课堂。用户可以交互直观的探究很多的有限组。
Group Explorer is mathematical visualization software for the abstract algebra classroom. Users can explore dozens of finite groups (and morphisms among them) visually and interactively.
为研究多体系统小位移或振动问题，从多体系统动力学方程出发，讨论微分-代数方程线性化计算机代数问题。
To study vibration systems or the multibody systems with small displacements efficiently, a computerized algebraic method for linearizing the equations of multibody system is discussed in this paper.
正则性是参数曲线曲面的重要代数性质，是由参数曲线曲面的参数化决定的。
Regularity is an important algebraic property of parametric curve and surface, which depends on the parameterization of parametric curve and surface.
本文在多值开关级代数理论的基础上，提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。
On the basis of the multiple-valued switch-level algebra, this paper proposes a logic design automation algorithm for NMOS and CMOS combinational circuits.
从那时开始，人们发现量子群在很多领域都有着深刻的应用，范围遍及理论物理、辛几何、扭结理论与约化代数群的模表示理论等。
Since then they have found numerous and deep applications in areas ranging from theoretical physics, symplectic geometry, knot theory, and modular representations of reductive algebraic groups.
形式化语义和代数法则在实践应用是很有用的。
Operational semantics and algebraic laws are very useful in practice.
本文简单分析了满足GIS空间查询代数的一般要求，然后形式化地定义了一种适合于GIS空间查询的变量查询代数。
General requirements of spatial query in GIS are briefly outlined in this paper. A Variable query Algebra is formally defined for spatial query of GIS.
最后还给出了时间化RSL的一些代数定律。这些定律可以从其指称语义证明，并用于程序的转化和优化。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
稳定化双共轭梯度法用于求解稀疏线性方程组，可调节参数的修正迭代法用于求解非线性代数方程组。
Linear equations of sparse matrix are solved by Biconjugate Gradients Stabilized Method and nonlinear algebraic equations are solved by parameter-regulated iterative procedures.
最后，用时态映射定义的元组对双时态关系进行定义，并由此给出双时态关系代数运算的形式化描述。
Finally, bitemporal relation is defined as the set of the temporal mapping tuple, and the bitemporal relational algebra operations are described formally.
随着高校图书馆从传统图书馆向现代数字图书馆的转型，信息情报资源的网络化、数字化对高校图书馆员的素质提出了新的要求。
With the transformation of college library from traditional one to digital library, the networking and digitalization of information resources have posed a new demand for the librarians in college.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。
The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame.
分式环和分式模以及与之相关的局部化方法是交换代数中一个重要工具。
The fractional ring(module)and the interrelated localization method are the important tools for commutative algebra.
模式识别；可视化；多元数据；图表示；几何代数；子空间坐标；优化。
Pattern Recognition; Visualization; Multivariate Data; Graphical Representation; Geometric Algebra; Subspace Coordinates; Optimization.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
高速度、高精度、高效率和高可靠性是现代数控高性能化的四项关键指标。
High speed, high accuracy, high efficiency and high reliability are the four key specifications of the high performance modern numerical control systems.
医学影像归档与传输处理系统(PACS)是现代数字化医院的重要应用系统。
Medical Imaging Archiving and Communication system (PACS) is an important system in modern digital hospitals.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
应用推荐