1) permissive arcs
容许弧
1.
A model of traffic signal control system with six phases is constructed by the extended Petri nets with inhibitor or permissive arcs and the cyber net.
用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。
2.
A model of fault detecting system of street lamp is constructed by the extended cyber nets with inhibitor and permissive arcs.
用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。
3.
A model of database concurrency control with locking mechanism is constructed by the extended Petri Nets with inhibitor and permissive arcs.
用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。
2) the set of admissible columns
容许弧集
3) admissibility
[英][əd,misə'biliti] [美][əd,mɪsə'bɪlətɪ]
容许
1.
By means of linear matrix inequalities, sufficient conditions are presented to realize the input-output energy decoupling for a linear singular system so as to feature the closed-loop system with the performance above and admissibility (i.
考虑线性广义系统的输入 输出能量解耦问题,即从输入 输出的能量关系上实现解耦,使得任何一个输入能量主要控制对应的一个输出的能量,对其他输出能量的影响尽可能小·利用线性矩阵不等式,给出线性广义系统能够输入 输出能量解耦的充分条件,使得闭环系统具有上述性能,同时也是容许(即正则,稳定,无脉冲)的,并且基于线性不等式的解提出了相应的控制器设计方法,最后利用结果提出线性广义系统输入 输出能量解耦的算法并给出一个数值算例
2.
This text gives an overview to the admissibility of unbounded control and observation operators for-semigroups in terms of the infinitedimensional linear systems theory.
本文综述无限维线性系统理论中无界线性控制与观测算子的容许性。
4) admissible
[英][əd'mɪsəbl] [美][əd'mɪsəbḷ]
容许
1.
By means of linear matrix inequalities and generalized algebra Riccati inequalities, a sufficient condition is derived as such that a prescribed discrete-time singular system is admissible and strictly passive.
将无源的概念从非线性系统扩展到离散广义系统 ,进而研究离散广义系统在有界能量外部输入作用下的无源控制问题· 利用线性矩阵不等式和广义代数Riccati不等式 ,给出离散广义系统容许且严格无源的充分条件 ,并且基于此条件给出存在状态反馈控制器 ,使得闭环系统容许且严格无源的充分条件 ,同时提出了相应的控制器设计· 最后的数值算例说明了文中结论的有效
2.
The resulting controllers guaranteeing the closed loop descriptor systems are admissible and an H ∞ -norm bound on disturbance attenuation.
所设计的H∞ 控制器使得闭环广义系统容许而且它的传递函数H∞ 范数有
3.
The design guarantee the closed loop descriptor systems are admissible and an H ∞ norm bound on disturbance attenuation when the closed loop descriptor systems are normal and some controllers outage.
所设计的控制器保证在正常情况下和在某些元件出现故障的情况下 ,闭环广义系统容许而且它的传递函数的 H∞ 范数有
5) tolerance
[英]['tɔlərəns] [美]['tɑlərəns]
容许
1.
This paper proves a characterization of GV-inverse semigroups with Boolean tolerance lattice.
证明了带有布尔容许格的ＧＶ－逆半群的一个特
6) permit
[英][pə'mit] [美][pɚ'mɪt]
容许，许可
补充资料：Lie容许代数
Lie容许代数
Lie-admissible algebra
块容许代数〔lie门山恤‘b沁a馆曲.;瓜朋Hyc翎M胡盯re6Pa}【补注】换位子代数是块代数(Lieal罗bra)的(非结合)代数(见非结合环与非结合代数(加n一assoc俪venn那anda】罗brds)).它源于标准代数的一个定义恒等式并由A.A.Albert于1948年首先引人(fAI」).对于域F上的一个代数盯，它的换位子代数(con卫刀Lutator日罗bm)级一是定义在向量空间贬上具有乘法〔x，y】=x夕一 yx的反交换代数.如果吸一是个球代数，即吸一满足Jacohi恒等式(玩obiidentity)I[x，y]，z]+〔【y，习，刘+【【z，x]，y」=0，则吸被称为是Lie容许的(Lie admissible)(LA).起初，Lie容许代数的很多结构理论是在一些附加条件之下给出的，诸如可挠恒等式“kxib】e identity)(x夕)x=夕(夕x)或幂结合性(po~associativity)(即每个元素生成一个结合子代数)，或者二者皆有.一个代数吸是可挠Lie容许的(ne范ble Lie-admissib』e)(FLA)，当且仅当它满足恒等式 【x，yz」=y【x，21+【x，y」公，(AI)当而且仅当映射x⑧y~xy是由级⑧吸到吸的关于吸一的在伴随作用下的Lie模同态.因此，L记代数的表示在FLA代数的结构理论中起主要作用(fAZ」).Lie代数和结合代数都是FLA代数的例子. 由所有吸一半单的幂结合的FLA代数歇的分类的月比成问题(Albert pmblem)开始，关于各式各样的数学的、物理的和几何的背景的结构理论的普遍话题被凝聚到关于吸一’指定的Lie代数结构的情形.Albert问题在1962年首先对特征O代数闭域F上的有限维代数吸被解决，且这样的代数结果是Lie代数(【A3』).当吸一是典型Lie代数或广义Witt代数(【AZ』，「A4】)(见V竹tt代数(V肖ttal罗b服))时，这个结果被拓广到CharF尹O情形.在1981年，这些代数在不假定有幂结合性的条件下进行了分类:当如上所述的级一在基础域F上是单的时候，对于固定的纯量刀6F，鱿的乘法★由 X*，一合:X，，〕+，X#，(、)给出，这里对于非A。(。)2)型的纵一’，口=o，而对于A。(n)2)型的吸一’，口笋o，且用 2，~ x#夕=x夕十yx一二午了(Trx夕)l 月十l来定义吸一’=盯(n十1，F)上的#，其中x夕代表矩阵x和y的积，而l是单位矩阵.这样有A。(n)2)型级一‘ 的代数吸不可能是幂结合的.如果级一’是半单的，吸 必为(A2)给出的单代数的直和.这种分类可以拓广到 吸一’的可解根(见环与代数的根〔扮djcal of nn邵and司ge-b璐))是跳一的直和项或是交换的情形(汇A21).1984 年川bert间题中的代数吸在无挠性情形被决定了 ([A7}):如果吸一是半单的，有分解级一’二弓1+一十弓。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条