类型系统自身并没有表现得能够捕获所有计划的不变量。
The type system by itself is not expressive enough to capture all of the intended invariants.
表示不变量的另一种方法是泛型-作为其它类型参数化的类型来支持类型系统(本专栏中最近一系列文章的主题)。
Another approach to expressing invariants is to bolster the type system with generic types, types parameterized by other types (the topic of our the most recent series of articles in this column).
此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
Besides, we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants.
其次,本文还引入了迁移系统的限制乘积概念,并以此为工具,研究了弱互模拟和弱不变量之间的相互转化。
Secondly, this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.
在求解动力学系统的方程中,动力学系统的第一积分与积分不变量是求解运动方程积分理论的重要内容之一。
The first integration and integrated invariant of dynamic system belongs to important contents of solving equations of motion integrated theory during solving equations in dynamic system.
研究相空间中离散力学系统对称性的摄动与绝热不变量。
The perturbation of symmetries and adiabatic invariants of discrete mechanical systems in the phase space are studied.
利用构造不变量理论,研究了一种含时双阱玻色-爱因斯坦凝聚系统的精确解,得到了相应的几何相因子。
By making use of the invariant theory, the exact solution for a time-dependent system of double-well Bose-Einstein Condensate and corresponding geometric phase are obtained.
给出系统存在积分不变量的条件,在此条件下导出系统的线性积分不变量、通用积分不变量和二阶绝对积分不变量。
A linear integral invariant, a universal integral invariant and an absolute integral invariant of second order of the system are obtained under the given condition.
力学系统的对称性与精确不变量(守恒量)在力学、物理学中具有非常重要的意义。
The studies on symmetries and exact invariants (conserved quantities) play a very important role in mechanics and physics.
该标架系统可建立两条同源曲线几何不变量之间的解析关系,用于变形过程几何结构改变的分析。
The frame with its formula can set up analytic relationships among the geometric invariants of two homologous curves, and can be used to analyze the deformation process of geometric structures.
建立了非保守约束哈密顿系统的正则方程,在增广相空间中研究了系统的对称性与精确不变量。
Firstly, the canonical equations of nonconservative constrained Hamiltonian systems are established, and the symmetries and exact invariants of the systems in the extended phase space are studied.
视觉是人类最完善的感知系统,基于视觉不变量的平面目标识别方法近年来得到广泛的关注。
Vision is the best perception system of human. Vision invariants for planar object recognition catch our attention.
根据系统功能,提出了保证系统功能正确性应具有的重要性质,继而用S _不变量对其进行了分析、验证。
According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
在高维增广相空间中研究广义经典力学系统的精确不变量和绝热不变量 。
The integral invariant construction of holonomic nonconservative dynamical systems in the high-dimensional extended phase space;
在高维增广相空间中研究广义经典力学系统的精确不变量和绝热不变量 。
The integral invariant construction of holonomic nonconservative dynamical systems in the high-dimensional extended phase space;
应用推荐