Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "CNF" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Hardness and Microstructure of Mixed Al-CNF Powder Extrusion
Autorzy:
Kim, D.-H.
Kim, T.-J.
Lim, S.-G.
Powiązania:
https://bibliotekanauki.pl/articles/351170.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Al-CNF composite
cold isotatic
presses
powder extrusion
LED
microstructure
Opis:
In this study, mechanical properties and microstructures of extruded aluminum matrix composites were investigated. The composite materials were manufactured by two step methods: powder metallurgy (mixture of aluminum powder and carbon fiber using a turbular mixer, pressing of mixed aluminum powder and carbon fiber using a cold isostatic pressing) and hot extrusion of pressed aluminum powder and carbon fiber. For the mixing of Al powder and carbon fibers, aluminum powder was used as a powder with an average particle size of 30 micrometer and the addition of the carbon fibers was 50% of volume. In order to make mixing easier, it was mixed under an optimal condition of turbular mixer with a rotational speed of 60 rpm and time of 1800s. The process of the hot-extrusion was heated at 450°C for 1 hour. Then, it was hot-extruded with a condition of extrusion ratio of 19 and ram speed of 2 mm/s. The microstructural analysis of extruded aluminum matrix composites bars and semi-solid casted alloys were carried out with the optical microscope, scanning electron microscope and X-ray diffraction. Its mechanical properties were evaluated by Vickers hardness and tensile test.
Źródło:
Archives of Metallurgy and Materials; 2017, 62, 2B; 1267-1270
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Selection of search strategies for solving 3-SAT problems
Autorzy:
Pułka, A.
Powiązania:
https://bibliotekanauki.pl/articles/330562.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
SAT solving
formal verification
CNF
Boolean satisfiability
badanie spełnialności logicznej
weryfikacja formalna
Opis:
The paper concerns the problem of Boolean satisfiability checking, which is recognized as one of the most important issues in the field of modern digital electronic system verification and design. The paper analyzes different strategies and scenarios of the proving process, and presents a modified and extended version of the author’s FUDASAT algorithm. The original FUDASAT methodology is an intuitive approach that employs a commonsense reasoning methodology. The main objective of the work is to investigate the SAT-solving process and try to formulate a set of rules controlling the reasoning process of the FUDASAT inference engine. In comparison with the author’s previous works, the paper introduces new mechanisms: hypergraph analysis, multiple variable assignments and search space pruning algorithms. The approach considers only 3-SAT class functions, although a generalization of the method is discussed as well. The presented approach has been tested on various benchmarks and compared with the original pure FUDASAT algorithm as well as with other algorithms known from the literature. Finally, the benefits of the proposed SAT solving technique are summarized.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 2; 283-297
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies