说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 描述和验证
1)  describing and validating
描述和验证
1.
By describing and validating DSRC protocol, the paper provides some means such as establishing abstractive models, modularizing the environment, circulatory e xploitation and so on, makes a schematic design of the MAC sublayer, makes a pro cess design of the transmission module in the MAC sublayer and stresses on how t o apply these means to actual work by giving an ex.
通过应用SDL语言对DSRC协议的描述和验证,提出了建立抽象化模型、环境模块化、循环开发等方法,并进行了MAC子层的概要性设计和MAC子层中的transmission模块的过程化设计,重点论述了如何将上述方法应用到实际开发工作中去。
2)  formal description and verification
形式化描述和验证
3)  formal specification and verification
形式化描述与验证方法
4)  descriptive confirmation
描述确证
5)  experimental description
经验描述
6)  Description and coding
描述和编码
补充资料:纳税人在规定的期限内办理验证和换证手续的权利
纳税人在规定的期限内办理验证和换证手续的权利:税务机关对税务登记证件实行定期验证和换证制度。纳税人应当在规定的期限内持有关证件到主管税务机关办理验证或者换证手续。――――《中华人民共和国税收征收管理法实施细则》第19条
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条