智能科学与智能技术

当今智能科学与智能技术是科技界的一个热点。在这方面有很多争议。有些学者怀疑智能技术前景，将现有“智能系统”与人相比，根本上否定有什么智能，认为只不过是一套专用软件。有的则过份乐观，我们认为过份悲观或过份乐观都是错误的，这里首先要区分智能科学与智能技术。前者是研究人所具有的自然现象，后者是开发一种技术去替代人的某些脑力劳动。其次，应正确认识现有智能技术方法的局限性。

CIMS仿真环境设计

本文介绍CIMS仿真环境设计过程,对CIMS设计方法和功能结构进行了研究,提出了具有特色的计算机软硬件配置结构。本系统开发为实际CIMS的设计开发提供了理论与经验,也为各种CIMS单元技术的研究和CIMS集成方法的研究提供了实验环境。

辽河坳陷东部凹陷火山岩构造裂缝形成机理研究及预测

In recent years, with the discovery oil and gas reservoirs in volcanic rocks, the exploration and development of these reservoirs have attracted widespread attention because of the urgent need for increasing oil and gas production in the world and volcanic rocks has currently become an important exploration target in Liaohe depression. The study area of this dissertation is in the middle section of the easternern sag of Liaohe depression that have been confirmed by studying structural fractures, which constitute a key factor impacting volcanic rocks reservoirs. Substantial reserves and large production capacity in the areas with widely distributed volcanic rocks are important reasons for examining volcanic rocks in the study area. The study began with classification and experimental data analysis of volcanic rocks fractural formation, then focused on the mechanism of fracturing and the development of volcanic rocks structural fracture prediction methodology.and Lastly, predicted volcanic rocks structural fracture before drilling involved a comprehensive study of the petroleum geology of this area, which identified favorable traps thereby reducing exploration risks and promoting the exploration and development of volcanic rocks reservoirs. 3Dstress and 3Dmove software were applied to predict structural fracture by combining the core data, well-logging data and seismic data together and making the visualization of a fracture possible. Base on the detailed fracture prediction results, well OuO48 and well Ou52 were drilled and successfully provided a basis for high efficiency exploration and development of fractured reservoir in the middle section of the eastern sag. As a result of what have been done, a new round of exploration of volcanic rocks was developed. Well OU48 and well OU52 successfully drilled in this area resulted in the in-depth study of the mechanism of structural fracture formation, technological innovation of structural fracture prediction of volcanic rocks , which guided to oil and gas exploration effectively and made it possible for high production of volcanic rocks. By the end of August 2005, the cumulative oil and gas production of Ou48 block were 5.1606 × 104 t and 1271.3× 104 m3 respectively, which made outstanding contributions to the oilfield development. Above all this work not only promoted exploration and structural fracture prediction in volcanic rocks in Liaohe depression, but also applied to in the low-permeability and fractured sandstone reservoir.

油气勘探风险评价与决策技术研究

PetroChina and other national petroleum incorporations need rigorous procedures and practical methods in risk evaluation and exploration decision at home and abroad to safeguard their international exploration practice in exploration licence bidding, finding appropriate ratio of risk sharing with partners, as well as avoiding high risk projects and other key exploration activities. However, due to historical reasons, we are only at the beginning of a full study and methodology development in exploration risk evaluation and decision. No rigorous procedure and practical methods are available in our exercises of international exploration. Completely adopting foreign procedure, methods and tools by our national incorporations are not practical because of the differences of the current economic and management systems in China. The objective of this study is to establish a risk evaluation and decision system with independent intellectual property right in oil and gas exploration so that a smooth transition from our current practice into international norm can take place. The system developed in this dissertation includes the following four components: 1. A set of quantitative criteria for risk evaluation is derived on the basis of an anatomy of the parameters from thirty calibration regions national wide as well as the characteristics and the geological factors controlling oil and gas occurrence in the major petroleum-bearing basins in China, which provides the technical support for the risk quantification in oil and gas exploration. 2. Through analysis of existing methodology, procedure and methods of exploration risk evaluation considering spatial information are proposed. The method, utilizing Mahalanobis Distance (MD) and fuzzy logic for data and information integration, provides probabilistic models on the basis of MD and fuzzy logic classification criteria, thus quantifying the exploration risk using Bayesian theory. A projection of the geological risk into spatial domain provides a probability map of oil and gas occurrence in the area under study. The application of this method to the Nanpu Sag shows that this method not only correctly predicted the oil and gas occurrence in the areas where Beibu and Laoyemiao oil fields are found in the northwest of the onshore area, but also predicted Laopu south, Nanpu south and Hatuo potential areas in the offshore part where exploration maturity was very low. The prediction of the potential areas are subsequently confirmed by 17 exploration wells in the offshore area with 81% success, indicating this method is very effective for exploration risk visualization and reduction. 3. On the basis of “Methods and parameters of economic evaluation for petroleum exploration and development projects in China”, a ”pyramid” method for sensitivity analysis was developed, which meets not only the need for exploration target evaluation and exploration decision at home, but also allows a transition from our current practice to international norm in exploration decision. This provides the foundation for the development of a software product “Exploration economic evaluation and decision system of PetroChina” (EDSys). 4. To solve problem in methodology of exploration decision, effort was made on the method of project portfolio management. A drilling decision method was developed employing the concept of geologically risked net present value. This method overcame the dilemma of handling simultaneously both geological risk and portfolio uncertainty, thus casting light into the application of modern portfolio theory to the evaluation of high risk petroleum exploration projects.

面向决策支持的综合地质信息系统功能开发和GIS应用

Synthetic Geology Information System(SGIS) is a part of the theory of Engineering Geomechanics-mate-Synthetics(EGMS), is also a development of its technical methodology. SGIS includes ways of geology engineering investigation, design, and construction. Although SGIS has an integrate theory frame, and some parts of it have gained great progress, the completion of SGIS is a continuous and accumulative process. This paper analyses the ways and principle of building knowledge database and model database, summarizes the experts' experience on exploration methods selection and the characters of exploration models, combining with the application of Decision Support System(DSS) in Decision support of Synthetic Exploration Methods for Railway engineering Geology. By the analysis of hierarchy structure of the model database, the effects of geology engineering factors on the selection of exploration methods are expressed. By the usage of fuzzy patterns recognize, hierarchy structure analysis, fuzzy collection closement analysis etc, the software of DSS for engineering design and construction are developed. At same time, by the development of Monitoring Data Analysis System and experiment data management system of Hydro-power project, this paper discussed the data management of science experiment of Hydro-power project by the usage of synthetic database and the usage of Geography Information System(GIS) and DSS technics. The technic of visual operation of data process and project monitoring system are presented. The intelligence algorithm of self-adoption is carried out to improve the data process and analysis of monitoring. Items of the project theoretical analysis and data process are designed in detail. All the theory and technical methods presented in this paper are one part of SGIS, in which the application of DSS and GIS, is an important step of the progress and completion of SGIS.

Cadernos de geoprocessamento (1): Roteiro prático para a definição de APPs e Reserva Legal no Sisleg usando o software gvSIG.

2010

O SOFTWARE livre gvSIG.

2010

Software AGROSCRE: apoio à avaliação de tendências de transporte de princípios ativos de agrotóxicos.

AGROSCRE é um programa computacional elaborado em linguagem Quick Basic 4.5, para facilitar a avaliação de princípios ativos de agrotóxicos pelos métodos de GOSS, pelo índice de GUS e por critérios da EPA ? Environmental Protection Agency . O método de GOSS indica o potencial de transporte de princípio ativo associado a sedimento ou dissolvido em água e o método de GUS o potencial de lixiviação dos princípios ativos (p.a.). Os critérios da EPA também avaliam essas tendências de transporte. Para a avaliação de um mesmo princípio ativo pelos 3 modelos são necessárias as seguintes informações dos p.a.: constante de adsorção ao carbono orgânico (Koc), meia vida no solo (t½ solo) , meia vida em água (t½ água), solubilidade em água e constante de Henry (H); sendo que os dados mínimos para rodar pelo menos um dos modelos são Koc e t½ solo. O programa roda em arquivo executável em qualquer computador tipo PC, em ambiente amigável ao usuário.

Supporting Reuse and Evolution in Software Design

Program design is an area of programming that can benefit significantly from machine-mediated assistance. A proposed tool, called the Design Apprentice (DA), can assist a programmer in the detailed design of programs. The DA supports software reuse through a library of commonly-used algorithmic fragments, or cliches, that codifies standard programming. The cliche library enables the programmer to describe the design of a program concisely. The DA can detect some kinds of inconsistencies and incompleteness in program descriptions. It automates detailed design by automatically selecting appropriate algorithms and data structures. It supports the evolution of program designs by keeping explicit dependencies between the design decisions made. These capabilities of the DA are underlaid bya model of programming, called programming by successive elaboration, which mimics the way programmers interact. Programming by successive elaboration is characterized by the use of breadth-first exposition of layered program descriptions and the successive modifications of descriptions. A scenario is presented to illustrate the concept of the DA. Technques for automating the detailed design process are described. A framework is given in which designs are incrementally augmented and modified by a succession of design steps. A library of cliches and a suite of design steps needed to support the scenario are presented.

Intellectual Property in Computing: (How) Should Software Be Protected? An Industry Perspective

The future of the software industry is today being shaped in the courtroom. Most discussions of intellectual property to date, however, have been frames as debates about how the existing law --- promulgated long before the computer revolution --- should be applied to software. This memo is a transcript of a panel discussion on what forms of legal protection should apply to software to best serve both the industry and society in general. After addressing that question we can consider what laws would bring this about.

Delegation, Arbitration and High-Level Service Discovery as Key Elements of a Software Infrastructure for Pervasive Computing

The dream of pervasive computing is slowly becoming a reality. A number of projects around the world are constantly contributing ideas and solutions that are bound to change the way we interact with our environments and with one another. An essential component of the future is a software infrastructure that is capable of supporting interactions on scales ranging from a single physical space to intercontinental collaborations. Such infrastructure must help applications adapt to very diverse environments and must protect people's privacy and respect their personal preferences. In this paper we indicate a number of limitations present in the software infrastructures proposed so far (including our previous work). We then describe the framework for building an infrastructure that satisfies the abovementioned criteria. This framework hinges on the concepts of delegation, arbitration and high-level service discovery. Components of our own implementation of such an infrastructure are presented.

SodaBot: A Software Agent Environment and Construction System

This thesis presents SodaBot, a general-purpose software agent user-environment and construction system. Its primary component is the basic software agent --- a computational framework for building agents which is essentially an agent operating system. We also present a new language for programming the basic software agent whose primitives are designed around human-level descriptions of agent activity. Via this programming language, users can easily implement a wide-range of typical software agent applications, e.g. personal on-line assistants and meeting scheduling agents. The SodaBot system has been implemented and tested, and its description comprises the bulk of this thesis.

Dependency-Directed Localization of Software Bugs

Software bugs are violated specifications. Debugging is the process that culminates in repairing a program so that it satisfies its specification. An important part of debugging is localization, whereby the smallest region of the program that manifests the bug is found. The Debugging Assistant (DEBUSSI) localizes bugs by reasoning about logical dependencies. DEBUSSI manipulates the assumptions that underlie a bug manifestation, eventually localizing the bug to one particular assumption. At the same time, DEBUSSI acquires specification information, thereby extending its understanding of the buggy program. The techniques used for debugging fully implemented code are also appropriate for validating partial designs.

Structure and Interpretation of Computer Programs

"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all students at MIT who major in Electrical Engineering or in Computer Science, as one fourth of the "common core curriculum," which also includes two subjects on circuits and linear systems and a subject on the design of digital systems. We have been involved in the development of this subject since 1978, and we have taught this material in its present form since the fall of 1980 to approximately 600 students each year. Most of these students have had little or no prior formal training in computation, although most have played with computers a bit and a few have had extensive programming or hardware design experience. Our design of this introductory Computer Science subject reflects two major concerns. First we want to establish the idea that a computer language is not just a way of getting a computer to perform operations, but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute. Secondly, we believe that the essential material to be addressed by a subject at this level, is not the syntax of particular programming language constructs, nor clever algorithms for computing particular functions of efficiently, not even the mathematical analysis of algorithms and the foundations of computing, but rather the techniques used to control the intellectual complexity of large software systems.

Utilização do software GRASP para gerar arquivo de coordenadas com valores de potencial eletrostático.

Com o intuito de disponibilizar um banco de dados de valores de potencial eletrostático para todas as estruturas de proteínas depositadas no PDB, foi utilizado o programa GRASP (Graphical Representation and Analysis of Structural Properties) (Nicholls et al., 1991) para geração deste banco de dados.