نتایج جستجو برای: pseudo first order model
تعداد نتایج: 3855068 فیلتر نتایج به سال:
This work presents a first-order model checking procedure that verifies systems with potentially infinite data spaces with respect to first-order CTL specification. The procedure relies on a partition of the system variables into control and data. While control values are expanded into BDD-representations, data values enter in form of their properties relevant to the verification task. The algo...
A type of novel hypercross-linked fiber adsorbent was obtained by sulfonation and cross-linking reaction of polypropylene fiber grafted styrene-divinylbenzene. The aim of the fiber sulfonation and cross-linking method was to prepare rigid three dimensional networks in the entire fiber and change the ion exchange capacity of fiber. The hypercross-linked fiber adsorbent possesses a principall...
A type of novel hypercross-linked fiber adsorbent was obtained by sulfonation and cross-linking reaction of polypropylene fiber grafted styrene-divinylbenzene. The aim of the fiber sulfonation and cross-linking method was to prepare rigid three dimensional networks in the entire fiber and change the ion exchange capacity of fiber. The hypercross-linked fiber adsorbent possesses a principall...
Hydrothermal synthesis of nickel-chitosan hybrid has been accomplished using Ni(CH3COO)2,4H2O, chitosan and water as starting material, template and solvent respectively, followed by calcination at 800 and 900˚C to provide nanoporous NiO800 and NiO900. The solid products were characterized by X-ray diffraction (XRD), nitrogen adsorption-desorption, scanning electron microscopy (SEM) and Four...
Pretreated waste Streptomyces fradiae biomass was used as biosorbent to remove tetracycline (TC) from model aqueous solutions. The biosorption study conducted in a batch system evaluate the impact of initial pH, dosage, TC concentration and contact time. Langmuir, Freundlich Dubinin–Radushkevich (D–R) models were applied describe isotherm equilibrium studies. Langmuir fitted data better than D–...
Background: Considering the severe health and environmental hazards caused by the entry of diazinon toxin into water resources, its removal is very important. Given the high costs of imported adsorbents, this research attempted to evaluate, for the first time, the efficiency of Iranian activated carbon in removing diazinon from aqueous solutions. Methods: In this batch experimental study, the ...
due to lack of knowledge management system in the organization of technical and vocational university of iran (tvuni) and losing good employees because of retirement and substitution causes huge amount of costs to replace the similar expertise. there is no any suitable system in the tvuni to store, to document, and to distribute knowledge. based on the university’s features such as it has diffe...
Background and purpose: The World Health Organization (WHO) has specified the tolerance limit of fluoride content of drinking water to be 1.5 mg/L, since excessive intake of fluoride leads to various detrimental diseases. The present study assessed the adsorption effectiveness of HCl-modified eucalyptus leaves in fluoride removal from synthetic solutions. Materials and Methods: In this experim...
The potential of Bread Fruit (artocarpus altilis)Seed Husk (BFSH) as low-cost biosorbent for the removal of Pb (II), Zn (II) and Co (II) ions from aqueous solution was investigated. The adsorbent was characterized by the Fourier Transform InfraRed (FT-IR)spectroscopy, Scanning Electron Microscopy (SEM) and X-Ray Diffraction (XRD). The batch methodology was utilized to dete...
BLOCKIN We BLOCKIN BLOCKIN have BLOCKIN BLOCKIN been asked by the editors of the Journal of Philosophical Logic to write a short comment on his most recent work, published in this issue, based in part on a referee report by one of us, that, unfortunately, did not reach Aldo in time.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید