Software development is an inefficient and expensive process. More than a quarter of software projects fail and almost every project exceeds its budget and requires extra time to finish. At the same time, high competi...
详细信息
In the situation calculus states are often distinguished from situations by the assumption that situations are paths in a rooted tree while a state is a particular truth assignment to the fluents. It is then possible ...
详细信息
A large collection of texts may be reached through the Internet and this provides a powerful platform from which common-sense knowledge may be gathered. This paper presents a system that contains a core knowledge base...
In this paper we concentrate on the causal theory of action developed by McCain and Turner [2] for computing ramifications. Our aim here is to characterise this theory of action in terms of a preferentialstyle semanti...
详细信息
The heterogeneous environment is emerging in current information systems. Within this situation, it is desirable to maintain consistency across databases, i.e., to ensure that they do not contradict each other with re...
详细信息
ISBN:
(纸本)0818682183
The heterogeneous environment is emerging in current information systems. Within this situation, it is desirable to maintain consistency across databases, i.e., to ensure that they do not contradict each other with respect to the existence or value of a real-world entity. Active rules have been widely used in modern database systems. Active databases contain the capability to automatically monitor the conditions which are defined over the database state and the ability to take an action when the state of the underlying database changes. They have provided a great contribution to the maintenance of data integrity and data consistency in database systems. This paper investigates how to integrate active rules into a heterogeneous database system environment.
Database system reengineering technique has been used to resolve the problem of converting from existing out-of-data database systems to new technique database systems in order to reduce the new system implementation ...
详细信息
Database system reengineering technique has been used to resolve the problem of converting from existing out-of-data database systems to new technique database systems in order to reduce the new system implementation cost. The technique consists of three parts: schema translation, data conversion, and program translation. The schema translation requires the transferring of existing database schema into the new database schema with better semantics. Recapturing the semantics is a complicated and difficult work. During the database design phase, the semantics has been lost from the conceptual data model to the logical data model. It is difficult to recapture it. After recapturing the semantics from the original conceptual database schema, we also need to have a sophisticated knowledge base to store the knowledge. The paper describes a new schema translation system, which can recapture the missing/hidden semantics of a database. The kernel of the system is an extended entity relationship (EER) data dictionary system (DDS), which can store all the semantics of the new database schema.
Our group has built design for manufacturing computer modules which instruct students on efficient procedures for designing parts for manufacture across the curriculum. The goal is to assist engineering students to ga...
详细信息
Our group has built design for manufacturing computer modules which instruct students on efficient procedures for designing parts for manufacture across the curriculum. The goal is to assist engineering students to gain a deeper understanding of the interaction between features of a part being designed and the corresponding manufacturing requirements of the part in injection molding, sheet metal stamping, and finite element analysis. Animated sequences of the processes are either generated dynamically or indexed according to the possible designs. Students create designs, and the tooling complexity is demonstrated through both 2D and 3D animations. An underlying internal representation of the part being designed provides a nonintrusive critique mechanism to provide feedback to the student.
The design of hydraulic control systems is a complex and time-consuming task that, at the moment, cannot be automated completely. Nevertheless, important design subtasks like simulation or control concept selection ca...
详细信息
The design of hydraulic control systems is a complex and time-consuming task that, at the moment, cannot be automated completely. Nevertheless, important design subtasks like simulation or control concept selection can be efficiently supported by a computer. Prerequisite for a successful support is a well-founded analysis of a hydraulic system's structure. The paper in hand contributes right here. It provides a systematics for analyzing a hydraulic system at different structural levels and illustrates how structural information can be used within the design process. A further central matter of this paper is the automatic extraction of structural information from a circuit diagram by means of graph-theoretical investigations.
The independence number of one-order graph associated with a linear code is formulated. The formulation is represented by the parameters of the generator matrix.
The independence number of one-order graph associated with a linear code is formulated. The formulation is represented by the parameters of the generator matrix.
A uniquely decodable code pair (C, S) is considered for the two-user binary adder channel. When the first code C is linear, a lower bound of \S\ is formulated and a uniquely decodable code pair (C, S) is presented. Wh...
详细信息
A uniquely decodable code pair (C, S) is considered for the two-user binary adder channel. When the first code C is linear, a lower bound of \S\ is formulated and a uniquely decodable code pair (C, S) is presented. When a rate R(1) of G is less than 1/3, a rate R(2) of S is greater than the best rate known previously.
暂无评论