The authors propose a programming system that combines pattern matching of Prolog with a novel approach to logic and the control of resolution. A network of nodes and arcs together with a three-valued logic is used to...
详细信息
ISBN:
(纸本)0818620846
The authors propose a programming system that combines pattern matching of Prolog with a novel approach to logic and the control of resolution. A network of nodes and arcs together with a three-valued logic is used to indicate the connections between predicates and their consequents, and to express the flow from facts and propositions of a theory to its theorems. In this way, one can handle uncertainty and negation properly in this 'neural logic network.' A neural logic program consists of a specification of network fragments, labeled with predicates and arc weights, and they can be joined dynamically to form a tree of reasoning chains. The architecture of the neural logic computational model is left open and the authors do not intend the model to be interpreted literally as a physical architecture.
An NOS implemented on Texas Instrument's Mission Computer is described. The NOS is targeted to advanced common module architectures, and supports distributed Ada applications by implementing an intermodule messagi...
详细信息
An NOS implemented on Texas Instrument's Mission Computer is described. The NOS is targeted to advanced common module architectures, and supports distributed Ada applications by implementing an intermodule messaging scheme. In addition, the NOS contains provisions which support the concept of run-time reconfiguration in order to more easily allow full use of available hardware resources in the event of mission mode changes or degraded mode operation. The NOS has evolved from a VHSIC Phase I IBUS implementation to the current VHSIC Phase II PI-Bus target implementation. Improvements were made in this evolution due to redesign based on the first implementation and due to superior PI-Bus hardware support.
The Entity System, a model for large-scale storage and manipulation of data using object-based programming techniques, is described. The model uses persistence to store arbitrarily complex objects with minimal program...
详细信息
The Entity System, a model for large-scale storage and manipulation of data using object-based programming techniques, is described. The model uses persistence to store arbitrarily complex objects with minimal programming effort and supports smooth evolution of object types and representations. The design and implementation of a distributed Entity System that allows location-independent access to objects by client programs on a network are described. The architecture of the system is designed to scale to networks and object bases of global proportions.
FLAME is an experimental language for distributed programming. It is intended for applications that run on a collection of computers connected by a network. It is part of a project that deals with the building of open...
详细信息
ISBN:
(纸本)0818620366
FLAME is an experimental language for distributed programming. It is intended for applications that run on a collection of computers connected by a network. It is part of a project that deals with the building of open software systems. open systems place stringent requirements on both the type of language one uses and the style of programming. FLAME tries to address the difficulties of writing such open, distributed applications with current technology. FLAME is based on C++, and its main contribution is to integrate the notions of objects and process groups at the programming language level. The result is a powerful language which, nevertheless, raises several new questions. The current state of FLAME is discussed, and potential areas for future development are outlined.
A parallel algorithm for the implementation of rete networks on a parallel array processor is proposed. Although special-purpose architectures have been proposed for directly implementing production systems, the avail...
详细信息
A parallel algorithm for the implementation of rete networks on a parallel array processor is proposed. Although special-purpose architectures have been proposed for directly implementing production systems, the availability of such machines is very limited. Proposed implementation algorithms, which take advantage of more widely available parallel machines, are more practical. Such an approach was taken in a previous work where a number of workstations connected via a local area network were considered. Here an SIMD (single instruction, multiple data) array processor is used. The rete network is functionally divided into two subnetworks: the discrimination network and the join network. It is the join network where most of the processing load is carried out. The operation of the join network is the main objective of the SIMD implementation. The proposed algorithm emphasizes data parallelism as opposed to functional parallelism. In this type of parallelism, the data are partitioned into sets of approximately equal size and distributed among several processors. The data are then operated upon simultaneously by similar operators. The underlying architecture is described.
The author develops two algorithms for a massively parallel system, an SIMD (single instruction, multiple data) computer with a general and fast communication network. Each of the two operations (unification and inher...
详细信息
The author develops two algorithms for a massively parallel system, an SIMD (single instruction, multiple data) computer with a general and fast communication network. Each of the two operations (unification and inheritance) is basic for one knowledge representation scheme. Both take data represented by directed graphs. For ease of integration in real systems and naturalness of specification, the operations are implemented incrementally, in the spirit of M. R. Quillian's 'spreading activation,' and not as atomic operations. The running time of both algorithms is almost linear in the number of vertices on the longest path in the graph representation. The association of the two operations is not accidental;the author intends to integrate them in a hybrid reasoning system.
The authors describe the present situation with respect to SONET (synchronous optical network). They describe the reasons for the SONET pull and delineate end-user SONET impact. It is pointed out that the high-speed s...
详细信息
The authors describe the present situation with respect to SONET (synchronous optical network). They describe the reasons for the SONET pull and delineate end-user SONET impact. It is pointed out that the high-speed synchronous digital transmission standards will allow for open interface networkarchitectures that fit well with the desire for transport and signal manipulation for these emerging new broadband offerings. Such interfaces allow for the realization of new public network capabilities and services that heretofore have not been possible. In particular, synchronous digital networking allows for high-speed transmission, error-free bandwidth manipulation, and switching of DS0, DS1, DS3, and 150-Mb/s signals. Such capabilities can be turned into new services, such as broadband transport, customer/network-provided service on demand, high-quality guaranteed service assurance, end-user control, and end-user network management. These new services, in turn, will allow for the increased growth of the emerging broadband offerings.
A multitasking model for specifying parallelism in a machine-independent fashion is described. Parallel programs are decomposed into a set of concurrent tasks which work on local or shared data. The computation of a t...
详细信息
A multitasking model for specifying parallelism in a machine-independent fashion is described. Parallel programs are decomposed into a set of concurrent tasks which work on local or shared data. The computation of a task is described as the computation of atomic actions or activities. Software tools translate multitasking specifications into a parallel representation of the program. A master-slaves execution model is used to provide machine independence, reliability, and load-balanced execution on a variety of parallel architectures. This model has been implemented on a heterogeneous network of workstations, a shared-memory multiprocessor, and a supercomputer. An example of the use of this methodology for a multiple-Doppler radar meteorology program is presented.
network designers are faced with a combinatorial explosion of choices not only among various vendors' workstations, hosts and servers, but also among application distribution strategies, communication media, commu...
详细信息
ISBN:
(纸本)089791371X
network designers are faced with a combinatorial explosion of choices not only among various vendors' workstations, hosts and servers, but also among application distribution strategies, communication media, communication protocols, and network topologies. To study performance tradeoffs among various designs, the authors have developed a generic system thruput and response time model for distributed systems. We have applied the model to actual customer networks. The modeller describes the system in a language of model statements describing operations, resources, submodels, parameters and transaction flows. Model statements are "compiled" into arrays that form the input to the analytical queueing network model. The modelling package is written in APL2 and is based on an earlier VSAPL package developed for manufacturing planning. Since the package is designed with an open set of submodel types, and since APL2 is portable across many architectures and operating systems, we can easily integrate non-APL2 code.
The authors propose a programming system that combines pattern matching of Prolog with a novel approach to logic and the control of resolution. A network of nodes and arcs together with a three-valued logic is used to...
详细信息
The authors propose a programming system that combines pattern matching of Prolog with a novel approach to logic and the control of resolution. A network of nodes and arcs together with a three-valued logic is used to indicate the connections between predicates and their consequents, and to express the flow from facts and propositions of a theory to its theorems. In this way, one can handle uncertainty and negation properly in this 'neural logic network.' A neural logic program consists of a specification of network fragments, labeled with predicates and arc weights, and they can be joined dynamically to form a tree of reasoning chains. The architecture of the neural logic computational model is left open and the authors do not intend the model to be interpreted literally as a physical architecture.< >
暂无评论