软计算发展历程的系统探析——基于《应用软计算》的统计分析

软计算是当前人工智能领域的主要研究对象,是人工智能发展的基本技术支持,《应用软计算》是专门针对软计算技术的研究和应用而创立的一个国际性期刊。本文依托对《应用软计算》创刊以来发表论文的统计数据,介绍和分析了软计算的发展和趋势。

Model Checking over Paraconsistent Temporal Logic

Classical logic cannot be used to effectively reason about concurrent systems with inconsistencies (inconsistencies often occur, especially in the early stage of the development, when large and complex concurrent systems are developed). In this paper, we propose the use of a guasi-classical temporal logic (QCTL) for supporting the verification of temporal properties of such systems even where the consistent model is not available. Our models are paraKripke structures (extended standard Kripke structures), in which both a formula and its negation are satisfied in a same state, and properties to be verified are expressed by QCTL with paraKripke structures semantics. We introduce a novel notion of paraKripke models, which grasps the paraconsistent character of the entailment relation of QCTL. Furthermore, we explore the methodology of model checking over QCTL, and describe the detailed algorithm of implementing QCTL model checker. In the sequel, a simple example is presented, showing how to exploit the proposed model checking technique to verify the temporal properties of inconsistent concurrent systems.

On Hybrid Computer-Aided Tools to Interface Design Data

Recognizing the drawbacks of stand-alone computer-aided tools in engineering, several hybrid systems are suggested with varying degree of success. In transforming the design concept to a finished product, in particular, smooth interfacing of the design data is crucial to reduce product cost and time to market. Having a product model that contains the complete product description and computer-aided tools that can understand each other are the primary requirements to achieve the interfacing goal. This article discusses the development methodology of hybrid engineering software systems with particular focus on application of soft computing tools such as genetic algorithms and neural networks. Forms of hybridization options are discussed and the applications are elaborated using two case studies. The forefront aims to develop hybrid systems that combine the strong side of each tool, such as, the learning, pattern recognition and classification power of neural networks with the powerful capacity of genetic algorithms in global search and optimization. While most optimization tasks need a certain form of model, there are many processes in the mechanical engineering field that are difficult to model using conventional modeling techniques. The proposed hybrid system solves such difficult-to-model processes and contributes to the effort of smooth interfacing design data to other downstream processes.

Study on strengthen the application of software engineering management

With the development of science and technology change quickly, the technology of the computer field is becoming more and more perfect and progress, and the development of computer software is also more extensive. It provides a simple, scientific and technological solution for many fields. The high development of information bring digitized concept to every sections. So, Software development, operation, testing and other steps will be affect by those fields. Therefore, the development of the software industry needs to improve the management efficiency, and improve the efficiency of product development in the whole process.

Computer Management of Quantitative Analysis Chemistry Experiment

The application of computer in the quantitative analysis chemistry experiment is a chemistry experiment teaching applications software, developed by Visual Basic （6.0）, based on the content of quantitative analysis chemistry experiment of chemistry major in higher institute. This software has the function of the automatic processing the experimental data, the automatic generation of test report copies, and the automatic evaluation of students＇ experimental results, which solve the reliability, objectivity and accuracy problems of the students＇ experiment data processing and evaluation, and avoid interference with human factors. The software has the characteristic of the easy installation, the easy operation, the strong practicability, pertinence, the systematicness and the running stability, so it provides a platform in the quantitative analysis chemistry experiment for the students＇ assessment system of automatic processing, and it has a high popularization value. The project＇s technical route design is reasonable, the research method is correct, and the experimental data processing results are reliable, which has reached the leading domestic level in the quantitative analysis chemistry experiment teaching field of computer data processing. And this project has been through the achievements appraisal of Gansu Provincial Sci. ＆ Tech. Department.

Study on Application of Photoshop Software in the Interior Design Renderings

With the rapid development of computer technology, two-dimensional and three-dimensional technology continues is also attracting attention, computer graphics is more and more widely applied to various fields, especially with the popularity of decoration, interior design has become the gold industry, computer graphics has played an indispensable role in the interior design, has become an important means of expression of interior design the. Complete the design process： first using the Auto CAD idea sketch design, and then use 3Ds MAX to create the deployment model, import material, build cameras add light, render output, and finally the use of Photoshop post processing. Only through the Photoshop post processing to make the post effect diagram to achieve realistic results. This paper introduces some methods of Photoshop in interior design commonly used in making and adjustment.

Application and Development of Computer and Software Technology in the Field of Sports

This paper expounds and summarizes the application situation of modem information technology in the current sports field in our country, and prospected its future development trend. At the same time, Chinese perception is an important strategic thought for development and application of network technology in China, represents the important development direction of information technology in the next generation. The perception sports can be considered using the Internet of things technology to develop and utilize sports resources, thus realize the wisdom management and effective monitoring of sports system, ultimately to serve the sports powerful nation strategy.

Development and Application of Heat-integrated Aromatics Fractionation Process

The PRO/Ⅱ process simulation software was applied to carry out simulated calculation of the aromatics fractionation unit and the heat integrated rectification process was proposed for the aromatics fractionation section of the 1.0 Mt/a toluene disproportionation unit at the Zhenhai Refining and Chemical Company. The optimized operating parameters were obtained through the energy utilization analysis,process simulation,heat exchanger calculations and comparisons of utility consumption. The operation of commercialized unit has revealed that the design parameters of each rectification column were consistent with the operation results,and the utility consumption was about 47% lower than the traditional heat integrated process.