助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   非确定 的翻译结果: 查询用时:0.036秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

非确定
相关语句
  non-determined
     Non-determined Petri Net
     非确定Petri网
短句来源
     It is also put forward non-determined Petri net and normal Petri net, which are equal to general Petri net, corresponding to the control part of Xinpai-driven model.
     提出了与扩展的信牌驱动模型的控制部分对应的非确定Petri网和正则Petri网等概念。 研究了这些特殊Petri网与一般Petri网之间的等价关系。
短句来源
  non deterministic
     According to the transition function 6 which is deterministic or not, the automata with truth-values in a lattice-ordered monoid A = (Q,Σ,δ,σ_0,σ_1) can be classified into two types, deterministic fuzzy finite automata (DLA for short) and nondeterministic fuzzy finite automaton (LA for short).
     取值于格半群的自动机A=(Q,Σ,δ,σ_0,σ_1)按其转移函数δ是否为确定的可分为两大类:确定型格值自动机(简记为DLA)和非确定型格值自动机(即格值自动机,简记为LA)。
短句来源
     By introducing the concept of State Cardinality into the Nondeterministic Finite Automata (ndfa), the paper presents the definition of Compact Finite Automata (cfa) and describes an Alarm Correlation model based on the Compact Finite Automata in details.
     通过在非确定型有穷自动机 (ndfa)的定义中引入状态基 (State Cardinality)的概念 ,本文首先给出紧凑型有穷自动机 (cfa)的定义 ,然后提出了基于紧凑型有穷自动机的告警相关处理模型并进行了详尽的描述 .
短句来源
     The main contributions include:1) An idea of construct HIDS with the misuse detection method2) Designed the data collection and analysis module with WinPcap3) Designed the HIPDS intrusion description language rules4) Designed the detection engine with nondeterministic automata
     本论文工作主要涉及了以下方面:1)提出了利用基于误用检测的方法来实现HIDS的思想2)应用WinPcap设计了数据采集、分析模块3)设计了适于本文所设计模型的攻击描述规则4)利用非确定型有限自动机实现了入侵检测引擎
短句来源
     A logic model of the gene network based on Nondeterministic automata
     基于非确定型有限状态自动机的基因逻辑网络模型
短句来源
     Semantics of Knowledge Operator in Nondeterministic Information Systems
     非确定信息系统中知识算子的语义
短句来源
更多       
  “非确定”译为未确定词的双语例句
     Recognition Method of Unconnected and Moving Object
     非连通非确定运动目标的识别方法
短句来源
     The Petri Net Formal Method for Design ofNon-Determinate Concurrent System
     非确定并发系统设计的Petri网形式化方法
短句来源
     The Uncertain Equation of the Fuzzy Extended Matrix and Its Solution
     Fuzzy广义矩阵的非确定方程及其解法
短句来源
     UNDETERMINED MODEL STUDY FOR THE TENDENCY PREDICTION OF SALT WATER INTRUSION
     咸水入侵趋势预测的非确定模型研究
短句来源
     The conditional probability is extended so as to be conditioned by an uncertain proposition of which the truth value is α(0≤α≤1).
     这种方法是将条件概率扩展成含有一个值为α(0≤α<1)的非确定命题。
短句来源
更多       
查询“非确定”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  non-determined
Generally there has been a shift in the phylum from a non-determined, non-strict development to a faster, highly determined embryonic development.
      
Austrodoris kerguelenensis feeds on sponges of the genera Rosella and Scolymastra; Aegires albus, on Hexactinellida (Porifera); and Tritoniella belli, probably on non-determined synascidians.
      
This bound is shown to be tight in the case pe = qs and when q?= pes sets of qk-1 points that do not meet every hyperplane in 0 modulo pe+1 points and have a little less than pe(q?-?1) non-determined directions are constructed.
      
In a non-determined way of individual decision-making, the employees could develop their own ways of problem solving.
      
  non deterministic
Finally, we discuss the generalization of the non deterministic, finite temperature dynamics.
      
Solving non deterministic picture program schemes we get the so called ∞-refinement languages which consist of finite and infinite pictures.
      
To this end, we develop a complete model for probabilistic self-stabilizing distributed systems which clearly separates the non deterministic behavior of the scheduler from the randomized behavior of the protocol.
      
A termination algorithm based on the vector method is implemented for the non deterministic adaptive mesh refinement procedure.
      
Formal computations of non deterministic recursive program schemes
      
更多          


Let H be a language over alphabet Ω and L a language over alphabet Σ, each symbol in Ω being a homomorphism or an anti-homomorphism on L. The set H(L) = {X(w)\Xε.H, WεL} is said to be a bi-language form. In this paper it is shown that the class of language accepted in real time by nondeterministic reversal-bounded multitape Turing machines, NP and the class of the recursively enumerable sets are closed under bi-language form operations when the homomorphisms are linear-erasing, polynomial-erasing and arbitrary...

Let H be a language over alphabet Ω and L a language over alphabet Σ, each symbol in Ω being a homomorphism or an anti-homomorphism on L. The set H(L) = {X(w)\Xε.H, WεL} is said to be a bi-language form. In this paper it is shown that the class of language accepted in real time by nondeterministic reversal-bounded multitape Turing machines, NP and the class of the recursively enumerable sets are closed under bi-language form operations when the homomorphisms are linear-erasing, polynomial-erasing and arbitrary respectively.

如H,L属于某语言类,而H的每个字符都是L上的一个同态或反同志,则可定义H(L)={x(w)|x∈H,w∈L}为双语言形式。由读与头换向次数有界的非确定多带图灵机,在实时运行下所能接受的语言类称为BNP。本文讨论了在上述定义中的同态或反同志为线性消除、多项式消除及任意同态的情况下,双语言形式分别在BNP语言类、NP语言类及递归可枚举语言美中的封闭特性。

In this paper the refining nondeterminism of Oracle machines are studied.For various Oracle machines with restrictions on their resources,we have shown that many infinite hierarchies of relativized complexity classes of languages exist,and the separation between the classes in the hierarchies depend on increasing the number of nondeterministic steps.In addition,it is shown that when the number of nondeterministic steps small in comparison with that of queries allowed the power of acceptance is not added.

本文对Oracle机器的菲确定性进行了细研究。对多种资源有限制的Oracle机器,都证明了一个按非确定步多少来分割的相对化语言复杂性类的无穷体系是存在的。并证明,当与查询数量比较起来,菲确定步的数量比较小时,这种菲确定步并不增加机器的接受能力。

A six papers' series is being published, which is persuing a semantics for communicating processes. As the first paper of this series, a notation for distributed programming is developed, including the constructs: output, input, alternation, parallelism, channel renaming and hiding, and recursion.The rest of this series will be respectively entitled as: "A Deterministic Semanties of Communieating Processes", "Partial Correctness of Protocal","Weakest Environment of Communicating Processes", "A Nondeterministic...

A six papers' series is being published, which is persuing a semantics for communicating processes. As the first paper of this series, a notation for distributed programming is developed, including the constructs: output, input, alternation, parallelism, channel renaming and hiding, and recursion.The rest of this series will be respectively entitled as: "A Deterministic Semanties of Communieating Processes", "Partial Correctness of Protocal","Weakest Environment of Communicating Processes", "A Nondeterministic Semantics of Communicating Processes (Ⅰ) " and " (Ⅲ) ".

通信的顺序进程(Communicating Sequential Processes)是C.A.R.Hoare教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语...

通信的顺序进程(Communicating Sequential Processes)是C.A.R.Hoare教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关非确定的内容
在知识搜索中查有关非确定的内容
在数字搜索中查有关非确定的内容
在概念知识元中查有关非确定的内容
在学术趋势中查有关非确定的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社