1) partial values
部分值
2) partial evaluation
部分计值
1.
It also gave the corresponding definition of the partial evaluation and proved the correctness of the partial evaluator, and showed the correctness of the partial evaluation and the invariance of certain properties of the environments under partial/residual and total evaluation.
定义了 JVML指令序列的程序语义 ,构造了相关的 JVML子集部分计值器并形式化地给出了计值规则 ,证明了计值规则的正确性 ,说明了表达式和语句在一定的环境下通过部分 /剩余( Partial/Residual)计值和全局 ( Total)计值的不变
2.
The most important phase of partial evaluation is the binding time analysis(BTA), which works ahead to distinguish those computations which can be computed in partial evaluation time from which should be left to the running time, when the binding time information of the program s initial argument is given.
构造程序语言的部分计值器时最重要的一步是约束时间分析 。
3) partial evaluation
部分求值
1.
An incremental database engine based on partial evaluation;
一个基于部分求值的增量式数据库引擎
2.
In order to refine alias relations and reduce alias set,a new alias analysis method is introduced by combining partial evaluation and alias analysis technique.
通过并行融合部分求值和别名分析技术,提出一种新的别名分析方法,并给出形式化描述。
3.
The construction method of meta-interpreter and facility of partial evaluation was analyzed.
本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现。
4) Partial computation
部分求值
1.
The unfolding problem of loop has always been a difficult problem in the partial computation of imperative languages.
文中基于数据流分析（ＤＦＡ）技术，通过引进循环中变量之间的相互依赖关系，提出一种过程式语言部分求值的处理方法。
5) partial equivalence
部分等值
1.
Based on a comparative study,the author proposes three translation yardsticks known as(1) equivalence,(2) partial equivalence and(3) non-equivalence.
文章从文化视角的差异,探讨了英汉习语的翻译问题,将其归纳为等值关系,部分等值关系和不等值关系,并进一步分析了三种关系类型中文化含义的异同点,提出了英汉习语翻译的思考方法。
6) numerical part
数值部分
补充资料：道路通达度分值
道路通达度分值
城镇土地足软佰饥甲供【道路通达度分值j城镇土地二映道路通达度指标高低的参数值通过对影响土地通达程度有关指标计算转化得来。所谓通达度，是体现城镇土地交通区位条件的指标，反映土地内交通通达性能。其指标值取决于道路类型及其在交通中的作用，地块与道路的距离，以及道路的通达方向。道路的类型和作用大小，按道路宽度和通行能力衡量，随着距道路越远，道路的影响力呈指数递减，通达方向以通达系数表示。道路通达度分值范围在1-100之间，分值高低与通达度的高低正相关。分值计算步骤为:1.划分道路类型;2.计算道路作用指数和通达作用分。指数与道路作用的大小成正比，数值在0一1之间，通达作用分计算公式:fi=100民(fi为通达作用分，凡为作用指数);3.确定道路影响距离和相对距离。主干道、次干道的推算公式为:d=S于ZL(S城镇建成区面积，L主、次干道长度，d为影响距)，相对距离:r=d;于d(d。某道路影响距离内，距道路的实际距离，d为影响距);4.计算各类道路的作用分在土地单元上的得分值。推算公式:五=户一r)(羁得分值，f是道路作用分，:是相对距离);5.确定土地单元的道路通达系数，通达方向越多系数越大，范围为1 .0一0.58。6.计算道路通达度分值。由土地单元上最高的通达作用分和通达系数共同决定，公式为:F‘=fix民(fi为道路通达度分值，fi为单元内通达作用得分最高值，民为单元的通达系数)。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条