National Conference on Artificial Intelligence · 1983 · 87 citations · 12 references
ComputingComputer ScienceKnowledge RepresentationProgramming LanguagesSystems ArchitectureExpert SystemsObject-oriented DesignSoftware ArchitectureSoftware ConstructionSoftware DesignSpecification LanguagesArchitecture ModelsDeclarative SemanticsKnowledge EngineeringObject-oriented Architecture
Hybrid organic-inorganic perovskites have emerged as promising thermoelectric materials due to their attractive figure of merits. To further reduce their thermal conductances (<i>G</i>) and improve the thermoelectric efficiencies, fabrication of phononic crystals (PnCs) could be an effective approach. In this work, CH<sub>3</sub>NH<sub>3</sub>PbI<sub>3</sub>-based PnCs were developed and their thermal transports were engineered by optimizing the configurations of both basal bodies and scatterers. Our cross-scale simulations demonstrate that low relative <i>G</i> can be achieved in CH<sub>3</sub>NH<sub>3</sub>PbI<sub>3</sub> PnCs with large scatterers but low-symmetric PnC lattices, basal bodies, and scatterers. Moreover, we discovered the increased disorder of CH<sub>3</sub>NH<sub>3</sub><sup>+</sup> cations from tetragonal to cubic transition significantly increases the phonon velocities and reverses the phonon transport from diffusive to quasi-ballistic, leading to an abnormal reduction of relative <i>G</i>. This work provides a new pathway for engineering thermal conductivity of hybrid perovskites and improving the performance of corresponding devices.
12
Jon Doyle · Artificial Intelligence · 1979 · 1.8K citations · Full text
Robert Kowalski · Communications of the ACM · 1979 · 602 citations · Full text
Prolegomena to a theory of mechanized formal reasoning
Richard W. Weyhrauch · Artificial Intelligence · 1980 · 404 citations
Meta-Rules: Reasoning About Control
Davis, Randall · DSpace@MIT (Massachusetts Institute of Technology) · 1980 · 226 citations · Full text