940 resultados para DRAGON (Computer system)


Relevância:

30.00% 30.00%

Publicador:

Resumo:

The constraint paradigm is a model of computation in which values are deduced whenever possible, under the limitation that deductions be local in a certain sense. One may visualize a constraint 'program' as a network of devices connected by wires. Data values may flow along the wires, and computation is performed by the devices. A device computes using only locally available information (with a few exceptions), and places newly derived values on other, locally attached wires. In this way computed values are propagated. An advantage of the constraint paradigm (not unique to it) is that a single relationship can be used in more than one direction. The connections to a device are not labelled as inputs and outputs; a device will compute with whatever values are available, and produce as many new values as it can. General theorem provers are capable of such behavior, but tend to suffer from combinatorial explosion; it is not usually useful to derive all the possible consequences of a set of hypotheses. The constraint paradigm places a certain kind of limitation on the deduction process. The limitations imposed by the constraint paradigm are not the only one possible. It is argued, however, that they are restrictive enough to forestall combinatorial explosion in many interesting computational situations, yet permissive enough to allow useful computations in practical situations. Moreover, the paradigm is intuitive: It is easy to visualize the computational effects of these particular limitations, and the paradigm is a natural way of expressing programs for certain applications, in particular relationships arising in computer-aided design. A number of implementations of constraint-based programming languages are presented. A progression of ever more powerful languages is described, complete implementations are presented and design difficulties and alternatives are discussed. The goal approached, though not quite reached, is a complete programming system which will implicitly support the constraint paradigm to the same extent that LISP, say, supports automatic storage management.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

M. Neal, An Artificial Immune System for Continuous Analysis of Time-Varying Data, in Proceedings of the 1st International Conference on Artificial Immune Systems (ICARIS), 2002, eds J Timmis and P J Bentley, volume 1, pages 76-85,

Relevância:

30.00% 30.00%

Publicador:

Resumo:

C.H. Orgill, N.W. Hardy, M.H. Lee, and K.A.I. Sharpe. An application of a multiple agent system for flexible assemble tasks. In Knowledge based envirnments for industrial applications including cooperating expert systems in control. IEE London, 1989.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Hardy, N. W., Barnes, D. P., Lee, M. (1987). Declarative sensor knowledge in a robot monitoring system. In: Languages for Sensor-Based Control in Robotics, Ulrich Rembold and Klaus H?rmann (eds), Springer-Verlag, p. 169-188.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Barnes, D. P., Lee, M. H., Hardy, N. W. (1983). A control and monitoring system for multiple-sensor industrial robots. In Proc. 3rd. Int. Conf. Robot Vision and Sensory Controls, Cambridge, MA. USA., 471-479.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

ISBN: 3-540-76198-5 (out of print)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Timmis J and Neal M J. An artificial immune system for data analysis. In Proceedings of 3rd international workshop on information processing in cells and tissues (IPCAT), Indianapolis, U.S.A., 1999.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Timmis J and Neal M J. A resource limited artificial immune system for data analysis. In Proceedings of ES2000 - Research and Development of Intelligent Systems, pages 19-32, Cambrige, U.K., 2000. Springer.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Timmis J and Neal M J. Investigating the evolution and stability of a resource limited artificial immune system. In Proceedings of GECCO - special workshop on artificial immune systems, pages 40-41. AAAI press, 2000.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Q. Shen, J. Keppens, C. Aitken, B. Schafer, and M. Lee. A scenario driven decision support system for serious crime investigation. Law, Probability and Risk, 5(2):87-117, 2006. Sponsorship: UK Engineering and Physical Sciences Research Council grant GR/S63267; partially supported by grant GR/S98603

Relevância:

30.00% 30.00%

Publicador:

Resumo:

M. Galea and Q. Shen. FRANTIC - A system for inducing accurate and comprehensible fuzzy rules. Proceedings of the 2004 UK Workshop on Computational Intelligence, pages 136-143.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Y. Zhu, S. Williams and R. Zwiggelaar, 'Computer technology in detection and staging of prostate carcinoma: a review', Medical Image Analysis 10 (2), 178-199 (2006)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Hutzler, S., Saadatfar, M., van der Net, A., Weaire, D. and Cox, S.J. (2007) The dynamics of a topological change in a system of soap films. Coll. Surf. A, 323:123-131. Sponsorship: This research was supported by the European Space Agency (contracts 14914/02/NL/SH and 14308/00/NL/SH), Science Foundation Ireland. (RFP 05/REP/PHY00/6), and the EU program COST P21 (The Physics of droplets). SJC acknowledges support from EPSRC (EP/D071127/1). MS is supported by the Irish Higher Education Authority (PRTLI-IITAC).

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper presents a techno-economic assessment for a unique Isolated Hybrid Power System (IHPS) design for remote areas isolated from the grid which also has the capability of being operated as a smart μ-grid. The share of renewable energy sources in resource poor developing countries is low. In these countries an increase in the share of alternative energy (wind, water and sun) delivered with inexpensive operationally robust generation and delivery systems is seen to the way forward. In our design also incorporates a novel storage system to increase the effectiveness of the Isolated IHPSs previously reported in the literature. The configuration reported is a system consisting of, the wind and sun powered generation complemented with batteries, fuel cell unit and a diesel generator. The modelling design and simulations were based on Simulations conducted using MATLAB/SIMULINK, and HOMER Energy Planning and Design software tools. The design and simulation of a new storage approach incorporating Hydrogen Peroxide (H2O2) fuel cell (increasing the efficiency of the fuel cell from 35% to 65%) and a single board computer (Raspberry Pi) used for the energy management and control the system are the novel features of our design. The novel control strategy implemented also includes a synchronization capability that facilitates IHPS to IHPS or IHPS to Main-Grid connection. In the paper after briefly but comprehensively detailing the design and simulations we will present the results on which we conclude that smart independent systems that can utilize indigenous renewable energy with a capability of being able to synchronize with the grid or each other are the most optimal way of electrifying resource poor developing countries in a sustainable way with minimum impact on the environment and also achieve reductions in Green House Gases.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coherent shared memory is a convenient, but inefficient, method of inter-process communication for parallel programs. By contrast, message passing can be less convenient, but more efficient. To get the benefits of both models, several non-coherent memory behaviors have recently been proposed in the literature. We present an implementation of Mermera, a shared memory system that supports both coherent and non-coherent behaviors in a manner that enables programmers to mix multiple behaviors in the same program[HS93]. A programmer can debug a Mermera program using coherent memory, and then improve its performance by selectively reducing the level of coherence in the parts that are critical to performance. Mermera permits a trade-off of coherence for performance. We analyze this trade-off through measurements of our implementation, and by an example that illustrates the style of programming needed to exploit non-coherence. We find that, even on a small network of workstations, the performance advantage of non-coherence is compelling. Raw non-coherent memory operations perform 20-40~times better than non-coherent memory operations. An example application program is shown to run 5-11~times faster when permitted to exploit non-coherence. We conclude by commenting on our use of the Isis Toolkit of multicast protocols in implementing Mermera.