Cell formation in group technology using constraint programming and Boolean satisfiability

Cell formation consists in organizing a plant as a set of cells, each of them containing machines that process similar types or families of parts. The idea is to minimize the part flow among cells in order to reduce costs and increase productivity. The literature presents different approaches devoted to solve this problem, which are mainly based on mathematical programming and on evolutionary computing. Mathematical programming can guarantee a global optimal solution, however at a higher computational cost than an evolutionary algorithm, which can assure a good enough optimum in a fixed amount of time. In this paper, we model and solve this problem by using state-of-the-art constraint programming (CP) techniques and Boolean satisfiability (SAT) technology. We present different experimental results that demonstrate the efficiency of the proposed optimization models. Indeed, CP and SAT implementations are able to reach the global optima in all tested instances and in competitive runtime.     

Prediction of parking space availability in real time

Intelligent parking reservation (IPR) systems allow customers to select a parking facility according to their preferences, rapidly park their vehicle without searching for a free stall, and pay their reservation in advance avoiding queues. Some IPR systems interact with in-vehicle navigation systems and provide users with information in real time such as capacity, parking fee, and current parking utilization. However, few of these systems provide information on the forecast utilization at specific hours - a process that requires the study of the competition between parking alternatives for the market share. This paper proposes a methodology for predicting real-time parking space availability in IPR architectures. This methodology consists of three subroutines to allocate simulated parking requests, estimate future departures, and forecast parking availability. Parking requests are allocated iteratively using an aggregated approach as a function of simulated drivers’ preferences, and parking availability. This approach is based on a calibrated discrete choice model for selecting parking alternatives. A numerical comparison between a one-by-one simulation-based forecast and the proposed aggregated approach indicates that no significant discrepancies exists, validating and suggesting the use of the less time consuming proposed aggregated methodology. Results obtained from contrasting predictions with real data yielded small average error availabilities. The forecast improves as the system registers arrivals and departures. Thus, the forecast is adequate for potential distribution in real-time using different media such as Internet, navigation systems, cell phones or GIS.     

Oxidation State of Titanium in CaO‐SiO2‐TiOx Slags at 1873K

Oxidation state of titanium was determined in CaO‐SiO₂‐TiO_x slags in the composition range 25‐53 percent CaO, 27‐46 percent SiO₂, 10‐55 percent TiO_x at 1873K using gas equilibration method. In the experiments, slags with different titanium oxide contents were equilibrated with a known carbon monoxide and carbon dioxide ratio. The results were used to determine the Ti³⁺ and Ti⁴⁺ contents as well as the activity coefficient ratio of corresponding oxides in the slag. The dependence of the activity coefficient ratio as a function of oxygen partial pressure was determined.     

A Stress and Coping Model of Medication Adherence and Viral Load in HIV-Positive Men and Women on Highly Active Antiretroviral Therapy (HAART).

The authors tested a structural model that incorporated age, time since diagnosis, social support, coping, and negative mood as predictors of medication adherence and HIV viral load on 188 men and 134 women on highly active antiretroviral therapy (HAART). The authors used psychosocial latent factors formed from baseline measures to predict latent factors of adherence, as assessed by electronic monitoring and self-report, and viral load defined by indicators assessed over a 15-month period. Results from the model indicate that greater negative mood and lower social support are related to greater use of avoidance-oriented coping strategies. Use of these coping strategies by patients on HAART is related to poorer medication adherence and, subsequently, higher viral load. This model advances researchers' understanding of the contribution of psychosocial variables in predicting treatment adherence and disease progression in HIV-positive men and women. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

On the secure implementation of security protocols

We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the context of an API that provides standard cryptography and communication services. Given a dependency specification, stating how API methods can produce and consume secret information, we propose an information flow property based on the idea of invariance under perturbation, relating observable changes in output to corresponding changes in input. Besides the information flow condition itself, the main contributions of the paper are results relating the admissibility property to a direct flow property in the special case of programs which branch on secrets only in cases permitted by the dependency rules. These results are used to derive an unwinding theorem, reducing a behavioural correctness check (strong bisimulation) to an invariant.     

A Diffusion Model Analysis of the Effects of Aging in the Lexical-Decision Task.

The effects of aging on response time (RT) are examined in 2 lexical-decision experiments with young and older subjects (age 60-75). The results show that the older subjects were slower than the young subjects, but more accurate. R. Ratcliff s (1978) diffusion model provided a good account of RTs, their distributions, and response accuracy. The fits show an 80-100-ms slowing of the nondecision components of RT for older subjects relative to young subjects and more conservative decision criterion settings for older subjects than for young subjects. The rates of accumulation of evidence were not significantly different for older compared with young subjects (less than 2% and 5% higher for older subjects relative to young subjects in the 2 experiments). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Energy Partitions and Image Segmentation

We address the issue of low-level segmentation for real-valued images. The proposed approach relies on the formulation of the problem in terms of an energy partition of the image domain. In this framework, an energy is defined by measuring a pseudo-metric distance to a source point. Thus, the choice of an energy and a set of sources determines a tessellation of the domain. Each energy acts on the image at a different level of analysis; through the study of two types of energies, two stages of the segmentation process are addressed. The first energy considered, the path variation, belongs to the class of energies determined by minimal paths. Its application as a pre-segmentation method is proposed. In the second part, where the energy is induced by a ultrametric, the construction of hierarchical representations of the image is discussed.     

Shot boundary detection using Zernike moments in multi-GPU multi-CPU architectures

This paper presents an analysis of a Multi-GPU Multi-CPU environment, along with the different possible hybrid combinations. The analysis has been performed for a shot boundary detection application, based on Zernike moments, although it is general enough to be applied to many different application areas. A deep study of the performance, bottlenecks and design challenges is carried out showing the validity of this approach and achieving very high frame per second rates. In this paper, Zernike calculations are carried out on GPUs, taking advantage of a packing strategy proposed to minimize host-device communication time.     

Market opportunity recognition in the Chilean wine industry: traditional versus relational marketing approaches

The aim of this paper is to examine how wine firms implement their marketing strategies based on the recognition of market opportunities by their Chief Executive Officers (CEOs). Firstly, we describe the marketing activities in 69 traditional Chilean wine firms. Then, in-depth interviews with CEOs of two wineries are analysed using cognitive maps to uncover the cognitive processes responsible for recognizing and executing market activities. Our findings indicate that there is a similar set of strategic resources across the wineries, but the CEOs’ different perceptions of the usefulness of these resources in the implementation of marketing strategies have led them to select diverse strategies to increasing both the price per bottle and wine sales. This paper makes two contributions. Firstly, we compare the benefit of implementing traditional and relational marketing strategies in the Chilean wine industry. Secondly, we show that the CEOs’ perception of feedback processes among the available resources affects the recognition of market opportunities and the marketing strategy in wine firms.     

Allocating reforestation areas for sediment flow minimization: an?integer programming formulation and?a?heuristic solution method

Policy and decision makers dealing with environmental conservation and land use planning often require identifying potential sites for contributing to minimize sediment flow reaching riverbeds. This is the case of reforestation initiatives, which can have sediment flow minimization among their objectives. This paper proposes an Integer Programming (IP) formulation and a Heuristic solution method for selecting a predefined number of locations to be reforested in order to minimize sediment load at a given outlet in a watershed. Although the core structure of both methods can be applied for different sorts of flow, the formulations are targeted to minimization of sediment delivery. The proposed approaches make use of a Single Flow Direction (SFD) raster map covering the watershed in order to construct a tree structure so that the outlet cell corresponds to the root node in the tree. The results obtained with both approaches are in agreement with expert assessments of erosion levels, slopes and distances to the riverbeds, which in turn allows concluding that this approach is suitable for minimizing sediment flow. Since the results obtained with the IP formulation are the same as the ones obtained with the Heuristic approach, an optimality proof is included in the present work. Taking into consideration that the heuristic requires much less computation time, this solution method is more suitable to be applied in large sized problems.