Analytic model of a cache-only memory architecture

An approximate analytic model of a shared memory multiprocessor with a Cache Only Memory Architecture (COMA), the busbased Data Difussion Machine (DDM), is presented and validated. It describes the timing and interference in the system as a function of the hardware, the protocols, the topology and the workload. Model results have been compared to results from an independent simulator. The comparison shows good model accuracy specially for non-saturated systems, where the errors in response times and device utilizations are independent of the number of processors and remain below 10% in 90% of the simulations. Therefore, the model can be used as an average performance prediction tool that avoids expensive simulations in the design of systems with many processors.

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

The term "Logic Programming" refers to a variety of computer languages and execution models which are based on the traditional concept of Symbolic Logic. The expressive power of these languages offers promise to be of great assistance in facing the programming challenges of present and future symbolic processing applications in Artificial Intelligence, Knowledge-based systems, and many other areas of computing. The sequential execution speed of logic programs has been greatly improved since the advent of the first interpreters. However, higher inference speeds are still required in order to meet the demands of applications such as those contemplated for next generation computer systems. The execution of logic programs in parallel is currently considered a promising strategy for attaining such inference speeds. Logic Programming in turn appears as a suitable programming paradigm for parallel architectures because of the many opportunities for parallel execution present in the implementation of logic programs. This dissertation presents an efficient parallel execution model for logic programs. The model is described from the source language level down to an "Abstract Machine" level suitable for direct implementation on existing parallel systems or for the design of special purpose parallel architectures. Few assumptions are made at the source language level and therefore the techniques developed and the general Abstract Machine design are applicable to a variety of logic (and also functional) languages. These techniques offer efficient solutions to several areas of parallel Logic Programming implementation previously considered problematic or a source of considerable overhead, such as the detection and handling of variable binding conflicts in AND-Parallelism, the specification of control and management of the execution tree, the treatment of distributed backtracking, and goal scheduling and memory management issues, etc. A parallel Abstract Machine design is offered, specifying data areas, operation, and a suitable instruction set. This design is based on extending to a parallel environment the techniques introduced by the Warren Abstract Machine, which have already made very fast and space efficient sequential systems a reality. Therefore, the model herein presented is capable of retaining sequential execution speed similar to that of high performance sequential systems, while extracting additional gains in speed by efficiently implementing parallel execution. These claims are supported by simulations of the Abstract Machine on sample programs.

Decomposition driven interface evolution for layers of binary mixtures: I. Model dirivation and base states

A dynamical model is proposed to describe the coupled decomposition and profile evolution of a free surfacefilm of a binary mixture. An example is a thin film of a polymer blend on a solid substrate undergoing simultaneous phase separation and dewetting. The model is based on model-H describing the coupled transport of the mass of one component (convective Cahn-Hilliard equation) and momentum (Navier-Stokes-Korteweg equations) supplemented by appropriate boundary conditions at the solid substrate and the free surface. General transport equations are derived using phenomenological nonequilibrium thermodynamics for a general nonisothermal setting taking into account Soret and Dufour effects and interfacial viscosity for the internal diffuse interface between the two components. Focusing on an isothermal setting the resulting model is compared to literature results and its base states corresponding to homogeneous or vertically stratified flat layers are analyzed.

Decomposition driven interface evolution for layers of binary mixtures: I. Model dirivation and base states

Algebraic topology (homology) is used to analyze the state of spiral defect chaos in both laboratory experiments and numerical simulations of Rayleigh-Bénard convection. The analysis reveals topological asymmetries that arise when non-Boussinesq effects are present. The asymmetries are found in different flow fields in the simulations and are robust to substantial alterations to flow visualization conditions in the experiment. However, the asymmetries are not observable using conventional statistical measures. These results suggest homology may provide a new and general approach for connecting spatiotemporal observations of chaotic or turbulent patterns to theoretical models.

A model of economic management of cultural heritage: the rehabilitation of fort christmas as an interpretation center of defensive architecture of the Mediterranean in Cartagena (Spain)

The Cultural Heritage constitutes a way to generate social identities and play an important role in the development of the Spanish Mediterranean cities that opt to sustainable quality tourism. The reflection on the necessity of intervention on this heritage, in addition to establishing what should be done, brings up the need to define the reasons for taking action, why and what-for. These decisions are essential to establish if its maintenance and recovery are economically sustainable. The Project "Cartagena Port of Cultures", with support from the European Union, is an example of effective instrument for ensuring the sustainability of our built heritage conservation. Its main objective was to enable sustainable development of tourism in Cartagena based on sustainability and seasonality. This was achieved through a process of recovery of heritage resources and their optimum promotion and marketing.

The historical heritage of domestic architecture is a reliable model for a satisfactory design. The case of the Mediterranean region

The purpose of this paper is to expose the importance of observing cultural systems present in a territory as a reference for the design of urban infrastructures in the new cities and regions of rapid development. If we accept the idea that architecture is an instrument or cultural system developed by man to act as an intermediary to the environment, it is necessary to understand the elemental interaction between man and his environment to meet a satisfactory design. To illustrate this purpose, we present the case of the Eurasian Mediterranean region, where the architectural culture acts as a cultural system of adaptation to the environment and it is formed by an ancient process of selection. From simple observation of architectural types, construction systems and environmental mechanisms treasured in mediterranean historical heritage we can extract crucial information about this elemental interaction. Mediterranean architectural culture has environmental mechanisms responding to the needs of basics habitability, ethnics and passive conditioning. These mechanisms can be basis of an innovative design without compromising the diversity and lifestyles of human groups in the region. The main fundament of our investigation is the determination of the historical heritage of domestic architecture as holder of the formation process of these mechanisms. The result allows us to affirm that the successful introduction of new urban infrastructures in an area need a reliable reference and it must be a cultural system that entailing in essence the environmental conditioning of human existence. The urban infrastructures must be sustainable, understood and accepted by the inhabitants. The last condition is more important when the urban infrastructures are implemented in areas that are developing rapidly or when there is no architectural culture.

Cooperative Learning Model based on Multi-Agent Architecture for Embedded Intelligent Systems

Cooperative systems are suitable for many types of applications and nowadays these system are vastly used to improve a previously defined system or to coordinate multiple devices working together. This paper provides an alternative to improve the reliability of a previous intelligent identification system. The proposed approach implements a cooperative model based on multi-agent architecture. This new system is composed of several radar-based systems which identify a detected object and transmit its own partial result by implementing several agents and by using a wireless network to transfer data. The proposed topology is a centralized architecture where the coordinator device is in charge of providing the final identification result depending on the group behavior. In order to find the final outcome, three different mechanisms are introduced. The simplest one is based on majority voting whereas the others use two different weighting voting procedures, both providing the system with learning capabilities. Using an appropriate network configuration, the success rate can be improved from the initial 80% up to more than 90%.

Visualization of a student predictive model for 3D virtual environments driven to procedural training

This document presents theimplementation ofa Student Behavior Predictor Viewer(SBPV)for a student predictive model. The student predictive model is part of an intelligent tutoring system, and is built from logs of students’ behaviors in the “Virtual Laboratory of Agroforestry Biotechnology”implemented in a previous work.The SBPVis a tool for visualizing a 2D graphical representationof the extended automaton associated with any of the clusters ofthe student predictive model. Apart from visualizing the extended automaton, the SBPV supports the navigation across the automaton by means of desktop devices. More precisely, the SBPV allows user to move through the automaton, to zoom in/out the graphic or to locate a given state. In addition, the SBPV also allows user to modify the default layout of the automaton on the screen by changing the position of the states by means of the mouse. To developthe SBPV, a web applicationwas designedand implementedrelying on HTML5, JavaScript and C#.

Collagenase-3 Induction in Rat Lung Fibroblasts Requires the Combined Effects of Tumor Necrosis Factor-α and 12-Lipoxygenase Metabolites: A Model of Macrophage-induced, Fibroblast-driven Extracellular Matrix Remodeling during Inflammatory Lung Injury

The mechanisms responsible for the induction of matrix-degrading proteases during lung injury are ill defined. Macrophage-derived mediators are believed to play a role in regulating synthesis and turnover of extracellular matrix at sites of inflammation. We find a localized increase in the expression of the rat interstitial collagenase (MMP-13; collagenase-3) gene from fibroblastic cells directly adjacent to macrophages within silicotic rat lung granulomas. Conditioned medium from macrophages isolated from silicotic rat lungs was found to induce rat lung fibroblast interstitial collagenase gene expression. Conditioned medium from primary rat lung macrophages or J774 monocytic cells activated by particulates in vitro also induced interstitial collagenase gene expression. Tumor necrosis factor-α (TNF-α) alone did not induce interstitial collagenase expression in rat lung fibroblasts but did in rat skin fibroblasts, revealing tissue specificity in the regulation of this gene. The activity of the conditioned medium was found to be dependent on the combined effects of TNF-α and 12-lipoxygenase-derived arachidonic acid metabolites. The fibroblast response to this conditioned medium was dependent on de novo protein synthesis and involved the induction of nuclear activator protein-1 activity. These data reveal a novel requirement for macrophage-derived 12-lipoxygenase metabolites in lung fibroblast MMP induction and provide a mechanism for the induction of resident cell MMP gene expression during inflammatory lung processes.

A wind- and wave-driven nearshore current model : the one-dimentional model /

Cover title.

Unit, intermediate (field) (direct and general support) and depot maintenance repair parts and special tools list : generator set, aviation, gas turbine engine driven, integral trailer mounted, 10KW, 28 volts : DoD model MEP 362A, class precise, mode DC, NSN 6115-01-161-3992.

Includes index.

Organizational maintenance repair parts and special tools list : power unit, utility pack, gas turbine engine driven (Airesearch model PPU85-5), non-winterized, FSN 6115-937-0929, (Airesearch model PPU85-4), winterized, FSN 6115-134-0825.

"April 1969."

Operator and organizational maintenance manual : distributor, water, tank type, 1000 gal capacity, gasoline driven, truck mounted (General Steel Tank model 1602), FSN 3825-403-9334.

Includes index.

Operator/crew and organizational maintenance manual : generator set, gas turbine engine driven, skid mounted, 150 KW, alternating current, tactical, model D424A, class precise, hertz 400, NSN 6115-01-113-1093.

"8 October 1982."

Operator, organizational, direct support, and general support maintenance manual : printing press, offset, web-fed, motor driven, 208V, 60 hertz, Hess and Barker model 3CX, FSN 3610-617-7566.

Includes index.