Refine
Has Fulltext
- yes (2)
Year of publication
- 2013 (2) (remove)
Document Type
- Master's Thesis (2) (remove)
Language
- English (2) (remove)
Is part of the Bibliography
- no (2)
Keywords
- Katalyse (1)
- Liguistisch (1)
- Nanopartikel (1)
- Relevanz (1)
- Selektion (1)
- Theorembeweisen (1)
- Unifikation (1)
- carbothermal (1)
- carbothermisch (1)
- catalysis (1)
Institute
This document presents a formula selection system for classical first order theorem proving based on the relevance of formulae for the proof of a conjecture. It is based on unifiability of predicates and is also able to use a linguistic approach for the selection. The scope of the technique is the reduction of the set of formulae and the increase of the amount of provable conjectures in a given time. Since the technique generates a subset of the formula set, it can be used as a preprocessor for automated theorem proving. The document contains the conception, implementation and evaluation of both selection concepts. While the one concept generates a search graph over the negation normal forms or Skolem normal forms of the given formulae, the linguistic concept analyses the formulae and determines frequencies of lexemes and uses a tf-idf weighting algorithm to determine the relevance of the formulae. Though the concept is built for first order logic, it is not limited to it. The concept can be used for higher order and modal logik, too, with minimal adoptions. The system was also evaluated at the world championship of automated theorem provers (CADE ATP Systems Competition, CASC-24) in combination with the leanCoP theorem prover and the evaluation of the results of the CASC and the benchmarks with the problems of the CASC of the year 2012 (CASC-J6) show that the concept of the system has positive impact to the performance of automated theorem provers. Also, the benchmarks with two different theorem provers which use different calculi have shown that the selection is independent from the calculus. Moreover, the concept of TEMPLAR has shown to be competitive to some extent with the concept of SinE and even helped one of the theorem provers to solve problems that were not (or slower) solved with SinE selection in the CASC. Finally, the evaluation implies that the combination of the unification based and linguistic selection yields more improved results though no optimisation was done for the problems.
It was the goal of this work to explore two different synthesis pathways using green chemistry. The first part of this thesis is focusing on the use of the urea-glass route towards single phase manganese nitride and manganese nitride/oxide nano-composites embedded in carbon, while the second part of the thesis is focusing on the use of the “saccharide route” (namely cellulose, sucrose, glucose and lignin) towards metal (Ni0), metal alloy (Pd0.9Ni0.1, Pd0.5Ni0.5, Fe0.5Ni0.5, Cu0.5Ni0.5 and W0.15Ni0.85) and ternary carbide (Mn0.75Fe2.25C) nanoparticles embedded in carbon. In the interest of battery application, MnN0.43 nanoparticles surrounded by a graphitic shell and embedded in carbon with a high surface area (79 m^2/g) were synthesized, following a previously set route.The comparison of the material characteristics before and after the discharge showed no remarkable difference in terms of composition and just slight differences in the morphological point of view, meaning the particles are stable but agglomerate. The graphitic shell is contributing to the resistance of the material and leads to a fine cyclic stability over 140 cycles of 230 mAh/g after the first charge/discharge and coulombic efficiencies close to 100%. Due to the low voltage towards Li/Li+ and the low polarization, it might be an attractive anode material for lithium ion batteries. However, the capacity is still noticeably lower than the theoretical value for MnN0.43. A mixture of MnN0.43 and MnO nanoparticles embedded in carbon (surface area 93 m^2/g) was able to improve the cyclic stability to over 160 cycles giving a capacity of 811 mAh/g, which is considerably higher than the capacity of the conventional material graphite (372 mAh/g). This nano-composite seems to agglomerate less during the process of discharge. Interestingly, although the capacity is much higher than of the single phase manganese nitride, the nano-composite seems to only contain MnN0.43 nanoparticles after the process of discharge with no oxide phase to be found. Concerning catalysis application, different metal, metal alloy, and metal carbide nanoparticles were synthesized using the saccharide route. At first, systems that were already investigated before, being Pd0.9Ni0.1, Pd0.5Ni0.5, Fe0.5Ni0.5 and Mn0.75Fe2.25C using cellulose as the carbon source were prepared and tested in an alkylation reaction of toluene with benzylchloride. Unexpectedly, the metal alloys did not show any catalytic activity, but the ternary carbide Mn0.75Fe2.25C showed fine catalytic activity of 98% conversion after 9 hour reaction time (110 °C). In a second step, the saccharide route was modified towards other carbon sources and carbon to metal ratios in order to improve the homogeneity of the samples and accessibility of the particle surfaces. The used carbon sources sucrose and glucose are similar in their basic structure of carbohydrates, but reducing the (polymeric) chain length. Indeed, the cellulose could be successfully replaced by sucrose and glucose. A lower carbon to metal ratio was found to influence the size, homogeneity and accessibility (as evidenced by TEM) of the samples. Since sucrose is an aliment, glucose is the better choice as a carbon source. Using glucose, the synthesis of Cu0.5Ni0.5 and W0.15Ni0.85 nano-composites was also possible, although the later was never obtained as pure phase. These alloy nano-composites were tested, along with nickel0 nanoparticles also prepared with glucose and on their catalytic activity towards the reduction of phenylacetylene. The results obtained let believe that any (poly) saccharide, including lignin, could be used as carbon source. The nickel0 nano-composites prepared with lignin as a carbon source were tested along with those prepared with cellulose and sucrose for their catalytic activity in the transfer hydrogenation of nitrobenzene (results compared with exposed nickel nanoparticles and nickel supported on carbon) leading to very promising results. Based on the urea-glass route and the saccharide route, simple equipment and transition metals, it was possible to have a one-pot synthesize with scale-up possibilities towards new material that can be applied in catalysis and battery systems.