18 research outputs found

    On the groove pressing of Ni-W alloy: microstructure, texture and mechanical properties evolution

    Get PDF
    International audienceThe microstructure, texture and mechanical properties of the Ni-14%W(wt.%) alloy with two different initial grain sizes and textures were investigated after groove pressing (GP) at 450 °C to 4 cycles using Electron Back Scatter Diffraction (EBSD) and microhardness measurements. The initial first series was characterized by small equiaxed grains and Cube dominant texture component. The second series has elongated grains and β-fiber texture. EBSD analysis has shown that GP processing led to a slight refinement (less than 15%) of equiaxed grains in series I while greater refinement (~55%) of the mean spacing along normal direction was observed in series II. The texture did not drastically change from the initial ones and was characterized by the weakening of the Cube component in series I and rapid decrease of Copper component for series II. GP processing reduces very slightly the plastic anisotropy of the alloy with initial elongated granular microstructure

    A logic for anytime deduction and anytime compilation

    No full text
    One of the main characteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two attractive approaches that have been proposed for addressing such a difficulty. The first one offers a compromise between the time complexity needed to compute approximate answers and the quality of these answers. The second one proposes a trade-off between the space complexity of the compiled knowledge base and the number of possible answers that can be efficiently processed by this data structure. The purpose of this paper is to define a logic which handles these two approaches by incorporating several major features. First, the logic is semantically founded on the notion of resource which determines both the accuracy and the cost of approximation. Second, a stepwise procedure is included for improving approximate answers and allowing their convergence to the correct answer. Third, both sound approximations and complete ones are covered. Fourth and nally, the reasoning task may be done off-line and compiled theories can be used for answering many queries. This logic is applied to the specifications of anytime deducers and anytime compilers
    corecore