Hybrid assessment method for software engineering decisions

During software development, many decisions need to be made to guarantee the satisfaction of the stakeholders' requirements and goals. The full satisfaction of all of these requirements and goals may not be possible, requiring decisions over conflicting human interests as well as technological alternatives, with an impact on the quality and cost of the final solution. This work aims at assessing the suitability of multi-criteria decision making (MCDM) methods to support software engineers' decisions. To fulfil this aim, a HAM (Hybrid Assessment Method) is proposed, which gives its user the ability to perceive the influence different decisions may have on the final result. HAM is a simple and efficient method that combines one single pairwise comparison decision matrix (to determine the weights of criteria) with one classical weighted decision matrix (to prioritize the alternatives). To avoid consistency problems regarding the scale and the prioritization method, HAM uses a geometric scale for assessing the criteria and the geometric mean for determining the alternative ratings.     

A characterization of span program size and improved lower bounds for monotone span programs

We give a characterization of span program size by a combinatorial-algebraic measure. The measure we consider is a generalization of a measure on covers which has been used to prove lower bounds on formula size and has also been studied with respect to communication complexity.?In the monotone case our new methods yield lower bounds for the monotone span program complexity of explicit Boolean functions in n variables over arbitrary fields, improving the previous lower bounds on monotone span program size. Our characterization of span program size implies that any matrix with superpolynomial separation between its rank and cover number can be used to obtain superpolynomial lower bounds on monotone span program size. We also identify a property of bipartite graphs that is suficient for constructing Boolean functions with large monotone span program complexity. Received: September 30, 2000.     

Dissimilarity-based classification of chromatographic profiles

This paper proposes a non-parametric method for the classification of thin-layer chromatographic (TLC) images from patterns represented in a dissimilarity space. Each pattern corresponds to a mixture of Gaussian approximation of the intensity profile. The methodology comprises various phases, including image processing and analysis steps to extract the chromatographic profiles and a classification phase to discriminate among two groups, one corresponding to normal cases and the other to three pathological classes. We present an extensive study of several dissimilarity-based approaches analysing the influence of the dissimilarity measure and the prototype selection method on the classification performance. The main conclusions of this paper are that, Match and Profile-difference dissimilarity measures present better results, and a new prototype selection methodology achieves a performance similar or even better than conventional methods. Furthermore, we also concluded that simplest classifiers, such as k-NN and linear discriminant classifiers (LDCs), present good performance being the overall classification error less than 10% for the four-class problem.     

Stepwise dissection and visualization of the catalytic mechanism of haloalkane dehalogenase LinB using molecular dynamics simulations and computer graphics

The different steps of the dehalogenation reaction carried out by LinB on three different substrates have been characterized using a combination of quantum mechanical calculations and molecular dynamics simulations. This has allowed us to obtain information in atomic detail about each step of the reaction mechanism, that is, substrate entrance and achievement of the near-attack conformation, transition state stabilization within the active site, halide stabilization, water molecule activation and subsequent hydrolytic attack on the ester intermediate with formation of alcohol, and finally product release. Importantly, no bias or external forces were applied during the whole procedure so that both intermediates and products were completely free to sample configuration space in order to adapt to the plasticity of the active site and/or search for an exit. Differences in substrate reactivity were found to be correlated with the ease of adopting the near-attack conformation and two different exit pathways were found for product release that do not interfere with substrate entrance. Additional support for the different entry and exit pathways was independently obtained from an examination of the enzyme's normal modes.     

Guidelines for the incremental identification of aspects in requirements specifications

The desired principle of separation of concerns in software development can be jeopardized by the so-called crosscutting concerns, which tend to be scattered over (and tangled with) the functionality of the modular units of a system. The correct identification of such concerns (and their encapsulation into separate artifacts) is thereby considered a way to improve software understanding and evolution. Pursuing a proper management of concerns from the requirements engineering stage can greatly benefit the entire software life-cycle. In this paper, we propose conceptual guidelines on how to perform the identification of crosscutting concerns in the process of building requirements specifications. We argue that the identification must be carried out in an incremental way, to encapsulate apart the crosscutting concerns even if they have not emerged completely yet.

Differential nanofiller cluster formations in dental adhesive systems

Nanofillers are added to dental adhesives to improve mechanical properties of the hybrid layer. Ethanol or water added to the demineralized dentin to improve adhesive infiltration may produce filler aggregation. OBJECTIVE: To assess the effect of 5 vol% water or ethanol addition on nanoparticles distribution in dental adhesives. METHODS: Six available commercial adhesives systems were selected: Clearfil SE Bond (CSE), Clearfil Protect Bond (CPB), FL‐Bond (FLB), Clearfil S3 (CS3), Bond Force (BF), One Up Bond F plus (OUB), and an experimental adhesive system without filler (EXP). Polymer films were obtained by adding 0 (control) or 5 vol% water or ethanol into the bonding resins. Preparations were light‐cured (40 s). Three specimens were analyzed for each mixture. Three phases and 3D images were taken from each specimen by means of an atomic force microscope in taping mode (TM/AFM). Cluster sizes and surface nanoroughness were assessed. RESULTS: Control specimens from CSE, FLB, OUB, and BF presented clusters. The addition of solvents lead to particles aggregation in tested bonding resins. Ethanol addition produced more aggregates, particularly in adhesives containing fluoraluminosilicate as fillers. CONCLUSIONS: Nanofillers aggregation occurred in all adhesive systems in presence of additional solvents. In general, aggregate sizes were higher after the addition of ethanol. Formed clusters size values are always above the dimensions of the spaces existing between the demineralized collagen fibers. Microsc. Res. Tech. 75:749–757, 2012. © 2011 Wiley Periodicals, Inc.     

Computing the homology of groups: The geometric way

In this paper, we present several algorithms related with the computation of the homology of groups, from a geometric perspective (that is to say, carrying out the calculations by means of simplicial sets and using techniques of Algebraic Topology). More concretely, we have developed some algorithms which, making use of the effective homology   method, construct the homology groups of Eilenberg–MacLane spaces K(G,1)$K(G,1)$ for different groups G$G$, allowing one in particular to determine the homology groups of G$G$.     

Development of an Autonomous Robot for Gas Storage Spheres Inspection

Inspection for corrosion of gas storage spheres at the welding seam lines must be done periodically. Until now this inspection is being done manually and has a high cost associated to it and a high risk of inspection personel injuries. The Brazilian Petroleum Company, Petrobras, is seeking cost reduction and personel safety by the use of autonomous robot technology. This paper presents the development of a robot capable of autonomously follow a welding line and transporting corrosion measurement sensors. The robot uses a pair of sensors each composed of a laser source and a video camera that allows the estimation of the center of the welding line. The mechanical robot uses four magnetic wheels to adhere to the sphere’s surface and was constructed in a way that always three wheels are in contact with the sphere’s metallic surface which guarantees enough magnetic atraction to hold the robot in the sphere’s surface all the time. Additionally, an independently actuated table for attaching the corrosion inspection sensors was included for small position corrections. Tests were conducted at the laboratory and in a real sphere showing the validity of the proposed approach and implementation.     

SNR gap approximation for M-PSK-Based bit loading

Adaptive OFDM has the potential of providing bandwidth-efficient communications in hostile propagation environments. Currently, bit loading algorithms use M-ary quadrature amplitude modulation of the OFDM sub-carriers, where the number of bits per symbol modulating each of them is obtained in order to maximize the performance. SNR gap approximation for M-QAM signaling makes the algorithms simpler to implement. However, in some circumstances it may be preferable to use. M-ary phase shift keying. In this letter an approximation is derived for M-PSK similar to the SNR gap of M-QAM so that bit loading algorithms can be extended to this type of modulation. In addition, the performance obtained when using M-PSK is compared to that of M-QAM in a practical situation.