Showing papers by "Grenoble Institute of Technology published in 1990"
TL;DR: The completeness of narrowing strategies is proved and conditions for the computation of a “minimal” ground complete set of E-unifiers are given, as well as an algorithm transforming specifications satisfying Huet and Hullot's principle of definition into specifications fulfilling the proposed criteria.
48 citations
TL;DR: In this article, two different error criteria, namely nodal perturbations and discontinuities of the magnetic field or the flux density between neighboring elements, are used to improve the performance of adaptive mesh generation.
Abstract: Adaptive mesh generation involves the improvement of finite elements on the basis of error estimates by either refining the mesh (h‐type refinement) or improving the trial function (p‐type refinement). In this paper, both methods are employed in conjunction, thereby reaping the advantages of both approaches. The strategy is tested with two different error criteria, one based on nodal perturbations and the other on discontinuities of the magnetic field or the flux density between neighboring elements. Forces on permanent magnets are computed to demonstrate the method.
23 citations
TL;DR: The Second International Conference on Semi-Solid Processing of Alloys and Composites (SUSP) was held on June 10-12, 1992, at MIT in Cambridge, Massachusetts.
Abstract: The Second International Conference on Semi-Solid Processing of Alloys and Composites will be held on June 10–12, 1992, at MIT in Cambridge, Massachusetts.
21 citations
01 Jan 1990
2 citations