Each message, or frame, starts with a command and ends with the ASCII sign for a null character.
每个消息(即帧)以一个命令开头,以一个表示null字符的ASCII符号结束。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
其次,我们建立命题型的择类语义,给出描述上述系统的特征公理的框架条件。
Secondly, we introduce the relation semantics, give the frame conditions of the character axioms of KA, prove the frame soundness of KA with respect to the frame conditions.
其次,我们引入关系语义,给出描述KA的特征公理的框架条件,证明KA相对这个框架条件是框架可靠的。
应用推荐