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

图标索引 历史查询
 

标号转换
相关语句
  “标号转换”译为未确定词的双语例句
     ELOTOS is an extension of protocol specification language LOTOS which is an ISO standard. In this paper, the authors try to give the semantics of ELOTOS by defining a derivation system (like LOTOS). Then, from LTS (labeled transition system ) of restricted ELOTOS, they construct the TFSM(trace finite state machine) for trace semantics, and TFSM is a kind of performance evaluation model.
     ELOTOS是协议描述规范语言LOTOS的扩展.本文用标号转换系统LTS(labeledtransitionsystem)给出了ELOTOS的语义.然后,通过对LTS进行踪迹等价住分析,将ELOTOS映射到基于有穷状态机FSM(finitestatemachine)的性能估价模型.
短句来源
  相似匹配句对
     Transforming Bridge
     转换
短句来源
     COMPUTERIZED CONVERSION FOR COLOR TRISTIMULUS INTO MUNSELL NOTATIONS
     三刺激值向孟塞尔标号的计算机转换
短句来源
     Transformational leadership
     转换领导角色
短句来源
     L(p,q)-Labelling of Outerplanar Graphs
     外部平面图的L(p,q)-标号
短句来源
     THE ENUMERATION ALGORITHM FOR PVQ
     PVQ的标号算法
短句来源
查询“标号转换”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  label translation
Label insertion, label stacking, and label translation are three key configuration attributes at Layer 2 provided by the Prisma IP platform.
      


It is found difficult to convert the colour tristimulus into Munsell notations with present instrumentation because of the lack of formulation.The paper tackles the problem by a mathematical model based on linear interpolation to replace the traditional visual method.The principle of the model is discussed and the results are quite acceptable with a Munsell hue and chroma error less than 0.2.

目前,孟塞尔标号通常采用查图表法或视觉法来确定,但其结果因人而异。本文根据已知孟塞尔标号的分立数据,提出了三刺激值向孟塞尔标号转换的计算方法。首先根据孟塞尔明度值与亮度因数的函数关系,通过叠代法计算获得孟塞尔明度值。孟塞尔色调和彩度必须先在色空间中找到与样品最接近的8个色卡点,然后通过线性插值得到。如何寻找8个色卡点,文中作了详细描述。计算机转换的结果与实际比较,色调和彩度的误差不超过0.2。同时该方法减轻了劳动强度,提高了工作效率,促进了计算可靠性。

ELOTOS is an extension of protocol specification language LOTOS which is an ISO standard. In this paper, the authors try to give the semantics of ELOTOS by defining a derivation system (like LOTOS).Then, from LTS (labeled transition system ) of restricted ELOTOS, they construct the TFSM(trace finite state machine) for trace semantics, and TFSM is a kind of performance evaluation model.

ELOTOS是协议描述规范语言LOTOS的扩展.本文用标号转换系统LTS(labeledtransitionsystem)给出了ELOTOS的语义.然后,通过对LTS进行踪迹等价住分析,将ELOTOS映射到基于有穷状态机FSM(finitestatemachine)的性能估价模型.

The SA(software architecture) dynamics description is a critical step in the conformance testing based on SA.Many architectural description languages(ADLS) rely on labelled transition systems(LTS) to model the SA dynamics,and LTS graph could be used as the reference model for deriving the test sequences.This article introduces two ADLS which can derive LTS by a case study.

SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。

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

 


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

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