formal definition短语¹⁸⁰⁰⁹⁸⁺¹ 基本例句 形式定义,格式定义 Second, formally give a definition of logical topology for one- to-all broadcasts and its fundamental features. Propose an algorithm of one- to-all broadcasts based on this formal definition. 从形式上给出了一到多广播通信的逻辑拓扑定义，给出了该形式化逻辑拓扑的基本性质，在此基础上提出了一个基于该形式逻辑拓扑的一到多广播通信算法。 cnki