您现在的位置:生物医药大词典 >> 英汉双语句子大全 >> 的意思
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 comprehensive description of new advances in the development of aerogeophysical techniques used abroad and describes such instruments as aeromagnetometer and UAV, gamma spectrometer, and the newest aeromagnetic, aeroelectromagnetic and 摘要综述了2000年来西方国家航空物探技术的新进展,介绍了最新的航空磁力仪、航空伽马能谱仪、航空电磁仪、航空重力测量系统、无人机航空物探系统以及数据处理软件系统等。
This paper gives a comprehensive description of the development of aerogeophysical techniques in Western Countries and recounts such instruments as aeromagnetometer and gamma spectrometer, the newest aeromagnetic, aeroelectromagnetic and airborne gravity 摘要本文综述了西方国家航空物探技术的发展动态,介绍了最新航空磁力仪、伽马能谱仪,以及最新航磁、航电、航重测量系统、数据处理软件。
This paper gives a description of discharge tube,mirror,laser head and laser power supply of an air cooling argon laser which output is over 1W,and shows its properties. 介绍输出功率超过1W的风冷氩离子激光器的放电管、反射镜、激光器头部和激光电源的设计考虑,给出了它的性能。
This paper gives a design scheme of compositive platform for firewall and network protocol experiments cooperating with the teaching of information security.First,hardware system structure of experiment platform is introduced.And secondly,the design and i 给出了为配合信息安全教学所构建的网络防火墙综合实验平台的一种设计方案,介绍了该综合实验平台的硬件系统结构,详细阐述了该系统的软件设计和实现方案,最后给出了实验内容设置及实验目的。
This paper gives a detailed statement on the basic relations between the society and its members and between the social members, also on the relation between violence and law, with the Outset of the analysis on the basic relations between persons and the 摘要以法的概念为主线,从考察社会中人与人的基本关系入手,对社会及其成员、社会成员之间的基本关系以及暴力与法的关系等几个视角予以阐述。
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个树种进行试验,并按各树种林分平均胸径、平均树高、平均单株材积和平均单位面积蓄积的年平均生长量进行排序。
 
你知道它的英文吗?
你知道中文意思吗?
热门分类


成为编辑 - 词典APP下载 - 关于 - 推荐 - 手机词典 - 隐私 - 版权 -链接 - 联系 - 帮助
©2008-至今 生物医药大词典- 自2008年3月1日开始服务 生物谷www.bioon.com团队研发
沪ICP备14018916号-1