助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   符号模型 的翻译结果: 查询用时:0.27秒
图标索引 在分类学科中查询
所有学科
互联网技术
无线电电子学
工业通用技术及设备
高等教育
更多类别查询

图标索引 历史查询
 

符号模型
相关语句
  symbolic model
     Symbolic model checking analysis for CMP1 protocol
     CMP1协议的符号模型检验分析
短句来源
     Symbolic Model Checking Analysis for ISI Protocol
     ISI协议的符号模型检验分析
短句来源
     Symbolic Model Checking Analysis for Atomicity of Netbill Protocol
     Netbill协议原子性的符号模型检验分析
短句来源
     Symbolic Model Checking Analysis for Atomicity of Digicash Protocol
     Digicash协议原子性的符号模型分析
短句来源
     Symbolic Model Checking the SET Protocol
     SET协议支付过程的符号模型检验
短句来源
更多       
  symbol model
     This result shows that it is effective analyzing and checking the property of network 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.
     结果表明,利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
短句来源
     The common symbol model checkers are CTL model checkers, such as SMV verification implemention, and LTL model checkers such as SPIN verification implemention.
     常见的符号模型检测器有CTL模型检测器如SMV验证工具; LTL模型检测器如SPIN验证工具。
短句来源
     Taking the symbol as the product information carriers and basic elements, the symbol modeling realizes the information description with formalization, abstraction and integration, expresses the product design process with symbol model evolution, and offers the new theory and method for product development.
     符号建模以设计对象符号作为产品信息的载体和建模基本元素,实现了信息的形式化、抽象化和集成化描述,通过符号模型的演变表达了产品的设计过程,为产品开发提供了一种新的理论和方法。
短句来源
     According to the characteristics of product design information and design process, this dissertation presents the principle and method of product information symbol modeling on the basis of unit modeling, investigates the key technology of product conceptual scheme modeling, assembly relationship modeling and detailed structure modeling based on symbol model, and a symbol modeling prototype system is developed.
     本文根据设计信息和设计过程的特点,在单元化建模的基础上系统地提出了产品信息的符号建模原理与方法,深入研究了基于符号模型的产品概念方案建模、产品装配关系建模和零件详细结构建模等关键技术,开发了符号建模原型系统,实现了符号建模理论和方法在设计实践中的应用。
短句来源
更多       
  “符号模型”译为未确定词的双语例句
     Parametric Analysis of Linear Hybrid Systems by Symbolic Model-checking
     线性混合系统符号模型验证中的参数分析方法
短句来源
     This data model is suitable for storing and transmission of data in the network. Based on the criterion of SVG (Scalable Vector Graphics), which is established by W3C (World Wide Web Consortium), this paper describes the symbol of chart object using the technology of SVG, it makes the symbol of chart object have the high ability of expanding.
     本文还根据由W3C(Word Wide Web Consortium)制定的SVG(Scalable Vector Graphics,可升级矢量图形)规范,运用SVG技术对海图符号进行描述,使得该海图符号模型面向网络并具有良好的扩展性。
短句来源
     In designing clocks and watches, traditional CAD technologies and expert systems are needed to solve numerical and geometrical models and symbol models respectively.
     钟手表设计过程既要用到传统CAD技术求解数值模型及几何模型,还要用到专家系统求解符号模型,同时在机芯总体布局设计中,需要用布局理论指导问题优化模型的求解,因此只有用智能工程技术才能将这样复杂的复合知识模型集成起来。
短句来源
     ln this paper,a formalized verification tool SMV,based on the comparison of the system's input and output to verify the specification of the design is presented.
     本文采用形式化验证工具SMV(符号模型检验),根据比较安全联锁系统的输入输出是否符合安全联锁规范,检验蒸汽锅炉安全联锁系统设计的规范性。
短句来源
     Under the condition of which Lu & Smolka set up the simplification model of the payment process to the SET protocol for research object, build up its formal model and finite state machine model, as well as CTL formulations of the security properties are presented. Under the assumption of the network environment being controlled by the intruder, the protocols is analyzed by SMV model checking tool.
     在以Lu & Smolka对SET协议支付过程的简化模型为研究对象的情况下,建立其形式化模型和有限状态机模型,以及协议安全属性的CTL公式,并在网络环境被入侵者控制的假设下,基于SMV符号模型检测工具对协议进行了分析。
短句来源
更多       
查询“符号模型”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  symbolic model
One crucial advantage of using NNTrees is that they keep the non-symbolic model ENN's capability of learning in changing environments.
      
Specifying the soundness with Computation Tree Logic (CTL) allows us to verify the soundness with symbolic model checkers.
      
The proposed algorithms use symbolic model checking approach by analogy with model checking algorithms for branching-time temporal logic CTL and alternating-time temporal logic ATL.
      
Generating BDDs for symbolic model checking in CCS
      
An industrial application of symbolic model checking
      
更多          


This paper presents a theory of dynamic model matrix and dynamic model ofrobotic manipulator with n links and shows a decomposition property of dynamicmodel matrix and dynamic robot model.The theory presented here provides a basis forsolving,with numeric-symbolic method,a serious problem which arises from suddenchangcs of kinematic and dynamic parameters of end-effctor while picking objects,and drovides also a basis for implementation of dynamic algorithm for settingand solving dynamic robot model in closed...

This paper presents a theory of dynamic model matrix and dynamic model ofrobotic manipulator with n links and shows a decomposition property of dynamicmodel matrix and dynamic robot model.The theory presented here provides a basis forsolving,with numeric-symbolic method,a serious problem which arises from suddenchangcs of kinematic and dynamic parameters of end-effctor while picking objects,and drovides also a basis for implementation of dynamic algorithm for settingand solving dynamic robot model in closed form on multiprocessor systems.

本文提出了由n个构件组成的机器人开链系统的动力学模型矩阵及封闭形动力学模型的分解理论,从而揭示了机器人动力学模型矩阵及封闭形动力学模型的可分解性;为解决机器人“数字-符号”模型对于机器人末端构件的几何参数和动力学参数发生变化这一情况的失效问题及为在多处理机上形成和求解封闭形动力学模型提供了一个基础。

For the purpose of solving the serious problem with the numeric-sym-boiic method, which arises from sudden changes in the kinematic and dynamic parameters of the end-effector in picking up different objects, dynamic models for the manipulator body and for objects clamped by the robot have been developed. It is shown that the number of operations in computer-aided generation and in solving the process of the dynamic models can be significantly reduced by choosing the local coordinate system attached to the end-effector...

For the purpose of solving the serious problem with the numeric-sym-boiic method, which arises from sudden changes in the kinematic and dynamic parameters of the end-effector in picking up different objects, dynamic models for the manipulator body and for objects clamped by the robot have been developed. It is shown that the number of operations in computer-aided generation and in solving the process of the dynamic models can be significantly reduced by choosing the local coordinate system attached to the end-effector as a reference coordinate system.

为解决机器人夹持不同工件引起工件运动学、动力学参数发生突然变化时,机器人动力学的“数字一符号”模型完全失效的严重问题,本文提出了机器人的操作器本体动力学模型和工件动力学模型.文中表明采用上述模型并选用端部执行器的局部坐标系作为参考坐标系,可大幅度降低机器人动力学模型的计算机辅助生成及求解的运算次数.

Based on an improved analytical (numeric--symbolic) model algorithm, a softwarePackage for the automated modelling of robot dynamics is developed. Motion equations of robot in ana-lytical form are derived automatically by a computer, and the software can also generate real--timecode for dynamic model automatically on cornputers. In the software a more effective optimal operationof polynomials is adopted, and the modus for output real--time code improved, thus resulting in the min-jmization of the number of floating...

Based on an improved analytical (numeric--symbolic) model algorithm, a softwarePackage for the automated modelling of robot dynamics is developed. Motion equations of robot in ana-lytical form are derived automatically by a computer, and the software can also generate real--timecode for dynamic model automatically on cornputers. In the software a more effective optimal operationof polynomials is adopted, and the modus for output real--time code improved, thus resulting in the min-jmization of the number of floating point multiplications/additions and the improvement of operatingspeed. With a graphical interface, the package can also be used for real--time simulation and graphics ren-dering of robot dynamics.

本文基于机器人动力学的解析(数字—符号)模型算法,在计算机上自动生成动力学模型的元素,研制出用于自动形成并输出机器人动力学模型实时代码的计算机辅助生成软件——自动生成程序系统,该系统采用了新的更有效的多项式优化算法及改进的代码输出程序,从而大大地提高了运算速度及导致最少的浮点加减乘除数,如用于仿真时还具有图形接口及动画显示功能。

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

 


 
CNKI小工具
在英文学术搜索中查有关符号模型的内容
在知识搜索中查有关符号模型的内容
在数字搜索中查有关符号模型的内容
在概念知识元中查有关符号模型的内容
在学术趋势中查有关符号模型的内容
 
 

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