实用软件

Even if software is free people still need advice and support that they may pay for. Also individuals can prove their skills and knowledge by working on free software, and use it to get other kinds of work.

IBM应用并且支持免费软件，即便是免费的实用软件，人们依然需要建议和帮助，而这些建议和帮助是需要付费的，也有个别人通过免费软件证明他们的技术和知识，并且通过这种方式作其他的事情。

Software Description: About Default Printer, This utility helps you switch your active printer.

Default Printer 该实用软件帮助你转换你的可以使用的打印机。

We also propose the structure of intelligent sensor system for collecting the pre-fault sign, the pick-up and analyzing method to the pre-fault sign. Give the structure of intelligent fault-tolerant computer system that based on fault prediction.

研究了软件容错的方法，特别是单版本复指软件对瞬时硬件故障有良好的容错特性，文中提出了实现单版本复执软件的实用方法，并给出了分块复执软件实现的条件。

Therefore, to explore and to establish appropriate software reliability model are of theoretical significance and practical value.

软件可靠性模型是软件可靠性分析和度量的基础，研究并建立合理的软件可靠性模型具有重要的理论意义和实用价值。。。

Through the study of this course, the students are aimed to master some primary theories and methods of operations research and are taught to apply them to solve the practical management problems. It also enables the students to construct the concept of global optimization and the capability of systematical analysis via the introduction of the principles and the explanation of algorithms as well as the case study. And some practical softwares such as LINDO and EXCEL are also inducted to provide the students with tools for model solution and result analysis, which help them to learn for application.

通过本课程的学习，使学生能够掌握运筹学的一些主要理论和方法，培养学生能运用模型来研究解决管理中实际问题的能力；通过原理介绍、算法讲解、案例分析等，使学生建立起整体优化的观念和系统分析的能力；通过介绍基本的实用软件（如LINDO、EXCEL等）的使用方法，使学生具备会运用软件工具对各类运筹学模型进行求解和结果分析的能力，力争做到学以致用。

Based on the researches of prehominid this thesis first discusses and analyzes on the product characteristic and the cost structure and also the factors that affecting the pricing of software. After that it gets a stage conclusion that the pricing strategy of the traditional product isn't suitable for software product. Then it analyzes the problems of the president pricing strategy of software .At last it gives an operatable and practical pricing model by the example of the ERP software product.

本篇论文在综合前人关于信息产品和软件产品定价方法的研究成果的基础上，首先对软件产品的特点、成本结构、影响软件定价的内外各种因素进行分析和理论探讨，从而得出传统的物质产品的定价方法不适用于软件产品定价这一阶段性结论；然后综合现有的软件定价方法和策略，对其存在的问题进行分析；最后运用定性分析和定量分析相结合的方法，以ERP软件为例提出一个可操作性较强的实用定价模型。

Software Description: About DiffDog Standard, This is a dedicated differencing utility for developers and power users.

DiffDog Standard 这是一款用于开发者和供应者的专门差异分析实用软件。

For the future, realistic soft system based on this model of Rough Sets will be theoretically lucubrated and exploited.

今后的工作是开发基于这种粗糙集模型的实用软件系统和理论上的深入研究。

Software Description: About AES Pro, This utility creates active public keys -- executable programs that contains public keys and software necessary to encrypt messages and decrypt the answer-back messages.

AES Pro 这个实用软件可以创建包含公共密匙和软件需要的加密信息以及解析回应信息内容的可执行程序的有效的公共密匙。

To conquer limitations of existing techniques for developing loop invariants, professor Xue Jinyun, who is imbursed under two National Nature Science Foundation of China, systematically research the theory and method of loop invariants and advanced the new definition and developing strategies for loop invariants. Based on above, he presented efficiency method of developing algorithmic program, Partition-and-Recur Approach, and its developing environment which bring into important play in formal method.

为了克服已有循环不变式开发技术存在的局限性，薛锦云教授在两个国家自然科学基金课题&若干新的算法程序设计和证明方法研究&和&实用的软件形式化方法及其开发工具的研究&的资助下，对循环不变式的理论和方法进行了系统的研究，提出了关于循环不变式的新定义和新的开发策略，并在此基础上形成了一种实用的算法程序形式化开发方法及其开发环境，在复杂算法程序及软件形式化开发中发挥了重要作用。

Do you know, i need you to come back

你知道吗，我需要你回来

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

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