Amaral, P., and P. Barahona. "
After infeasibility in linear programming."
Proceedings of CP-AI-OR99 workshop on integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization problems. Vol. 1. Universit, 1999.
AbstractThis work is focused on the correction of Infeasible Linear problems. Its motivation is not difficult to understand if one thinks on the complexity of model building in large real problems. The inconsistency can arise in the definition of the model due, for instance, to structural or data type errors. The identification of conflict sets of constraints is very useful but might not be enough to overcome the problem, since the implementation of a solution may require the definition of a new feasible model. We present a short review on known procedures for the diagnosis of these problems. The approach we propose is based on the correction of (potentially) all the parameters of the model restrictions. We present a pure algebraic methodology based on the Singular Value Decomposition of a matrix. This method is quite rigid in the changes of the matrix coefficients changes, so we give insights on a heuristic based approach in order to attain more flexibility.
Cunha, José C., Pedro D. Medeiros, Vitor Duarte, João Louren{\c c}o, and Cecilia Gomes. "
An Experience in Building a Parallel and Distributed Problem-Solving Environment."
PDPTA 1999: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, 1999. 1804-1809.
AbstractWe describe our experimentation with the design and implementation of specific environments, consisting of heterogeneous computational, visualization, and control components. We illustrate the approach with the design of a problemsolving environment supporting the execution of genetic algorithms. We describe a prototype supporting parallel execution, visualization, and steering. A life cycle for the development of applications based on genetic algorithms is proposed.
Abreu, Fernando Brito, Luís Miguel Ochoa, and Miguel Goulão. "
The GOODLY Design Language for MOOD2 Metrics Collection."
3rd ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE'1999). Eds. Fernando Brito e Abreu, Houari Sarahoui, and Horst Zuse. Lisbon, Portugal 1999.
Abstractn/a
Ferreira, I., Aguas Mendes Fernandes Fortunato Martins H. L. F. "
Influence of the H2 dilution and filament temperature on the properties of P doped silicon carbide thin films produced by hot-wire technique."
Materials Research Society Symposium - Proceedings. Vol. 507. 1999. 831-836.
AbstractThis work deals with the role of hydrogen dilution and filament temperature on the morphology, structure and electrical properties of nanocrystalline boron doped silicon carbide thin films produced by hot-wire technique. The structural and morphological data obtained by XRD, SEM and micro-Raman show that for filament temperatures and hydrogen dilutions above 2100 °C and 90%, respectively, the surface morphology of the films is granular with a needle shape, while for lower filament temperatures and hydrogen dilutions the surface morphology gets honeycomb like. The SIMS analysis reveals that films produced with filament temperatures of about 2200 °C and hydrogen dilution of 99% present a higher hydrogen and carbon incorporation than the films produced at lower temperatures and hydrogen dilutions. These results agree with the electrical and optical characteristics recorded that show that the films produced exhibit optical gaps in the range from 1.8 to 2 eV and transverse conductivities ranging from 10-1 S/cm to 10-3 S/cm, consistent with the degree of films crystallinity and carbon incorporation recorded.
Alferes, JJ, LM Pereira, H. Przymusinska, and TC Przymusinski. "
LUPS - A language for updating logic programs."
LOGIC PROGRAMMING AND NONMONOTONIC REASONING. Eds. M. Gelfond, N. Leone, and G. Pfeifer. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. SPRINGER-VERLAG BERLIN, 1999. 162-176.
Abstractn/a