应用软件程序

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规格说明在工业界的推广应用。

Chapter one and chapter two analyse the basis theory and give a whole design plan and expatiate the basic exoterica of system inculding primary technology for application. It involves the basic control theory of satellite antenna and analyse for the whole function. Chapter three gives the hardware design which includes hardware etlectrocircuit structure, principle chart, selecting all kinds of parts of the apparatus , the sensor elements and the design of serial communication electrocircuit etc. Chapter four and chapter five introduce software design for the SCM and the personal computer, giving mainly design theory and material program which includ the design of searching for the satellite and searching for the high-point and the program development by Delphi on PC, explaining the basic principium of asynchronous serial communication for epigyny computer and hypogyny computer.

第一、二两章阐述了系统的理论基础及应用的主要技术，包括卫星天线控制基础理论和整体功能分析等等；第三章是系统硬件设计，包括硬件电路组成及原理图、各类元器件的选取及传感器原理，串行通信电路设计等：第四、五两章是单片机、PC机软件设计，给出了主要部分的设计原理及具体程序，包括监控软件设计、寻优设计、寻星设计，PC端Delphi程序设计开发等，并阐述了PC机和单片机异步串行通信的基本原理，是本课题的重点所在。

For applications to be fully Internet-enabled, Oracle, PeopleSoft, and Dun and Bradstreet will have to reconstruct their wares and rewrite not only the client, but also the server portion of their applications in Java or ActiveX to improve security.

对于完全由internet驱动的应用程序，oracle、peoplesoft和邓白氏公司将必须重构他们的软件，不仅要用java或activex重写应用程序的客户机部分，还要重写服务器部分，以提高安全性。

Depending on it, MCF5249 can operate andcontrol SL811HS.While designing the USB system software, we use the MetrowerksCodeWarrior IDE as the programming and debuging tool. Firstly, the USB busdriver is be realized, which can detect、recognize and setup the USB device,then, the Bulk-Only transport driver is builded base on USB Mass Storageclass specification.

在软件设计上，以Metrowerks 公司的CodeWarrior 为编译调试平台，进行软件编码和调试，并利用M5249C3 开发板上的BDM 口和计算机的并口相连，通过下载CodeWarrior 编译生成的。elf 文件到MCF5249 的SDRAM中对软件进行功能测试；采用模块化设计的思想，将USB 系统软件分为通用的USB 设备命令和特定的USB 设备类应用程序两部分，对各模块分别加以实现。

Here's our secret: Our unique hybrid Software as a Service model combines the convenience and flexibility of a browser-based application with the speed and power of a server-based program.

下面是我们的秘密： GSP软件作为服务模式，我们独特的混合软件相结合的方便和灵活的浏览器为基础的速度和力量的服务器基于程序的应用程序。

The authors emphatically research that how to utilize the intermediate driver in network driver interface specification to realize the architecture of software platform for wireless ad hoc network in power system; present Passthru based frame of program, optimized link state routing protocol and the principle to implement modules of the program; discuss the feature of the network platform and look forward to the application prospect of the network platform.

针对无线网在电力系统中广阔的应用前景，进一步研究了无线自组网在电力系统中的应用，重点讨论了如何利用NDIS(network driver interface specification)中间驱动程序实现电力系统中的无线自组网软件平台架构，介绍了基于Passthru的程序框架、最优化链路状态路由协议及程序模块的实现原理，并讨论了网络平台的特性，展望了其应用前景。

Ask for help the ASP WEB the application the procedure, the customer passes the Browser software conjunction backstage database and complete to do the operation, on the B/ the mode of S net shopping system, the data supports the convenient customer carries to have no to need the appropriative software, having the good network expand the sex, supporting the TCP/ the IP agreement connects into the Internet directly, at the same time for B/ the mode of S but speech, the procedure have been no longer so important with the physics position of the data, the visitant concern just their URL all right.

借助 ASP 的 WEB 应用程序，用户通过Browser 软件连接后台数据库并完成做操作， B/S模式的网上订餐系统，数据维护方便客户端无需专用的软件，有较好的网络扩展性，支持TCP/IP协议直接接入Internet，同时对于B/S模式而言，程序和数据的物理位置已经不再是那么重要了，访问者所关心的只是它们的URL就可以了。

Software reuse is one of the important fields of computer research.,integrating with software reuse,distribute computing,CASE and enterprise application programming ,CBD(Component Based Software Development) becomes An effective way to increase productivity and quality of software for their distributiveness ,high scalability ,deployability ,effectiveness and easy maintenance .

对软件复用技术的研究一直是计算机界的重要研究领域之一。集软件复用、分布式对象计算、CASE和企业级应用程序开发等技术为一体的基于构件的软件开发以其分布性、高伸缩性、可配置性、高效性、易维护性等优点成为提高软件生产效率和产品质量的现实有效的途径。

Interapplication communication is a means by which software process can efficiently exchange information units during runtime in a heterogeneous computer environment. It is the key technology of implementing cooperative computing and software integration.

摘 要：应用程序间通信(interapplication communication，IAC)是指在异构计算机系统中不同程序进程进行有效数据交换的技术，它是实现软件协同计算和软件系统集成的基础。

Based on numerical simulation flow after treatment methods and implementation. This paper drawing river ice jam thickness contour map, vertical water flow under the ice jam contour map as an example, the use of Surfer software described in detail various graphics rendering; Focused on the Surfer with VB programming software secondary development to achieve flow numerical simulation after treatment, showed that automatic change the data files to the Surfers;Introduced Active automation technology and Visual Basic Application Program Interface, and the interface technology will combinate VB powerful software development capabilities and Surfer software powerful mapping functions , achieve the key code and the mapping results map examples: under the ice sheet flow velocity field vertical contour map, three-dimensional wire-frame plans, such as flow field vector graphics, and dynamic display and output the graphics.

基于水流数值模拟后处理的方法与实现，本文以绘制河流冰塞厚度等值线图、冰塞下水流纵向流速等值线图为例，详细介绍了运用Surfer软件绘制各种图形的方法；重点阐述了用VB编程对Surfer软件进行二次开发实现水流数值模拟后处理，显示向Surfer数据文件自动转换的过程；介绍了Active自动化技术及其与VB应用程序的接口技术，并利用该接口技术将VB的强大软件开发能力和Surfer软件强大的绘图功能相结合，给出了实现该接口技术的关键代码以及绘制成果图件的实例：冰盖下流速场纵向流速等值线图、三维线框图、流场矢量图等图形，并输出图形与动态显示。

Do you know, i need you to come back

你知道吗，我需要你回来

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

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