1,721,084 research outputs found
Experiments of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic
No full textAbstract: In this paper, we present an experiment of our randomized hints strategy of automated reasoning for yielding Axiom(5) from Axiom(1)(2)(3)(4) of Infinite-Valued Lukasiewicz Logic. In the experiment, we randomly generated a set of hints with size ranging from 30 to 60 for guiding hyper-resolution based search by the theorem prover. We have successfully found the most useful hints list (with 30 clauses) among 150 * 6 hints lists. Also, we discuss a curious non-linear increase of generated clauses in deducing Axiom(5) by applying our randomized hints strategy.
Keywords: Randomized hints, Lukasiewicz Logic, hyper-resolution, condensed detachment, OTTER.
Title: Experiments of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic
Author: Ruo Ando, Yoshiyasu Takefuji
International Journal of Novel Research in Computer Science and Software Engineering
ISSN 2394-7314
Vol. 10, Issue 3, September 2023 - December 2023
Page No: 1-6
Novelty Journals
Website: www.noveltyjournals.com
Published Date: 01-September-2023
DOI: https://doi.org/10.5281/zenodo.8307890
Paper Download Link (Source)
https://www.noveltyjournals.com/upload/paper/Experiments%20of%20Randomized%20Hints-01092023-2.pdfInternational Journal of Novel Research in Computer Science and Software Engineering, ISSN 2394-7314, Novelty Journals, Website: www.noveltyjournals.co
Understanding environmental noise: Transmission, attenuation, resonance and health implications
No full textThis paper investigates the behavior of environmental noise, a critical topic for acoustic experts. Sound and noise propagate through various media via pressure variations, with attenuation significantly influenced by environmental factors, source types, frequencies, and climatic conditions. Attenuation refers to the reduction of sound intensity. Noise sources are classified into point, line, and plane categories. Sound is perceived by the human ear, while noise is unwanted sound. The distinction between the two depends on individual perception, the environment, and circumstances. Noise can be audible or inaudible, with inaudible noise, such as infrasound and ultrasound, potentially posing health risks. This paper examines noise attenuation in relation to sources, frequencies, and site conditions such as resonance phenomena. It also addresses the limitations of current acoustic measurement technologies and proposes advancements for the field of acoustic science due to neglecting resonance phenomena. By understanding these factors, we can effectively assess and mitigate the impact of noise on human and animal health and the environment.What is known: Sound and noise propagate through pressure variations in air, liquid, or solid. Noise sources are categorized into point, line, and plane sources. While sound is what we hear, noise is considered unwanted sound. The reduction of sound intensity, known as attenuation, varies based on environmental factors, source types, and frequencies. Attenuation is frequency-dependent, with higher frequencies generally experiencing greater attenuation. The surrounding environment, whether it consists of hard or soft sites, significantly impacts attenuation. Current acoustic measurement technologies, such as FFT analysis, have limitations in terms of frequency resolution and transducer capabilities.What this paper adds: This paper adds to the existing knowledge by providing a comprehensive analysis of noise attenuation, covering point, line, and plane sources, frequency-dependent attenuation, and environmental factors. It specifically addresses the often-overlooked attenuation of infrasound and explores the unique characteristics of both natural resonance noises. The paper discusses the limitations of FFT frequency resolution and its impact on acoustic signal measurement, suggesting potential advancements in acoustic measurement technologies to address these limitations. Additionally, it highlights the potential health implications of infrasound, including its ability to cause resonance and amplify sound levels. By offering a detailed overview and addressing specific gaps in knowledge, this paper contributes to a better understanding of environmental noise and its implications for human health and the environment
Enhancing disaster resilience by sustainable technologies
No full textThis paper briefly surveyed the promising sustainable and renewable technologies for producing not only fuel but also food and water respectively by capturing air with sustainable energy in order to enhance disaster resilience. Metal–organic frameworks (MOFs) can be used to harvest water from the air, CO2 and water from the air can be used to produce alternative sustainable protein by bacteria, and CO2 from the air can be also converted to fuel by inexpensive chemical catalysts. This paper examines whether surveyed technologies with allow us to build sustainable and resilient societies against disasters for solving real risk problems. The investigated sustainable and renewable technologies can transform our society into a sustainable and renewable society that is truly resilient to natural disasters. No one has yet attempted to combine the three sustainable and renewable technologies to transform our society into one that is sustainable and resilient to natural disasters. The proposed approach will be tested and examined in Kaga City, Japan
- …
