维护软件

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

SPNAnalyzer software system has a very friendly man-machine interaction interface, so the visualized modeling of stochastic Petri net is very intuitional and convenient. The response and handling of the Windows messages is extended to the graph tool module, so it is very easy to maintain. The class design of the element object module and the graph tool module guarantees the expansibility of the system. The crucial technologies including the reachability set algorithm of the stochastic Petri net model, the constitution of the homogeneous Markov chain, and the computation of the steady state probability are implemented. The design of the data structure adopts the linked list, so the execution of the algorithms is very efficient.

SPNAnalyzer软件系统具有非常友好的人机交互界面，使可视化的随机Petri网建模变得非常直观方便；将各种Windows消息的响应和处理延伸至图形工具模块，使系统的维护变得容易；元素对象模块和图形工具模块的类的设计使系统的可扩展性很好；实现了随机Petri网模型的可达集生成算法和同构马尔可夫链的构造及其稳定状态概率的求解等关键技术；数据结构的设计采用链表的形式，使各种算法都具有较高的执行效率。

Hurray technology professionals are engaged in software development, computerization of accounting and corporate ERP development, implementation and maintenance of high-tech enterprises.

华友科技是专业从事软件开发、财会电算化和企业ERP开发、实施和维护的高科技企业。

In addition, it possesses those functions of data input, query, print and maintenance.

此外，软件具有数据的录入、计算、查询、打印和维护的功能。

Mining design patterns from source code is a very important technology for improving the intelligibility and maintainability of software.

从系统源码中挖掘设计模式对软件的可理解性和可维护性具有重要意义。

Take responsibility for Brady common technical support job, like maintenance of printer/software

负责打印机维护和相关软件技术支持等工作。

The software of this system written in C programming language mainly, follow the principles of modular design, including the speed measurement, speed PWM drive, speed PI-conditioning, speed display, keyboard input, and other procedures module. The code has easy maintenance and great probability.

系统软件主要使用C语言编写，遵循模块化设计的原则，编写了转速的测量、转速的PWM驱动、转速的PI调节、转速的显示、键盘输入等程序模块，程序代码具有良好的易维护性和可移植性。

The software of this system written in C programming language mainly, follow the principles of modular design, including the speed measurement, speed PWM drive, speed PI-conditioning, speed display, keyboard input, and other procedures module.

系统软件主要使用C语言编写，遵循模块化的原则，编写了转速的测量、转速的PWM驱动、转速的PI调节、转速的显示、键盘输入等程序模块，程序代码具有良好的易维护性和可移植性。

Because of every different font has robust, the way based chain coded and knaggy feature is used.

并在算法实现中运用了面向对象的方法，保证了大型系统软件的易维护性。

Online long-range service stand by, Software maintains and application support; Outside equipment spare part and consumes the material sale; Product promotion activity machination and popularization.

在线远程服务支持，软件维护及应用支持；外设零部件及耗材销售；产品促销活动策划与推广。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。