This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明,利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
结果表明,利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
Whenever the predicted symbol is unique, there is no need to encode it as the decoder generates the same model from the DTD and thus can generate the unique expected symbol.
只要预测到符号是独特的,就不需要对其进行编码,因为解码器从DTD生成相同的模型,从而可以生成独特的预期符号。
A semantic model is created by feeding a syntax tree back into the compilation so that it will be annotated with symbol data. The semantic model can then be queried for information such as.
他们可以通过把语法树回馈给编译集来创建语义模型,从而用符号数据对其进行注解。
We used this model to create an AJAX-style client that updates the stock price as you type in the ticker symbol.
我们使用这一模型来创建一个AJAX方式的客户端,它通过您输入的符号更新股票价格。
We established the symbol deduction theory model of the multi-agent system based on co-evolution.
建立了基于协进化的多智能体系统的符号演绎理论模型。
On the basis of the visual variables of map symbol and the represent grade of map elements, this paper introduces the inference model of point symbol design in map design Expert System.
本文以地图符号的视觉变量和地图要素的表示等级为依据,详细介绍了地图设计专家系统中点状符号设计的推理模型。
A geo-spatial entity which can be organized from geometric data, symbol data, entity data, attribute data is regarded as an object to the object oriented geographical information model.
面向对象的地理信息模型以地理空间实体为对象,地理实体可以从几何数据、符号数据、实体数据、属性数据的角度来进行数据的组织。
Integrating the character of map symbol and SVG, this paper presents a description model of map symbol based on SVG.
结合地图符号的结构特征和SVG的表达方法,提出了基于SVG结构化的地图符号描述模型。
A feature recognition method for annular or catenary graph was proposed, which is based on decomposition of model and matching of symbol.
针对环形或链式工程图提出了基于模式分解和符号匹配的特征识别方法。
By setting up a hierarchical mechanism motion model for conceptual design through the formal description of function symbol we provide a solid support to the computer aided conceptual motion design.
通过功能符号形式化描述建立分层次的机构概念运动模型,实现对计算机辅助概念运动设计的支持。
The model earnest has reflected the reality on the spot with the direct-viewing mathematical symbol.
模型用直观的数学符号较真实地反映了实际。
By using symbol operation for this model, this model can give answers while building test papers.
系统结合符号演算系统,在生成试题的同时,能自动给出相应的答案。
The system model is introduced and the probability of error in receiver as a function of symbol synchronization error is deduced.
给出了该系统模型,推导了PAM通信系统符号同步误差对收端误码率的影响。
The mathematics model of the multi-population co-evolution algorithm and the symbol deduction theory model of multi-agent system based on co-evolution mechanism are theory bases of whole paper.
多群体协进化算法数学模型及基于协进化的多智能体系统的符号演绎理论模型,是全文的理论基础。
These levels refer to the different levels in the model of Taiji symbol.
这个层级较高,是指太极图模式的层级性。
Specifically, I'm concerned with a child's understanding of a scale model, a symbol, that represents a larger space.
详细来说,我所关注的是儿童对比例模型的理解,即一个能代表更大空间的象征符号。
Specifically, I'm concerned with a child's understanding of a scale model, a symbol, that represents a larger space.
详细来说,我所关注的是儿童对比例模型的理解,即一个能代表更大空间的象征符号。
应用推荐