检索结果-南通市图书馆

neural Regeneration Research 2025年第9期20卷 2581-2582页

作者： marianne Bardy-Lagarde Narimène Asbelaoui Abdel Mouman Ghoumari UMR1195 “Diseases and Hormones of the Nervous System”Inserm and University Paris-SaclayKremlin-BicêtreFrance

Multiple sclerosis(MS)is the most common chronic disease of the central nervous system(CNS)in young adults and represents the first cause of severe handicap,originally non-traumatic(Oh et al.,2018).MS is chara cterized by the infiltration of auto reactive lymphocytes specific to myelin through the blood-brain barrier,which results in the appearance of inflammatory demyelinating lesions caused by the death of the central nervous system myelinating cells,oligodendrocytes(Oh et al.,2018).There is a prevalence sexual with a ratio of three times more affected women than men.

关键词： myelin CXCR4

Estimating costs of salvage logging for large-scale burned forest lands: A case study on Turkey's Mediterranean coast

在线全文

学校读者我要写书评

暂无评论

Journal of Forestry Research 2021年第5期32卷 1899-1909页

作者： neşe Gülci Faculty of Forestry Kahramanmaras Sutcu Imam University46100 KahramanmarasTurkey

Different forest fires causing different degrees of effects occur in fire-sensitive forests due to various reasons such as climate *** as well as harmful aspects of forest fires are a multi-disciplinary research *** information systems(GIS)and remote sensing(RS)methods offer a number of benefits for researchers and operators in the field of forest fire *** present study analyses timber pricing based on forest contractor demands of post-salvage logging *** effect of timber obtained from compartment units on producers’pricing policy was *** forest fire area(2500 ha)located in Antalya in Turkey was selected as the main study *** parameters(aspect,slope and slope position),stand types(diameter class and crown closure),and burn severity were analyzed together using GIS and R software packages.A multi-linear regression model(R^(2)=0.752)demonstrated that factors that had the most impact on pricing were slope position,aspect,stand age,crown closure and burn *** model can be used to estimate salvage logging prices in Calabrian pine(Pinus brutia Ten.)stands with similar *** administrators and contractors may readily address the unit price of timber by estimating approximate costs in a given forest area for which they are going to *** will help reduce operational planning times of harvesting procedures in burned stands.

关键词： Timber extraction Forest fires Stumpage sale Cost estimation Sustainability Crown fire

Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2010年第6期25卷 1305-1320页

作者： Osman Hasan Sofiène Tahar Department of Electrical and Computer Engineering Concordia University

Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational ***,such analyses are performed using paper-and-pencil proofs and the results are sometimes validated using simulation *** techniques are informal and thus may result in an inaccurate *** this paper,we propose a formal technique for analyzing the expected time complexity of algorithms using higher-order-logic theorem *** approach calls for mathematically modeling the algorithm along with its inputs,using indicator random variables,in higher-order *** model is then used to formally reason about the expected time complexity of the underlying algorithm in a theorem *** paper includes the higher-order-logic formalization of indicator random variables,which are fundamental to the proposed *** order to illustrate the practical effiectiveness and utilization of the proposed infrastructure,the paper also includes the analysis of algorithms for three well-known problems,i.e.,the hat-check problem,the birthday paradox and the hiring problem.

关键词： formal method higher-order logic probability theory theorem proving birthday paradox hat-check problem hiring problem

Transforming Multidisciplinary Customer Requirements to Product Design Specifications

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Mechanical Engineering 2017年第5期30卷 1069-1080页

作者： Xiao-Jie ma Guo-Fu Ding Sheng-Feng Qin Rong Li Kai-Yin Yan Shou-ne Xiao Guang-Wu Yang Institute of Advanced Design and manufacturing Southwest Jiaotong University School of Design Northumbria University State Key Laboratory of Traction Power Southwest Jiaotong University

With the increasing of complexity of complex mechatronic products, it is necessary to involve multidis- ciplinary design teams, thus, the traditional customer requirements modeling for a single discipline team becomes difficult to be applied in a multidisciplinary team and project since team members with various disciplinary backgrounds may have different interpretations of the customers＇ requirements. A new synthesized multidisci- plinary customer requirements modeling method is pro- vided for obtaining and describing the common understanding of customer requirements （CRs） and more importantly transferring them into a detailed and accurate product design specifications （PDS） to interact with dif- ferent team members effectively. A case study of designing a high speed train verifies the rationality and feasibility of the proposed multidisciplinary requirement modeling method for complex mechatronic product development. This proposed research offersthe instruction to realize the customer-driven personalized customization of complex mechatronic product.

关键词： Complex mechatronic product Crowdsourcing - Multidisciplinary customer requirementsmodeling Disciplinary specialty language dictionary High-speed train

Innate and adaptive immune responses toward nanomedicines

在线全文

学校读者我要写书评

暂无评论

Acta Pharmaceutica Sinica B 2021年第4期11卷 852-870页

作者： Iara maíra de Oliveira Viana Sabrina Roussel Joan Defrêne Eliana martins Lima Frédéric Barabé Nicolas Bertrand Laboratory of Pharmaceutical Technology(FarmaTec) Federal University of GoiásGoiás 74605-220Brazil Faculty of Pharmacy UniversitéLaval and CHU de Québec-UniversitéLaval Research CenterQuébec G1V 4G2Canada Department of Medicine Faculty of MedicineUniversitéLaval and CHU de Québec-UniversitéLaval Research CenterQuébec G1V 4G2Canada

Since the commercialization of the frst liposomes used for drug delivery,Doxil/Caelyx® and Myocet®,tremendous progress has been made in understanding interactions between nanomedicines and biological *** work at the interface of engineering and medicine has allowed nanomedicines to deliver therapeutic small molecules and nucleic acids more *** nanomedicines are used in oncology for immunotherapy or to deliver combinations of cytotoxics,the clinical successes of gene silencing approaches like patisiran lipid complexes(Onpattro®)have paved the way for a variety of therapies beyond *** parallel,the global severe acute respiratory syndrome coronavirus 2(SARS-CoV-2)pandemic has highlighted the potential of mR NA vaccines to develop immunization strategies at unprecedented *** rationally design therapeutic and vaccines,chemists,materials scientists,and drug delivery experts need to better understand how nanotechnologies interact with the immune *** review presents a comprehensive overview of the innate and adaptative immune systems and emphasizes the intricate mechanisms through which nanomedicines interact with these biological functions.

关键词： Cancer immunotherapy mRNA vaccine Complement activation macrophage In vivo clearance Anti-PEG antibody Nanoparticle mRNA-1273 BNT162b2 Immunology

SYNTHESIS OF SOLUBLE POLY(3,4-DIHYDROXY-o-TOLYLEne):REDOX POLYMER

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Polymer Science 2006年第1期24卷 41-46页

作者： Sad Moulay Fatima M'zyène Laboratoire de Chimie-Physique Moléculaire et macromoléculaire Faculté des Sciences de l'Ingénieur Département de Chimie Industrielle Université de BlidaRoute de SoumèaB.P.270Blida 09000Algeria. Laboratoire de Chimie-Physique Moléculaire et macromoléculaire Faculté des Sciences de l'Ingénieur Département de Chimie Industrielle Université de BlidaRoute de SoumaB.P.270Blida 09000Algeria.

Conventional chloromethylation, paraformaldehyde/hydrogen chloride in acetic acid medium, was applied to 1,2- dimethoxybenzene. Chloroform-soluble poly（3,4-dimethoxy-o-tolylene） was obtained with an intrinsic viscosity of 0.034 dL g^-1. The polymer was evaluated as a condensation redox polymer precursor formed by a Friedel-Crafts reaction. Cleavage of the methoxy groups present in this polymer resulted in poly（3,4-dihydroxy-o-tolylene） which manifested a great air-oxidation resistance. The redox property of the latter polymer was found to be 1017 mV by potentiometric titration with 0.05 N ceric ammonium nitrate at 25℃. This midpotential was compared to that of catechol, a monomeric analogue, under the same titration conditions.

关键词： Poly(3,4-dimethoxy-o-tolylene) Poly(3,4-dihydroxy-o-tolylene) Redox polymer.

Formal Reasoning About Finite-State Discrete-Time markov Chains in HOL

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2013年第2期28卷 217-231页

作者： Liya Liu Osman Hasan Sofiène Tahar Department of Electrical and Computer Engineering Concordia University

markov chains are extensively used in modeling different aspects of engineering and scientific systems, such as performance of algorithms and reliability of systems. Different techniques have been developed for analyzing markovian models, for example, markov Chain Monte Carlo based simulation, markov Analyzer, and more recently probabilistic model- checking. However, these techniques either do not guarantee accurate analysis or are not scalable. Higher-order-logic theorem proving is a formal method that has the ability to overcome the above mentioned limitations. However, it is not mature enough to handle all sorts of markovian models. In this paper, we propose a formalization of Discrete-Time markov Chain （DTMC） that facilitates formal reasoning about time-homogeneous finite-state discrete-time markov chain. In particular, we provide a formal verification on some of its important properties, such as joint probabilities, Chapman-Kolmogorov equation, reversibility property, using higher-order logic. To demonstrate the usefulness of our work, we analyze two applications： a simplified binary communication channel and the Automatic mail Quality Measurement protocol.

关键词： discrete-time markov chain higher-order logic probability theory theorem prover

Direct Ni Electroless Metallization of Poly(etherimide) without Using Palladium as a Catalyst

在线全文

学校读者我要写书评

暂无评论

材料热处理学报 2004年第05B期25卷 1106-1111页

作者： marlène Charbonnier maurice Romand Yves Goepfert Laboratoire de Sciences et Ingenierie des Surfaces Universite Claude Bernard - Lyon 1 69622 Villeurbanne Cedex FranceLaboratoire de Sciences et Ingenierie des Surfaces Universite Claude Bernard - Lyon 1 69622 Villeurbanne Cedex FranceUMR 5180 des Sciences Analytiques Universite Claude Bernard - Lyon 1 69622 Villeurbanne Cedex France

Nickel or copper electroless metallization of polymers needs the grafting of a catalyst (palladium in the Pd(0) oxidation state) on the substrate surface to be coated. Our previous works on this topic [1-5] have allowed to develop a simple, tin-free method to attach Pd(+2) species from a palladium chloride (PdCl2) solution on any insulating surface and subsequently to reduce them, in the wet way, into the Pd(0) oxidation state. This Pd(0) state of the catalyst allows an instantaneous initiation of the Ni or Cu deposit by immersion in a plating bath. As palladium is an expensive chemical, it appears interesting to replace it by Ni(0) or Cu(0) species which are catalysts of their own ion reduction. Concerning the direct Ni electroless plating, the polymer surface (PI) was made catalytic for the electroless process by deposition (spin- coating or dipping) of an ultra-thin film of an organic nickel salt in an alcoholic solution. The chemical reduction of this salt, checked by XPS, was performed by chemical or photochemical ways and by plasma. Under these conditions, the initiation, by autocatalysis, of the Ni film deposition in an industrial plating bath was immediate i.e. without any initiation time. The film obtained was homogeneous, dense, bright, well-adhering up to thicknesses reaching

关键词：镍非电金属喷镀等离子处理 XPS 聚酰亚胺

Stability of Traveling Waves Solutions for Nonlinear Cellular neural networks with Distributed Delays

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2022年第1期35卷 18-31页

作者： GUO Yingxin GE Shuzhi Sam ARBI Adnène School of mathematical Sciences Qufu Normal UniversityQufu 273165China Department of Electrical and Computer Engineering National University of Singapore117576Singapore National School of Advanced Sciences and Technologies of Borj Cedria University of CarthageEl Khawarizmi StreetCarthage 2078Tunisia Laboratory of Engineering mathematics(LR01ES13) Tunisia.

This paper investigates the exponential stability of traveling wave solutions for nonlinear delayed cellular neural *** a continuity of the past work(Wu and Niu,2016;Yu,et al.,2011)on the existence and uniqueness of the traveling wave solutions,it is very reasonable and interesting to consider the exponential stability of the traveling wave *** the weighted energy method,comparison principle and the first integral mean value theorem,this paper proves that,for all monotone traveling waves with the wave speed cc2*>0,the solutions converge time-exponentially to the corresponding traveling waves,when the initial perturbations decay at some fields.

关键词： Cellular delayed neural networks comparison principle stability analysis traveling waves solutions

同方期刊数据库

Isolation and characterization of facultative mixotrophic ammonia-oxidizing bacteria from constructed wetlands

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2011年第10期23卷 1699-1708页

作者： Soulwène Kouki neila Saidi Fadhel M'hiri Houda Nasr Hanène Cherif Hadda Ouzari Abdennaceur Hassen Laboratory of Treatment and Water Recycling Centre of Research and Water TechnologiesTechnopark of Borj-CedriaBP 2738020SolimanTunisia Unit of Transfer and Innovation Technologies Tunis International Centre for Environmental TechnologiesBoulevard of the Leader Yasser ArafatLa Charguia1080TunisTunisia Laboratory of Microbiology and Active Biomolecules Department of BiologyFaculty of Sciences of Tunis2092TunisTunisia

Autotrophic ammonia-oxidizing bacteria （AOB） have been widely studied in constructed wetlands systems, while mixotrophic AOB have been less thoroughly examined. Heterotrophic bacteria were isolated from wastewater and rhizospheres of macrophytes of constructed wetlands, and then cultivated in a mixotrophic medium containing ammonium and acetic acid. A molecular characterization was accomplished using ITS-PCR amplification, and phylogenetic analysis based on 16S rRNA gene Sequences. Results showed the presence of 35 bacteria, among 400 initially heterotrophic isolates, that were able to remove ammonia. These 35 isolates were classified into 10 genetically different groups based on ITS pattern. Then, a collection of 10 isolates were selected because of their relatively high ammonia removal efficiencies （ARE≥ 80%） and their phylogenetic diversity. In conditions of mixotrophy, these strains were shown to be able to grow （increase of optical density OD660 during incubation with assimilation of nitrogen into cellular biomass） and to oxidize ammonia （important ammonia oxidation efficiencies, AOE between 79% and 87%）. Among these facultative mixotrophic AOB, four isolates were genetically related to Firmicutes （Bacillus and Exiguobacterium）, three isolates were affiliated to Actinobacteria （Arthrobacter） and three other isolates were associated with Proteobacteria （Pseudomonas, Ochrobactrum and Bordetella）.

关键词： ammonia-oxidizing bacteria mixotroph constructed wetlands ammonia oxidation macrophytes' rhizosphere