We present a constraint system, OF, of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constrain...
详细信息
We present a constraint system, OF, of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constraint x z, "by first-class feature tree" y, which is in contrast to the standard selection constraint x[f]y, "by fixed feature" f. We investigate the satisfiability problem of OF and show that it can be solved in polynomial time, and even in quadratic time if the number of features is bounded. We compare OF with Treinen's system EF of feature constraints with first-class features, which has an NP-complete satisfiability problem. This comparison yields that the satisfiability problem for OF with negation is NP-hard. Further we obtain NP-completeness, for a specific subclass of OF with negation that is useful for a related type inference problem. Based on OF we give a simple account of type inference for first-class messages in the spirit of Nishimura's recent proposal, and we show that it has polynomial time complexity: We also highlight an immediate extension of this type system that appears to be desirable but makes type inference NP-complete.
An object-oriented language is being developed as an extension to an existing rule-based expert system shell. The existing shell is embedded in a distributed control system. Being embedded, it reduces hardware cost an...
详细信息
An object-oriented language is being developed as an extension to an existing rule-based expert system shell. The existing shell is embedded in a distributed control system. Being embedded, it reduces hardware cost and communication bottlenecks. object orientation dramatically increases the expressability of the language. The shell handles the procedural programming tasks so the knowledge base developer does not need to. The use of the language is demonstrated for an oil movement expert system. objects describe the physical plant. objects also describe aore abstract entities such as potential routes of oil through the pipes of the physical plant. A search method is used to generate potential routings and to recommend the good ones. The language is designed to be natural so that a process, instrumentation, operations, or plant management expert can develop an expert system. directly without either learning advanced programming skills or requiring the services of a "knowledge engineer."
Multiphysics applications are real world problems with a large number of different shape components that obey different physical laws and manufacturing constraints and interact with each other through geometric and ph...
详细信息
Multiphysics applications are real world problems with a large number of different shape components that obey different physical laws and manufacturing constraints and interact with each other through geometric and physical interfaces. They demand accurate and efficient solutions and a modern type of computational modeling, which designs the whole physical system with as much detail as possible. The simulation of gas turbine engine is such a multiphysics application and is realized with GasTurbnLab, an agent-based Multiphysics Problem Solving Environment (MPSE). Its performance and evaluation study is presented in this paper. For this, a short description of the software components and hardware infrastructure is given. The performance and the scalability of the parallelism are depicted, and the communication overhead between agents is studied with respect to the number of agents and their location in the "computational grid." The execution time is recorded, and its analysis verifies the complexity of the solvers in use and the performance of the available hardware. Three different clusters of INTEL Pentium processors were used for experimentation to study how the communication time was affected by processor's homogeneity/heterogeneity and the different connections between the processors. The study of the numerical experiments shows that the domain decomposition and interface relaxation methodology, along with the usage of agent platforms, does not increase the complexity of the simulation problem, and the communication cost is too low, compared with the computations, to reflect on the total simulation time. Therefore, GasTurbnLab is an efficient example of a complex physical phenomena simulation.
An object-oriented model, based upon six basic abstract data types, is introduced. This model is used to design neural networks. A comparison between the most common neural topologies and graphs described in the assoc...
详细信息
An object-oriented model, based upon six basic abstract data types, is introduced. This model is used to design neural networks. A comparison between the most common neural topologies and graphs described in the associated mathematical theory proves that a neural network may be modelled by a set of classes carrying metrical attributes and connected by topological links. The same model is used to structure the agricultural data required for neural calculations. Applications concerning classification are briefly described.
Model-based predictive control is a well-established technique for multivariable control of industrial processes. Various packages are available for academic and commercial use. Prices are dependent on the possibiliti...
详细信息
Model-based predictive control is a well-established technique for multivariable control of industrial processes. Various packages are available for academic and commercial use. Prices are dependent on the possibilities and features of the software. Some packages are difficult to use, we developed therefore MCPC - Multivariable Constrained Predictive Control - a versatile and easy to use package to develop models from process data and study multivariable control. The package is attractive since a quick assessment of the feasibility of the control application can be made before purchasing a commercial software package.
This paper describes the characteristics of advanced graphical user interfaces for the computer-aided design of control systems which can be developed using modem windowing environments. The significance of the emerge...
详细信息
This paper describes the characteristics of advanced graphical user interfaces for the computer-aided design of control systems which can be developed using modem windowing environments. The significance of the emergence of windowing standards, such as the X Window System, and of user-interface standards, such as OPEN LOOK, is discussed. The increasing imponance of object-oriented programming for the development and maintenance of these sophisticated user interfaces is noted, and the need for an object-oriented database for the support of the design process is identified. Examples are given of the advantages for control system design of being able to deploy a number of graphical tools simultaneously in a multi-window environment
Fundamentals of OOP and Data Structures in Java is a text for an introductory course on classical data structures. Part One of the book presents the basic principles of object-oriented programming (OOP) and Graphical ...
详细信息
ISBN:
(纸本)9780521662208
Fundamentals of OOP and Data Structures in Java is a text for an introductory course on classical data structures. Part One of the book presents the basic principles of object-oriented programming (OOP) and Graphical User Interface (GUI) programming with Java as the example language. Part Two introduces each of the major data structures with supporting, GUI-based laboratory programs designed to reinforce the basic concepts and principles of the text. These laboratories allow the reader to explore and experiment with the properties of each data structure. All source code for the laboratories is available on the web. By integrating the principles of OOP and GUI programming, this book takes the unique path of presenting the fundamental issues of data structures within the context of paradigms that are essential to today's professional software developer. The authors assume the reader has only an elementary understanding of Java and no experience with OOP.
A model of simulation of wineries operation has been proposed. Each elementary set of knowledge used in the model has been defined as an entity gathering constant data, variable parameters, and expert calculation func...
详细信息
A model of simulation of wineries operation has been proposed. Each elementary set of knowledge used in the model has been defined as an entity gathering constant data, variable parameters, and expert calculation functions. The model has been structured hierarchically. It has been implemented in objectorientedprogramming. This expert simulation software produces dynamic balances of resources. This paper presents an application of the software to estimation of water consumption and organic matter rejections. At the winery Caves du Sieur d’Arques in Limoux, both predictions proved to be accurate with a maximum error of 20 % for the 10-day period of the peak of activity of grape-picking.
From the Publisher: Java and SOAP provides Java developers with an in-depth look at SOAP (the Simple object Access Protocol). Of course, it covers the basics: what SOAP is, why it's soared to a spot on the Buzz...
详细信息
ISBN:
(纸本)0596001754;9780596001759
From the Publisher: Java and SOAP provides Java developers with an in-depth look at SOAP (the Simple object Access Protocol). Of course, it covers the basics: what SOAP is, why it's soared to a spot on the Buzzwords' Top Ten list, and what its features and capabilities are. And it shows you how to work with some of the more common Java APIs in the SOAP world: Apache SOAP and GLUE. In addition to covering the basics such as the structure of a SOAP message, SOAP encoding, and building simple services using RPC and messaging, Java and SOAP covers many topics that are essential to real-world development. Although SOAP has native support for an impressive number of object types, the nature of modern programming means that whatever SOAP gives you is not enough. When do you need to add support for your own object types, and how do you do it__ __ How do you handle errors, and how do you add your own information to Fault messages__ __ How do you handle attachments__ __ In an ideal world, you could live entirely within Java, and ignore the SOAP messages being send back and forth: you'd be able to write Java code and let the SOAP APIs work behind the scenes. However, we're not yet in that ideal world, and won't be for some time. Therefore, Java and SOAP pays particular attention to how SOAP messages are encoded. It doesn't just explain the document types, but shows how the documents are used in practice as they are generated by the different APIs. If you ever have to debug interoperability problems, you'll find that this information is indispensable. We've always found that the best software is written by people who understand what's happening under the hood. SOAP is no different. Let's say you need towrite a custom serializer to create a SOAP representation of a structure. How do you know that your encoding is efficient__ __ There's one definitive answer: look at the SOAP documents it produces! Java and SOAP also discusses interoperability between the major SOAP platform
A flexible framework for the resolution of FMS control problems is developed based on the definition of problem solving nodes cooperating according to the opportunistic paradigm. This approach is unique in its node st...
详细信息
A flexible framework for the resolution of FMS control problems is developed based on the definition of problem solving nodes cooperating according to the opportunistic paradigm. This approach is unique in its node structure constructed using Petri nets interpreted as objects in Prolog and the generic representation of Knowledge Sources. Further, our strategy facilitates the use of the token player in real-time situations by effectively reducing the compilation difficulties arising from its non-incrementality.
暂无评论