您要查找的是不是:
- Research and Verification on the Operational Semantics Model of DFL Programming Language 动态模糊逻辑程序设计语言的操作语义模型及验证
- Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it; 提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明;
- operational semantics model 操作语义模型
- An operational semantics model of DFL programming language was proposed with a ternary array
and then some basic data types and several mechanisms of constructing new data types were defined; 通过一个三元组给出了DFL程序设计语言的操作语义模型; - The type information provides more precise operational semantics to the values. 类型信息为值提供更精确的操作语义。
- Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt 具有中断算子进程的语义动作精化的操作语义
- This paper proposes a collaborative design model based on operation semantics in a distributed computer-aided design (CAD) environment. 摘要提出了一种应用于分布式CAD环境中的基于操作语义的协同设计模型。
- operational semantic model 操作语义模型
- This paper describes the general architecture, reductional operational semantics and the interpretation implementation techniques of RFUNLOG. 本文介绍RFUNLOG语言的总体结构、 归约操作语义及其解释实现技术。
- The operation semantics carries the original design data and actual operation process to express design intent and operation activity in conventional CAD systems. 操作语义包含原始设计数据和实际操作过程,表达CAD系统中的设计者意图和操作活动。
- An Operational Semantics for UML State Machines in Model Checking Context 面向模型检验的UML状态机语义
- Each report model created by Report Model Designer contains exactly one semantic model, one physical model, and one mapping. 报表模型设计器创建的每个报表模型都包含一个语义模型、一个物理模型和一个映射。
- Imperative Operational Semantics in Type Theory 命令的操作语义在类型系统中的一种表示
- Holographic semantic model oriented to virtual product was presented based on the expression architecture of assembly feature. 基于上述表达框架,提出了面向虚拟产品的全息语义模型。
- Operational Semantics of CSP with Broadcasting 具有广播功能的CSP操作语义
- structural operational semantics 结构式操作语义学
- Mapping: A mapping describes how the semantic model is represented within a physical model and binds semantic objects to their corresponding physical objects. 映射:映射描述如何在物理模型中表示语义模型,以及如何将语义对象绑定到相应的物理对象。
- Temporal Logic Semantics Model and Its Implementation Using PVS 基于PVS的时序逻辑语义模型及其实现
- Standing by him was a model worker. 站在他旁的是一位劳动模范。
- The squadron is not yet operational. 飞行中队尚未能马上行动。