1)  data conversion program
数据转换程序
2)  data
数据
1.
Tentative Discussion Methods of Data Auditing in Environment Statistical;
浅论环境统计中数据的审核方法
2.
Study on Data Mining Model in Digital Mine Building Process;
数字化矿山构建过程中的数据挖掘模型研究
3.
The development of universal data output platform of the comprehensive mud logging equipment;
综合录井仪通用数据输出平台系统开发
3)  Database
数据
1.
Review of the International Main Greenhouse Gases Emission Databases;
国际主要温室气体排放数据集比较分析研究
2.
The basic database is established preliminarily on IBM-PC with SYSTAT by using fishery resources data (investigated from 1980 to 1994) of 527 reservoirs of 25 provinces in China.
将1980-1994年间全国25个省(市、区)527座水库渔业资源调查数据在计算机上运用SYSTAT软件初步建立基础数据库,对水库形态与自然环境、水的理化性质、生物学等三大层次52项指标进行了初步统计分析。
3.
In this paper ,on the example of photoelectricity test system , the means of running external program in VB with Win32 API to acquire wave curve and the methed software to save wave curve with database software are discussed.
以光电测试系统软件为例,介绍了在 VB中利用 WIN32 API 函数运行外部应用程序来采集波形,以及运用数据库软件保存波形的具体实现方法。
4)  date
数据
1.
Meanwhile, it realizes the date remote transfere.
应用表明,该系统对就业信息的管理提供全面技术支持,且作为网络平台可连接多个终端,允许多人同时访问,实现了数据的远程传输以及系统的远程控制,使用方便、功能齐全、运行速度快,具有良好的移植性和可扩展性,基于Web的解决方案安装与维护简单易行。
2.
Date informs various statie and dynamil information.
数据则反映了各种静态和动态信息,它是程序运行的基本依据,路由数据是中继数据的一部分。
3.
This paper from practical angle raise feasibility that students marks will be managed with a computer, analysis the students marks management by taking advantage of the view of management information system, forms a serial of description tools of management function chart, date flow chart and data dictionary, etc.
从实用角度提出计算机对学生成绩进行管理的可行性,利用管理信息系统的观点对学生成绩管理进 行系统分析,并形成管理职能图、数据流程圈以及数据字典等一系列的描述工具,然后对系统进行系统设计,形成 了新系统的功能结构图,并对系统进行模块设计形成具体的程序设计方案。
5)  Datum
数据
1.
In order to research the relativity in the four criterias of checking automobile braking,based on the big sample datum,the distribution feature and brink-distribution feature of checking data s vector are revealed.
为了研究汽车制动性能检测中4项指标之间的相关性及其影响因素,对大样本检测数据进行了方差分析处理与设计,揭示了汽车制动性能检测结果向量的联合分布特征与边缘分布特征。
2.
Based on MIS theory, this thesis develops the physical and datum model of mudlogging management system and database.
本文通过理论研究和录井公司现有的网络及资源配置情况及国内外录井信息管理现状进行了充分的调查研究,对大庆油田地质录井公司在录井数据及信息管理方面进行了认真的分析和总结。
6)  data of database
数据库数据
参考词条
补充资料:程序转换方法


程序转换方法
program transformational method

  chengxu zhuanhuan fangfa程序转换方法(p到理,即m transfo们盯ationalmethod)由一程序转换至与之等价的另一程序的方法,简称转换方法。从软件自动化的角度看,程序转换有两类:一类是队向特换,即由一抽象级别较高的程序转至另一满足功能要求的抽象级别较低的程序。另一类是校向传换,即在相同(或类似)抽象级别上程序间的转换。 纵向转换涉及从功能规约到可执行的程序的全过程,可分为三个阶段:①从“做什么”的功能规约到“如何做”的设计规约转换;②从设计规约到高级语言程序的转换;③从高级语言程序到机器语言程序的转换。一般认为,①是其核心和难点,而②,③可借助编译技术完成。前者所要考虑的主要问题有:转换模型、转换过程中的正确性架构、知识及其表示机制和转换规则的选取等。代表性的工作是70年代中期西德慕尼黑技术大学信息学研究所在F.L.卫达uer教授主持下开始研究的软件自动化系统,即计算机辅助、直觉指导的程序设计(CIP)项目,以及南京大学计算机软件研究所徐家福教授主持研制的算法设计自动化系统NDADAS和软件自动化系统NDAU卫〕o CIP的目标是开发可形式保证程序正确性的程序开发系统。其课题有三:第一,设计并定义一广谱语言CIP一L;第二,开发一交互系统;第三,建立一指导程序开发中形式推理过程的方法学。CIP的特点是:第一,各步之间转换的实现只借助“保证正确性”的转换规则;第二,开发全过程由程序人员指导,亦即,由程序人员选定转换规则。 Nl〕AI〔)AS是实现功能规约到设计规约自动转换的算法设计自动化系统。它采用功能规约分解树模型,从给定的函数功能规约开始的转换过程由一系列自顶向下的精化步构成,每一精化步将某一函数规约或按某一控制结构分解成若干子函数功能规约;或将某一函数规约转换成另一易于求解的函数规约或算法已知的基元函数功能规约。此过程一直进行到所有未分解的(子)函数功能规约均是基元函数功能规约为止。结果即为相应的设计规约。 Nl)AUTO是实现设计规约到可执行的程序代码自动转换的软件自动化系统。主要工作是设计了一个图形化的软件设计规约语言GSPE〔:和实现了一个自动转换系统。(万PEC基于函数模型,并引人了新的软件分解模式,以及代数与一阶谓词相结合的抽象数据类型定义方法。系统转换过程分两步:第一,由转换程序将设计规约中的一阶谓词描述成分消去,将用户新定义的抽象数据类型用已有的类型实现;第二,由代码生成程序采用过程方法将转换后的设计规约翻译成可执行的程序代码。转换程序采用输人输出谓词综合法消去一阶谓词成分。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。