您要查找的是不是：
- formal semantic model [计] 形式语义模型
- RDF/ RDF Schema is a sound and complete formal system, which has BNF formal syntax and model theory based formal semantic. RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统,从而保证了RDF描述语义推理的形式正确性。
- Each report model created by Report Model Designer contains exactly one semantic model, one physical model, and one mapping. 报表模型设计器创建的每个报表模型都包含一个语义模型、一个物理模型和一个映射。
- Holographic semantic model oriented to virtual product was presented based on the expression architecture of assembly feature. 基于上述表达框架，提出了面向虚拟产品的全息语义模型。
- This paper focuses on formal semantics of imperative programs. 摘要 研究了命令式程序的形式语义。
- Formal Semantic of Architecture-Centric Component Model 以体系结构为中心的构件模型的形式化语义
- Mapping: A mapping describes how the semantic model is represented within a physical model and binds semantic objects to their corresponding physical objects. 映射:映射描述如何在物理模型中表示语义模型,以及如何将语义对象绑定到相应的物理对象。
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础。
- Because of the underlying behavior of the Oracle database, there are some behavioral differences in the Semantic Model Definition Language (SMDL) query translator when used with an Oracle database. 由于Oracle数据库的基础行为,语义模型定义语言(SMDL)查询转换器在与Oracle数据库一起使用时会有一些行为差异。
- According to intelligent Web server research,this paper recommends a multiplayer agent model of semantic web server discovery,which refers to super-construction of the semantic model of Web server discovery. 在研究W 3C组织提出语义W eb服务框架的基础上;这里给出了一个可行的语义W eb服务发现的分层agent模型;为研究语义W eb服务发现的上层建模提供参考.
- A Formal Semantic Study of the Work Flow Based on Activity Graph Model 基于活动图模型的工作流形式化语义研究
- It researchs a semantic model of chemistry subject and its formulized description,so as to realize the semantic analysis,automatic integration and reuse of educational resources in the subject. 为了方便管理和有效使用各类教育资源,让计算机理解各门学科中概念的语义,本文采用了建立学科语义模型的方法,研究了化学学科的语义模型及其形式化描述。
- The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z的语义基于Z和timed CSP，这是它具有正确性和数学严格性的基础。
- Zhang, Min. 1999.A comparative study on semantic models of reduplicative forms across Chinese Dialects. 张敏.;1999
- Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E. 基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。
- semantic model of cartography symbols 语义模型
- Research and Evaluation on Formal Semantic Description Techniques 形式语义描述方法研究进展与评价
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- We abandoned the idea of basing Haskell explicitly on OL very early; we violated the goal of embodying only well-tried ideas, notably by the inclusion of type classes; and we never developed a formal semantics. 尽管事情的进展相当不同，比之加入当前观点上的共识和团结我们全异的群体于一单一的设计，我们打算的更少。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
