We investigate the k-LCS problem that is finding a longest common subsequence (LCS) for k given input strings. the problem is known to have practical solutions for k = 2, but for higher dimensions it is not very well ...
详细信息
Although many methodologies have been proposed for solving the cell-formation problem, few of them explicitly consider the existence of multiple objectives in the design process. In this article, the development of mu...
详细信息
Although many methodologies have been proposed for solving the cell-formation problem, few of them explicitly consider the existence of multiple objectives in the design process. In this article, the development of multi-objective genetic programming single-linkage cluster analysis (GP-SLCA), an evolutionary methodology for the solution of the multi-objective cell-formation problem, is described. the proposed methodology combines an existing algorithm for the solution of single-objective cell-formation problems with NSGA-II, an elitist evolutionary multi-objective optimization technique. Multi-objective GP-SLCA is able to generate automatically a set of non-dominated solutions for a given multi-objective cell-formation problem. the benefits of the proposed approach are illustrated using an example test problem taken from the literature and an industrial case study.
Static program analysis consists of compile-time techniques for determining properties of programs without actually running them. Using Kleene algebra, we formalize four instances of a general class of static intrapro...
详细信息
Static program analysis consists of compile-time techniques for determining properties of programs without actually running them. Using Kleene algebra, we formalize four instances of a general class of static intraprocedural data flow analyses known as 'gen/kill' analyses. this formalization exhibits the dualities between the four analyses in a clear and concise manner. We provide two equivalent sets of equations characterizing the four analyses for two different representations of programs, one in which the statements label the nodes of a control flow graph and one in which the statements label the transitions. We formally describe how the data flow equations for the two representations are related. We also prove the soundness of the KA based approach with respect to the standard approach. (c) 2006 Elsevier B.V. All rights reserved.
Parallel iterative linear solvers for unstructured grids in FEM applications, originally developed for the Earth Simulator (ES), are ported to various types of parallel computer. the performance of flat MPI and hybrid...
详细信息
ISBN:
(纸本)9783540713500
Parallel iterative linear solvers for unstructured grids in FEM applications, originally developed for the Earth Simulator (ES), are ported to various types of parallel computer. the performance of flat MPI and hybrid parallel programming models is compared for the ES, Hitachi SR8000, IBM SP-3 and IBM p5-model 595 supercomputers. the effect of coloring and of different storage methods for coefficient matrices are evaluated in various types of application. Performance for more than 104 processors is estimated using measured data for up to 103 processors.
Highly skilled South African experts are responsible for controlling the voltage levels of the electrical transmission grid. this paper reports on the research methodology, which was used to identify the mental struct...
详细信息
ISBN:
(纸本)9783540733300
Highly skilled South African experts are responsible for controlling the voltage levels of the electrical transmission grid. this paper reports on the research methodology, which was used to identify the mental structure of their expertise. the research was multidisciplinary in nature, including, Power System Engineering, Industrial and Cognitive Psychology, and Neuro-Linguistic programming (NLP). Of these, the NLP elicitation techniques used form the main body of this paper. NLP represents a body of knowledge with which human experience can be investigated and altered, by adopting a "whole-person" approach. Eight controllers of varied competence were interviewed. the main findings were that the expert controllers use sophisticated mental strategies that allow them to simplify the overwhelming quantity of data presented to them. these results will be discussed in the full paper together withthe applicability of the NLP elicitation method.
the proceedings contain 110 papers. the topics discussed include: making frameworks work: a project retrospective;once upon a time, like never before: the challenge of telling the next story;second life: the world'...
详细信息
ISBN:
(纸本)9781595938657
the proceedings contain 110 papers. the topics discussed include: making frameworks work: a project retrospective;once upon a time, like never before: the challenge of telling the next story;second life: the world's biggest programming environment;collaboration and telecollaboration in design;Elephant 2000: a programming language based on speech acts;precise software documentation: making object-orientation work better;context, perspective, and programs;complexity management;1st international workshop on in process software engineering measurement and analysis (ISEMA 2007);the first international workshop on patterns languages: addressing challenges (PLAC 2007);fifthinternational workshop on SOA & Web services best practices;and the 7th OOPSLA workshop on domain-specific modeling.
this paper presents an adaptive parametric programming system for the manufacture of freeform surfaces. the system can generate the toolpath necessary to produce the freeform surface and the toolpath can convert as in...
详细信息
ISBN:
(纸本)0955308224
this paper presents an adaptive parametric programming system for the manufacture of freeform surfaces. the system can generate the toolpath necessary to produce the freeform surface and the toolpath can convert as input to a CAD system for simulation. According to the geometry of the surface, it is possible to generate a more accurate toolpath based on the path-generation algorithm. the program will no longer store every single point throughout the machining process, each step can be calculated automatically according to the path-generation algorithm. It can reduce the file size significantly. It can also eliminate the NC program transfer process, enhance the precision level as well as the machining accuracy. Additionally, the system can fully simulate the cutting process off-line on a computer. Designers can verify the correctness of toolpaths and obtain other information on the system parameters. the output of the system includes a set of optimized optics design parameters, verified NC program and cutting conditions. the toolpath can be generated directly without the need for any manual data post-processing and can be verified by a computer graphics simulation. It will definitely speed up the manufacturing process and enhance the flexibility of freeform optics manufacturing.
this paper introduces an approach aimed at improving computation time for spring embedders in a context of graph visualization. the approach relies on recent developments in the utilization of graphic processor units ...
详细信息
ISBN:
(纸本)9780889866911
this paper introduces an approach aimed at improving computation time for spring embedders in a context of graph visualization. the approach relies on recent developments in the utilization of graphic processor units (GPU) for generic numerical computation. We show how a GPU can greatly improve computation time, hence opening many previously unattainable possibilities in terms of interactive applications. Our method has been implemented in software used for benchmarks demonstrating large performance gain.
In this paper we present an automated way of using spare CPU resources within a shared memory multi-processor or multi-core machine. Our approach is (i) to profile the execution of a program, (ii) from this to identif...
详细信息
ISBN:
(纸本)9781595938152
In this paper we present an automated way of using spare CPU resources within a shared memory multi-processor or multi-core machine. Our approach is (i) to profile the execution of a program, (ii) from this to identify pieces of work which are promising sources of parallelism, (iii) recompile the program withthis work being performed speculatively via a work-stealing system and then (iv) to detect at run-time any attempt to perform operations that would reveal the presence of speculation. We assess the practicality of the approach through an implementation based on GHC 6.6 along with a limit study based on the execution profiles we gathered. We support the full Concurrent Haskell language compiled with traditional optimizations and including I/O operations and synchronization as well as pure computation. We use 20 of the larger programs from the 'nofib' benchmark suite. the limit study shows that programs vary a lot in the parallelism we can identify: some have none, 16 have a potential 2x speed-up, 4 have 32x. In practice, on a 4-core processor, we get 10-80% speed-ups on 7 programs. this is mainly achieved at the addition of a second core rather than beyond this. this approach is therefore not a replacement for manual parallelization, but rather a way of squeezing extra performance out of the threads of an already-parallel program or out of a program that has not yet been parallelized.
the proceedings contain 62 papers. the topics discussed include: advanced learning of SOR network employing evaluation-based topology representing network;pareto-based multi-objective machine learning;preference artic...
详细信息
ISBN:
(纸本)0769529461
the proceedings contain 62 papers. the topics discussed include: advanced learning of SOR network employing evaluation-based topology representing network;pareto-based multi-objective machine learning;preference articulation in evolutionary multiobjective optimization;visual object class recognition combining generative and discriminative methods;organic computing for video analysis;organization-oriented chemical programming;ant colony optimization;a novel hybrid training method for hopfield neural networks applied to routing in communications networks;a hybrid content-collaborative recommender system integrated into an electronic performance support system;comparing several evaluation functions in the evolutionary design of multiclass support vector machines;artificial immune system with ART memory hybridization;and an immune genetic algorithm for software test data generation.
暂无评论