检索结果-南通市图书馆

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 聚酰亚胺

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

How to derive a geovisualization from an application data model: an approach based on Semantic Web technologies

在线全文

学校读者我要写书评

暂无评论

International Journal of Digital Earth 2021年第7期14卷 874-898页

作者： Matthieu Viry Marlène Villanova-Oliver Univ.Grenoble Alpes CNRSGrenoble INP(Institute of Engineering Univ.Grenoble Alpes)LIGGrenobleFrance

While ontological modelling and Semantic Web technologies are sometimes used to describe knowledge domains with a spatial component,there is still a lack of semantics to describe how to present this knowledge geovisually to the end user and how to automatize the *** this paper,we first present vocabularies to describe at a high level the elements that make up a *** then propose a method that describes at a semantic level how to obtain a geovisualization from an existing data *** method is based on our vocabularies and on a set of semantic rules encoding rich and complex operations on *** leads to the derivation of ontological knowledge,ready to be exploited to automate the creation of a *** method is implemented in a framework that uses Semantic Web *** singularity and the strength of our proposal is that it enables to describe a geovisualization through a RDF specification file,which once loaded in our system makes the geovisualization directly available for use from a Web *** result is obtained by extending a priori an application data model with ad hoc geovisualization semantics features and rules.

关键词： Knowledge representation Semantic Web geovisualization ontologies rule-based system

Disaster Risk Resilience:Conceptual Evolution,Key Issues,and Opportunities

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Disaster Risk Science 2022年第3期13卷 330-341页

作者： Marie-Hélène Graveline Daniel Germain Institut des Sciences de l’Environnement(ISE) Universitédu QuébecàMontréalMontréalH3C 3P8Canada Department of Geography Universitédu QuébecàMontréalMontréalH3C 3P8Canada

Resilience has become a cornerstone for risk management and disaster ***,it has evolved extensively both etymologically and conceptually in time and across scientific *** concept has been(re)shaped by the evolution of research and practice *** the opposite of vulnerability for a long time,resilience was first defined as the ability to resist,bounce back,cope with,and recover quickly from the impacts of *** avoid the possible return to conditions of vulnerability and exposure to hazards,the notions of post-disaster development,transformation,and adaptation(build back better)and anticipation,innovation,and proactivity(bounce forward)were then ***,resilience is characterized by a multitude of components and several *** present a selection of 25 components used to define resilience,and an interesting linkage emerges between these components and the dimensions of risk management(prevention,preparedness,response,and recovery),offering a perspective to strengthen resilience through the development of *** its potential,resilience is subject to challenges regarding its operationalization,effectiveness,measurement,credibility,equity,and even its ***,it offers applicability and opportunities for local communities as well as an interdisciplinary look at global challenges.

关键词： Community Disaster risk Resilience Sustainable development

Determining the influence of the physicochemical parameters of urban soils on As availability using chemometric methods：A preliminary study

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2016年第9期28卷 183-192页

作者： christophe waterlot aurélie pelfrêne francis douay Civil and geo-Environmental Engineering Laboratory (LGCgE) ISA Lille 48 boulevard Vauban 59046 Lille cedex France

An initial exploration was conducted using mathematical and statistical methods to obtain relevant information about the determination of the physicochemical parameters capable of controlling As uptake by ryegrass grown on contaminated *** of As in the soils were from 10 to 47 mg/kg,mainly in the As（V） form（57%–73%）.Concentrations of As in water extracts were very low（61–700 μg/kg）.It was suggested that As（Ⅲ） was mainly in the uncharged species and As（V） in the charged *** methods revealed that the values of the ratio As（Ⅲ）/As（V） depended on the assimilated-phosphorus,the pseudo-total and water-extractable Fe contents and the soil p *** concentrations measured in ryegrass shoots ranged from 119 to 1602 μg/*** linear correlations were obtained between As in ryegrass shoots and water *** transfer coefficient of As correlated well with the ratio assimilated-phosphorus/***（Ⅲ）uptake by the shoot of ryegrass was controlled by the organic matter and Fe-oxide contents.

关键词： Arsenic Speciation Water extracting solution Phytoavailability Ryegrass Contaminated urban soils

Leaching of dissolved organic matter from seagrass leaf litter and its biogeochemical implications

在线全文

学校读者我要写书评

暂无评论

Acta Oceanologica Sinica 2018年第8期37卷 84-90页

作者： LIU Songlin JIANG Zhijian ZHOU Chenyuan WU Yunchao arbi Iman ZHANG Jingping HUANG Xiaoping TREVATHAN-TACKETT Stacey M. Key Laboratory of Tropical Marine Bio-resources and Ecology South China Sea Institute of OceanologyChinese Academy of SciencesGuangzhou 510301China University of Chinese Academy of Sciences Beijing 100049China School of Life and Environmental Sciences Centre for Integrative EcologyDeakin UniversityVictoria 3125Australia

Dissolved organic matter（DOM） represents a significant source of nutrients that supports the microbial-based food web in seagrass ecosystems. However, there is little information on how the various fractions of DOM from seagrass leaves contributed to the coastal biogeochemical cycles. To address this gap, we carried out a 30-day laboratory chamber experiment on tropical seagrasses Thalassia hemprichii and Enhalus acoroides. After 30 days of incubation, on average 22% carbon（C）, 70% nitrogen（N） and 38% phosphorus（P） of these two species of seagrass leaf litter was released. The average leached dissolved organic carbon（DOC）, dissolved organic nitrogen（DON） and dissolved organic phosphorus（DOP） of these two species of seagrass leaf litter accounted for 55%, 95% and 65% of the total C, N and P lost, respectively. In the absence of microbes, about 75% of the total amount of DOC, monosaccharides（MCHO）, DON and DOP were quickly released via leaching from both seagrass species in the first 9 days. Subsequently, little DOM was released during the remainder of the experiment. The leaching rates of DOC, DON and DOP were approximately 110, 40 and 0.70 μmol/（g·d）. Leaching rates of DOM were attributed to the nonstructural carbohydrates and other labile organic matter within the seagrass leaf. Thalassia hemprichii leached more DOC, DOP and MCHO than E. acoroides. In contrast, E. acoroides leached higher concentrations of DON than T. hemprichii, with the overall leachate also having a higher DON： DOP ratio. These results indicate that there is an overall higher amount of DOM leachate from T. hemprichii than that of E. acoroides that is available to the seagrass ecosystem. According to the logarithmic model for DOM release and the in situ leaf litter production（the Xincun Bay, South China Sea）, the seagrass leaf litter of these two seagrass species could release approximately 4×10~3 mol/d DOC, 1.4×10~3 mol/d DON and 25 mol/d DOP into the seawater. In addition to providing readily a

关键词： dissolved organic matter Thalassia hemprichii Enhalus acoroides leaf litter leaching

Mesoporous Ternary Nitrides of Earth?Abundant Metals as Oxygen Evolution Electrocatalyst

在线全文

学校读者我要写书评

暂无评论

Nano-Micro Letters 2020年第6期12卷 190-202页

作者： Ali Saad Hangjia Shen Zhixing Cheng Ramis arbi Beibei Guo Lok Shu Hui Kunyu Liang Siqi Liu John Paul Attfield Ayse Turak Jiacheng Wang Minghui Yang Ningbo Institute of Materials Technology and Engineering Chinese Academy of SciencesNingbo 315201Zhejiang ProvincePeople’s Republic of China Center of Materials Science and Optoelectronics Engineering University of Chinese Academy of SciencesBeijing 100049People’s Republic of China Department of Engineering Physics McMaster UniversityHamilton L8S 4L7Canada State Key Laboratory of High Performance Ceramics and Superfine Microstructure Shanghai Institute of CeramicsChinese Academy of Sciences1295 Dingxi RoadShanghai 200050People’s Republic of China Centre for Science at Extreme Conditions and EaStCHEM School of Chemistry University of EdinburghKings BuildingsWest Mains RoadEdinburgh EH93JJUK

As sustainable energy becomes a major concern for modern society,renewable and clean energy systems need highly active,stable,and low-cost catalysts for the oxygen evolution reaction(OER).Mesoporous materials offer an attractive route for generating efficient electrocatalysts with high mass transport ***,we report an efficient hard templating pathway to design and synthesize three-dimensional(3-D)mesoporous ternary nickel iron nitride(Ni3FeN).The as-synthesized electrocatalyst shows good OER performance in an alkaline solution with low overpotential(259 mV)and a small Tafel slope(54 mV dec?1),giving superior performance to IrO2 and RuO2 *** highly active contact area,the hierarchical porosity,and the synergistic effect of bimetal atoms contributed to the improved electrocatalytic performance toward *** a practical rechargeable Zn–air battery,mesoporous Ni3FeN is also shown to deliver a lower charging voltage and longer lifetime than *** work opens up a new promising approach to synthesize active OER electrocatalysts for energy-related devices.

关键词： Ordered mesoporous structure Hard template Ni3FeN Oxygen evolution reaction Zn–air battery

Improvement in Automated Diagnosis of Soft Tissues Tumors Using Machine Learning

在线全文

学校读者我要写书评

暂无评论

Big Data Mining and Analytics 2021年第1期4卷 33-46页

作者： El arbi Abdellaoui Alaoui Stéphane Cédric Koumetio Tekouabou Sri Hartini Zuherman Rustam Hassan Silkan Said Agoujil Department of Computer Sciences Faculty of Sciences and TechnologiesMy Ismail UniversityErrachidia 52000Morocco the Department of Computer Science Faculty of SciencesChouaib Doukkali UniversityEl Jadida 24000Morocco Department of Mathematics Universitas IndonesiaDepok 16424Indonesia

Soft Tissue Tumors(STT)are a form of sarcoma found in tissues that connect,support,and surround body *** of their shallow frequency in the body and their great diversity,they appear to be heterogeneous when observed through Magnetic Resonance Imaging(MRI).They are easily confused with other diseases such as fibroadenoma mammae,lymphadenopathy,and struma nodosa,and these diagnostic errors have a considerable detrimental effect on the medical treatment process of *** have proposed several machine learning models to classify tumors,but none have adequately addressed this misdiagnosis ***,similar studies that have proposed models for evaluation of such tumors mostly do not consider the heterogeneity and the size of the ***,we propose a machine learning-based approach which combines a new technique of preprocessing the data for features transformation,resampling techniques to eliminate the bias and the deviation of instability and performing classifier tests based on the Support Vector Machine(SVM)and Decision Tree(DT)*** tests carried out on dataset collected in Nur Hidayah Hospital of Yogyakarta in Indonesia show a great improvement compared to previous *** results confirm that machine learning methods could provide efficient and effective tools to reinforce the automatic decision-making processes of STT diagnostics.

关键词： classification soft tissues tumours preprocessing techniques Support Vector Machine(SVM) Decision Tree(DT) machine learning predictive diagnosis