程序库

Software mainly indroduces use of DLL of GOOGol - motion contol card and compilation of series communication programm.

软件部分主要介绍了固高运动控制卡动态连接库函数的使用和实现串口通讯的程序编制。

According to the features of Direct3D9 graphics library, D3DPR system architecture and implementation principle is presented.

根据Direct3D9图形库的特征，提出了支持Direct3D9应用程序级透明并行图形绘制系统D3DPR的系统结构及其实现原理。

The Gtk+ toolkit as well as some existing applications already started to base most of their graphics on the Cairo library.

Gtk+工具包和一些现存的应用程序已经开始把它们的图形的大部分构建在Cairo库之上了。

Programmable GPU and the OpenGL graphics library learning induction procedures.

可编程GPU和OpenGL图形库的学习入门程序。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

Additionally, there are over 70 spelling , hyphenation , and thesaurus dictionaries available for languages, and dialects that do not have a localized program interface.

此外，还有超过70种没有本地化的程序接口的语言和方言的拼写、断字和词典词库。

This is a function of the use of Opengl illumination contrast to the small procedures.

详细说明：这是一个使用Opengl函数库实现光照对比的小程序。

Based on the genetic concepts of biology, the system of computer could make use of the components from the argenia, with the logical code and operational procedure, to produce an infinite matrix of architectural variations during the design process. The approach will develop the complexity of the future architecture.

这种设计方法基于生物学的基因理论，利用生成图码库的设计要素，通过一种可以操作的程序编码和步骤，让计算机进行建筑设计，将建筑设计的过程变成一个开放的形象设计体系，以求充分表现未来建筑的复杂性。

Based on the genetic concepts ofbiology, the system of computer could make use of thecomponents from the argenia, with the logical code andoperational procedure, to produce an infinite matrix ofarchitectural variations during the design process.

这种设计方法基于生物学的基因理论，利用生成图码库的设计要素，通过一种可以操作的程序编码和步骤，让计算机进行建筑设计，将建筑设计的过程变成一个开放的形象设计体系，以求充分表现未来建筑的复杂性。

VIrc - KVirc is a Visual Internet Relay Chat Client based on the Qt library.

virc 是一个基于Qt库的可视化的IRC客户端程序。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。