Solving the algebra equation with real-coefficients of nth degree is of great importance for analysis and synthesis of a control system.
求解高次实系数代数方程的根，对于控制系统的分析和综合设计有着重要意义。
A concept of kernel matrix of quaternion is proposed, which is based on rotation group algebra and with spacecraft attitude control as its background.
基于旋转群代数，以航天器姿态控制研究为背景，提出了四元数的核心矩阵的概念。
Differential algebraic strategy can be applied to address the dynamic feedback control problems effectively in the nonlinear systems, with Flatness an important concept in the differential algebra.
微分代数采用动态反馈控制实现一类非线性系统的控制，平滑性是微分代数的重要概念。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
Cui Guohua, Male, born in 1947, Professor, Supervisor of PhD Candidates. Main research: access control, the security analysis of cryptosystem, algebra number theory.
崔国华(通讯作者)，男，1947年生，教授，博士生导师。主要研究方向：访问控制，密码体制的安全性分析，代数数论。
Pan Boolean algebra-based logical control model of the traffic light is designed in this paper, with an illustration of crossroads in the urban trunk roads.
以泛布尔代数理论为依据，以城市主干道十字路口为研究对象，设计了一种新的交通灯逻辑控制模型。
Based on modern differential geometric approach and Lie algebra, nonlinear control theory has formed a new theoretical branch.
基于近代微分几何理论与李代数之上的非线性控制理论形成了一新的理论分支。
Based on modern differential geometric approach and Lie algebra, nonlinear control theory has formed a new theoretical branch.
基于近代微分几何理论与李代数之上的非线性控制理论形成了一新的理论分支。
应用推荐