Generalized Stochastic Petri Nets (GSPN) have gained a wide acceptance as a modeling tool for the performance analysis of concurrent systems. However, the applicability of this methodology is severely limited by the p...
详细信息
ISBN:
(纸本)3540600299
Generalized Stochastic Petri Nets (GSPN) have gained a wide acceptance as a modeling tool for the performance analysis of concurrent systems. However, the applicability of this methodology is severely limited by the potential state space explosion phenomenon. In this paper we describe massively parallel approaches to the most computing-intensive part of the solution of GSPN models: the state space construction. the effectiveness of these parallel approaches stays, for every GSPN, in their ability to deal with very large reachability spaces in reasonable time. Boththe SIMD and the MIMD programming models are considered, and examples are given using recent massively parallelprocessingarchitectures (CM-5, T3D).
Tools for computer-aided satellite image analysis require interactivity, i.e. the capability to modify some parameters and see instantaneously the result of the processing, for efficient work. Due to the amount of dat...
详细信息
Handwritten postal address recognition is a typical multi-level knowledge-based vision application for which a real-time embedded solution is sought. Real-time OCR systems for recognising printed addresses are widely ...
详细信息
Handwritten postal address recognition is a typical multi-level knowledge-based vision application for which a real-time embedded solution is sought. Real-time OCR systems for recognising printed addresses are widely accepted, but systems capable of recognising handwritten postal addresses have not yet achieved either the recognition performance or the throughput required for commercial application. In the present study, an algorithmic architecture of one system currently under development is described. It is shown how the architecture can be mapped to a generic parallel processor model in such a way as to achieve incremental speedup of the original sequential algorithm, easy rescaling as the algorithm is updated, and minimum design overhead in moving from the sequential to the parallel environment.
It was proved in [1] that feedforward schemes are universally capable of approximating any measurable function to any desired degree of accuracy. In this paper, we propose a new realization of such feedforward scheme ...
详细信息
It was proved in [1] that feedforward schemes are universally capable of approximating any measurable function to any desired degree of accuracy. In this paper, we propose a new realization of such feedforward scheme to the channel equalization problem - parallel Feedforward Equalization (PFE). An important feature of the new approach is the decomposition of any equalization into linear and nonlinear components. the new approach chooses Fj(·) (j = 1, ...) from a family of nonlinear functions to approximate the nonlinear component decomposed from the desired mapping f(·). the other new idea proposed in this paper is a measure called Nonlinearity Distribution which characterizes the nonlineality in multipath fading channels. the architecture of the new equalization consists of parallel feedforward nonlinear filters, each of them has a specifically tailored nonlinear function Fj(·).
We develop an optimized program for the N-body problem on the CM-5 with vector units. the work is intended to make full use of the power of the vector pipelines provided by the CM-5 equipped with vector units to impro...
详细信息
ISBN:
(纸本)0780320182
We develop an optimized program for the N-body problem on the CM-5 with vector units. the work is intended to make full use of the power of the vector pipelines provided by the CM-5 equipped with vector units to improve the computation performance. Some development issues using the vector units are discussed. the code is written in CDPEAC, an assembly-like language which can be called from C. Performance data and some analysis results are given.< >
Knowledge based systems (KBS) of first generation are characterized by the separation of domain specific knowledge and general problem solving strategies. Such systems lack of the following important abilities: knowle...
详细信息
Knowledge based systems (KBS) of first generation are characterized by the separation of domain specific knowledge and general problem solving strategies. Such systems lack of the following important abilities: knowledge acquisition according different paradigms of representation and processing, definition of deep knowledge caused by physiological processes of reasoning, and management of different abstraction levels. Next generation KBS provide a bases from managing these problems. Essential characteristics of this new systems are modularization of knowledge, distribution of knowledge across different hardware and software resources, and use of object-oriented technology for integrating symbolic and subsymbolic knowledge on different levels of abstraction.< >
the paper focuses on the problem of the multi-spectral image segmentation, which leads-through the data fusion of several mono-spectral images-to reliable and robust vision systems for military or industrial purposes....
详细信息
the paper focuses on the problem of the multi-spectral image segmentation, which leads-through the data fusion of several mono-spectral images-to reliable and robust vision systems for military or industrial purposes. the proposed approach does not fit the classical taxonomy of image data fusion methods: indeed, data fusion is performed during the segmentation, in parallel, of different images. the presented algorithm has been implemented on the Connection Machine CM5 withthe data programming style.< >
the proceedings contain 46 papers. the special focus in this conference is on architectures;Platforms;Tools;Arithmetic and Signal processing. the topics include: the Design of a New FPGA Architecture;Migraton of a Dua...
ISBN:
(纸本)3540602941
the proceedings contain 46 papers. the special focus in this conference is on architectures;Platforms;Tools;Arithmetic and Signal processing. the topics include: the Design of a New FPGA Architecture;Migraton of a Dual Granularity Globally Interconnected PLD Architecture to a 0.5 µm TLM Process;Self-Timed FPGA Systems;XC6200 Fastmap ™ Processor Interface;the Teramac Configurable Computer Engine;Telecommunication-Oriented FPGA and Dedicated CAD System;A Configurable Logic Processor for Machine Vision;Extending DSP-Boards wih FPGA-Based Structures of Interconnection;High-Speed Region Detection and Labeling Using an FPGA Based Custom Computing Platform;Using FPGAs as Control Support in MIMD Executions;Customised Hardware Based on the REDOC III Algorithm for High-Performance Date Ciphering;Using Reconfigurable Hardware to Speed up Product Development and Performance;Creation of Hardware Objects in a Reconfigurable Computer;Rapid Hardware Prototyping of Digital Signal processing Systems Using FPGAs;Delay Minimal Mapping of RTL Structures onto LUT Based FPGAs;Some Notes Qn Power Management on FPGA-Based Systems;An Automatic Technique for Realising User Interaction processing in PLD Based Systems;the Proper Use of Hierarchy in HDL-Based High Density FPGA Design;Compiling Regular Arrays onto FPGAs;Compiling Ruby into FPGAs;the CSYN Verilog Compiler and Other Tools;A VHDL Design Methodolgy for FPGAs;VHDL-Based Rapid Hardware Prototyping Using FPGA Technology;Integer Programming for Partitioning in Software Oriented Codesign;Test Standard Serves Dual Role as On-Board Programming Solution;Advanced Method for Industry Related Education with an FPGA Design Self-Learning Kit.
the proceedings contain 33 papers. the special focus in this conference is on Optimization and Nonmonotonic Semantics I. the topics include: parallel database systems;languages for polynomial-time queries;distributed ...
ISBN:
(纸本)3540589074
the proceedings contain 33 papers. the special focus in this conference is on Optimization and Nonmonotonic Semantics I. the topics include: parallel database systems;languages for polynomial-time queries;distributed query optimization in loosely coupled multidatabase systems;on the complexity of generating optimal left-deep processing trees with cross products;querying disjunctive databases through nonmonotonic logics;on the kolmogorov expressive power of boolean query languages;on two forms of structural recursion;partial strictness in two-phase locking;unified transaction model for semantically rich operations;domain-independent queries on databases with external functions;an algebra for pomsets;on the power of stratified logic programs with value invention for expressing database transformations;a stable model semantics for behavioral inheritance in deductive object oriented languages;a rewriting technique for the analysis and the optimization of active databases;sorts in higher-order logic data languages;uniformly-distributed random generation of join orders;a probabilistic view of datalog parallelization;a first step towards implementing dynamic algebraic dependencies;constraint-generating dependencies;optimization using tuple subsumption;deterministic and non-deterministic stable model semantics for unbound DATALOG queries;revision programming, database updates and integrity constraints;some positive results for boundedness of multiple recursive rules;increment boundedness and nonrecursive incremental evaluation of datalog queries;approximation in databases;datalog queries of set constraint databases and space usage in functional query languages.
Accurate and rapid evaluation of radar signature for alternative aircraft/store configurations would be of substantial benefit in the evolution of integrated designs that meet radar cross section requirements across t...
详细信息
Accurate and rapid evaluation of radar signature for alternative aircraft/store configurations would be of substantial benefit in the evolution of integrated designs that meet radar cross section requirements across the threat spectrum. Finite-volume time domain methods offer the possibility of modeling the whole aircraft, including penetrable regions and stores, at longer wavelengths on today's supercomputers and at typical airborne radar wavelengths on the massively parallel teraflop computers of tomorrow. To realize this potential, practical means are being developed for the rapid generation of grids on and around the aircraft, and numerical algorithmsthat maintain high order accuracy on such grids are being constructed. A structured grid and an unstructured grid based finite-volume, time-domain Maxwell's equation solver has been developed incorporating modeling techniques for general radar absorbing materials. Using this work as a base, the goal of the computational electromagnetics effort is to define, implement, and evaluate rapid prototype signature prediction, addressing many issues related to (1) physics of electromagnetics, (2) efficient and higher-order accurate algorithms, (3) boundary condition procedures, (4) geometry and gridding (structured and unstructured), (5) computer architecture, and (6) validation.< >
暂无评论