检索结果-南通市图书馆

Optimization of the Pretreatment of the Mixture of Cassava Peelings and Pineapple Fibers Using Response Surface Methodology and a Process Simulator for the Bioethanol Production

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Energy and Power Engineering 2024年第2期16卷 79-96页

作者： paul Nestor Djomou Djonga George Elambo Nkeng Madjoyogo Hervé Sirma Ahmat Tom thierry Tchamba Tchuidjang Department of Textile and Leather Engineering National Advanced School of Engineering of Maroua Maroua Cameroon Department of Civil Environmental and Architectural Engineering University of Padova Padova Italy Institut du Génie des Systèmes Industriels et textiles Ecole Polytechnique de Ouagadougou Ouagadougou Burkina-Faso Department of Energy Engineering University Institute of Technology University of Ngaoundere Ngaoundere Cameroon Department of Process Engineering National Advanced School of Agro-Industrial Sciences University of Ngaoundere Ngaoundere Cameroon

The increase in oil prices and greenhouse gas emissions has led to the search for substitutes for fossil fuels. In Cameroon, the abundance of lignocellulosic resources is inherent to agricultural activity. Production of bioethanol remains a challenge given the crystallinity of cellulose and the presence of the complex. The pretreatment aimed to solubilize the lignin fraction and to make cellulose more accessible to the hydrolytic enzymes, was done using the organosolv process. A mathematical modeling was performed to point out the effect of the temperature on the kinetics of the release of the reducing sugars during the pretreatment. Two mathematical model was used, SAEMAN’s model and Response surface methodology. The first show that the kinetic parameters of the hydrolysis of the cellulose and reducing sugar are: 0.05089 min-1, 5358.1461 J·mol-1, 1383.03691 min-1, 51577.6100 J·mol-1 respectively. The second model was used. Temperature is the factor having the most positive influence whereas, ethanol concentration is not an essential factor. To release the maximum, an organosolv pre-treatment of this sub-strate should be carried out at 209.08°C for 47.60 min with an ethanol-water ratio of 24.02%. Organosolv pre-treatment is an effective process for delignification of the lignocellulosic structure.

关键词： Bioethanol Cassava Peeling Pineapple Fibers Organosolv Process and Optimization

Formal verification of synchronous data-flow program transformations toward certified compilers

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2013年第5期7卷 598-616页

作者： Van Chan NGO Jean-Pierre TALPIN thierry GAUTIER paul Le GUERNIC Loic BESNARD INRIA Rennes-Bretagne Atlantique Rennes 35042 France IRISA/CNRS Rennes 35042 France

Translation validation was invented in the 90＇s by Pnueli et al. as a technique to formally verify the correctness of code generators. Rather than certifying the code generator or exhaustively qualifying it, translation validators attempt to verify that program transformations preserve semantics. In this work, we adopt this approach to formally verify that the clock semantics and data dependence are preserved during the compilation of the Signal compiler. Translation valida- tion is implemented for every compilation phase from the initial phase until the latest phase where the executable code is generated, by proving the transformation in each phase of the compiler preserves the semantics. We represent the clock semantics, the data dependence of a program and its trans- formed counterpart as first-order formulas which are called clock models and synchronous dependence graphs （SDGs）, respectively. We then introduce clock refinement and depen- dence refinement relations which express the preservations of clock semantics and dependence, as a relation on clock mod- els and SDGs, respectively. Our validator does not require any instrumentation or modification of the compiler, nor any rewriting of the source program.

关键词： formal verification translation validation certi-fied compiler multi-clocked synchronous programs embed-ded systems.

Polychronous automata and their use for formal validation of AADL models

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2019年第4期13卷 677-697页

作者： thierry GAUTIER Clement GUY Alexandre HONORAT paul LE GUERNIC Jean-Pierre TALPIN Loic BESNARD Univ. Rennes Inria Rennes-Bretagne-Atlantique Research Centre F-35000 Rennes France Univ. Rennes CNRS IRISA F-35000 Rennes France

This paper investigates how state diagrams can be best represented in the polychronous model of computation (MoC) and proposes to use this model for code validation of behavior specifications in architecture analysis & design language (AADL). In this relational MoC, the basic objects are signals, which are related through dataflow equations. Signals are associated with logical clocks, which provide the capability to describe systems in which components obey multiple clock rates. We propose a model of finite-state automata, called polychronous automata, which is based on clock relationships. A specificity of this model is that an automaton is submitted to clock constraints, which allows one to specify a wide range of control-related configurations, being either reactive or restrictive with respect to their control environment. A semantic model is defined for these polychronous automata, which relies on boolean algebra of clocks. Based on a previously defined modeling method for AADL software architectures using the polychronous MoC, the proposed model is used as a formal model for the AADL behavior annex. This is illustrated with a case study involving an adaptive cruise control system.

关键词： architecture modeling formal semantics finitestate automaton polychronous model synchronous concurrency code generation AADL

On the origin of the high tensile strength and ductility of additively manufactured 316L stainless steel: Multiscale investigation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2020年第6期41卷 209-218页

作者： Bassem Barkia Pascal Aubry paul Haghi-Ashtiani thierry Auger Lionel Gosmain Frédéric Schuster Hicham Maskrot DEN-Service d’Etudes Analytiques et de Réactivitédes Surfaces CEAUniversitéParis-Saclay91191France Laboratoire de Mécanique des Sols Structures et MatériauxCentralesupélecUMR CNRS 8579UniversitéParis-Saclay92295France Arts et Métiers ParisTech PIMMUMR CNRS 800675013 ParisFrance CEA Cross-Cutting Program on Materials and Processes Skills 91191Gif-sur-YvetteFrance

We report that 316L austenitic stainless steel fabricated by direct laser deposition(DLD),an additive manufacturing(AM)process,have a higher yield strength than that of conventional 316L while keeping high *** interestingly,no clear anisotropy in tensile properties was observed between the building and the scanning direction of the 3D printed *** examination of the as-built parts shows a heterogeneous solidification cellular *** electron microscopy observations coupled with Energy Dispersive X-ray Spectrometry(EDS)reveal the presence of chemical micro-segregation correlated with high dislocation density at cell boundaries as well as the in-situ formation of well-dispersed oxides and transition-metal-rich *** hierarchical heterogeneous microstructure in the AM parts induces excellent strength of the 316L stainless steel while the low staking fault energy of the as-built 316L promotes the occurrence of abundant deformation twinning,in the origin of the high ductility of the AM *** additional post-process treatments,the AM 316L proves that it can be used as a structural material or component for repair in mechanical construction.

关键词： Additive manufacturing Austenitic stainless steel Dislocation structure Twinning Mechanical behavior Anisotropy

Hydrodynamic Regimes,Knudsen Layer,Numerical Schemes:Definition of Boundary Fluxes

在线全文

学校读者我要写书评

暂无评论

Advances in Applied Mathematics and Mechanics 2011年第5期3卷 519-561页

作者： Christophe Besse Saja Borghol thierry Goudon Ingrid Lacroix-Violet Jean-paul Dudon Project-Team SIMPAF INRIA Lille Nord Europe Research CenterPark Plazza40 av.Halley59650 Villeneuve d’Ascq France Labo P.Painleve UMR 8524 CNRS-Universite des Sciences et Technologies Lille Thales Alenia Space Cannes La Bocca

We propose a numerical solution to incorporate in the simulation of a system of conservation laws boundary conditions that come from a microscopic modeling in the small mean free path *** typical example we discuss is the derivation of the Euler system from the BGK *** boundary condition relies on the analysis of boundary layers formation that accounts from the fact that the incoming kinetic flux might be far from the thermodynamic equilibrium.

关键词： Hydrodynamic regimes Knudsen layer finite volume scheme initial-boundary value problems for conservation laws Evaporation-condensation problem

Exploring system architectures in AADL via Polychrony and SynDEx

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2013年第5期7卷 627-649页

作者： Huafeng YU Yue MA thierry GAUTIER Loc BESNARD Jean-Pierre TALPIN paul Le GUERNIC Yves SOREL INRIA Rennes-Bretagne Atlantique 263 av. du Général LeclercRennes 35042 France IRISA/CNRS 263 av. du Général LeclercRennes 35042 France INRIA Paris-Rocquencourt Domaine de VoluceauBP 105Le Chesnay Cedex 78153 France

Architecture analysis&design language(AADL)has been increasingly adopted in the design of embedded systems,and corresponding scheduling and formal verification have been well ***,little work takes code distribution and architecture exploration into account,particularly considering clock constraints,for distributed multi-processor *** this paper,we present an overview of our approach to handle these concerns,together with the associated toolchain,***,in order to avoid semantic ambiguities of AADL,the polychronous/multiclock semantics of AADL,based on a polychronous model of computation,is *** synthesis is then carried out in Polychrony,which bridges the gap between the polychronous semantics and the synchronous semantics of *** same timing semantics is always preserved in order to ensure the correctness of the transformations between diferent *** distribution and corresponding scheduling is carried out on the obtained SynDEx model in the last step,which enables the exploration of architectures originally specified in *** contribution provides a fast yet efcient architecture exploration approach for the design of distributed real-time and embedded *** avionic case study is used here to illustrate our approach.

关键词： Polychrony Signal AADL SynDEx architecture exploration modeling timing analysis scheduling distribution

Mineralogy and geochemistry of the Ngaoundaba Crater Lake sediments,northern Cameroon:implications for provenance and trace metals status

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Geochimica 2021年第5期40卷 718-738页

作者： Armel Zacharie Ekoa Bessa John SArmstrong-Altrin Gentry Calistus Fuh thierry Bineli Betsi Tebogo Kelepile paul-DesireNdjigui Department of Earth Sciences University of Yaounde IP.O.Box 812YaoundeCameroon Universidad Nacional Autonoma de Mexico Instituto de Ciencias del Mar Y LimnologıaUnidad de Procesos Oceanicos y CosterosCircuito exterior s/n04510 MexicoD.F.Mexico Department of Mining and Geological Engineering Botswana International University of Sciences and TechnologyPrivate Bag 16PalapyeBotswana

This study was conducted on the Ngaoundaba Crater Lake sediments to infer provenance,weathering conditions,organic matter accumulation,and trace metal *** Lake sediments were collected using a manual core sampler at 5 to 8 m water *** sediment cores from the littoral and center of the lake were analyzed for grain size distribution,water content(WC),organic matter content,mineralogy,and major and trace element *** Ngaoundaba sediments were classified as silt and sandy *** show high content in organic matter,which is more to the littoral than to the center of the lake,varying from 14.6%to 24%and21.2%to 40.8%,*** grain surface features identified by Scanning Electron Microscopy(SEM)show both chemical and mechanical microtextures with subrounded to angular shape suggesting both proximal and distal *** lake sediments are composed of quartz,kaolinite,and hematite,with low amounts of feldspars,rutile,calcite,illite,and *** indices such as the chemical index of alteration(CIA),chemical index of weathering(CIW),and index of compositional variability(ICV)indicate moderate to intense chemical weathering in the source area and immature to mature *** geochemical composition indicates that the sediments were derived from felsic to intermediate igneous rocks,such as granitoids,and mafic alkali lavas like *** environmental risk assessment of trace metals obtained by enrichment factor(EF)and geo-accumulation index(I-geo)shows low contamination of the lake sediments.

关键词： Ngaoundaba Crater Lake Mineralogy Geochemistry Provenance Metal traces status

Multidisciplinary management of Mirizzi syndrome with cholecystobiliary fistula: the value of minimally invasive endoscopic surgery

在线全文

学校读者我要写书评

暂无评论

Hepatobiliary & Pancreatic Diseases International 2015年第5期14卷 543-547页

作者： Fabien Le Roux Charles Sabbagh Brice Robert thierry Yzet Laurent Dugue Jean-paul Joly Jean-Marc Regimbeau Department of Digestive and Oncological Surgery Amiens University Hospital Jules Verne University of Picardie Department of Interventional and Diagnostic Imaging Amiens University Hospital Jules Verne University of Picardie Department of Digestive Surgery Saint-Camille Hospital Department of Hepatogastroenterology Amiens University Hospital Jules Verne University of Picardie

Mirizzi syndrome, a rare complication of gallstones, is defined by obstruction of the main bile duct. This obstruction may worsen and thus result in cholecystobiliary fistula. Surgical management of Mirizzi syndrome is complicated by the presence of inflamed tissue around the hepatic pedicle, making it impossible to distinguish between the main bile duct and the gallbladder. The surgeon＇s first task is to perform subtotal cholecystotomy（from the fundus of the gallbladder to the neck） without trying to locate the cystic duct. In a second step, the gallstones are extracted and the main bile duct is then repaired. In most cases, a T-tube is used to drain the main bile duct, and abdominal drainage is left in place（in case a bile fistula forms）. This study concluded that preoperative drainage of the main bile duct in the treatment of Mirizzi syndrome types II and III is feasible and might help to decrease the postoperative complication rate.

关键词： jaundice Mirizzi syndrome cholecystobiliary fistula endoscopic treatment cholecystectomy T-tube drain

"Je t'aime moi non plus":A love-hate relationship between iron and phosphate

在线全文

学校读者我要写书评

暂无评论

Molecular Plant 2022年第1期15卷 1-2页

作者： Laurent Nussaume thierry Desnos Aix Marseille Univ CEACNRSBIAM.UMR7265SAVE(Signalisation pour I'Adaptation des Végétauxàleur Environnement)Saint-Paul lez DuranceFrance

Iron(Fe)and phosphate(Pi)are two essential nutrients for plant *** impact plant development differently and their respective deficiency leads to multiple physiological disorders,resulting in severe reduction of crop *** chemistry of these two elements is deeply inter-connected,as in the soil phosphate naturally associates to ferric oxides(resulting from aerobic conditions observed in most cultivated soils)to create insoluble complexes that can no longer be taken up by the plants'import systems.

关键词： soil oxides naturally