The spread of respiratory diseases via aerosol particles in indoor settings is of significant concern. The SARS-CoV-2 virus has been found to spread widely in confined enclosures like hotels, ...hospitals, cruise ships, prisons, and churches. Particles exhaled from a person indoors can remain suspended long enough for increasing the opportunity for particles to spread spatially. Careful consideration of the ventilation system is essential to minimise the spread of particles containing infectious pathogens. Previous studies have shown that indoor airflow induced by opened windows would minimise the spread of particles. However, how outdoor airflow through an open window influences the indoor airflow has not been considered. The aim of this study is to provide a clear understanding of the indoor particle spread across multiple rooms, in a situation similar to what is found in quarantine hotels and cruise ships, using a combination of HVAC (Heating, Ventilation and Air-Conditioning) ventilation and an opening window. Using a previously validated mathematical model, we used 3D CFD (computational fluid dynamics) simulations to investigate to what extent different indoor airflow scenarios contribute to the transport of a single injection of particles (1.3μm) in a basic 3D multi-room indoor environment. Although this study is limited to short times, we demonstrate that in certain conditions approximately 80% of the particles move from one room to the corridor and over 60% move to the nearby room within 5 to 15 s. Our results provide additional information to help identifying relevant recommendations to limit particles from spreading in enclosures.
•CFD simulations show that an opened window has a dominant effect in the indoor settings.•An open window contributes to the transport of particles across multiple rooms.•Within seconds, exhaled particles can spread to the corridor and opposite room.•Simulation outcomes provide knowledge of lowering indoor particle spread.
Argumentation Semantics for Defeasible Logic Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris ...
Journal of logic and computation,
10/2004, Letnik:
14, Številka:
5
Journal Article
Recenzirano
Odprti dostop
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the ...modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and cross-fertilization, in particular our work sheds light on the argumentation-theoretic features of defeasible logic; (b) we provide the first ambiguity blocking Dung-like argumentation system; (c) defeasible reasoning may provide an efficient implementation platform for systems of argumentation; and (d) argumentation-based semantics support a deeper understanding of defeasible reasoning, especially in the context of the intended applications.
This paper focuses on the development of tools aiming to solve several problems related to the microwave interrogation signal in atomic fountains. We first consider the problem related to cycle ...synchronous phase transients caused by the sequential operation of the atomic fountain. To search for such systematic phase variations deeply buried in the microwave synthesizer phase noise, we have developed a novel triggered-phase transient analyzer capable of processing the microwave signal to extract the phase in a synchronous manner even in the presence of frequency modulation. With this device we check in vivo the LNE-SYRTE fountain's interrogation signals with a resolution approaching 1 microradian. In addition, using this device, we investigate an innovative approach to solve a second problem, namely, the shift caused by microwave leakage in the fountain. Our approach consists of switching off the fountain microwave interrogation signal when atoms are outside the microwave cavity. To do that, we have developed a switch that is almost free of phase transients and is thus able to eliminate the frequency shift caused by microwave leakage without inducing significant phase transients on the interrogation signal.
Since 2003 the presence of a new syndrome characterized by symptoms of stunting, chlorotic mottling, leaf deformation, reduced yields and quality has been reported in some white berry varieties of ...Vitis vinifera in Trentino‐Alto Adige and Friuli Venezia Giulia vineyards. The identification of a new virus, provisionally called Grapevine Pinot gris virus (GPGV), in a cv. Pinot gris vine suggested an association between this new syndrome and the virus presence (Giampetruzzi et al., 2012), however the contemporary presence of GPGV in both symptomatic and asymptomatic plants has still to be explained. In this work, a large‐scale monitoring over a 3‐year period (2012–14) of Friuli Venezia Giulia vineyards and nurseries has shown a widespread presence of GPGV in symptomatic plants and also in asymptomatic vines, even if at a slightly lower percentage. Quantitative analyses of the virus titer revealed a great variability in the viral content of both symptomatic and asymptomatic plants but the mean GPGV quantity in symptomatic vines was significantly higher than in asymptomatic plants.
Présence du Grapevine Pinot gris virus (GPGV) en Friuli Venezia Giulia (Italie). Suivi en plein champ et quantification du virus par la RT‐PCR en temps réel
Depuis 2003 la présence d'un nouveau syndrome caractérisé par des symptômes de rabougrissement, des marbrures chlorotiques, des déformations foliaires, et une réduction du rendement et de la qualité a été signalée sur des variétés à baies blanches de Vitis vinifera dans des vignobles en Trentino‐Alto Adige et Friuli Venezia Giulia. L'identification d'un nouveau virus, provisoirement appelé Grapevine Pinot gris virus (GPGV), dans une vigne de cépage Pinot gris a suggéré une association entre ce nouveau syndrome et la présence du virus (Giampetruzzi et al., 2012), bien que la présence simultanée du GPGV dans des plantes symptomatiques et asymptomatiques doivent encore être expliquée. Dans cette étude, un suivi à grande échelle des vignobles et pépinières de Friuli ‐Venezia Giulia sur une période de trois ans (2012‐2014) a permis de constater que le GPGV est largement répandu dans les plantes symptomatiques, mais également dans les plantes asymptomatiques, bien qu'à des pourcentages légèrement inférieurs. Les analyses quantitatives du titre du virus ont mis en évidence une grande variabilité de la charge virale des plantes tant symptomatiques qu'asymptomatiques, mais la quantité moyenne de GPGV dans les vignes symptomatiques était significativement plus élevée que dans les plantes asymptomatiques.
Bcтpeчaeмocть Grapevine Pinot Gris Virus (GPGV) в Фpиyли‐Beнeция‐Джyлия (Итaлия). Пoлeвoй мoнитopинг и виpycнaя квaнтификaция c пoмoщью ПЦP в peaльнoм вpeмeни
Haчинaя c 2003 гoдa o пoявлeнии нoвoгo cиндpoмa c cимптoмaми кapликoвocти, xлopoтичecкoй кpaпчaтocти, дeфopмaции лиcтьeв, cнижeния ypoжaйнocти и кaчecтвa cooбщaлocь пpимeнитeльнo к нeкoтopым copтaм бeлoгo винoгpaдa Vitis vinifera нa винoгpaдникax в Tpeнтинo‐Aльтo‐Aдиджe и Фpиyли‐Beнeция‐Джyлия. Идeнтификaция нoвoгo виpyca, вpeмeннo нaзвaннoгo Grapevine Pinot Gris Virus (GPGV) нa винoгpaдe copтa Пинo Гpи, вызвaлa пpeдпoлoжeниe o cвязи этoгo нoвoгo cиндpoмa c нaличиeм виpyca (Giampetruzzi et al., 2012), oднaкo нaблюдaeмoe в нacтoящee вpeмя нaличиe GPGV oднoвpeмeннo нa cимптoмныx и бeccимптoмныx pacтeнияx вce eщe нyждaeтcя в oбъяcнeнии. B xoдe этoй paбoты нa пpoтяжeнии тpex лeт (2012‐14) пpoвoдилcя кpyпнoмacштaбный мoнитopинг нa винoгpaдникax и питoмникax Фpиyли‐Beнeция‐Джyлия, кoтopый пpoдeмoнcтpиpoвaл шиpoкoe pacпpocтpaнeниe GPGV нa cимптoмныx pacтeнияx, нo тaкжe и нa бeccимптoмныx лoзax, xoтя и в нecкoлькo мeньшeй cтeпeни. Кoличecтвeнныe aнaлизы виpycнoгo титpa пoкaзaли бoльшyю вapиaбeльнocть виpycнoгo кoнтeнтa кaк cимптoмныx, тaк и бeccимптoмныx pacтeний, oднaкo cpeднee кoличecтвo GPGV нa cимптoмныx лoзax былo знaчитeльнo бoльшим, чeм нa бeccимптoмныx pacтeнияx.
The Asian chestnut gall wasp, Dryocosmus kuriphilus Yasumatsu (Hymenoptera, Cynipidae), is one of the most damaging insect pests on Castanea sativa Miller trees (Fagales, Fagaceae) worldwide. ...Dryocosmus kuriphilus galls were collected between late May and August 2014 from 11 sites in the Friuli Venezia Giulia region of North‐East Italy, differing in elevation and forest cover composition. The number of parasitoids that emerged was higher than the number of D. kuriphilus specimens that emerged for 5 out of 11 sites considered. The mean number of larval chambers per gall dissected was between 1.5 and 2.8 (for the 11 different sites). There were no fewer than 2–3 specimens of parasitoids emerging per 100 galls, in all sites. The parasitoids identified belonged to five different Chalcidoidea families (Torymidae, Eupelmidae, Eurytomidae, Pteromalidae and Eulophidae). Among them, Torymidae and Eupelmidae represented approximately 90% of the total hymenopteran parasitoids. The most represented species were Torymus flavipes (Walker), Megastigmus dorsalis (Fabricius) and Eupelmus urozonus Dalman, all indigenous parasitoids of species causing oak galls. All identified parasitoids were already known to be associated with D. kuriphilus in Italy. These data support the hypothesis of a high species richness of this parasitoid community.
Etude des parasitoïdes indigènes du cynips du chataignier, Dryocosmus kuriphilus, espèce envahissante, dans la région du Friuli Venezia Giula (Nord‐Est de l'Italie)
Le cynips du châtaignier, Dryocosmus kuriphilus Yasumatsu (Hymenoptera, Cynipidae), est l'un des insectes les plus nuisibles au monde sur les arbres de l'espèce Castanea sativa Miller (Fagales, Fagaceae). Des galles contenant D. kuriphilus ont été récoltées entre fin mai et août 2014 sur 11 sites de la région Friuli Venezia Giula (Nord‐Est de l'Italie) qui différaient par leur altitude et la composition de leurs forêts. Sur 5 des 11 sites étudiés, le nombre de parasitoïdes émergeant était supérieur au nombre de spécimens de D. kuriphilus émergeant. Le nombre moyen de chambres larvaires par galle disséquée variait entre 1,5 et 2,8 (pour les 11 sites différents). Sur tous les sites, les parasitoïdes émergeants étaient au moins 2‐3 spécimens/100 galles. Les parasitoïdes identifiés appartenaient à cinq familles différentes de Chalcidoidea (Torymidae, Eupelmidae, Eurytomidae, Pteromalidae et Eulophidae). Parmi eux, Torymidae et Eupelmidae représentaient approximativement 90% des hyménoptères parasitoïdes. Les espèces les plus représentées étaient Torymus flavipes (Walker), Megastigmus dorsalis (Fabricius) et Eupelmus urozonus Dalman, qui sont tous des parasitoïdes indigènes d'espèces responsables de galles sur chêne. Tous les parasitoïdes identifiés étaient déjà connus comme étant associés à D. kuriphilus en Italie. Ces données appuient l'hypothèse d'une grande diversité des espèces au sein de cette communauté de parasitoïdes.
Oбзop aвтoxтoнныx пapaзитoидoв, oкaзывaющиx вoздeйcтвиe нa инвaзивнyю кaштaнoвyю opexoтвopкy Dryocosmus kuriphilus в oблacти Фpиyли‐Beнeция‐Джyлия (ceвepo‐вocтoчнaя чacть Итaлии)
Aзиaтcкaя кaштaнoвaя opexoтвopкa Dryocosmus kuriphilus Yasumatsu (Hymenoptera, Cynipidae) пpeдcтaвляeт coбoй oдин из нaибoлee вpeдныx opгaнизмoв нa дepeвьяx кaштaнa Castanea sativa Miller(Fagales, Fagaceae), нaнocящиx yщepб вo вceм миpe. C кoнцa мaя пo aвгycт 2014 г. гaллы D.kuriphilus coбиpaлиcь в oблacти Фpиyли‐Beнeция‐Джyлия (ceвepo‐вocтoчнaя чacть Итaлии) c 11 yчacткoв, paзличaвшиxcя пo cocтaвy дpeвocтoeв и пo выcoтe pacпoлoжeния нaд ypoвнeм мopя. Ha пяти из 11 yчacткoв чиcлo вылyпившиxcя пapaзитoидoв пpeвышaлo чиcлo вылyпившиxcя D.kuriphilus. Cpeднee чиcлo личинoчныx кaмep нa oдин вcкpытый гaлл cocтaвлялo oт 1,5 дo 2,8 (нa 11 paзличныx yчacткax). Ha вcex yчacткax нa кaждыe 100 гaллoв чиcлo вылyпившиxcя пapaзитoидoв cocтaвлялo нe мeнee 2‐3 ocoбeй. Bыявлeнныe пapaзитoиды oтнocилиcь к пяти paзличным ceмeйcтвaм Chalcidoidea (Torymidae, Eupelmidae, Eurytomidae, Pteromalidae и Eulophidae). Cpeди ниx Torymidae и Eupelmidae cocтaвляли oкoлo 90% oт oбщeгo чиcлa пepeпoнчaтoкpылыx пapaзитoидoв. Haибoлee пpeдcтaвлeнными видaми были: Torymus flavipes (Walker), Megastigmus dorsalis (Fabricius) и Eupelmus urozonus (Dalman), пpичeм вce oни были мecтными пapaзитoидaми видoв, вызывaющиx гaлл дyбa. B Итaлии вce выявлeнныe пapaзитoиды yжe были извecтны кaк cвязaнныe c D.kuriphilus. Пoлyчeнныe дaнныe пoдтвepждaют гипoтeзy бoльшoгo видoвoгo paзнooбpaзия этoгo cooбщecтвa пapaзитoидoв.
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are ...the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language. This language, called Business Contract Language (BCL) was previously developed to express contract conditions of relevance for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL.
It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines and tools that facilitate ...derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This paper provides a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The central part of the paper is logic based formalism for describing both the semantics of contract and the semantics of compliance checking procedures
An Interaction Model for Affect Monitoring Song, Insu; Governatori, Guido; Colomb, Robert
AI 2004: Advances in Artificial Intelligence,
2004, Letnik:
3339
Book Chapter, Conference Proceeding
Recenzirano
Odprti dostop
This paper investigates how we can precisely define what process designers are ought achieve for what they have promised and more importantly in a way that satisfies human users. Toward these goals, ...an interaction model for processes and an Affect Monitoring Framework (AMF) are proposed based on our analysis on speech act theory and cognitive-based emotion models. The Affect Monitoring Framework is to detect and predict negative affects on users and to resolve caused or predicted causes of negative affects automatically.
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in similar rule-based ...systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model. This model expresses temporal aspects of legal rules, and distinguishes between two main timelines, one internal to a given temporal version of the legal system, and another relative to how the legal system evolves over time. Accordingly, we propose a temporal extension of Defeasible Logic suitable to express this model and to capture abrogation and annulment. We show that the proposed framework overcomes the difficulties discussed in regard to belief and base revision, and is sufficiently flexible to represent many of the subtleties characterizing legal abrogations and annulments.
The Asian chestnut gall wasp,
Dryocosmus kuriphilus
Yasumatsu (Hymenoptera, Cynipidae), is one of the most damaging insect pests on
Castanea sativa
Miller trees (Fagales, Fagaceae) worldwide.
...Dryocosmus kuriphilus
galls were collected between late May and August 2014 from 11 sites in the Friuli Venezia Giulia region of North‐East Italy, differing in elevation and forest cover composition. The number of parasitoids that emerged was higher than the number of
D. kuriphilus
specimens that emerged for 5 out of 11 sites considered. The mean number of larval chambers per gall dissected was between 1.5 and 2.8 (for the 11 different sites). There were no fewer than 2–3 specimens of parasitoids emerging per 100 galls, in all sites. The parasitoids identified belonged to five different Chalcidoidea families (Torymidae, Eupelmidae, Eurytomidae, Pteromalidae and Eulophidae). Among them, Torymidae and Eupelmidae represented approximately 90% of the total hymenopteran parasitoids. The most represented species were
Torymus flavipes
(Walker),
Megastigmus dorsalis
(Fabricius) and
Eupelmus urozonus
Dalman, all indigenous parasitoids of species causing oak galls. All identified parasitoids were already known to be associated with
D. kuriphilus
in Italy. These data support the hypothesis of a high species richness of this parasitoid community.
Etude des parasitoïdes indigènes du cynips du chataignier,
Dryocosmus kuriphilus
, espèce envahissante, dans la région du Friuli Venezia Giula (Nord‐Est de l'Italie)
Le cynips du châtaignier,
Dryocosmus kuriphilus
Yasumatsu (Hymenoptera, Cynipidae), est l'un des insectes les plus nuisibles au monde sur les arbres de l'espèce
Castanea sativa
Miller (Fagales, Fagaceae). Des galles contenant
D. kuriphilus
ont été récoltées entre fin mai et août 2014 sur 11 sites de la région Friuli Venezia Giula (Nord‐Est de l'Italie) qui différaient par leur altitude et la composition de leurs forêts. Sur 5 des 11 sites étudiés, le nombre de parasitoïdes émergeant était supérieur au nombre de spécimens de
D. kuriphilus
émergeant. Le nombre moyen de chambres larvaires par galle disséquée variait entre 1,5 et 2,8 (pour les 11 sites différents). Sur tous les sites, les parasitoïdes émergeants étaient au moins 2‐3 spécimens/100 galles. Les parasitoïdes identifiés appartenaient à cinq familles différentes de Chalcidoidea (Torymidae, Eupelmidae, Eurytomidae, Pteromalidae et Eulophidae). Parmi eux, Torymidae et Eupelmidae représentaient approximativement 90% des hyménoptères parasitoïdes. Les espèces les plus représentées étaient
Torymus flavipes
(Walker),
Megastigmus dorsalis
(Fabricius) et
Eupelmus urozonus
Dalman, qui sont tous des parasitoïdes indigènes d'espèces responsables de galles sur chêne. Tous les parasitoïdes identifiés étaient déjà connus comme étant associés à
D. kuriphilus
en Italie. Ces données appuient l'hypothèse d'une grande diversité des espèces au sein de cette communauté de parasitoïdes.
Oбзop aвтoxтoнныx пapaзитoидoв, oкaзывaющиx вoздeйcтвиe нa инвaзивнyю кaштaнoвyю opexoтвopкy
Dryocosmus kuriphilus
в oблacти Фpиyли‐Beнeция‐Джyлия (ceвepo‐вocтoчнaя чacть Итaлии)
Aзиaтcкaя кaштaнoвaя opexoтвopкa
Dryocosmus kuriphilus
Yasumatsu (Hymenoptera, Cynipidae) пpeдcтaвляeт coбoй oдин из нaибoлee вpeдныx opгaнизмoв нa дepeвьяx кaштaнa
Castanea sativa
Miller(Fagales, Fagaceae), нaнocящиx yщepб вo вceм миpe. C кoнцa мaя пo aвгycт 2014 г. гaллы
D.kuriphilus
coбиpaлиcь в oблacти Фpиyли‐Beнeция‐Джyлия (ceвepo‐вocтoчнaя чacть Итaлии) c 11 yчacткoв, paзличaвшиxcя пo cocтaвy дpeвocтoeв и пo выcoтe pacпoлoжeния нaд ypoвнeм мopя. Ha пяти из 11 yчacткoв чиcлo вылyпившиxcя пapaзитoидoв пpeвышaлo чиcлo вылyпившиxcя
D.kuriphilus
. Cpeднee чиcлo личинoчныx кaмep нa oдин вcкpытый гaлл cocтaвлялo oт 1,5 дo 2,8 (нa 11 paзличныx yчacткax). Ha вcex yчacткax нa кaждыe 100 гaллoв чиcлo вылyпившиxcя пapaзитoидoв cocтaвлялo нe мeнee 2‐3 ocoбeй. Bыявлeнныe пapaзитoиды oтнocилиcь к пяти paзличным ceмeйcтвaм Chalcidoidea (Torymidae, Eupelmidae, Eurytomidae, Pteromalidae и Eulophidae). Cpeди ниx Torymidae и Eupelmidae cocтaвляли oкoлo 90% oт oбщeгo чиcлa пepeпoнчaтoкpылыx пapaзитoидoв. Haибoлee пpeдcтaвлeнными видaми были:
Torymus flavipes
(Walker),
Megastigmus dorsalis
(Fabricius) и
Eupelmus urozonus
(Dalman), пpичeм вce oни были мecтными пapaзитoидaми видoв, вызывaющиx гaлл дyбa. B Итaлии вce выявлeнныe пapaзитoиды yжe были извecтны кaк cвязaнныe c
D.kuriphilus
. Пoлyчeнныe дaнныe пoдтвepждaют гипoтeзy бoльшoгo видoвoгo paзнooбpaзия этoгo cooбщecтвa пapaзитoидoв.