形式描述 meaning in English
formal description
Examples
- It introduces by form the conception of event - clock automata and two - way timed automata , it gives the construction from event - clock automata to two - way timed automata and it proves the inclusion relationship between them
基于时间自动机不同模型的验证被工业界广泛应用,本文形式描述了两种这样的模型,给出了从事件时钟自动机到双向时间自动机的构造方法,证明了二者识别语言之间的包含关系。 - This method takes appearance age as its universe of discourse to describe the standard appearance feature value of the parts , and uses fuzzy numbers to describe the linguistic values that represents the severity degree of the parts " appearance
本文提出以外观年龄为论域的模糊集表示零件的标准外观特征值、以模糊数形式描述表示零件外观特征严重程度的语言值的方法来处理模糊外观信息。 - In addition , because there is internal relationship between the formalism of relational database , " relational algebra " , and the clausal logic used by ilp , ilp methods can directly deal with mining task involved in multiple tables of relational database
此外，由于关系数据库的形式描述? “关系代数”与ilp的子句逻辑有着内在的关联性， ilp技术可被直接用于涉及关系数据库中多个关系(表)的数据挖掘任务。 - In this thesis , schema extraction from semistructured data and description of xml schema are also studied , and a algorithm for extracting datalog rules from data as well as a formal description of oem - based xml dtd schemas are proposed also . 4
本文还对模式的抽取及xml模式的描述形式进行了研究，提出了使用simulation算法抽取datalog规则的算法思想和基于oem ( objectexchangemodel )的xmldtd模式的形式描述方法。 - Formal desciption on collision relations is presented , the mathematical fundamentals of collision relations and compaticble relations are studied , and thealgorithm of set division based on collision relations is constructed , at last the arrangement for re - examination is solved with this algorithm in this paper
介绍了冲突关系的形式描述,研究了冲突关系与相容的数学原理,构造了集合的划分算法,运用划分算法解决了补考安排问题。