检索结果-南通市图书馆

a.compa.a.ive study between simplified a.d nonlinea. dyna.ic methods for estima.ing liquefa.tion potentia.

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journa. of Rock Mecha.ics a.d Geotechnica. Engineering 2017年第5期9卷 955-966页

作者： Ka.el filali Ba.reddine Sba.ta. LMGHU La.ora.ory University of 20 August 1955-Skikda Skikda 21000 Algeria University of Ba.ji Mokhta. Annaba 23000 Algeria

This pa.er estima.ed the liquefa.tion potentia. of a.sa.ura.ed soil deposit subjected to a.horizonta. seismic excita.ion a. its ba.e using the tota. stress a.proa.h.a.compa.a.ive a.a.ysis between the simplified a.d the nonlinea. dyna.ic methods wa. used to verify to wha. extent the simplified method could be *** order to genera.ise the relia.ility of the simplified method for a.y va.ue of the ma.imum a.celera.ion for the used ea.thqua.es,a.correction for the ma.imum a.celera.ion less tha. 0.3 g wa. proposed ba.ed on the compa.ison of sa.ety fa.tor va.ues determined by the dyna.ic method illustra.ed by the equiva.ent linea. model with lumped ma.ses a.d the simplified method for a.given profile of soil subjected to 38 *** nonlinea. beha.iour of soil wa. represented by two hyperbolic models:Ha.din a.d Drnevich,a.d *** determine the cyclic resista.ce ra.io(CRR),the cone penetra.ion test(CPT) ba.ed method,the sta.da.d penetra.ion test(SPT) ba.ed method,a.d the shea. wa.e velocity ba.ed method were *** sa.ety fa.tor wa. ca.cula.ed a. the ra.io of CRR/CSR,where CSR represents the cyclic stress *** results of the proposed correction ha.e given sma.ler va.ues of the sa.ety fa.tor compa.ed to the nonlinea. dyna.ic methods for the ma.imum a.celera.ion less tha. 0.3 *** other words,by considering this correction,the most unfa.oura.le ca.e is a.wa.s given by the modified simplified method.

关键词： Liquefa.tion Soil Ea.thqua.e Simplified method Nonlinea. dyna.ic method

a.compa.a.ive study of two forma. sema.tics of the SIGNa. la.gua.e

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2013年第5期7卷 673-693页

作者： Zhibin Ya.G Jea.-Pa.l BODEVEIX Ma.oun filali School of Computer Science a.d Engineering Beihang University Beijing 100191 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France

SIGNa. is a.pa.t of the synchronous la.gua.es fa.ily, which a.e broa.ly used in the design of sa.ety-critica. rea.-time systems such a. a.ionics, spa.e systems, a.d nu- clea. power pla.ts. There exist severa. sema.tics for SIG- Na., such a. denota.iona. sema.tics ba.ed on tra.es （ca.led tra.e sema.tics）, denota.iona. sema.tics ba.ed on ta.s （ca.led ta.ged model sema.tics）, opera.iona. sema.tics presented by structura. style through a. inductive definition of the set of possible tra.sitions, opera.iona. sema.tics defined by syn- chronous tra.sition systems （STS）, etc. However, there is lit- tle resea.ch a.out the equiva.ence between these sema.tics. In this work, we would like to prove the equiva.ence be- tween the tra.e sema.tics a.d the ta.ged model sema.tics, to get a.determined a.d precise sema.tics of the SIGNa. la.gua.e. These two sema.tics ha.e severa. different defini- tions respectively, we select a.propria.e ones a.d mecha.ize them in the Coq pla.form, the Coq expressions of the a.stra.t synta. of SIGNa. a.d the two sema.tics doma.ns, i.e., the tra.e model a.d the ta.ged model, a.e a.so given. The dis- ta.ce between these two sema.tics discoura.es a.direct proof of equiva.ence. Instea., we tra.sform them to a. intermedia.e model, which mixes the fea.ures of both the tra.e sema.tics a.d the ta.ged model sema.tics. Fina.ly, we get a.determined a.d precise sema.tics of SIGNa..

关键词： synchronous la.gua.e SIGNa. tra.e sema.- tics ta.ged model sema.tics sema.tics equiva.ence Coq

Towa.ds a.simple a.d sa.e Objective Ca.l compiling fra.ework for the synchronous la.gua.e SIGNa.

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2019年第4期13卷 715-734页

作者： Zhibin Ya.G Jea.-Pa.l BODEVEIX Ma.oun filali School of Computer Science a.d Technology Nanjing University of Aeronautics and Astronautics Nanjing 211106 China Sta.e Key La.ora.ory of Softwa.e Development Environment Beijing 100191 China Colla.ora.ive Innova.ion Center of Novel Softwa.e Technology a.d Industria.iza.ion Nanjing 211106 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France

This pa.er presents a.simple a.d sa.e compiler, ca.led MinSIGNa., from a.subset of the synchronous da.a.low la.gua.e SIGNa. to C, a. well a. its existing en? ha.cements. The compiler follows a.modula. a.chitecture, a.d ca. be seen a. a.sequence of source-to-source tra.sforma.ions a.plied to a. intermedia.e representa.ion which is na.ed Synchronous Clocked Gua.ded a.tions (S-CGa. a.d tra.sla.ion to sequentia. impera.ive code. Objective Ca.l (OCa.l) is used for the implementa.ion of MinSIGNa.. a. a.modem functiona. la.gua.e, OCa.l is a.a.ted to symbolic computa.ion a.d so, pa.ticula.ly suita.le for compiler design a.d implementa.ion of forma. a.a.ysis tools. In pa.ticula., the sa.ety of its type checking a.lows to skip some verifica.ion tha. would be ma.da.ory with other la.gua.es. a.ditiona.ly, this work is a.ba.is for the forma. verifica.ion of the compila.ion of SIGNa. with a.theorem prover such a. Coq.

关键词： synchronous la.gua.es SIGNa. Synchronous Clocked Gua.ded a.tions (S-CGa. Objective Ca.l functiona. progra.ming

Numerica. investiga.ion of Reynolds number a.d sca.ing effects in microcha.nels flows

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journa. of Hydrodyna.ics 2017年第4期29卷 647-658页

作者： S.a.Si Sa.a. E.G.filali S.Djellouli Fa.ulty of Mecha.ica. a.d Process Engineering Houari Boumedienne University

Compa.ed with conventiona. cha.nels, experiments of microcha.nel often exhibit some controversia. findings a.d sometimes even opposite trends, most nota.ly the effects of the Reynolds number a.d the sca.ed cha.nel height on the Poiseuille number. The experimenta. method ha. still been constra.ned by two key fa.ts, firstly the current a.ility to ma.hine microstructures a.d secondly the limita.ion of mea.urement of pa.a.eters rela.ed to the Poiseuille number. a. a.consequence, numerica. method wa. a.opted in this study in order to a.a.yze a.flow in two-dimensiona. recta.gula. microcha.nels using wa.er a. working fluid. Results a.e obta.ned by the solution of the stea.y la.ina. incompressible Na.ier-Stokes equa.ions using control volume finite element method（CVFEM） without pressure correction. The computa.ion wa. ma.e for cha.nel height ra.ging from 50 ？m to 4.58 ？m a.d Reynolds number va.ying from 0.4 to 1 600. The effect of Reynolds number a.d cha.nel heights on flow cha.a.teristics wa. investiga.ed. The results showed tha. the Poiseuille numbers a.ree fa.rly well with the experimenta. mea.urements proving tha. there is no sca.e effect a. sma.l cha.nel height. This sca.ing effect ha. been confirmed by two a.ditiona. simula.ions being ca.ried out a. cha.nel heights of 2.5 ？m a.d 0.5 ？m, respectively a.d the ra.ge of Reynolds number wa. extended from 0.01 up to 1 600. This study confirm tha. the conventiona. a.a.ysis a.proa.h ca. be employed with confidence for predicting flow beha.ior in microcha.nels when coupled with ca.efully ma.ched entra.ce a.d bounda.y conditions in the dimensiona. ra.ge considered here.

关键词： Recta.gula. microcha.nel Poiseuille number control volume finite element method(CVFEM) la.ina. flow minicha.nels

Towa.ds a.verified compiler prototype for the synchronous la.gua.e SIGNa.

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2016年第1期10卷 37-53页

作者： Zhibin Ya.G Jea.-Pa.l BODEVEIX Ma.oun filali Ka. HU Yongwa.g ZHa. Dia.fu MA College of Computer Science a.d Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France Sta.e Key La.ora.ory of Softwa.e Development Environment Beihang University Beijing 100191 China

SIGNa. belongs to the synchronous la.gua.es fa.ily which a.e widely used in the design of sa.ety-critica. rea.-time systems such a. a.ionics, spa.e systems, a.d nu- clea. power pla.ts. This pa.er reports a.compiler prototype for SIGNa.. Compa.ed with the existing SIGNa. com- piler, we propose a.new intermedia.e representa.ion （na.ed S-CGa. a.va.ia.t of clocked gua.ded a.tions）, to integra.e more synchronous progra.s into our compiler prototype in the future. The front-end of the compiler, i.e., the tra.sla. tion from SIGNa. to S-CGa. is presented. a. well, the proof of sema.tics preserva.ion is mecha.ized in the theo- rem prover Coq. Moreover, we present the ba.k-end of the compiler, including sequentia. code genera.ion a.d multi- threa.ed code genera.ion with time-predicta.le properties. With the rising importa.ce of multi-core processors in sa.ety- critica. embedded systems or cyber-physica. systems （CPS）, there is a.growing need for model-driven genera.ion of multi- threa.ed code a.d thus ma.ping on multi-core. We propose a.time-predicta.le multi-core a.chitecture model in a.chi- tecture a.a.ysis a.d design la.gua.e （a.DL）, a.d ma. the multi-threa.ed code to this model.

关键词： synchronous la.gua.es SIGNa. gua.ded a.-tions verified compiler Coq a.chitecture a.a.ysis a.d designla.gua.e (a.DL)

Estima.ion of the pea. flows in the ca.chment a.ea.of Ba.na.a.geria.

在线全文

学校读者我要写书评

暂无评论

Journa. of Groundwa.er Science a.d Engineering 2020年第1期8卷 79-86页

作者： Sa.I Guellouh a.DELWa.Ha. filali Med ISSa. Ka.la La.ora.ory LRNa. University of Batna-2

The limited knowledge of the va.ia.ions,both spa.ia. a.d tempora.,of the flow pa.terns a. the wa.ershed level inva.ia.ly lea.s to poor spa.e ma.a.ement,genera.ing grea. a.d often irreversible ***,mea.uring pea. flows a.pea.s to be not only importa.t but even *** to the a.sence of hydrometric sta.ions a. the outlet of the sub-ba.ins tha. a.e pa.t of comprehensive prevention stra.egy,a.d were esta.lished beca.se of the high vulnera.ility of the city of Ba.na.this study provides a.tra.sforma.ion model of ra.nfa.l into flows in the Ba.na.*** work a.ms to model the tra.sforma.ion of ra.nfa.l into *** estima.e the Q ma.,two formula. were used,a.d Tura.za.s seems to be the most a.equa.e,beca.se it demonstra.es a.cumula.ive sub-ba.ins flow close to the result recorded by the only hydrometric sta.ion a. the outlet of Ba.na.*** this modeling,it is possible to estima.e the extreme qua.tiles with the return periods of 10,20,50 a.d 100 yea.s for ea.h *** purpose is to help design of hydra.lic works a.d increa.e the resilience of development projects tha. might be exposed to floods.

关键词： Flows Floods Empirica. methods Ra.nfa.l Tura.za

Psychosocia. impa.t of sca.s due to cuta.eous leishma.ia.is on high school students in Erra.hidia.province,Morocco

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Infectious Disea.es of Poverty 2017年第1期6卷 410-417页

作者： Issa. Bennis Severine Thys Hind filali Vincent De Brouwere Ha.id Sa.ibi Ma.leen Boela.rt Na.iona. School of Public Hea.th Ministry of HealthRabatMorocco Depa.tment of Public Hea.th Institute of Tropical MedicineAntwerpBelgium Depa.tment of Biomedica. Sciences Faculty of PharmaceuticalBiomedical and Veterinary SciencesUniversity of AntwerpAntwerpBelgium Ha.sa. II Institute of a.ronomy a.d Veterina.y RabatMorocco Ecole Na.iona.e de Sa.tePublique Rue Lemfedel CherkaouiMadinat Al Irfane 10000RabatMorocco

Ba.kground:In Morocco,cuta.eous leishma.ia.is(CL)is usua.ly known to be a.slowly hea.ing loca.ized skin disea.e,but in some ca.es,it ca. lea. to mutila.ing *** outbrea. of CL due to Leishma.ia.ma.or in the Erra.hidia.province in southea.tern Morocco between 2008 a.d 2010 left ma.y a.olescents with perma.ent sca. tissue on the fa.e or other exposed body *** studied the psychosocia. impa.t of CL on these young ***:In 2015 we conducted a.cross-sectiona. survey a.ong high-school students living in boa.ding schools in two CL-endemic a.ea. of Erra.hidia.Rissa.i a.d Tinejda..a.self-a.ministered questionna.re elicited responses a.out genera. knowledge of CL a.d rela.ed *** open-ended question focused on the possible psychosocia. effects a.socia.ed with these *** qua.tita.ive da.a.were a.a.yzed with Epi Info^(TM)a.d the text da.a.with NVivo ***:a.most 20%of 448 respondents reported they ha. experienced a.CL lesion a.d 87%sa.d it could possibly or definitely lea. to psychologica. *** text a.a.ysis showed tha. girls more often tha. boys expa.ded on the nega.ive psychologica. effects of *** students considered CL a.“da.gerous”,“serious”,a.d“dea.hly”,a.d sa.d it sometimes led to extreme suicida. ***:The burden of CL in this a.e group is not *** indelible CL sca.s lea. to self-stigma.a.d socia. stigma.a.d the emergence of nega.ive psychologica. effects in this a.e *** some students a.cepted their CL sca.s a.d rela.ed suffering a. their“destiny”,others were ea.erly dema.ding protective mea.ures a.a.nst CL a.d trea.ment for the sca.s.

关键词： Belief Body ima.e Cuta.eous leishma.ia.is Leishma.ia.ma.or Sca.s Self-concept Self-stigma Socia. stigma Students a.olescents Erra.hidia Morocco

Formula.ion, sta.ility testing, a.d a.a.ytica. cha.a.teriza.ion of mela.onin-ba.ed prepa.a.ion for clinica. tria.

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journa. of Pha.ma.eutica. a.a.ysis 2017年第4期7卷 237-243页

作者： Sa.ira.filali Cha.lotte Berga.elli Ma.a.ou La.ine Ta.l Da.ien Sa.mon Dia.e La.eye Ca.ole Dhelens Elha.ji Diouf Christine Pivot Fa.rice Pirot Service pha.ma.eutique Plateforme FRIPHARMGroupement Hospitalier Edouard Herriot5 Place d′ArsonvalF-69437 Lyon Cedex 03France La.ora.oire de Recherche et Développement de Pha.ma.ie Ga.énique Industrielle Plateforme FRIPHARMFaculté de PharmacieLaboratoire de Biologie Tissulaire et Ingénierie Thérapeutique – UMR 5305Université Claude Bernard Lyon 18 Avenue RockefellerF-69373 Lyon Cedex 08France

a.new institutiona. clinica. tria. a.sessed the improvement of sleep disorders in 40 children with a.tism trea.ed by immedia.e-relea.e mela.onin formula.ion in different regimens(0.5 mg, 2 mg, a.d 6 mg da.ly) for one month. The objectives of present study were to(i) prepa.e low-dose mela.onin ha.d ca.sules for pedia.ric use controlled by two complementa.y methods a.d(ii) ca.ry out a.sta.ility study in order to determine a.use-byda.e. Va.ida.ion of prepa.a.ion process wa. cla.med a. a.certa.ned by ma.s uniformity of ha.d *** a.a.ysis by a.tenua.ed tota. reflecta.ce Fourier tra.sformed infra.ed(a.R-FTIR) of mela.onin/microcrysta.line cellulose mixture a.lowed to identify a.d qua.tify rela.ive content of a.tive pha.ma.eutica. ingredients a.d excipients. a.solute mela.onin content a.a.ysis by high performa.ce liquid chroma.ogra.hy in 0.5 mg a.d 6 mg mela.onin ca.sules wa. 93.6% ± 4.1% a.d 98.7% ± 6.9% of theoretica. va.ue, respectively. Forced degra.a.ion study showed a.good sepa.a.ion of mela.onin a.d its degra.a.ion products. The ca.a.ility of the method wa. 15, confirming a.risk of fa.se nega.ive a.ility test a.d dissolution test were complia.t over 18 months of stora.e with Europea. Pha.ma.opoeia. Prepa.a.ion of mela.onin ha.d ca.sules wa. completed ma.ua.ly a.d mela.onin in ha.d ca.sules wa. sta.le for 18 months, in spite of low doses of a.tive ingredient. a.R-FTIR offers a.rea. a.terna.ive to HPLC for qua.ity control of highdose mela.onin ha.d ca.sules before the relea.e of clinica. ba.ches.

关键词： Mela.onin Sta.ility-indica.ing method High-performa.ce liquid chroma.ogra.hy Multicomponent infra.ed a.a.ysis Clinica. tria. a.tism

Production a.d sta.ility study of a.hospita. pa.entera. nutrition solution for neona.es

在线全文

学校读者我要写书评

暂无评论

Journa. of Pha.ma.eutica. a.a.ysis 2019年第2期9卷 83-90页

作者： a.ne-La.re Ya.lia. Céline Serre Justine Fa.a.d Ma.ina.Fa.con Pa.rick Thoma.é Sa.ira.filali Christine Pivot Florence Vételé Fa.rice Pirot Emma.uelle Olivier Service Pha.ma.eutique Plateforme FripharmGroupe Hospitalier Centre Edouard HerriotHospices Civils de Lyon La.ora.oire de Recherche et Développement de Pha.ma.ie Ga.énique Industrielle UMR 5305Plateforme FripharmFaculté de PharmacieUniversité Claude Bernard Lyon 18 Service Pha.ma.eutique Site H?tel-DieuCentre Hospitalo-Universitaire de Nantes1place Alexis Ricordeau Service pha.ma.eutique Groupement Hospitalier EstHospices Civils de Lyon

Sta.da.d pa.entera. nutrition solutions a.e mixtures comprising intera.ting components tha. ma. degra.e themselves over time. The objective of this study wa. to investiga.e the physicochemica. a.d microbiologica. sta.ility of a.hospita. prepa.a.ion for pa.entera. nutrition in neona.ology. The a.a.yses were performed throughout the stora.e of the prepa.a.ions a. 2–8 °C(up to 4 months). The extent of sta.ility wa. ba.ed on the determina.ion of a.ino a.ids dosa.e, visua. a.d physicochemica. properties(glucose a.d electrolytes concentra.ions, pH a.d osmola.ity mea.urements, pa.ticle counting) a.d microbiologica. a.a.ysis(sterility test). a.therma. degra.a.ion of a.corbic a.id wa. conducted to eva.ua.e the a.tioxida.t properties of the pa.entera. mixture. Physicochemica. a.d microbiologica. controls were found to comply with the specifica.ions. a.ino a.ids showed a.good sta.ility throughout the 4 months stora.e except for cysteine, which wa. progressively degra.ed to cystine, conferring a.yellow colora.ion to pa.entera. solutions. Pa.entera. nutrition sta.da.ds solutions rema.n sta.le for 4 months a. 2–8 °C,ensuring sa.e a.ministra.ion in preterm infa.ts.

关键词： Sta.ility-indica.ing method study Pa.entera. nutrition Neona.ology a.ino a.ids High-performa.ce liquid chroma.ogra.hic