检索结果-南通市图书馆

A verification framework for spatio-temporal consistency language with CCSL as a specification language

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2020年第1期14卷 105-129页

作者： Yuanrui ZHANG Frédéric MALLET Yixiang CHEN MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal UniversityShanghai 200062China University Nice Sophia Antipolis I3SUMR 7271 CNRSINRIA06900 Sophia AntipolisFrance

The Spatio-Temporal Consistency Language(STeC)is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and *** restriction by both locations and time is of first importance for some types of real-time *** is a formal specification language based on logical *** is used to describe some crucial safety properties for real-time systems,due to its powerful expressiveness of logical and chronometric time *** consider a novel verification framework combining STeC and CCSL,with the advantages of addressing spatio-temporal consistency of system behaviour and easily expressing some crucial time *** propose a theory combining these two languages and a method verifying CCSL properties in STeC *** adopt UPPAAL as the model checking tool and give a simple example to illustrate how to carry out verification in our framework.

关键词： spatio-temporal consistency real-time systems spatio-temporal systems high-level modelling language clock constraint specification model checking verification framework

High temperature X-ray diffraction study of the formation of Na_(2)Ti_(3)O_(7) from a mixture of sodium carbonate and titanium oxide

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2022年第2期31卷 210-218页

作者： Caroline Piffet Bénédicte Vertruyen Frédéric Hatert Rudi Cloots Frédéric Boschini Abdelfattah Mahmoud GREENMAT CESAM Research UnitChemistry DepartmentUniversity of Liège4000 LiègeBelgium Laboratory of Mineralogy Geology Research UnitUniversity of Liège4000 LiègeBelgium

Na2Ti3O7 has attracted much attention in the field of anode materials for Na-ion batteries thanks to its non-toxicity and very low working potential of 0.3 V vs Na0/Na+.Building a clearer picture of its formation from cheap Na_(2)CO_(3) and TiO_(2) starting materials is therefore of obvious ***,we report new insights from an in-situ high temperature X-ray diffraction study conducted from room temperature to 800°C,complemented by ex-situ *** were thereby able to position the previously reported Na_(4)Ti_(5)O_(12) and Na_(2)Ti_(6)O_(13) intermediate phases in a reaction scheme involving three successive steps and temperature *** and/or broadening of a subset of the Na_(2)Ti_(6)O_(13) reflections suggested a combination of intra-layer disorder with the well-established ordering of successive *** in-situ study was carried out on reproducible mixtures of Na_(2)CO_(3) and TiO_(2) in 1:3 molar ratio prepared by spraydrying of mixed aqueous ***-phase Na_(2)Ti_(3)O_(7) was obtained after only 8 h at 800°C in air,instead of a minimum of 20 h for a conventional solid-state route using the same *** analysis revealed~15 mm diameter granules made up from rectangular rods of a fewmm length presenting electrochemical properties in line with *** the absence of grinding or formation of intimate composites with conductive carbon,the specific capacity of 137 m Ah/g at C/5 decreased at higher rates.

关键词： Formation mechanism High temperature XRD Na_(2)Ti_(3)O_(7) Spray-drying synthesis Na-ion batteries

Anisotropic modelling of Opalinus Clay behaviour: From triaxial tests to gallery excavation application

在线全文

学校读者我要写书评

暂无评论

Journal of Rock Mechanics and Geotechnical Engineering 2017年第3期9卷 53-66页

作者： Francois Bertrand Frédéric Collin Université de Liège Département ArGEnCo/Géomécanique Allée de la découverte 9 4000 Liège Belgium F.R.I.A Fonds de la Recherche Scientifique e FNRS Brussels Belgium

Deep repository in geological formations is the preferential solution considered in many countries to manage high-level nuclear wastes. In Switzerland, the Opalinus Clay is a candidate host rock. In this context, in situ and laboratory tests are conducted on Opalinus Clay to demonstrate the feasibility of deep disposal in this argillaceous formation. This paper presents a constitutive model able to fit the experimental data obtained from some triaxial tests conducted by Jahns(2013) on cores from borehole Schlattingen SLA-1. The elasto-plastic behaviour of Opalinus Clay is reproduced thanks to a DruckerPrager model, taking into account the anisotropy behaviour of this sedimentary rock. The objective is to employ a single set of parameters representative of the material. In a second version of the model, the stress-dependence of the elastic properties and damage are taken into account. Finally, the parameters calibrated with experimental tests are used to simulate the excavation of a gallery with a second gradient approach.

关键词： Opalinus Clay Schlattingen Constitutive modelling Anisotropy Dilatancy Localisation Tunnel excavation

Aminopeptidase A and dipeptidyl peptidase 4:a pathogenic duo in Alzheimer’s disease?

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2022年第10期17卷 2215-2217页

作者： Frédéric Checler Audrey Valverde UniversitéCôte d’Azur INSERMCNRSIPMCteam labelled“Laboratory of Excellence(LABEX)DistAlz”ValbonneFrance

The etiology of Alzheimer’s disease is far from being completely *** approaches have helped in this matter and have greatly supported the view that theβ-amyloid precursor protein(βAPP)could be at the center of gravity of the ***,mutations responsible for autosomal dominant aggressive forms of Alzheimer’s disease(AD)are all harbored by eitherβAPP itself or by its cleaving enzyme presenilins 1/2 referred to asγ-*** was therefore convincing to note that fully independent gene products harboring AD-linked mutations,all concur to modulateβAPP proteolytic *** genetic clues combined with a bulk of anatomical observations and cellular manipulations pointed to the role of amyloid-β(Aβ),the main biochemical component of senile plaques that accumulate at late stages of ***,a series of clinical trials designed to either abolish Aβproduction or neutralize it once produced have consistently failed(Checler et al.,2021).

关键词： Alzheimer Aβ senile

Does gastric atrophy exist in children?

在线全文

学校读者我要写书评

暂无评论

World Journal of Gastroenterology 2006年第39期12卷 6274-6279页

作者： Georges Dimitrov Frédéric Gottrand Gastroenterology hepatology and nutrition Unit Clinic of Pediatrics H?pital J de Flandre CHRU de Lille et Faculté de Médecine Université de Lille 2 Lille France

Several clinical reports confirmed that gastric atrophy is a pathology not only limited to adult patients. In pediatrics, it is most olden described in association with a H pylori infection but this bacteria does not seem to be the only etiological factor of this preneoplastic state in children. The frequency of gastric atrophy and intestinal metaplasia in children are unknown because they are not systematically sought during upper gastrointestinal endoscopy. The lack of specific histological classification of children＇s gastropathies makes their diagnosis difficult for pathologists. Based on our knowledge to date, we think that it is necessary to describe, in detail, the natural course of this lesion during childhood. A close and prolonged clinical and endoscopic follow-up is important for children with gastric atrophy.

关键词： Gastric atrophy Gastritis H pylori Intestinal metaplasia Gastric cancer Children

Soil-Structure Interaction Effects on Dynamic Behaviour of Transmission Line Towers

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2022年第1期70卷 1461-1477页

作者： Abir Jendoubi Frédéric Legeron Facultéde Génie Universitéde SherbrookeQuébecJ1K 2R1Canada Parsons Abu DhabiP.O.5498UAE

As inferred from earthquake engineering literature,considering soil structure interaction(SSI)effects is important in evaluating the response of transmission line towers(TLT)to dynamic loads such as impulse *** proposed study investigates the dynamic effects of SSI on TLT *** and non-linearmodels are *** the linearmodel,the soil is represented by complex impedances,dependent of dynamic frequency,determined from numerical *** nonlinearmodel considers the soil non-linear behavior in its material constitutive law and foundation uplift in a non-linear time history *** simplified structure behavior of a typical lattice transmission tower is *** analysis of frequency and time domain are followed through varying soil stiffness and damping *** different shock durations are *** soil-structure system with equivalent dynamic properties is *** behaviors achieved utilizing a rigid and a flexible base for the structures is compared to estimate the impact of taking SSI into account in the *** current mainstream approach in structural engineering,emphasizing the importance of the SSI effect,is illustrated using an example where the SSI effect could be detrimental to the ***,the non-linear analysis results are analyzed to show the linear approach’s limitations in the event of grand deformations.

关键词： Tower shock loads non-linear dynamic soil-structure interaction

Holographic models of the scalar sector of QCD

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Physics C 2010年第9期34卷 1516-1519页

作者： Frédéric Jugeau TPCSF Institute of High Energy PhysicsChinese Academy of Sciences

We investigate the AdS/QCD duality for the two-point correlation functions of the lowest dimension scalar meson and scalar glueball operators,in the case of the Soft Wall holographic model of *** and decay constants as well as gluon condensates are compared to their QCD *** particular,the role of the boundary conditions for the bulk-to-boundary propagators is emphasized.

关键词： AdS/QCD correspondence holographic models of QCD hadron spectroscopy

Tracing the formation and differentiation of the Earth by non-traditional stable isotopes

在线全文

学校读者我要写书评

暂无评论

Science China Earth Sciences 2019年第11期62卷 1702-1715页

作者： Fangzhen TENG Shuijiong WANG Frédéric MOYNIER Isotope Laboratory Department of Earth and Space SciencesUniversity of WashingtonSeattleWA 98195-1310USA State Key Laboratory of Geological Processes and Mineral Resources China University of GeosciencesBeijing 100083China Institut de Physique du Globe de Paris Universite de ParisParis 75238France Institut Universitaire de France Paris 75231France State Key Laboratory of Geological Processes and Mineral Resources School of Earth SciencesChina University of GeosciencesWuhan 430074China

The Earth has grown from chaotically mixed small dusts and gases to its present highly differentiated layered structure over the past 4.567 billion years. This differentiation has led to the formation of the atmosphere, hydrosphere,biosphere, crust, mantle, and core. The timing and mechanism for the formation and evolution of these different layers are still subjects of intense debate. This review brings together recent advances in using non-traditional stable isotopes to constrain major events and processes leading to the formation and differentiation of the Earth, including the Moon-forming giant impact, crustmantle interactions, evolution of life, the rise of atmospheric oxygen, extreme paleoclimate changes, and cooling rate of magmas.

关键词： Non-traditional stable isotopes Differentiation of the Earth Crust-mantle interactions Atmospheric evolution Snowball Earth Mass extinction

Factors Associated with Mortality in Diabetic Patients with End-Stage Renal Failure Starting Emergency Hemodialysis

在线全文

学校读者我要写书评

暂无评论

Open Journal of Nephrology 2024年第1期14卷 17-24页

作者： Gaël Honal Mahoungou Daniel Tony Eyeni Sinomono Farel Elilié Mawa Ongoth Éric Ngandzali-Ngabé Nestor Andzouana Raissa Laure Mayanda Aymande Okoumou-Moko Francky Ambounou Précieux Ngoma Berline Ndinga Héléna Botokoto Bothard Hardy Ibovi richard Loumingou Department of Nephrology University Hospital of Brazzaville Brazzaville Congo Faculty of Health Sciences University Marien Ngouabi Brazzaville Congo Department of Metabolic Diseases University Hospital of Brazzaville Brazzaville Congo

Background: Diabetic nephropathy is the leading cause of end-stage chronic kidney disease with poor prognosis in resource-limited settings. This study aimed to determine factors associated with mortality in patients starting dialysis treatment for end-stage chronic renal disease in an emergency context. Patients and Methods: This was a retrospective study from January 2020 to December 2022 at CHU-B. Data from 79 diabetic patients requiring emergency dialysis were compared with those of 79 non-diabetic patients with an end-stage renal disease requiring emergency dialysis. Data were collected from the Nephrology Department registry. We studied their initial clinical and biological profiles and factors related to mortality. Results: Out of 545 compiled records, 79 diabetic chronic kidney disease patients needing dialysis were included (group 1). A control group of 79 non-diabetic chronic kidney disease patients requiring emergency dialysis was also included (group 2). The average age of patients was 53.5 ± 17 years, and the duration of diabetes at dialysis initiation was 14.8 ± 4.3 years. Twenty-three percent were hypertensive. Fifty-two percent of patients experienced intra-dialytic hypotension. Death occurred in 22% of patients. Results show that age (adjusted OR 1.955;CI: 1.025 - 1.086;p-value: Conclusion: Emergency dialysis in diabetics is associated with unfavorable outcomes in terms of mortality. Despite follow-up, renal involvement remains poorly explored, emphasizing the need for physician awareness.

关键词： Diabetic Nephropathy Emergency Dialysis Republic of the Congo