查询词典 reference manual

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

This will automatically add the APOD gadget to the Sidebar, however there is one manual step you need to

小工具。这将自动添加青苹果的小工具栏，但有一个手动步骤您需要

The information in this book is equally applicable to any CAD application or manual drawing.

在这本书里的讯息对任何计算机辅助设计申请或者手册画同样适用。

Users can set the application either on manual or automatic mode.

用户可以设置应用程序或者手动或自动模式。

SSD1921 is a good use of the image acquisition chip, which is its application manual.

详细说明： SSD1921是很好用的图像采集芯片，这是它的应用手册。

Application of program or manual to ensure the proper position of piping in vessel.

应用软件或人工来确定船舶中管路的正确位置。

To introduce some of the language of geographic information systems with a simple first example, let's examine an application of a simple manual GIS.

引进一些的语言，地理信息系统，以一种简单的一个例子，让我们研究的一个应用一个简单的体力劳动了38.90%。

ARM processor technology application completely manual (1) eager to understand the ARM technology friends,...

ARM系列处理器应用技术完全手册(第1章)，对急于想了解ARM技术的朋友，这可是一个非常好的文档资料，不看一定后悔！

The application has an integrated manual and OSD.

该软件拥有一个集成的帮助指南。

It changed the form of manual application, except for a complicated application process, which eliminates the laborious and time-consuming work.

它一改以往人工报名形式，除去了复杂繁琐的报名流程，免去了费时费力的工作方式。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"