A particular approach for the Three-dimensional Packing Problem with additional constraints

This paper focuses on a restrained concretization of the general NP-hard Container Loading Problem that arises from a real world application. This particular problem can be informally described as: given different sets of bins and boxes, find the packing of the boxes into the smallest number of bins obeying some additional restrictions on the placement. The mathematical programming formulation that appears to better model this application is the Three-dimensional Bin-Packing Problem (3D-BPP) which is no more than an extension of the classic Bin-Packing Problem to the orthogonal packing of solid objects.We present an alternative non-linear formulation for the 3D-BPP version as well as new designed heuristic algorithms (CPBOX and BOXCP) for the approximation of the optimal solution using boxes and bins of heterogeneous dimensions. Moreover, we also present a heuristic specifically designed to work under very particular storage application restrictions. The numerical results indicate that all of these new heuristics have good performance standards especially when applied to replications of real input data.     

Control of absorption columns in the bioethanol process: Influence of measurement uncertainties

The alcohol lost by evaporation during the bioethanol fermentation process may be collected and recovered using an absorption column. This equipment is also used in the carbonic gas treatment, a by-product from the sugar cane fermentation. In the present work, the development of nonlinear feedforward–feedback controllers, based on neural network inverse models, was proposed and tested to manipulate the absorbent flow rates. The control purposes are: to keep low ethanol concentration in the effluent gas phase from the first absorption column (ethanol recovery column); and to reduce the residual water concentration in the CO₂ gas effluent from the second tower (CO₂ treatment column).Based on simulation studies, the neural network (ANN) controller performance was compared with the conventional PID control scheme application. The best ANN architecture was set up according to the Foresse and Hagan (1997) criterion, while the PID parameters were found from the well-known Cohen–Coon Equations and trial-and-error fine tuning.Initially, performances were evaluated for the system without concentration measurement uncertainties. From these tests, the ANN controller presented the smallest response time and overshoot for regulator and servo problems. Three uncertainty levels were applied afterwards: 5%, 10%, and 15%.The ANN controller outperformed the PID for all uncertainty levels tested for the ethanol recovery column. For the CO₂ treatment column, the ANN controller proceeded successfully under uncertainties of 5% and 10%, while the PID did not deal properly with uncertainties above 5%. The statistical F-test, besides the ITAE, ISE, and IAE performance criteria, were calculated for both controllers applications and then compared. They proved the superiority of the ANN control scheme.Using appropriately the proposed well-controlled absorption columns increases the efficiency of the bioethanol production plant and can also provide carbon credits by avoiding CO₂ emission into the atmosphere.     

Detection and characterization of defects using GMR probes and artificial neural networks

This work presents an eddy-current testing system based on a giant magnetoresistive (GMR) sensing device. Non-destructive tests in aluminum plates are applied in order to extract information about possible defects: cracks, holes and other mechanical damages. Eddy-current testing (ECT) presents major benefits such as low cost, high checking speed, robustness and high sensitivity to large classes of defects. Coil based architecture probes or coil-magnetoresistive probes are usually used in ECT. In our application the GMR sensor is used to detect a magnetic field component parallel to a plate surface, when an excitation field perpendicular to the plate is imposed. A neural network processing architecture, including a multilayer perceptron and a competitive neural network, is used to classify defects using the output amplitude of the eddy-current probe (ECP) and its operation frequency. The crack detection, classification and estimation of the geometrical characteristics, for different classes of defects, are described in the paper.     

Digitally-controlled array of solid-state microcoolers for use in surgery

This paper presents an approach for generating a well-defined cooling pattern over an area of tissue. An array of solid-state microcoolers is used, which could be included in a probe that provides local cooling. This medical instrument can be used for removal of scar tissue in the eye or for the rapid stopping of bleeding due to micro-cuts, which makes it a useful tool to medical doctors and could make surgery more secure to the patient. The array of microcoolers is composed of 64 independent thermo-electric elements, each controlled using an integrated circuit designed in CMOS. The independent control allows the flexible programming of the surface temperature profile. This type of control is very suitable in case abrupt temperature steps should be avoided. Cooling by lateral heat flow was selected in order to minimize the influence of heat by dissipation from the electronic circuits. Moreover, a thermo-electric component with lateral heat allows fabrication of the cooling elements using planar thin-film technology, lithography and wet etching on top of the silicon wafer. This approach is potentially CMOS compatible, which would allow for the fabrication of the thermo-electric elements on top of a pre-fabricated CMOS wafer as a post-process step. Each pixel is composed of thin-films of n-type bismuth telluride, Bi₂Te₃ and p-type antimony telluride, Sb₂Te₃, which are electrically interconnected as thermocouple. These materials have excellent thermoelectric characteristics, such as thermoelectric figures-of-merit, ZT, at room temperatures of 0.84 and 0.5, respectively, which is equivalent to power-factors, PF, of 3.62 × 10⁻³ W K⁻¹ m⁻² and 2.81 × 10⁻³ W K⁻¹ m⁻², respectively. The theoretical study presented here demonstrates a cooling capability of 15°C at room temperature (300 K ≈ 27°C). This cooling performance is sufficient to maintain a local tissue temperature at 25°C, which makes it suitable for the intended application. A first prototype was successfully fabricated to demonstrate the concept.     

BOO: Behavior-oriented ontology to describe participant dynamics in collocated design meetings

Facilitating meetings is not an easy task. To assist the facilitator, we have been designing intelligent support systems, which can help contextual sensemaking, decision making and action. However, these systems are constructed based on behavioral models that provide guidelines to understand participant behaviors. This paper presents an ontology to describe participants’ behaviors in collaborative design meetings and rules that correlate them with the group’s acceptance of the final product. This ontology describes the group dynamics at collocated meetings, using verbal and non-verbal cues of attention shifts and attention maintenance as its basic constructs. The objective of creating this ontology was to better understand face-to-face meetings to eventually help meeting facilitators identify issues that may lead to dissatisfaction with the final product through behavioral cues. The ontology was derived through extensive analysis of a series of engineering design session videos. The design group was composed of experts with similar backgrounds, but working in different divisions of the same company. Different points of view were argued and decisions were made at the end of each meeting. After each meeting, participants were asked to asynchronously commit to the decisions made in the group. Our ontology can be used to identify the factors that lead to an undesired outcome, and now serves as a basis for a new project, which uses rules to support design meetings, improve final artifact acceptance and reduce rework. Our conclusions point out correlations between designers’ behaviors and future artifact acceptance and actions that interrupt or bring back group attention. The ontology was validated through application to other meeting situations. These findings may guide software developers in the creation of tools to support group design, and may be applied by an intelligent system.     

Extracting a polyhedron from a single-view sketch: Topological construction of a wireframe sketch with minimal hidden elements

An essential prerequisite to construct a manifold trihedral polyhedron from a given natural (or partial-view) sketch is solution of the “wireframe sketch from a single natural sketch (WSS)” problem, which is the subject of this paper. Published solutions view WSS as an “image-processing”/“computer vision” problem where emphasis is placed on analyzing the given input (natural sketch) using various heuristics. This paper proposes a new WSS method based on robust tools from graph theory, solid modeling and Euclidean geometry. Focus is placed on producing a minimal wireframe sketch that corresponds to a topologically correct polyhedron.     

WSDL and UDDI extensions for version support in web services

Versioning is an important aspect of web service development, which has not been adequately addressed so far. In this article, we propose extensions to WSDL and UDDI to support versioning of web service interfaces at development-time and run-time. We address service-level and operation-level versioning, service endpoint mapping, and version sequencing. We also propose annotation extensions for developing versioned web services in Java. We have tested the proposed solution for versioning in two real-world environments and identified considerable improvements in service development and maintenance efficiency, improved service reuse, and simplified governance.     

Hybrid crossover operators with multiple descendents for real‐coded genetic algorithms: Combining neighborhood‐based crossover operators

Most real‐coded genetic algorithm research has focused on developing effective crossover operators, and as a result, many different types of crossover operators have been proposed. Some forms of crossover operators are more suitable to tackle certain problems than others, even at the different stages of the genetic process in the same problem. For this reason, techniques that combine multiple crossovers, called hybrid crossover operators, have been suggested as alternative schemes to the common practice of applying only one crossover model to all the elements in the population. On the other hand, there are operators with multiple offsprings, more than two descendants from two parents, which present a better behavior than the operators with only two descendants, and achieve a good balance between exploration and exploitation. © 2009 Wiley Periodicals, Inc.     

Reinforcement learning of pedagogical policies in adaptive and intelligent educational systems

In an adaptive and intelligent educational system (AIES), the process of learning pedagogical policies according the students needs fits as a Reinforcement Learning (RL) problem. Previous works have demonstrated that a great amount of experience is needed in order for the system to learn to teach properly, so applying RL to the AIES from scratch is unfeasible. Other works have previously demonstrated in a theoretical way that seeding the AIES with an initial value function learned with simulated students reduce the experience required to learn an accurate pedagogical policy. In this paper we present empirical results demonstrating that a value function learned with simulated students can provide the AIES with a very accurate initial pedagogical policy. The evaluation is based on the interaction of more than 70 Computer Science undergraduate students, and demonstrates that an efficient and useful guide through the contents of the educational system is obtained.