symbolic model的例句大全

Symbolic Model Checking for Digital Circuit Design

数字电路设计中的符号模型检验技术

Symbolic Model Checking for CTL

符号化模型检测CTL

According to our algorithm, we had implemented a new CTL~ symbolic model checker ( MCTK) by means of OBDD and obtained some experimental results.

根据该理论，作者已实现了一个基于OBDD技术的CTL符号化模型检测工具MCTK，并完成了相当数量的实验。

This paper gives a symbolic model checking algorithm for the temporal logic CTL~.

提出了一个关于时态逻辑CTL的符号化模型检测算法。

Symbolic Model Checking Analysis for Electronic Contract Signing Protocol

电子合同签订协议的符号模型检验分析

A Neural Network Model for Symbolic Computation

代数符号计算的神经网络模型

As a result of that fortuitous model-room experiment, I shifted my focus from memory to symbolic thinking.

就这样，我在模型屋计画邂逅的发现，让我改变了研究焦点，从记忆转向象徵思惟。

Abstract symbol tables are to abstract the underlying memory of programs, and the approach of generation of abstract addresses and the algorithm of symbolic execution using the abstract symbol table-based memory model are presented.

研究了使用抽象符号表建立内存模型的方法，给出了抽象地址生成方法以及符号执行算法。

in this paper, we proved that on one-sided symbolic space, model shift map is topologically conjugate with the traditional shift map.

本文证明了单边符号空间上拟移位映射和移位映射拓扑共轭，进而得到一类帐篷映射的拓扑熵。

The abstract symbol table-based memory model can overcome main problems of memory models for symbolic execution very well, including the problem of pointer and aliasing, type-unsafe memory accesses and data without concrete size.

基于抽象符号表的内存模型能够很好地解决面向符号执行的内存模型面临的主要问题，包括指针和别名问题、类型不安全的内存访问和大小不确定的数据。

The proposed abstract symbol table-based memory model will make positive influence on the research and application of symbolic execution.

本文提出了基于抽象符号表的内存模型，对符号执行技术的发展和应用有一定的积极意义。

Study on Cooperative Innovation Feat's Symbolic Logic Model of U/ I Knowledge Alliance

U/I知识联盟协同创新绩效的数理分析模型

The causal model integrating symbolic structural knowledge and numeric measures of uncertainty benefits the solving of multi-membership classification problem and the expression of indeterministic causation.

为处理不确定性推理、多类别判别问题并合理整合先验和后验知识，在数据融合系统中引入了因果连接模型。

Discuss on the Symbolic Significance of Pule Temple's Architectural Style and Model Arts

试论普乐寺建筑形式与造型艺术的象征意义

Symbolic trajectory evaluation ( STE) is a model checking technique based on a four value symbolic simulation. It has shown great promise in the design of large scale hardware.

STE是基于四值符号模拟的模型验证技术，在大规模硬件设计中发挥了很大的作用。