211 research outputs found
Fabbisogni energetici per edifici caratterizzanti il terziario in Italia: aspetti termici ed illuminotecnici
No full textIl presente lavoro verte sull'individuazione di benchmark di fabbisogno energetico per edifici di riferimento con destinazione d'uso non-residenziale. In particolare, si intende fornire profili tipo di domanda energetica per l'illuminazione artificiale, al fine di valutarne l'effetto sui profili di fabbisogno di energia per la climatizzazione estiva ed invernale, nonché di individuare le variabili che maggiormente incidono sulla loro determinazione. Per giungere a questi risultati, ci si avvale dell'uso di programmi informatici di simulazione dinamica riconosciuti ed impiegati a livello scientifico, in ambito europeo ed extraeuropeo (Energy Plus). La ricerca viene condotta sotto vari aspetti: architettonico, energetico e ambientale. Il primo obiettivo, partendo dalle indicazioni bibliografiche, legislative e normative, è quello di caratterizzare in modo univoco gli edifici di riferimento per le varie destinazioni d'uso oggetto di analisi: edifici per l'istruzione, ed edifici terziari. Gli edifici di riferimento intendono costituire archetipi rappresentativi del patrimonio edilizio italiano. Il secondo obiettivo è di tipo energetico: si intende definire profili tipo di domanda energetica per l'illuminazione artificiale degli ambienti. Si intendono inoltre valutare contestualmente i fabbisogni energetici netti per il riscaldamento e il raffrescamento degli ambienti. L'obiettivo finale è riuscire a determinare le migliori soluzioni progettuali per la minimizzazione del fabbisogno di energia connesso all'illuminazione, in relazione alle destinazioni d'uso dei differenti edifici, nonché le variabili che più incidono per indirizzare al meglio le attenzioni progettuali in caso di nuova realizzazione. Il presente lavoro, dopo un primo inquadramento generale in cui si delinea quello che è lo stato dell'arte della valutazione dei fabbisogni energetici e della ricerca scientifica in materia di illuminazione artificiale di ambienti non residenziali, passa poi ad indagare il significato di archetipo e a definire degli archetipi edilizi per il patrimonio immobiliare costruito a destinazione d'uso scolastica e terziaria. Successivamente vengono descritti i modelli di calcolo impiegati e sono dettagliati i dati di input impiegati per la loro definizione. Sono infine esplicati i risultati ottenuti, con individuazione dei valori di benchmark energetico per gli archetipi edilizi scolastici e terziari, e con l'analisi di quelle che sono le grandezze maggiormente influenti sul fabbisogno energetico per illuminazion
Quantum enhanced non-interferometric quantitative phase imaging
No full textQuantum entanglement and squeezing have significantly improved phase
estimation and imaging in interferometric settings beyond the classical limits.
However, for a wide class of non-interferometric phase imaging/retrieval
methods vastly used in the classical domain e.g., ptychography and diffractive
imaging, a demonstration of quantum advantage is still missing. Here, we fill
this gap by exploiting entanglement to enhance imaging of a pure phase object
in a non-interferometric setting, only measuring the phase effect on the
free-propagating field. This method, based on the so-called "transport of
intensity equation", is quantitative since it provides the absolute value of
the phase without prior knowledge of the object and operates in wide-field
mode, so it does not need time-consuming raster scanning. Moreover, it does not
require spatial and temporal coherence of the incident light. Besides a general
improvement of the image quality at a fixed number of photons irradiated
through the object, resulting in better discrimination of small details, we
demonstrate a clear reduction of the uncertainty in the quantitative phase
estimation. Although we provide an experimental demonstration of a specific
scheme in the visible spectrum, this research also paves the way for
applications at different wavelengths, e.g., X-ray imaging, where reducing the
photon dose is of utmost importance.Comment: arXiv admin note: text overlap with arXiv:2109.1009
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
Quantum Dot Cellular Automata Check Node Implementation for LDPC Decoders
No full textThe quantum dot Cellular Automata (QCA) is an emerging nanotechnology that has gained significant research interest in recent years. Extremely small feature sizes, ultralow power consumption, and high clock frequency make QCA a potentially attractive solution for implementing computing architectures at the nanoscale. To be considered as a suitable CMOS substitute, the QCA technology must be able to implement complex real-time applications with affordable complexity. Low density parity check (LDPC) decoding is one of such applications. The core of LDPC decoding lies in the check node (CN) processing element which executes actual decoding algorithm and contributes toward overall performance and complexity of the LDPC decoder. This study presents a novel QCA architecture for partial parallel, layered LDPC check node. The CN executes Normalized Min Sum decoding algorithm and is flexible to support CN degree dc up to 20. The CN is constructed using a VHDL behavioral model of QCA elementary circuits which provides a hierarchical bottom up approach to evaluate the logical behavior, area, and power dissipation of the whole design. Performance evaluations are reported for the two main implementations of QCA i.e. molecular and magneti
Case report: Sigmoid strangulation from evisceration through a perforated rectal prolapse ulcer – An unusual complication of rectal prolapse
No full textAbstractIntroductionRectal prolapse occurs particularly in elder females and presentation can sometimes lead to complications such as strangulation and evisceration of other organs through the necrotic mucosa.Presentation of caseThis is a case of a 61 year-old female with rectal prolapse complicated by rectal perforation through which a segment of sigmoid colon eviscerated and became strangulated. This patient initially presented with sepsis requiring ICU admission, but fully recovered following a Hartmann’s procedure with a sacral rectopexy.DiscussionComplications of rectal prolapse include incarceration, strangulation, and rarely, perforation with evisceration of other viscera requiring urgent operation. This report provides a brief overview of complications associated with rectal prolapse, reviews similar cases of transrectal evisceration, and discusses the management of chronic rectal prolapse.ConclusionPrompt surgical consult is warranted if any signs or symptoms suggestive of complications from prolapse are present
Tu1576 - Incidence of Delayed Venous Thromboembolic Events in Patients Undergoing Abdominal and Pelvic Surgery for Cancer, a Systematic Review
No full textGuías RUO. Firma normalizada e identificadores digitales
No full textBreve guía explicativa sobre firma normalizada y perfiles de autor/a (ORCID, Google Académico, Author ID de Scopus y Researcher ID de WOS
Titanium-indium oxy(nitride) with and without RuO2 loading as photocatalysts for hydrogen production under visible light from water
No full textTitanium-indium (oxy)nitride composite materials with and without RuO[subscript 2] loadings were produced by treating TiO[subscript 2]-In[subscript 2]O[subscript 3] mixed powders with ammonia at high temperature (700-850 °C) (Elemental analysis indicated an empirical formula of TiIn[subscript 0.029]O[subscript 0.63]N[subscript 1.4]). We have found that ammonolysis of TiO[subscript 2] to form Ti (oxy)nitride or In[subscript 2]O[subscript 3] to form In (oxy)nitride do not give composites active toward methanol-water under visible light, but TiO[subscript 2] and In[subscript 2]O[subscript 3] mixed together do give composites active toward methanol-water under visible light. Ti-In (oxy)nitride powders modified by surface loading with RuO[subscript 2] nanoparticles at 3 wt % achieves the highest H[subscript 2] evolution activity under visible light irradiation. The composite material did not react in the dark, but upon irradiation with visible light, the hydrogen production rate under illumination goes way up to 30 μmole∙h[superscript -1] and the turnover number shows that this is a photocatalytic reaction
- …
