应用软件

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

Summary: this article will introduce a few problems that remote copy meter software involved. Software should possess basic functions to copy meter and display data, and moreover, it should meet actual requests of residence management and industry management and provide a set of perfect and integrative management system including assistant functions of backlist and bank transfer for customers.

摘 要：本文介绍了远程抄表软件应予以关注的几个问题，远程抄表软件不仅仅满足简单的抄表、数值显示等基本功能，而应充分考虑到用户实际应用情况，满足物业管理、行业管理等不同部门的实际应用需求，提供列黑名单、银行划账等实用的辅助功能，为用户提供一套完善的综合管理系统。

Having Been studied and analyzed by cryptologist for over 10 years all over the world, PGP algorithm has been regarded as of security, high efficiency and operability. Consequently, series of PGPs standard for application to protect E-mail came out.

经过十多年世界范围的应用研究和密码分析家们的分析，PGP被认为是安全、高效和易于实现的加密算法，形成了应用于保护电子邮件的一系列标准，并且有相当多的商业软件和免费软件被相继开发。

This article analyzes configuration files based on the Struts＋ Hibernate＋ Spring J2EE application, and, according to element defining rules and dependent relations of the elements in configuration files,it chooses a XML file definition to test data, uses JDOM and JUnit technology to carry on designing a configuration test driver program, which realizes the configuration test automation of the J2EE multilayer frame application.

剖析了基于Struts＋Hibernate-4-Spring的J2EE应用的各个配置文件，并根据配置文件中定义元素规则及元素之间的依赖关系，选择XML文件定义测试数据，采用JDOMA-JUnit技术进行配置测试驱动程序的设计，实现J2EE多层框架应用的配置测试自动化，有助于人们对框架、配置、解耦、软件测试的理解，并提高开发效率和软件质量。

After the designment of the application, this paper discuss the download software aimed at the download problem.

在应用程序软件设计完成之后，又针对应用程序的下载问题进行了下载烧录软件的设计。

Framework-related develop activities are described in this paper.At first,the process models on framework development and application development based on framework(i.e.frame-work reuse)are constructed.Based on these two models,some problems ,which include strategy of domain variability man-agement ,adjustment of software architecture during application implementation,evolvement of framework,are discussed.

综合各学者对于软件框架的定义犤2～6犦，可以看出框架具有以下特点：它是面向特定领域的可复用软件制品；反映了应用的体系结构；具有部分实现的特性；基于框架开发应用是通过扩展过程实现的；框架由一组相互协作的构件组成，对于面向对象的框架而言，其组成构件即为类构件。

In this dissertation, first, based on theory of cutting tooth about the gleason spiral bevel gear, the equation of meshing in the process of cutting tooth, the surface equation of generating gear as well as the general tooth surface equation of the double circular arc spiral bevel gear, using GB12759-1991 type of double circular arc gear as a basic gear profile, a three-dimension solid model of double circular arc spiral bevel gear which has the good adaptability was carried out by used of Unigraphics software;Second, by researching of the algorithm about contact and collision as well as various contact types based upon Contacting Finite Element Method, a foundation was laid for selecting the contact type in analyzing contact stress of double circular arc spiral bevel gearing;Finally, through the connection port of PARASOLID between UG software and ANSYS/LS-DYNA software, the three-dimension solid model of double circular arc spiral bevel gearing obtained above in UG was imported into ANSYS/LS-DYNA, a finite element analyzing about contact stress of double circular arc spiral bevel gearing was carried out by applying new loading method.

本文首先基于格利森弧齿锥齿轮加工原理及切齿啮合过程中的啮合方程、产形轮齿面方程以及双圆弧弧齿锥齿轮的齿面方程，选用GB12759-1991型双圆弧齿轮基本齿廓为基准齿形，利用Unigraphics软件的建模功能，绘制了有较好适应性的双圆弧弧齿锥齿轮传动三维实体模型。其次，描述了应用有限单元法进行实体接触与碰撞问题算法的公式，研究了有限元分析中的各种接触类型以及双圆弧弧齿锥齿轮接触应力分析中所选择接触类型的依据。最后，通过UG软件和ANSYS/LS-DYNA之间的PARASOLID接口工具包，将UG软件中得到的啮合齿轮模型导入ANSYS/LS-DYNA有限元分析软件，给出一种新的加载方法，进行了双圆弧弧齿锥齿轮传动的接触应力的有限元分析。

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软件强大的绘图功能相结合，给出了实现该接口技术的关键代码以及绘制成果图件的实例：冰盖下流速场纵向流速等值线图、三维线框图、流场矢量图等图形，并输出图形与动态显示。

Oneself are technician one's previous experience, also produce oneself advantage in promotion respect so, I often understand a few newer application little software, if discover the demand of some kind of software compares press close to ordinary people, I follow the family's software rescripts a software that with me this locality concerns, be in next the download station that demonstrate or provides official website link is released, such promotion way is more efficient, the flow that come is steadier also, and it is durative.

自己是技术员出身，所以在推广方面也发挥一下自己的优势，我经常去了解一些比较新的应用小软件，如果发现某种软件的需求比较贴近普通大众，我就仿照人家的软件重写一套与我本地有关的软件，然后在有演示或提供官方网站链接的下载站发布，这样的推广方式比较有效，来的流量也比较稳定，而且是持续性的。

Combined with the magnetic survey in submarine tunnel engineering geological investigations in the Kiaochow Baymouth,the methods of the fine magnetic survey are introduced firstly in this paper,and high precision data processing methods by means of GEOCAP are expatiated.

结合胶州湾湾口海底隧道工程的地质物探勘察工程，介绍了精细海洋磁法勘测的海上调查方法，阐述了利用GEOCAP软件的磁力实测数据资料的高精度数据处理技术，说明了利用GRAPHER软件、SURFER软件和MAGPICK软件绘制磁力异常ΔT剖面图、平面等值线图和平面剖面图的方法，最后讨论了应用磁测资料进行地质解释的方法。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。