形式描述 meaning in English
formal description
Examples
- This paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description , and we have implemented a partial evaluator for like - pascal
摘要提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述。采用该方法，实现一个实验性的部分求值系统。 - On this basis , an integrated modular design method is put forword , in the form of a flowchart that describes the content and integrated steps , and a detailed explanation of the method of characteristics
在此基础上，提出了一种集成式的模块化设计方法，以流程图的形式描述了该集成式方法的内容和步骤，阐述了该方法的特点。 - The thesis summarizes the advantages of adopting petri net as the tool of protocol specification and analysis on the foundation of reviewing three kinds of relatively existing formal description techniques ( fdts )
论文在总结比较现有的各种形式描述技术( fdt )的基础之上，重点论述了采用petri网作为协议描述和分析工具的优势所在。 - Foaf is an xml rdf vocabulary used to describe - in computer - readable form - the sort of personal information that you might normally put on a home web page , such as your name , instant messenger nicknames , place of work , and so on
Foaf是一种xml / rdf词汇表，用于以计算机可读的形式描述您通常可以放在主web页上的某种个人信息，如您的姓名、即时信使昵称和工作地点等。 - In this system , the parameters and the seed parts are detached , so independence of cad is realized . at last , the interface between standard parts library and the cad system is reasearched and the realization of using this libray ' s parts is made in ug
系统采用了参数数据和种子零件分离的机制，并把参数数据以xml文档的形式描述，从而使此标准件库初步实现了cad系统的无关性。