Choice-free Petri nets; Cyclic behaviour; Labelled transition systems; System synthesis;
机译:不同底部循环的固体氧化物燃料电池启动的联合冷却与电力系统部分负荷性能研究
机译:高功率电化学储能装置的高倍率循环,用作EM发射器的主要电源
机译:从双胞胎原子,梅森素,Mersenne Primes获得的换向协会计划
机译:黄金周期的力量
机译:非常规井完井原动机的发动机活动周期开发。
机译:共轭周期可交换的主要电力替代组
机译:质数幂有向周期的乘积的简单证明