助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   验证策略 的翻译结果: 查询用时:0.05秒
图标索引 在分类学科中查询
所有学科
计算机硬件技术
自动化技术
互联网技术
无线电电子学
更多类别查询

图标索引 历史查询
 

验证策略     
相关语句
  verification strategy
     The paper confirms testcases of USB Host Controller based on OHCI 1.0. Then we constitute the verification strategy and finish the verification by use of PCI BFM and SoC verification platform.
     本文在确定了基于OHCI 1.0的USB主控制器的验证点后,制定了验证策略,利用PCI BFM和SoC验证平台完成了USB主控制器的验证。
短句来源
     In order to ensure correction of the design, XL-APIC adopts the down-up simulation verification strategy.
     为了保证设计的正确性,XL-APIC采用了自下而上分级的模拟验证策略
短句来源
     Verification Strategy for DSP in VLIW Architecture
     适用于VLIW数字信号处理器的功能验证策略
短句来源
     An SOC/ASIC solution is presented for H.264/AVC decoder. Based on the implemented circuit,the verification strategy for this design scheme is analyzed in particular.
     提出了一种H. 264/AVC硬件解码器的SOC/ASIC设计方案,并在实现电路的基础上,重点分析了基于文中的硬件设计方案的验证策略
短句来源
     Since the process of calculating the fixedpoint of the logic program does not always terminate, we propose an effective verification strategy: verifying the security property every k1 iterative steps of calculating the fixedpoint .
     由于安全协议逻辑程序不动点迭代计算过程不一定终止 ,文中提出了每进行k 1步安全协议逻辑程序不动点迭代计算验证一次安全性质的验证策略 .
短句来源
更多       
  validation strategy
     GA-SVM was tested on two far different datasets from machine learning repository. Compared with the standard SVM with cross validation strategy, the simulation results indicate the superiority of GA-SVM on the dataset with unbalanced classes. GA-SVM can gain higher classification accurate and faster learning speed, and work well with faster learning speed on the perfectly constructed dataset.
     在两个不同特性的数据集上进行仿真测试,结果表明,与使用交叉验证策略的简单SVM相比,改进后的GA SVM算法在多类非均衡问题上明显提高了分类正确率,学习速度也有提高.
短句来源
  checking strategy
     Model Checking Strategy of Mobile Agent Based on Technology of Collaborative Detection
     基于协同侦测技术的移动主体模型验证策略研究
短句来源
     To check the effectiveness of the system detection logic, model checking strategy enables us to build dynamic spaces tree from initial configuration to terminative configuration which is used to analyze packets of ARP attack.
     为了证明该模型逻辑的有效性,验证策略设计了可以分析ARP攻击数据包从初始组态到终结组态的动态空间树;
短句来源
  validation policy
     This paper designs a new protocol. The current used "after validation policy" is replaced by a new policy named "before validation policy" in this new design based on PMI platform, which stressed that "before validation policy" gives PMI platform the advantage in terms of function and efficiency.
     此协议基于PMI平台提出了新的“先验证策略”代替现有的“后验证策略”,重点描述了“先验证策略”为PMI平台在功能和效率方面所带来的优势。
短句来源

 

查询“验证策略”译词为其他词的双语例句

     

    查询“验证策略”译词为用户自定义的双语例句

        我想查看译文中含有:的双语例句
    例句
    为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
      verification strategy
    We were able to formulate a general verification strategy prior to clone sequencing.
          
    We present an assume-guarantee style modular verification strategy which separates the verification of the controller behavior from the verification of the conformance to its interface.
          
    The concurrency controller design pattern enables a modular verification strategy by decoupling the behaviors of the concurrency controllers from the behaviors of the threads that use them using interfaces specified as finite state machines.
          
    Progress in boundary condition development is presented, and a benchmarking and verification strategy is described.
          
    Finally, a template curve-based face verification strategy is utilized to verify whether a face is in the candidate skin region.
          
    更多          
      validation strategy
    The second part uses a cross-validation strategy to identify the best neural network model.
          
    A broad initial validation strategy including known groups and convergent validity assessments produced results that will inform and focus future efforts.
          
    An initial validation strategy using both known-groups and concurrent validity produced promising evidence of the construct validity of both measures.
          
    Results indicate that this validation strategy can discriminate between valid and invalid vectors remarkably well over a range of parameter settings.
          
    It allows a traceable validation strategy using modular objects which encapsulate documentation, analytical data and processing logic.
          
    更多          
      checking strategy
    Also this duplicates checking strategy is however expensive, both in time and space.
          
    Also, they failed to analyze the information presented, and we observed no checking strategy.
          
    Control points are obtained using a two-pass point matching procedure as well as a consistency checking strategy.
          
    Reception is based on a multi-sampling and parity checking strategy.
          
    Subsection 2.2 establishes the foundations of the lazy collision checking strategy.
          
    更多          
      validation policy
    As members of this group, we have implemented an OCSP validation infrastructure for the Globus Toolkit 4, composed of the CertiVeR Validation Service and our Open GRid Ocsp (OGRO) client library, which introduced the Grid Validation Policy.
          
    The acceptable TSAs are specified in the Signature Validation Policy.
          


    The concept of output coordination about period-stationary Markov policies and their measurement method were provided in this paper and it was described that the use of the unlinear return-function will improve the output coordination of policies. There are a lot of examples, tables and figures as evidence and some suggestions for use in practice.

    本文提出了周期平稳马氏策略输出均匀性的概念及量度方法,阐明了非线性替代函数模型可以改善策略输出的均匀性。文章以大量算例及图表验证了策略输出均匀性的存在及改进途径,并指出其在工程实践中的应用.

    To verify the correctness of the RTL(register transfer level) result got from the high level synthesis, an algorithm of DFG(data flow graph) invert extracting is designed and realized in this paper. Four sections are included in this algorithm: analyze FSM(finite state machine) dynamically and obtain control signal; search the active component for current states of FSM and convert the operate note of DFG from the structure of data path; analyze the relationship between the notes of DFG, separate the variables...

    To verify the correctness of the RTL(register transfer level) result got from the high level synthesis, an algorithm of DFG(data flow graph) invert extracting is designed and realized in this paper. Four sections are included in this algorithm: analyze FSM(finite state machine) dynamically and obtain control signal; search the active component for current states of FSM and convert the operate note of DFG from the structure of data path; analyze the relationship between the notes of DFG, separate the variables sharing the same register.

    该文主要讨论高级综合系统RTL(registertransferlevel)级综合结果正确性验证策略的确定及验证系统设计中DFG(dataflowgraph)逆向获取算法的设计与实现.算法主要包括4个处理阶段:FSM(finitestatemachine)动态分析及控制输出获取;FSM当前状态下数据通道有效元件分析;数据通道结构到DFG操作结点转换;DFG结点间数据依赖关系分析、共享寄存器变量分离及有向边的形成.

    Fig.1 summarizes state of art of model precision of simulation system. Fig.2 outlines all foreseen errors influencing model precision. We use eq.(4), which is well known, in conjunction with Fig.3, which is proposed by us, to achieve what we deem to be a satisfactory separation of errors. This separation function is that part of Fig.4 enclosed within dashed lines. Fig.4 shows the specific optimal time history matching method which is proposed by us. Then in a time sequence comparison with actual system test...

    Fig.1 summarizes state of art of model precision of simulation system. Fig.2 outlines all foreseen errors influencing model precision. We use eq.(4), which is well known, in conjunction with Fig.3, which is proposed by us, to achieve what we deem to be a satisfactory separation of errors. This separation function is that part of Fig.4 enclosed within dashed lines. Fig.4 shows the specific optimal time history matching method which is proposed by us. Then in a time sequence comparison with actual system test data, we make successive adjustments to reduce each dominant error at a time until the best possible system precision is achieved. Fig.5 shows big differences between measured velocities and predicted ones when separation technique is not used (Fig.4 without the part enclosed within dashed lines). Fig.6 shows good agreement between measured velocities and predicted ones when our specific optimal time history matching method is used (Fig.4).

    模型精度对仿真置信度有决定性的影响。本文综合分析了影响仿真精度的各种因素,给出了仿真模型精度验证的策略、标准、验证方案、验证技术及方法选择,重点介绍、采用了优化时间历程匹配方法,结合飞行器仿真进行模型的验证计算。结果表明,这是一种行之有效的方法。它对提高仿真模型检验置信度等级与后续模型修正提供了新思路。

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

     


     
    CNKI小工具
    在英文学术搜索中查有关验证策略的内容
    在知识搜索中查有关验证策略的内容
    在数字搜索中查有关验证策略的内容
    在概念知识元中查有关验证策略的内容
    在学术趋势中查有关验证策略的内容
     
     

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