|
This paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description, and we have implemented a partial evaluator for like-PASCAL.
|
|
|
摘要提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述。采用该方法，实现一个实验性的部分求值系统。 |
|
This paper gives a model of trigonometric leveling of atmospheric refraction and vertical deflection, then analyses every part of its accuracy and give a lists to analyses all kinds of effects caused by the errors of triangle leveling.
|
|
|
摘要首先建立了大气折光和垂线偏差的三角高程测量模型，并对模型的精度进行了逐项分析，列表分析了各种误差对三角高程测量的影响。 |
|
This paper gives a particulared introduction to process of energy-saving technical renovation of gas well-type heat treatment furnace.
|
|
|
摘要较详细地介绍了燃气井式热处理炉的节能技术改造。 |
|
This paper gives a review on the five analysis approaches of fluctuation pressure on the hydraulic structures and hydromachines: the method of probability and random process, the method of time-space correlation, the method of fitting data, the method of
|
|
|
摘要综述了水工建筑物及水利机械上脉动压力的五种分析方法：概率和随机过程法；时空相关法；数据拟合法；根据实验测点数据分布假设法；流体力学方法。 |
|
This paper gives a review on the research work of organogallium complexes formed by gallium and main group element, transition element as well as typical ligands.
|
|
|
对最近几年镓与主族元素、过渡元素及其他一些典型配体形成的有机镓配合物的研究进展作一概述。 |
|
This paper gives a survey on experimental forestland. 25 tree species were selected, and arranged in order by average diameter at breast height, average height, average individual volume and annual average volume increment in a unit area in this experimen
|
|
|
摘要简要介绍了试验林地的概况，选择了25个树种进行试验，并按各树种林分平均胸径、平均树高、平均单株材积和平均单位面积蓄积的年平均生长量进行排序。 |
|
This paper gives a systematical research on high frequency distortion Performance of vehicle shock absorber.We prove that the cavitation specific property is another basic cause of high frequency distortion of vehicle shock absorber.We put forward the new
|
|
|
该文对车辆筒式减振器高频畸变特性进行了系统研究.揭示并论证了泡沫特性是筒式减振器高频畸变的另一类重要基本成因，明确地提出饱和与不饱和高频畸变等工程实用新概念.文中还对使用国产设备进行减振器泡沫特性台架试验的技术路线进行了归纳. |
|
This paper gives an account of the construction schemes of building artificial islands and sinking concrete cofferdams for shoal piers No.53 and No.59, and the construction schemes double-wall steel cofferdams for deep water piers No.54~58 of Hengyang Xia
|
|
|
摘要介绍武广客运专线衡阳湘江特大桥53号、59号浅滩墩采用的筑岛、下沉混凝土围堰施工方案，以及54~58号深水水中墩采用的双壁钢结构围堰施工方案。 |
|
This paper gives an analysis about the technique of look-ahead and point out the problem of resolving memory data correlation and presents the improved strategies, that is direct send the data of Back-write stack to Ahead-read stack reduce the time of mem
|
|
|
摘要通过对先行控制技术的分析，提出了解决存储器操作数相关的一些问题，并给出了相应的改进方法，把后行写数栈的内容直接送先行读数栈，从而缩短存储器操作数相关的时间，提高系统的效率。 |
|
This paper gives an analysis of the urban-rural structure in China from both the relational and institutional perspectives.
|
|
|
摘要文章试图从制度性层面和关系性层面对我国城乡结构做出一些新的解读和分析。 |
|
This paper gives an essay on the empiric literatures about which is betterdebate on intermediate-based financial system and market-based financial system performing on the economy growth, we can summarize four views and corresponding holding theories.
|
|
|
摘要本文对银行主导型金融体系与市场主导型金融体系促进经济增长优劣进行比较的实证文献进行综述，总结出四种观点及理论支持。 |
