形式模型
网络释义专业释义
概念和形式模型 Conceptual and Format Models
形式模型检查 Formal Model Checking
代数形式模型 Algebraic model
形式化模型 Formal model ; formalized model ; Wireless Sensor Networks Model
阶梯式地形模型 stepped relief model
以简化形式打开模型 Open by Proximity
形式类模型 formal type model
隐式形状模型 Implicit Shape Model
形式美学模型 formal aesthetic model
双语例句原声例句
-
分析对不同形式模型的各种求解算法；
What are the differences between different algorithms for different equation models?
-
该文根据建模基础的不同，对目前处在研究热点中的几个重要协议形式模型进行了分类分析。
In this paper, some kinds of critically formal models for security protocols, which have recently catched much researcher's attentions, are analyzed in terms of their different modeling bases.
-
DBLP模型作为可用于系统设计的形式模型，它在多方面改进了现有文献中的工作，使模型更实用。
As a model that can be used to develop practical system, DBLP model has been designed based on some researches improving those works described in literature relevant to confidentiality policy models.
-
This will be very important because Christians started out as house churches, and their house churches fit sometimes the model of a Greek ekklesia, an assembly, but sometimes the model of the Roman household.
说它重要是因为,基督教一开始时是家庭教会的形式，这种家庭教会有时符合希腊集会的模型，一种集会，但有时符合罗马家户的模型。
应用推荐