1) Geometric Data Transfer Method
几何数据转换方法
1.
Geometric Data Transfer Method for Privacy Preservation in Clustering Data Mining;
聚类挖掘中隐私保护的几何数据转换方法
2) geometric data transfer
几何数据转换
4) geometry conversion
几何转换
1.
In order to smooth joining 3D pipeline,the method of joining two-beeline pipelines has gotten good effect by a string of circular truncated cone,using the technique of geometry conversion and cutting conversion in OpenGL.
从三维管线衔接处的光滑出发,借助OpenGL中的几何转换技术及剪切变换技术,巧妙地利用四串同直线上的圆台衔接两直线管。
5) geometric data
几何数据
1.
On the method and implementation to prepare geometric data for evacuation modeling under a fire situation;
人员疏散模拟中几何数据创建方法和实现
2.
By method of vector calculation,the data of three-dimensional numerical bender from X、Y、Z geometric data was changed to Y、B、C working data,this process through the procedure was finished.
以向量运算的方法,把三维数控弯管的X、Y、Z几何数据变换成Y、B、C加工数据,并用程序实现之,并指导了对弯管数据的形成。
3.
Characteristics of geometric data in distributive virtual environment were analyzed through the discussion of a multi-server/user system mode.
通过对一种多服务器 /客户系统模式的讨论 ,分析了分布式虚拟环境的几何数据的特点 ,并对多服务器 /客户功能、通讯等工作方式进行了论
6) hypergeometric function method
超几何函数方法
补充资料:程序转换方法
程序转换方法
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基于函数模型,并引人了新的软件分解模式,以及代数与一阶谓词相结合的抽象数据类型定义方法。系统转换过程分两步:第一,由转换程序将设计规约中的一阶谓词描述成分消去,将用户新定义的抽象数据类型用已有的类型实现;第二,由代码生成程序采用过程方法将转换后的设计规约翻译成可执行的程序代码。转换程序采用输人输出谓词综合法消去一阶谓词成分。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条