Search results for "Software Engineering"
showing 10 items of 1151 documents
Back to “Reasoning”
2016
Is rigor always strictly related to precision and accuracy? This is a fundamental question in the realm of Fuzzy Logic; the first instinct would be to answer in the positive, but the question is much more complex than it appears, as true rigor is obtained also by a careful examination of the context, and limiting to a mechanical transfer of techniques, procedures and conceptual attitudes from one domain to another, such as from the pure engineering feats or the ones of mathematical logic to the study of human reasoning, does not guarantee optimal results. Starting from this question, we discuss some implications of going back to the very concept of reasoning as it is used in natural languag…
Building blocks for odd–even multigrid with applications to reduced systems
2001
Abstract Building blocks yielding an efficient implementation of the odd–even multigrid method for the Poisson problem in the reference domain (0,1) d , d=2,3, are described. Modifications needed to transform these techniques to solve reduced linear systems representing boundary value problems in arbitrary domains are given. A new way to define enriched coarser subspaces in the multilevel realization is proposed. Numerical examples demonstrating the efficiency of developed multigrid methods are included.
Skeletizing 3D-Objects by Projections
2004
Skeletization is used to simplify an object and to give an idea of the global shape of an object. This paper concerns the continuous domain. While many methods already exist, they are mostly applied in 2D-space. We present a new method to skeletize the polygonal approximation of a 3D-object, based on projections and 2D-skeletization from binary trees.
Optimal placement of 3D sensors considering range and field of view
2017
This paper describes a novel approach to the problem of optimal placement of 3D sensors in a specified volume of interest. The coverage area of the sensors is modelled as a cone having limited field of view and range. The volume of interest is divided into many, smaller cubes each having a set of associated Boolean and continuous variables. The proposed method could be easily extended to handle the case where certain sub-volumes must be covered by several sensors (redundancy), for example ex-zones, regions where humans are not allowed to enter or regions where machine movement may obstruct the view of a single sensor. The optimisation problem is formulated as a Mixed-Integer Linear Program …
General Concepts in Metaheuristic Search
2017
Metaheuristics have become a very popular family of solution methods for optimization problems because they are capable of finding “acceptable” solutions in a “reasonable” amount of time. Most optimization problems in practice are too complex to be approached by exact methods that can guarantee finding global optimal solutions. The time required to find and verify globally optimal solutions is impractical in most applications. An entire computational theory, which we will not discussed here, has been developed around problem complexity. It suffices to say that it is now known that the great majority of the optimization problems found in practice fall within a category that makes them “compu…
A Visualizable Test Problem Generator for Many-Objective Optimization
2022
Visualizing the search behavior of a series of points or populations in their native domain is critical in understanding biases and attractors in an optimization process. Distancebased many-objective optimization test problems have been developed to facilitate visualization of search behavior in a two-dimensional design space with arbitrarily many objective functions. Previous works have proposed a few commonly seen problem characteristics into this problem framework, such as the definition of disconnected Pareto sets and dominance resistant regions of the design space. The authors’ previous work has advanced this research further by providing a problem generator to automatically create use…
Context-Independent Scatter and Tabu Search for Permutation Problems
2005
In this paper, we develop a general-purpose heuristic for permutations problems. The procedure is based on the scatter-search and tabu-search methodologies and treats the objective-function evaluation as a black box, making the search algorithm context-independent. Therefore, our main contribution consists of the development and testing of a procedure that uses no knowledge from the problem context to search for the optimal solution. We perform computational experiments with four well-known permutation problems to study the efficiency and effectiveness of the proposed method. These experiments include a comparison with two commercially available software packages that are also based on met…
Using the witness method to detect rigid subsystems of geometric constraints in CAD
2010
International audience; This paper deals with the resolution of geometric constraint systems encountered in CAD-CAM. The main results are that the witness method can be used to detect that a constraint system is over-constrained and that the computation of the maximal rigid subsystems of a system leads to a powerful decomposition method. In a first step, we recall the theoretical framework of the witness method in geometric constraint solving and extend this method to generate a witness. We show then that it can be used to incrementally detect over-constrainedness. We give an algorithm to efficiently identify all maximal rigid parts of a geometric constraint system. We introduce the algorit…
UML-Based Metamodeling for Information System Engineering and Evolution
2003
In modelers’ practice metamodels have become the core of UML-based metamodeling environments: metamodels form the basis of application domain descriptions, and they are instantiated into models. In the context of information system engineering and interoperability, we have developped two operations on metamodels: metamodel integration and measure of semantical distance between metamodels. In this paper, we explore application of these operations to information systems’ evolution.
An Empirical Study on Female Participation in Software Project Courses
2019
Gender issues in software engineering education are gaining research attention due to the desire to promote female participation in the field. The objective of this work is to enhance the understanding of female students' participation in software engineering projects to support gender-aware course optimization. Since 2015, we have investigated the participation of female students in terms of software engineering activities and team dynamics in a software project course that involves a real customer. We found that female students are more active with project management and requirement engineering, while they remain under-represented in highly complex or specific tasks, i.e. architecture wor…