检索结果-南通市图书馆

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2013年第1期28卷 188-202页

作者： Yu Zhou Luciano Baresi matteo Rossi College of Computer Science Nanjing University of Aeronautics and Astronautics Nanjing 210016 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Department of Electronics and Information Politecnico di Milano Milan 20133 Italy

UML is a widely-used, general purpose modeling language. But its lack of a rigorous semantics forbids the thorough analysis of designed solution, and thus precludes the discovery of significant problems at design time. To bridge the gap, the paper investigates the underlying semantics of UML state machine diagrams, along with the time-related modeling elements of MARTE, the profile for modeling and analysis of real-time embedded systems, and proposes a formal operational semantics based on extended hierarchical timed automata. The approach is exemplified on a simple example taken from the automotive domain. Verification is accomplished by translating designed models into the input language of the UPPAAL model checker.

关键词： timed automata state machine diagram formal semantics

Association between orofacial granulomatosis and Crohn's disease in children:Systematic review

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

World Journal of Gastroenterology 2014年第23期20卷 7497-7504页

作者： Marzia Lazzerini matteo Bramuzzo Alessro Ventura Institute for Maternal and Child Health IRCCS Burlo Garofolo34137 TriesteItaly University of Trieste 34137 TriesteItaly

AIM: To review pediatric cases of orofacial granulomatosis (OFG), report disease characteristics, and explore the association between OFG and Crohn’s disease.

关键词： Orofacial granulomatosis Melkersson-Rosenthal syndrome Cheilitis granulomatosa Crohn’ s disease Children Systematic review

Mature versus emerging technologies for CO2 capture in power plants： Key open issues in post-combustion amine scrubbing and in chemical looping combustion

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Chemical Science and Engineering 2018年第2期12卷 315-325页

作者： Giorgia De Guido matteo Compagnoni Laura A. Pellegrini Ilenia Rossetti Department of Chemistry Materials and Chemical Engineering "Giulio Natta" Politecnico di Milano Piazza Leonardo da Vinci 32 20133 MilanItaly Department of Chemistry Universita degli Studi di Milano INSTM Unit Milano-Universita and CNR-ISTM Via Camillo Golgi 19 20133 Milan Italy

Carbon capture and storage （CCS） have acquired an increasing importance in the debate on global wanning as a mean to decrease the environmental impact of energy conversion technologies, by capturing the CO2 produced from the use of fossil fuels in electricity generation and industrial processes. In this respect, post-combustion systems have received great attention as a possible near-term CO2 capture technology that can be retrofitted to existing power plants. This capture technology is, however, energy-intensive and results in large equipment sizes because of the large volumes of the flue gas to be treated. To cope with the demerits of other CCS technologies, the chemical looping combustion （CLC） process has been recently considered as a solution for CO2 separation. It is typically referred to as a technology without energy penalty. Indeed, in CLC the fuel and the combustion air are never mixed and the gases from the oxidation of the fuel （i.e., CO2 and H2O） leave the system as a separate stream and can be separated by condensation of H2O without any loss of energy. The key issue for the CLC process is to find a suitable oxygen carrier, which provides the fuel with the activated oxygen needed for combustion. The aim of this work is to explore the feasibility of using perovskites as oxygen carriers in CLC and to consider the possible advantages with respect to the scrubbing process with amines, a mature post-combustion technology for CO2 separation.

关键词： CO2 capture monoethanolamine chemical looping combustion oxygen carder perovskites

The Riemann Problem for the Dispersive Nonlinear Shallow Water Equations

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Communications in Computational Physics 2010年第1期7卷 64-102页

作者： Giovanna Grosso matteo Antuono Eleuterio Toro DICAT University of GenovaVia Montallegro 1I-16145 GenovaItaly INSEAN(The Italian Ship Model Basin) Via di Vallerano 13900128RomaItaly Laboratory of Applied Mathematics University of TrentoVia Mesiano 77I-38100 TrentoItaly

The complete analytical solution of the Riemann problem for the homo-geneous Dispersive Nonlinear Shallow Water Equations [Antuono, Liapidevskii andBrocchini, Stud. Appl. Math., 122 (2009), pp. 1-28] is presented, for both wet-bed anddry-bed conditions. Moreover, such a set of hyperbolic and dispersive depth-averagedequations shows an interesting resonance phenomenon in the wave pattern of the solu-tion and we define conditions for the occurrence of resonance and present an algorithmto capture it. As an indirect check on the analytical solution we have carried out a de-tailed comparison with the numerical solution of the government equations obtainedfrom a dissipative method that does not make explicit use of the solution of the localRiemann problem.

关键词： Riemann problem Dispersive Nonlinear Shallow Water Equations compound waves resonance

Crowded catalyst, better catalyst

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

National Science Review 2021年第10期8卷 7-8页

作者： matteo Monai Bert M.Weckhuysen Inorganic Chemistry and Catalysis Debye Institute for Nanomaterials Science Utrecht University

At the time of writing(during the pandemic), thinking about crowded spaces may make us uncomfortable, or melancholic at times. Some of us may even shy away from crowds by nature. But in their recent research paper in Nature, Ding Ma et al. show us that crowds can be good after all, at least at the nanoscopic level [1].Bringing Pt single atoms and small Pt nanoclusters closer together on a molybdenum carbide(α-MoC) support,

关键词：

Size contrast of Pt nanoparticles formed on neighboring domains within suspended and supported graphene

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Nano Research 2018年第3期11卷 1589-1598页

作者： Dario Roccella matteo Amati Hikmet Sezen Rosaria Brescia Luca Gregoratti Universita degli Studi di Genova - Facolta di Scienze Matematiche Fisiche e Naturali Viale Benedetto XV Genova 3-16132 Italy Elettra - Sincrotrone Trieste S.C.p.A. in Area Science Park SS 14-Km 163.5 Trieste 34149 Italy Electron Microscopy Facility Istituto Italiano di Tecnologia (liT) via Morego 30 Genova 16163 Italy

The relatively small size of thin （one or few layers） graphene flakes makes it extremely difficult to study the behavior of suspended graphene by characterization techniques other than the electron microscopies. Herein, we exploited the capability of spatially resolved photoemission in combination with high resolution transmission electron microscopy to investigate the interaction of thermally evaporated Pt atoms on suspended and supported graphene. Spectroscopic and microscopic analyses reveal that the nucleation of nanometer- sized Pt particles in these two regions exhibit different trends. While only small nanometer-sized islands are present on the supported graphene, relatively larger clusters of islands were also found on the suspended flakes. The X-ray photoemission C ls core levels acquired after the Pt deposition show an increase in the number of vacancies in the graphene sheets.

关键词： graphene X-ray photoemissionspectroscopy scanning photoelectron microscop nanoparticles platinum suspended films

Mate choice is affected by parasite infestation rate of the choosing individual as well as of potential mating partners

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Current Zoology 2023年第5期69卷 559-567页

作者： Alejandro Cantarero Olga VDolnik matteo Griggio Herbert Hoi Department of Physiology Veterinary SchoolComplutense University of MadridAvenida Puerta de Hierro s/n28040 MadridSpain Department of Integrative Biology and Evolution Konrad Lorenz Institute of Ethology(KLIVV)University of Veterinary Medicine ViennaSavoyenstraße 1aA-1160 ViennaAustria Dipartimento di Biologia Universitàdi PadovaVia U.Bassi 58/BI-35131 PadovaItaly

Parasites are known to be a key driving force in mate choice and are important for the expression and evolution of ornaments and behavioral traits being ***,there is little experimental evidence on how the parasite’s burden of the choosing individual is integrated into the mate-choice process and how it affects decision-making,especially in relation to parasite infestation of potential ***,the aim of our study was to determine whether female house sparrows Passer domesticus adjust their mate preference according to their own as well as the parasite load of prospective *** do this,we experimentally manipulated female parasite load and determined their mate preferences prior to and after parasite *** manipulated the chronic coccidian parasite burden of females either by initiating the acute infection phase via re-infecting them with coccidian or by temporally reducing the parasite load of *** then measured the effect of this manipulation on mate preference by presenting females with a choice of four stimuli:three males with similar ornaments,but unmanipulated,naturally varying chronic coccidiosis levels,and an unmanipulated control ***,we recorded some males’behavior in relation to their infection status pointing toward an increased or reduced interest in *** found that females preferred highly infested males prior to manipulation,regardless of their own infestation ***,after manipulation,infested females avoided highly infested males probably in response to the deterioration of their health condition by *** study suggests that mate-choice decisions are more complex when they are mediated by *** implications of parasites for evolutionary theories of sexual signaling and mate choice are discussed.

关键词： coccidiosis female decision mate choice parasites Passer domesticus Isospora spp

Can house sparrows recognize familiar or kin-related individuals by scent?

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Current Zoology 2019年第1期65卷 53-59页

作者： Gerardo Fracasso Beniamino Tuliozi Herbert Hoi matteo Griggio Evolutionary Ecology Group Biology Department University of An twerp Campus Drie Eiken Universiteitsplein 1 Wilrijk 2610 Belgium Department of Biology University of Padova Via U. Bassi 58/B Padova 1-35131 Italy Konrad Lorenz Institute of Ethology Department of Integrative Biology and Evolution University of Veterinary Medicine of Vienna Savoyenstrasse 1/A Vienna A-1160 Austria

In the last decades, higher attention has been paid to olfactory perception in birds. As a consequence, a handful of avian species have been discovered to use olfaction in different contexts. Nevertheless, we still have a very limited knowledge about the use of odor cues in avian social life, particularly, in the case of songbirds. Here, we investigate if female house sparrows Passer domesticus show any preference for the odor of kin and nonkin conspecifics and we also test a possible role of familiarity based on male see nt in female choice. We performed the experiment with captive birds twice, duri ng the non breeding and breedi ng seas ons. Our results show that female house sparrows strongly avoided the odor of unrelated familiar (UF) males, both in the breeding and nonbreeding seasons. Our results suggest recognition for olfactory stimuli related to familiarity and kin ship. We suggest that avoidance for UF males is associated with previous experie nee in this species. Also, we provided further evidenee to the use of olfaction in passerine species by using a new experimental setup.

关键词： familiarity house sparrow kinship recognition odor olfaction Passer domesticus

Variability and limits of nitrogen and phosphorus resorption during foliar senescence

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Plant Communications 2023年第2期4卷 41-55页

作者： Marc Estiarte matteo Campioli Maria Mayol Josep Penuelas CSIC Global Ecology Unit CREAF-CSIC-UAB08193 BellaterraCataloniaSpain CREAF 08193 Cerdanyola del VallèsCataloniaSpain Research Group of Plant and Vegetation Ecology Department of BiologyUniversity of Antwerp2610 WilrijkBelgium

Foliar nutrient resorption(NuR)plays a key role in ecosystem functioning and plant nutrient *** of this recycling occurs during the senescence of leaves and is actively addressed by ***,we discuss the importance of cell biochemistry,physiology,and subcellular anatomy to condition the outcome of NuR at the cellular level and to explain the existence of limits to *** are transferred from the leaf in simple metabolites that can be loaded into the *** is the main mechanism for mobilization of N,whereas P mobilization requires the involvement of different catabolic pathways,making the dynamics of P in leaves more variable than those of N before,during,and after foliar *** biochemistry and fate of organelles during senescence impose constraints that limit *** efficiency of NuR decreases,especially in evergreen species,as soil fertility increases,which is attributed to the relative costs of nutrient acquisition from soil decreasing with increasing soil nutrient availability,while the energetic costs of NuR from senescing leaves remain *** is genetically determined,with substantial interspecific variability,and is environmentally regulated in space and time,with nutrient availability being a key driver of intraspecific variability in NuR.

关键词： foliar nutrient resorption senescence nitrogen phosphorus efficiency nutrient availability