查询词典 involutorial

Necessary and sufficient conditions for the existence and the expressions of selfconjugate solution, perselfconjugate solution, centrosymmetric solution, bisymmetric solution, skewselfconjugate solution, skewperselfconjugate solution, skewcentrosymmetric solution, and skewbisymmetric solution to 4 kinds of systems of linear matrix equations over a regular ring with an involutorial antiautomorphism are given.

利用矩阵技巧和所建立的矩阵理论，给出了正则环上五类矩阵方程组有解的若干充要条件和一般解的表达公式。这些矩阵方程组除了它们在理论上有重要的意义外，还有重要的应用价值。在具有对合反自同构的正则环上，给出了四类矩阵方程组有双对称解，中心对称解，斜中心对称解，广自共轭解，斜广自共轭解，自共轭解以及斜自共轭解的充要条件及其这些解的具体表达式。

Selfconjugate matrix, skewselfconjugate matrix, perselfconjugate matrix, skewperselfconjugate matrix, centrosymmetric matrix, skewcentrosymmetric matrix, bisymmetric matrix, and skewbisymmetric matrix over a ring with an involutorial antiautomorphism are defined. Significant criteria for matrices to be bisymmetric and skewbisymmetric are obtained.

在具有对合反自同构的环上定义了自共轭矩阵，斜自共轭矩阵，广自共轭矩阵，斜广自共轭矩阵，中心对称矩阵，斜中心对称矩阵，双对称矩阵和斜双对称矩阵，建立了双对称矩阵和斜双对称矩阵的重要判定定理。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。