实数值 meaning in Chinese
rreal-value
Examples
- Data can be integers , real values , strings , or other types , including raw binary streams
数据可以是整数、实数值、字符串或其它类型，包括原始二进制流。 - In the maximum entropy approach , the optimal translation is searched according to a linear combination of a series of real - valued feature functions
而基于最大熵的方法则是利用一系列实数值特徵函数的线性组合来求解最优的译文。 - In a floating ? point representation system , to make an adjustment to the fixed ? point part and the corresponding adjustment to the exponent in a floating ? point representation to ensure that the fixed ? point part lies within some prescribed range , the real number represented remaining unchanged
在浮点表示方法中，调整浮点表示中的定点部分和相应的指数，以保证定点部分处于预先规定的值域内，并使所代表的实数值保持不变。 - In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一个时间自动机是一个五元组n , l 0 , c , e , i ，其中n为一个有穷的位置集合， l 0n是初始状态， c是一个取实数值的时钟变量的有穷集合， e ng c 2 cn是转换的集合。