Debris flow and its hazards as the well as related various data belong to the category of debris flow information.
泥石流及其灾害信息和与之有关的各种其它信息，都属于泥石流信息范畴。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
应用推荐