A combinatorial approach to the generalized Baker–Campbell–Hausdorff–Dynkin formula

The aim of this paper is to obtain an explicit expression, instead of using a recursive method, for the nth term coefficient of the generalized Baker–Campbell–Hausdorff–Dynkin (gBCHD) formula. The gBCHD formula has been applied to control theory, specially to nonholonomic motion planning.     

A selective conductive polymer-based sensor for volatile halogenated organic compounds (VHOC)

A novel poly(p-xylylene), PPX, derivative bearing alkoxyphenyl side groups was electrochemically synthesized in 87% yield. The polymer, poly(4′-hexyloxy-2,5-biphenyleneethylene) (PHBPE), presented a fraction (92%) soluble in common organic solvents. It showed to be thermally resistant up to 185 °C. UV–vis analysis revealed an E_gap of 3.5 eV. Gas sensors made from thin films of 10-camphorsulfonic acid-doped PHBPE deposited on interdigitated electrodes exhibited significant changes in electrical conductance upon exposure to five VHOCs: 1,2-dichloroethane, bromochloromethane, trichloromethane, dichloromethane and tetrachloromethane. The conductance decreased after exposure to tetrachloromethane and increased after exposure to all the other VHOCs. Three-dimensional plots of relative response versus time of half response versus time of half recovery showed good discrimination between the five VHOCs tested.     

State space representation of routing flexibility

This paper describes a state space representation for sequencing and routing flexibility in manufacturing systems. Routing flexibility is represented using five different stages as follows: (i) Precedence Graph of Operations; (ii) State Transition Graph of Manufacturing Operation Sequences; (iii) State Transition Graph of Manufacturing Operation Routes; (iv) Disjunctive Normal Form (DNF) Representation of Manufacturing Sequences; and (v) DNF Representation of Manufacturing Routes. Each representation is able to represent sequencing and routing flexibility at different levels of detail. The third representation is capable of enumerating all possible manufacturing operation routes that can be applied to a certain part, being the most complete representation. Bounds for computation of some of the representations are presented to help users select the most suitable for a specific problem context. The efficacy of the representation is demonstrated through its application to problems such as job route selection and routing flexibility measure.     

A platform for P2P agent-based collaborative applications

The operational environment can be a valuable source of information about the behavior of software applications and their usage context. Although a single instance of an application has limited evidence of the range of the possible behaviors and situations that might be experienced in the field, the collective knowledge composed by the evidence gathered by the many instances of a same application running in several diverse user environments (eg, a browser) might be an invaluable source of information. This information can be exploited by applications able to autonomously analyze how they behave in the field and adjust their behavior accordingly. Augmenting applications with the capability to collaborate and directly share information about their behavior is challenging because it requires the definition of a fully decentralized and dependable networked infrastructure whose nodes are the user machines. The nodes of the infrastructure must be collaborative, to share information, and autonomous, to exploit the available information to change their behavior, for instance, to better accommodate the needs of the users to prevent known problems. This paper describes the initial results that we obtained with the design and the development of an infrastructure that can enable the execution of collaborative scenarios in a fully decentralized way. Our idea is to combine the agent-based paradigm, which is well suited to design collaborative and autonomous nodes, and the peer-to-peer paradigm, which is well suited to design distributed and dynamic network infrastructures. To demonstrate our idea, we augmented the popular JADE agent-based platform with a software layer that supports both the creation of a fully decentralized peer-to-peer network of JADE platforms and the execution of services within that network, thus enabling JADE multiagent systems (MASs) to behave as peer-to-peer networks. The resulting platform can be used to study the design of collaborative applications running in the field.     

Temporal contexts: Effective text classification in evolving document collections

The management of a huge and growing amount of information available nowadays makes Automatic Document Classification (ADC), besides crucial, a very challenging task. Furthermore, the dynamics inherent to classification problems, mainly on the Web, make this task even more challenging. Despite this fact, the actual impact of such temporal evolution on ADC is still poorly understood in the literature. In this context, this work concerns to evaluate, characterize and exploit the temporal evolution to improve ADC techniques. As first contribution we highlight the proposal of a pragmatical methodology for evaluating the temporal evolution in ADC domains. Through this methodology, we can identify measurable factors associated to ADC models degradation over time. Going a step further, based on such analyzes, we propose effective and efficient strategies to make current techniques more robust to natural shifts over time. We present a strategy, named temporal context selection, for selecting portions of the training set that minimize those factors. Our second contribution consists of proposing a general algorithm, called Chronos, for determining such contexts. By instantiating Chronos, we are able to reduce uncertainty and improve the overall classification accuracy. Empirical evaluations of heuristic instantiations of the algorithm, named WindowsChronos and FilterChronos, on two real document collections demonstrate the usefulness of our proposal. Comparing them against state-of-the-art ADC algorithms shows that selecting temporal contexts allows improvements on the classification accuracy up to 10%. Finally, we highlight the applicability and the generality of our proposal in practice, pointing out this study as a promising research direction.     

Numerical Modeling of Inclusion Removal in Electromagnetic Stirred Steel Billets

To investigate the inclusion removal in billets cast under electromagnetic stirring (EMS) influence, a numerical model has been developed to compute the magnetic field, the Lorentz force, the steel flow velocities, and the particle transport within the liquid pool. The electromagnetic field was described by the Maxwell equations and the finite element method was applied using a commercial package. The turbulent fluid flow was described by the Navier‐Stokes equation and by the Reynolds Stress model and the finite volume method was applied using another numerical package. The time average of the Lorentz force was calculated in each element center and this value was applied as a body force in the Navier‐Stokes equation. The magnetic flux density profile was compared with the data obtained in the stirrer of the steel plant. The particle transport model includes the drag force, the buoyancy force and the random walk model, to include the turbulence effects on the particle trajectory. The inclusion removal was calculated and analysed in function of casting speed and stirring current for one size section of mold. The inclusions considered in the calculations have a fixed density and four values of diameter. The numerical results of the electromagnetic model are in agreement with the experimental measurements. A good relationship between the electromagnetic model and the fluid flow model could be shown. An interesting effect is the break of the rotation motion due to the EMS by the jet from the nozzle. The fraction of inclusions removed by the top surface of the mold was improved due to the EMS.     

DILIGENT: integrating digital library and Grid technologies for a new Earth observation research infrastructure

This paper introduces DILIGENT, a digital library infrastructure built by integrating digital library and Grid technologies and resources. This infrastructure allows different communities to dynamically build specialised digital libraries capable to support the entire e-Science knowledge production and consumption life-cycle by using shared computing, storage, content, and application resources. The paper presents some of the main software services that implement the DILIGENT system. Moreover, it exemplifies the provided features by presenting how the DILIGENT infrastructure is being exploited in supporting the activity of user communities working in the Earth Science Environmental sector. This work is partially funded by the European Commission in the context of the DILIGENT project, under the 2nd call of FP6 IST priority.     

To lock, or not to lock: That is the question

Mechanisms to control concurrent access over project artefacts are needed to execute the software development process in an organized way. These mechanisms are implemented by concurrency control policies in version control systems that may inhibit (i.e. ‘to lock’) or allow (i.e., ‘not to lock’) parallel development. This work presents a novel approach named Orion that analyzes the project's historical changes and suggests the most appropriate concurrency control policy for each software element. This suggestion aims at minimizing conflict situations and thus improving the productivity of the development team. In addition, it identifies critical elements that do not work well with any of these policies and are candidates to refactoring. We evaluated Orion through two experimental studies and the results, which indicated it was effective, led us to a prototype implementation. Apart from the Orion approach this paper also presents the planning, execution, and analysis stages of the evaluation, and details of prototype internals.     

Supporting structured parallel program design,development and tuning in FastFlow

The Journal of Supercomputing - The design and tuning of parallel programs is known to be a hard and error-prone process. Structured parallel programming helps overcoming part of the related...     

CPSDebug: Automatic failure explanation in CPS models

International Journal on Software Tools for Technology Transfer - Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete...