Instead of the traditional 'system-environment' pair for objects of the regional economy, it is proposed to consider metasystems - these objects together with all interacting objects of the microenvironment. E...
详细信息
We explore a continuous aggregated dynamic model for developing two gas fields. The new borehole commissioning rates are the control parameters. Changes in the average flow rate of producing boreholes and current natu...
详细信息
Software composed of artifacts written in multiple (programming) languages is pervasive in today's enterprise, desktop, and mobile applications. Since they form one system, artifacts from different languages refer...
详细信息
We analyze an aggregated dynamic model for the development of gas fields. The same company consistently drills all fields. We pose and solve the problem of maximizing accumulated gas production over a predetermined pe...
详细信息
In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully ...
详细信息
ISBN:
(纸本)1595930507
In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The RML system previously had no debugging facilities, which made it hard for programmers to debug their specifications. With this work we address these issues by providing a debugging framework for debugging high level Natural Semantics specifications in RML. Copyright 2005 ACM.
Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables in the function definitions, into a program consisting only of global function (combina...
详细信息
A method is proposed to search for an identifier in a functional program library by using its Hindley-Milner type as a key. This can be seen as an approximation of using the specification as a key. Functions that only...
作者：
LENAT, DBComputer Science Department
Stanford University Stanford CA 94305 U.S.A.[∗]The author is an assistant professor of Computer Science at Stanford University a member of that university"s Heuristic Programming Project and a consultant for CIS at XEROX PARC.
Builders of expert rule-based systems attribute the impressive performance of their programs to the corpus of knowledge they embody: a large network of facts to provide breadth of scope, and a large array of informal ...
Builders of expert rule-based systems attribute the impressive performance of their programs to the corpus of knowledge they embody: a large network of facts to provide breadth of scope, and a large array of informal judgmental rules (heuristics) which guide the system toward plausible paths to follow and away from implausible ones. Yet what is the nature of heuristics? What is the source of their power? How do they originate and evolve? By examining two case studies, the am and eurisko programs, we are led to some tentative hypotheses: Heuristics are compiled hindsight, and draw their power from the various kinds of regularity and continuity in the world; they arise through specialization, generalization, and—surprisingly often—analogy. Forty years ago, Polya introduced Heuretics as a separable field worthy of study. Today, we are finally able to carry out the kind of computation-intensive experiments which make such study possible.
The process of unsteady flow of a single-phase liquid in a cylindrical reservoir arising under the elastic mode of reservoir development is considered. To describe this process, a power law of filtration is proposed f...
详细信息
Epilepsy is a medical problem that tackles lots of patients. It limits the life activity of such patients due to the seizures that occur anytime and anywhere. Thus, creating a monitoring system that could make their l...
详细信息
暂无评论