We present an architecture for cloud-based analysis of manufacturing environments and derived robot actions. We report on our implemented facility that combines visual cloud-based analysis of a robot environment and d...
详细信息
ISBN:
(纸本)9780769557854
We present an architecture for cloud-based analysis of manufacturing environments and derived robot actions. We report on our implemented facility that combines visual cloud-based analysis of a robot environment and derived actions of robots plus appropriate means for human interaction with these cloud based services via hand gestures to interact with analysis results and robots. The facility will enable study of the softwareengineering of most-feasible combinations of human interaction interfaces with remote equipment.
This paper proposes an improved KM algorithm to computing the structural index of linear time-invariant Differential Algebraic Equation (DAE) systems. The problem is of practical significance in index reduction based ...
详细信息
ISBN:
(纸本)9780769550602
This paper proposes an improved KM algorithm to computing the structural index of linear time-invariant Differential Algebraic Equation (DAE) systems. The problem is of practical significance in index reduction based on structural index of DAE system and combinatorial relaxation theory. This improved KM algorithm combines greedy idea and classical KM algorithm. It first computes matches as much as possible using greedy technology, and then call KM algorithm to search the matches for the unmatched vertices during the step of greedy technology. The improved KM algorithm reduces the running time bound by a factor of r, the number of matches searched using greedy algorithm. Generally, the time complexity is O(r(2) + (n - r)n(2)), the optimal time is O(n(2)).
The design of PDE black-box solvers (for nonlinear systems of elliptic and parabolic PDEs) needs many compromises between efficiency and robustness which we call 'Numerical engineering'. The requirements for a...
详细信息
The design of PDE black-box solvers (for nonlinear systems of elliptic and parabolic PDEs) needs many compromises between efficiency and robustness which we call 'Numerical engineering'. The requirements for a black-box solver are formulated and the way how to meet them is presented, guided by many years of practical experience in the design of the program packages FIDISOL/CADSOL, VECFEM and LINSOL. The basic approach to the new finite difference element method (FDEM) program package, an FDM on an unstructured FEM grid, is discussed. The common feature of all these methods is the error equation that allows a transparent balancing of all errors. The discretization errors are estimated from difference formulae of different consistency orders. The error balancing must include the iterative solution of the large and sparse linear systems by the LINSOL program package. The real challenge is the parallelization on distributed memory parallel computers which is solved by corresponding data structures with optimal communication patterns and redistribution after each grid refinement cycle. (C) 2000 IMACS. Published by Elsevier Science B.V. All rights reserved.
distributed caching systems (e.g., Memcached) are widely used by service providers to satisfy accesses by millions of concurrent clients. Given their large-scale, modern distributedsystems rely on a middleware layer ...
详细信息
ISBN:
(纸本)9781728198705
distributed caching systems (e.g., Memcached) are widely used by service providers to satisfy accesses by millions of concurrent clients. Given their large-scale, modern distributedsystems rely on a middleware layer to manage caching nodes, to make applications easier to develop, and to apply load balancing and replication strategies. In this work, we performed a dependability evaluation of three popular middleware platforms, namely Twemproxy by Twitter, Mcrouter by Facebook, and Dynomite by Netflix, to assess availability and performance under faults, including failures of Memcached nodes and congestion due to unbalanced workloads and network link bandwidth bottlenecks. We point out the different availability and performance trade-offs achieved by the three platforms, and scenarios in which few faulty components cause cascading failures of the whole distributed system.
During the years spent developing the GraphBLAS Template Library and then the C API Specification (in that order), I spent time developing algorithms using the interfaces to try and develop a better understanding (thr...
详细信息
ISBN:
(纸本)9781538655559
During the years spent developing the GraphBLAS Template Library and then the C API Specification (in that order), I spent time developing algorithms using the interfaces to try and develop a better understanding (through this experimentation) of what could be achieved with the primitives. In this talk I will give a summary of what has been implemented, some lessons learned, and some patterns that have repeated in a number of instances.
The field of Quantum Computing (QC) is increasingly becoming applicable for a wide range of computationally intensive problems. Especially Variational Quantum Algorithms (VQA) are promising as they allow dealing with ...
详细信息
ISBN:
(纸本)9798350311990
The field of Quantum Computing (QC) is increasingly becoming applicable for a wide range of computationally intensive problems. Especially Variational Quantum Algorithms (VQA) are promising as they allow dealing with the practical challenges of current quantum devices (also referred to as Noisy Intermediate-Scale Quantum devices). However, developing VQAbased solutions is not a straightforward process but involves several development phases, each with different design decisions and implications. In this paper, we share experiences made in developing VQA-based solutions for two different industrial case studies. Based on the solutions, we extracted five generic development phases quantum engineers must take into consideration when engineering quantum solutions. We have embedded the phases in a model (i.e. a phase model) to show their natural order and to illustrate the phases that require more development iterations. The main objective of this paper is not only to share and discuss our findings and experiences but also to provide the phase model as a starting point or guideline to structure the development process.
distributed Real-Time (DRT) systems are among the most complex softwaresystems in the field of Computer Science. The contradictory nature of distributed computing and real-time requirements forces prioritization that...
详细信息
ISBN:
(纸本)9781479961436
distributed Real-Time (DRT) systems are among the most complex softwaresystems in the field of Computer Science. The contradictory nature of distributed computing and real-time requirements forces prioritization that is dependent on domain-specific knowledge. This combination of distributed and real-time system requirements generates a new set of properties, and requires a new conceptual framework. In this paper, we present a conceptual framework for developing DRT systems. We divide our framework in 3 phases: example applications, design properties, and evaluation. We demonstrate our framework properties with our own distributed Virtual Environment architecture and other 2 examples: Google's Cluster Architecture and collision avoidance systems. Finally we discuss evaluation of DRT systems through the lens of our own architecture, and conclude with general lessons to apply to other DRT systems. Our conceptual framework enables developers of DRT systems to foresee and address issues early in the design. Additionally, we expose general lessons and good practices of evaluation for other DRT systems.
In software transactional memory (STM) systems, the contention management (CM) policy decides what action to take when a conflict occurs. CM is crucial to the performance of STM systems. However, the performance of ex...
详细信息
ISBN:
(纸本)9780769546759
In software transactional memory (STM) systems, the contention management (CM) policy decides what action to take when a conflict occurs. CM is crucial to the performance of STM systems. However, the performance of existing CMs is sensitive to transaction workload and system platforms. A static policy is therefore unsatisfactory. In this paper, we argue that adaptive contention management is necessary and feasible. We further present a profiling-based method that can choose a suitable CM for a given workload and system platform during run-time. We also propose to use logic-time (transactional commit or abort events) to measure the profiling length and compare it with the traditional physical-time-based method. Experimental results demonstrate that our proposed adaptive contention manager (ACM) outperforms static CMs across benchmarks and platforms. In particular, the ACM that uses the number of aborts for the profiling length performs better than others.
Component-based software technologies have emerged as a modern approach to software development for distributed and Grid applications. However, the lack of longer-term experience and the complexity of the target syste...
详细信息
ISBN:
(纸本)9781424416936
Component-based software technologies have emerged as a modern approach to software development for distributed and Grid applications. However, the lack of longer-term experience and the complexity of the target systems demand more research results in the field. This paper provides an overview of three different approaches to developing component-based Grid applications. In order to re-use legacy codes, the wrapper software approach can be adopted in its two flavours - hand-written or automatically generated wrapper code. Another approach applicable to existing object-oriented software is to componentise the code by introducing appropriate modifications. The third approach is component-oriented development from scratch. We compare and contrast the three approaches and highlight their advantages and weaknesses.
Building k-nearest neighbor (kNN) graphs is a necessary step in such areas as data mining and machine learning. So in this paper, we attempt to study the kNN furthermore, we first propose a parallel algorithm for appr...
详细信息
ISBN:
(纸本)9780769548180
Building k-nearest neighbor (kNN) graphs is a necessary step in such areas as data mining and machine learning. So in this paper, we attempt to study the kNN furthermore, we first propose a parallel algorithm for approximate kNN graph construction and then apply the kNN graph to the application of clustering. Experiments show that our MPI/OpenMP mixed mode codes can make the construction of approximate kNN graph faster and make the parallelization and implementation easier. Finally, we compare the results of agglomerative clustering methods by using our parallel algorithm to illustrate the applicability of this method.
暂无评论