软件库

The study includes the hole color TV imagery system for drill hole, even-pole bore-hole acoustic system and acoustic meter, bore-hole multi-point consolidation apparatus, the quick camera computer-aid image for high rocky slope, image technology for layer analysis, safety monitoring technology for the section close to the dam, software for processing and forecasting the slope monitoring data, high precision geodesy monitoring automation system, etc..

钻孔彩色电视孔壁成像系统、直接横波测井研究偶极子井下声系和声波仪、钻孔多点渗压仪及压模系统、岩质高边坡快速摄像微机地质素描成图、层析成像技术、近坝库段安全监测技术、边坡监测数据处理预报软件研究、高精度大地测量监测自动化系统等项目，研究成果内容新、先进、实用，已在工程中应用，效益显著。

In last years, there are some ways to achieve the aim, such as using existing CAID software, developing a CAID system independently, and end-user development based on existing CAID software.

本文在结合同类系统的特点的基础上提出了一套创新的实现模式，即以基于Internet的知识库和造型库支撑的辅助设计系统为主，辅以现有的CAD软件中的工业设计模块的模式。

Based on the CST 3D electromagnetic simulation software, a CAI software of electromagnetic field and wave is developed.

基于CST三维电磁场仿真软件，编制开发了电磁场与电磁波电化教学库。

Flipbook Printer is a unique program that enables you to print small flipbooks, using standard business card stock.

简介 ： Flipbook Printer 是一款让你可以使用标准名片库打印小型的翻页书籍的独特软件。

Software Description: Flipbook Printer is a unique program that enables you to print small flipbooks, using standard business card stock.

Flipbook Printer 是一款让你可以使用标准名片库打印小型的翻页书籍的独特软件。

The general test base system is a software of great benefits for people.

我们开发的通用试题库系统是一个对人们十分有益的软件。

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

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

Cooperates with the operating system and the graphics library components of the platform software.

它和操作系统及平台软件的图象库合作。

In the other hand, Hoare logic has enough expressiveness since logic predicates can express more information than types.

本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。

With its simplest structure –PN junction, the diode has been studied in this paper as an example for making an explanation on the physical quantity and relevant mathematical expression corresponding with respective parameter of SPICE model in the library of simulation software.

文章以结构最简单的二极管PN结作为研究对象，旨在对与仿真软件的元件库中各元件的SPICE模型参数相对应的物理量及数学表达式加以解释和说明，并就这些参数如何反映二极管的电气特性这一问题作了一定的分析。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。