快好知 kuaihz


semantics造句
61. All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar. 62. In the process, we calculate the posterior probability of semantics by unlabeled samples information. 63. As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens. 64. This paper expatiates the understanding of "grammar", "syntax and semantics" and "predicate and sentence" from the perspective of formal semantics. 65. On the basis of first-hand data, this article mostly explore the IF first-order logic from the two aspects of syntax and semantics with the method of modern logic. 66. And, it becomes a standard pattern of data exchange of cross platform and a standard pattern of operation because of XML data semantics and XML data independence. 67. In most domains, a specialized element adds semantics to the base element. 68. Modal situation semantics is a unified mathematics frame provided for the situation semantics by the logician in the term of the theory situation technology . 69. The semantics of UML diagrams are expressed in the notation of Communication Sequential Process(CSP). Different view models of software architectures are linked together based on the CSP semantics. 70. A virtual face and a datum point which embody basic semantics requirements are two low level objects. 71. What essentially distinguishes semantics and pragmatics is whether in the study of meaning, the context of use is considered. 72. So, in every statement, the condition or conclusion of the axiomatic semantics of expression has the "REASON" . 73. Polysemy is one of the important research fields of cognitive lexical semantics, in which the linking mechanisms among the senses is considered as a very challenging one. 74. Chapter Three introduces the construction of example base and semantics pattern base, which are the main data resources of the lection selection model. 75. Formal modeling methods used a rigorous mathematical semantics of the system description, but not intuitive formal models. It was difficult to understand the formal specifications. 76. Companion documents include the Data Structure specification and the API Schema, which define the message and data semantics. 77. The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on UML models for system validation. 78. We distinguish the descriptive semantics from the functional semantics of modelling languages. 79. The semantics of logical models, storage models, and server-side Jazz APIs are all independent of the particular choice of relational database system. 80. This paper studies hardware synthesis from parallel programs. Based on operational semantics of a parallel language, a set of transformation rules for various language constructs is established. 81. XQuery 1.0 and XPath 2.0 Formal Semantics [in development] gives a precise formal meaning to each of the expressions of the XPath 2.0 and XQuery 1.0 specification in terms of their data model. 82. However because the basic format is simple and primitive, there is no way to encode semantics without building an extension. 83. The second part of his talk is dedicated to apply these semantics to multicore systems. He starts by pointing out that uniprocessor is an important special case. 84. The cognitive pragmatic approach to metonymy, it seems that, has complemented the cognitive semantics to a comprehensive and systematical study. 85. With the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved. 86. The study of lexical relations has a long history in semantics and lexicology. 87. In other words, an ontology provides an explicit conceptualization that describes semantics of data, providing a shared and common understanding of a domain. 88. Parametric solving method , feature semantics design and CASE based reasoning technique applied in chain transmission CAD system is presented in the paper. 89. Pass-by-copy semantics for mutable serializable objects when running in a single address space. 90. Collocation is an important part of the study of semantics.