1) weak bisimulation
弱互拟
2) weak bisimulation
弱互模拟
1.
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.
此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
2.
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.
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。
3) weak bisimulation equivalence
弱互模拟等价
4) weak cooperative
弱互惠
5) weak interaction
弱互作用
6) weakly quasi-normal
弱拟正规
1.
The main purpose of the present paper is to prove the following some theorems: for a finite group G,if G satisfies one of the following conditions,then G is supersolvable;(1) A maximal and cyclic subgroup of G is weakly quasi-normal in G.
利用弱拟正规子群概念,经推导得到有限群超可解的几个充分条件。
2.
In this paper we discuss the influence on an original finite group G when its Sylow subgroups and other subgroups are weakly quasi-normal,then we obtain some sufficient conditions for supersoluability of group G.
主要讨论了群G的Sylow子群及其他子群的弱拟正规性对群的影响,从而得到原群G超可解的几个充分条件的定理:1)群G有指数为素数的可解正规子群H,若H的每个Sylow子群的极大子群在G中弱拟正规,则G超可解;2)群G有指数为素数的正规子群H,若H的Sylow子群及Sylow子群的2-极大子群皆在G内弱拟正规,则G超可解;3)设G=AB,A超可解,B是P-群,p=maxπ(G),若B与A的极大子群可交换且A弱拟正规于G,则G超可解;4)M为G的幂零极大子群,若M及其极大子群皆在G中弱拟正规,则G超可解。
补充资料：弱弱联合
弱弱联合是指两个总体实力都不强但都拥有自己独特的某方面优势的企业之间进行联合，以形成较强的实力。弱弱联合，弱企业之间优势互补，可以形成整体实力变强的效应。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条