检索结果-南通市图书馆

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

Influence of the molecular structure of metal-phthalocyanine on electrocatalytic reactions

在线全文

学校读者我要写书评

暂无评论

Science China Materials 2022年第12期65卷 3324-3333页

作者： Da sol Jeong Hyeon Suk Shin Jieun Yang Department of Chemistry Ulsan National Institute of Science and Technology(UNIST)50 UNIST-gilUlsan 44919Republic of Korea Department of Chemistry and Research Institute of Basic Sciences Kyung Hee University26 Kyungheedae-roDongdaemun-guSeoul 02447Republic of Korea

The demand for new catalysts for renewable energy production has become *** an alternative to metal catalysts for electrocatalysis to produce energy sources,metal-phthalocyanine(MPc)electrocatalysts have shown *** physicochemical and electrochemical properties depend on the chemical structure of the MPc and the central metal *** reviews of MPcs focused on their electrochemical performance in specific catalytic reactions,such as oxygen reduction reaction and CO_(2)reduction ***,understanding the structure of MPcs in depth is important,since their electrochemical catalytic activity is affected by structural modifications of ***,this minireview focuses on how the molecular structure of MPcs affects electrochemical catalysis.

关键词： metal-phthalocyanine oxygen reduction reaction carbon dioxide reduction reaction hydrogen evolution reaction oxygen evolution reaction electrocatalytic activities

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

How large are the extinct giant insular rodents? new body mass estimations from teeth and bones

在线全文

学校读者我要写书评

暂无评论

Integrative Zoology 2014年第2期9卷 197-212页

作者： Blanca MONCUNILL-solÉ Xavier JORDANA nekane MARÍN-MORATALLA Salvador MOYÀ-solÀ Meike KÖHLER Catalan Institute of Paleontology Miquel Crusafont Autonomous University of BarcelonaBellaterraSpain ICREA at Catalan Institute of Paleontology Miquel Crusafont Autonomous University of BarcelonaBellaterraSpain Department of Ecology University of BarcelonaSpain

The island rule entails a modification of the body size of insular mammals,a character related with numerous biological and ecological *** the Miocene to human colonization(Holocene),Mediterranean and Canary Islands were unaltered natural ecosystems,with paleofaunas formed with endemic giant rodents among other *** aim is to create methods to estimate the body masses of fossil island rodents and address the nature of ecological pressures driving the island *** created regression equations based on extant ro-dent data and used these to estimate the body masses of the extinct *** results show strong correlations between teeth,cranial and postcranial measurements and body mass,except for the length of the long bones,the transversal diameter of the distal tibia and the anteroposterior diameter of the proximal tibia,where the equa-tions were less *** use of equations obtained from a more homogeneous group(suborder and family)is preferable when analyzing the area of the first *** new regressions were applied to estimate the body masses of some Mediterranean and Canarian fossil rodents(Canariomys,*** 1.5 kg and *** 1 kg;Hypnomys,*** 230 g and *** 200 g;and Muscardinus cyclopeus 100 g).Our results indi-cate that under absence of predation,resource availability(island area)is the key factor that determines the size of the Canariomys ***,under presence of specialized predators(birds of prey),body size evolution is less pronounced(Hypnomys sp.).

关键词： body mass Canariomys Hypnomys island rule Muscardinus cyclopeus

A data-driven approach to π^0,η and η＇ single and double Dalitz decays

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Physics C 2018年第2期42卷 89-105页

作者： Rafel Escribano Sergi Gonzàlez-solís Crup de Fisica Tebrica Departament de Fisica Universitat Autbnoma de Barcelona E-08193 Bellaterra (Barcelona) Spain Institut de Fisica d'Altes Energies (IFAE) The Barcelona Institute of Science and Technology (BIST) Campus UAB E-08193 Bellaterra (Barcelona) Spain CAS Key Laboratory of Theoretical Physics Institute of Theoretical Physics Chinese Academy of Sciences Beijing 100190 China

The dilepton invariant mass spectra and integrated branching ratios of the single and double Dalitz decays P→l^＋l^-γ and P→l^＋l^-l^＋l^-（P=π^0,η,η＇;l=e or μ） are predicted by means of a data-driven approach based on the use of rational approximants applied to π^0,η and η＇ transition form factor experimental data in the space-like region.

关键词： electromagnetic processes and properties phenomenological models transition form factor

Cardiogenic shock:approaching the truth

在线全文

学校读者我要写书评

暂无评论

Journal of Geriatric Cardiology 2022年第2期19卷 95-97页

作者： Isaac Llaó Albert Ariza-solé Cardiology Department Intensive Cardiac Care UnitBellvitge University HospitalL’Hospitalet de LlobregatBarcelonaSpain

Cardiogenic shock(CS)is a severe clinical condition characterized initially by reduced cardiac output with abnormal organ perfusion which commonly leads to a multiorgan *** expansion of cardiac critical care units,development of reperfusion networks and progress of mechanical circulatory support(MCS),mortality of CS due to acute myocardial infarction(AMI)remains as high as 40%−50%.[1]Clinical outcomes in non-AMI patients are less established but remains similarly disappointing.

关键词： cardiac mortality acute

Predicting disruptions to drug pharmacokinetics and the risk of adverse drug reactions in nonalcoholic steatohepatitis patients

在线全文

学校读者我要写书评

暂无评论

Acta Pharmaceutica Sinica B 2023年第1期13卷 1-28页

作者： solène Marie Kayla L.Frost Raymond K.Hau Lucy Martinez-Guerrero Jailyn M.Izu Cassandra M.Myers Stephen H.Wright Nathan J.Cherrington College of Pharmacy Department of Pharmacology&ToxicologyUniversity of ArizonaTucsonAZ 85721USA College of Medicine Department of PhysiologyUniversity of ArizonaTucsonAZ 85724USA

The liver plays a central role in the pharmacokinetics of drugs through drug metabolizing enzymes and ***-alcoholic steatohepatitis(NASH)causes disease-specific alterations to the absorption,distribution,metabolism,and excretion(ADME)processes,including a decrease in protein expression of basolateral uptake transporters,an increase in efflux transporters,and modifications to enzyme *** can result in increased drug exposure and adverse drug reactions(ADRs).Our goal was to predict drugs that pose increased risks for ADRs in NASH *** research identified 71 drugs with reported ADRs in patients with liver disease,mainly non-alcoholic fatty liver disease(NAFLD),54 of which are known substrates of transporters and/or metabolizing *** NASH is the progressive form of NAFLD but is most frequently undiagnosed,we identified other drugs at risk based on NASH-specific alterations to ADME ***,we present another list of 71 drugs at risk of pharmacokinetic disruption in NASH,based on their transport and/or metabolism *** encompasses drugs from various pharmacological classes for which ADRs may occur when used in NASH patients,especially when eliminated through multiple pathways altered by the ***,these results may inform clinicians regarding the selection of drugs for use in NASH patients.

关键词： Non-alcoholic steatohepatitis Hepatic elimination Transporter Enzyme Pharmacokinetics Drug-drug interaction Liver Adverse drug reaction

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