This paper shows how logic programs can be used to implement the transition functions of denotational abstract interpretation. The logic variables express regularity in the abstract behaviour of commands. The techniqu...
详细信息
Establishing grids is an important undertaking in developing scalable distributed infrastructures. In this paper we have proposed a model for agent-based grid computing from the implement point of view. Based on the m...
详细信息
Establishing grids is an important undertaking in developing scalable distributed infrastructures. In this paper we have proposed a model for agent-based grid computing from the implement point of view. Based on the model agent-based grid computing system AGEGC has constructed by MAGE which is a multi-agent environment platform. AGEGC has applied to develop several application systems presented in the paper. We believe that AGEGC will be useful platform for research on semantic grid.
A photoacoustic (PA) microscope was applied to measure the amount of the pollen of the Cryptomeria japonica, which is famous for its allergic function against eyes and nose. The advantage of PA imaging is both its hig...
详细信息
A photoacoustic (PA) microscope was applied to measure the amount of the pollen of the Cryptomeria japonica, which is famous for its allergic function against eyes and nose. The advantage of PA imaging is both its high-sensitivity and its counting ability up to high-concentration region. The pollen was collected and fixed on an adhesive tape on a slide-glass set in a PA cell. The PA image showed the ability of this method to count CJ pollen up to several tens of particles. The obtained PA signal was integrated over the specimen surface. The PA signal dependence on the amount of the pollen was measured. The results showed that the coefficient of correlation of the calibration curve is more than 0.94.
Recently, graphics hardware architectures have begun to emphasize versatility, offering rich new ways to programmatically reconfigure the graphics pipeline. In this paper, we explore whether current graphics architect...
ISBN:
(纸本)9780769518596
Recently, graphics hardware architectures have begun to emphasize versatility, offering rich new ways to programmatically reconfigure the graphics pipeline. In this paper, we explore whether current graphics architectures can be applied to problems where general-purpose vector processors might traditionally be used. We develop a programming framework and apply it to a variety of problems, including matrix multiplication and 3-SAT. Comparing the speed of our graphics card implementations to standard CPU implementations, we demonstrate startling performance improvements in many cases, as well as room for improvement in others. We analyze the bottlenecks and propose minor extensions to current graphics architectures which would improve their effectiveness for solving general-purpose problems. Based on our results and current trends in microarchitecture, we believe that efficient use of graphics hardware will become increasingly important to high-performance computing on commodity hardware.
The authors discuss the direct illumination and reverberation chamber techniques for measuring shielding effectiveness. Using the reverberation chamber as their reference, they explain the differences between the meas...
详细信息
The authors discuss the direct illumination and reverberation chamber techniques for measuring shielding effectiveness. Using the reverberation chamber as their reference, they explain the differences between the measurements and corrections applied to the direct illumination technique.
Dijkstra argued (1968) that the structure of programs should match that of their execution. This challenge is important but difficult for the kinds of fluid multiprocess programming required by even simple robotics pr...
详细信息
Dijkstra argued (1968) that the structure of programs should match that of their execution. This challenge is important but difficult for the kinds of fluid multiprocess programming required by even simple robotics problems. Among recognized paradigms applied to robotics, some express process structure more directly than others, but none easily encompasses the full range of process and control relationships needed to describe interesting behavior simply. The approach described here, structured concurrent programming, adopts a diverse set of process structures as primary language elements with three consequences: (i) explicit process management via process ID's is not used: (ii) previously disjoint programming paradigms are integrated more tightly, than before: (iii) it becomes more feasible for textual programs to execute "in place" in a live programming environment.
This paper presents various applications of a nonlinear adaptive notch filter which operates based on the concept of an enhanced phase-locked loop (PLL). Applications of the filter for on-line signal analysis for powe...
详细信息
This paper presents various applications of a nonlinear adaptive notch filter which operates based on the concept of an enhanced phase-locked loop (PLL). Applications of the filter for on-line signal analysis for power systems protection, control and power quality enhancement are presented. The proposed scheme can be applied for signal analysis both under stationary and nonstationary conditions. Based on digital time-domain simulations, applications of the filter for (a) sinusoidal waveform peak detection, (b) frequency estimation, (c) harmonic identification/detection, (d) detection/extraction of individual components of a signal, (e) disturbance detection, (f) noise reduction in zero-crossings detection, and (g) amplitude (phase) demodulation for flicker estimation, are presented.
Data distribution and replication in distributed systems require special purpose middleware tools for accessing replicated data. Data Grids, special forms of systems distributed over wide-area networks, need to handle...
详细信息
ISBN:
(纸本)9781581134452
Data distribution and replication in distributed systems require special purpose middleware tools for accessing replicated data. Data Grids, special forms of systems distributed over wide-area networks, need to handle data management issues like distribution and replication of large amounts of data in the Tera- and Petabyte scale. Replica catalogues are used for cataloguing and locating replicated files in distributed sites all around the globe. We present a novel and administratively scalable approach for distributing a replica catalogue and resolving file location information by using HTTP redirection. HTTP redirection servers managing local file catalogues allow for greater flexibility and local file management autonomy whereas a global replica catalogue provides the necessary mapping of logical files to individual sites. By distributing the catalogues a site can autonomously move files for load balancing within a site without notifying a global replica catalogue. Our approach scales well in terms of catalogue administration to a large number of sites and file entries and thus establishes a powerful middleware service. We present the design and implementation of our catalogue redirection servers and report on promising experimental results.
The subject of this paper is to show the very high power of asynchronism for iterative algorithms in the context of global computing, that is to say, with machines scattered all around the world. The question is wheth...
详细信息
The subject of this paper is to show the very high power of asynchronism for iterative algorithms in the context of global computing, that is to say, with machines scattered all around the world. The question is whether or not asynchronism helps to reduce the communication penalty and the overall computation time of a given parallel algorithm. The asynchronous programming model is applied to a given problem implemented with a multi-threaded environment and tested over two kinds of clusters of workstations; a homogeneous local cluster and a heterogeneous non-local one. The main features of this programming model are exhibited and the high efficiency and interest of such algorithms is pointed out.
暂无评论