In this report, we describe an approach that integrates a mathematical speci cation language with more traditional software design techniques to yield a practicable methodology for the speci cation of safety-critical control systems. To manage complexity and to foster separation of concerns, the system design model is divided into three views: the architectural view, speci ed with object and cl...

The transport properties of single asymmetric nanopores in polyetheylene terephthalate ~PET! are examined. The pores were produced by a track etching technique based on the irradiation of the foils by swift heavy ions and subsequent chemical etching. Electrical conductivity measurements show that the nanopores in PET are cation selective and rectify the current with the preferential direction o...

The biosorption mechanisms of different heavy metallic cations (Cd, Ni, Pb) to active chemical groups on the cell wall matrix of the nonliving brown marine macroalga, Sargassum vulgaris in its natural form, were examined by the following instrumental and chemical techniques: Fourier-transform infrared (FTIR) analysis, X-ray photoelectron spectroscopy (XPS), scanning electron microscopy (SEM), a...

This articles reports a simple and green method for preparing uniform silver nanoparticles (AgNPs), for which self-polymerized 3,4-dihydroxy-l-phenylalanine (polyDOPA) is used as the reducing and stabilizing agent in aqueous media. The AgNPs functionalized by polyDOPA were analyzed by UV-Vis spectroscopy, high-resolution transmission electron microscopy (HR-TEM), Fourier transform infrared spec...

This study showed the new potential of using soluble contents and heavy metals in swine wastewater as nutrient supplements for the algae Chlorella pyrenoidosa with biofilm attached method. Algae with biofilm attached cultivation grew well in unpasteurized wastewater reaching a biomass productivity of 5.03 g m-2 d-1, lipid content of 35.9% and lipid productivity of 1.80 g m-2 d-1. Chlorella grew...

Ginkgo trees are common street trees in Korea, and the large amounts of leaves that fall onto the streets annually need to be cleaned and treated. Therefore, fallen gingko leaves have been used as a raw material to produce biochar for the removal of heavy metals from solutions. Gingko-leaf-derived biochar was produced under various carbonization temperatures and times. This study evaluated the ...

Bay leaves are used for flavoring in cold drinks production, in bakery goods, sauces, confectionary products and liquors. The waste generated from these sources has been valorized by attempting the remediation of waste water. Hence, adsorption of toxic metals onto Bay leaves has been investigated after optimizing the experimental parameters, namely the pH, contact time, adsorbent and Zn(II) con...

Kaolin has been widely used as an adsorbent to remove heavy metal ions from aqueous solutions. However, the lower heavy metal adsorption capacity of kaolin limits its practical application. A novel environmental friendly material, calcium alginate immobilized kaolin (kaolin/CA), was prepared using a sol-gel method. The effects of contact time, pH, adsorbent dose, and temperature on Cu2+ adsorpt...

We studied cytogenetic reactions of Scots pine seedlings to heavy metals - lead, cupric and zinc nitrates applied at concentrations 0.5 to 2000 µM. We determined the range of concentrations of heavy metals that causes mutagenic effect. Lead was found to cause the strongest genotoxicity as manifested by significant increase in the frequency of pathological mitosis, occurrence of fragmentations a...

The cationic cages nido-[C2Bu(t)2P2E]+ (E = As, Sb), which are isolobal to the cyclopentadienyl cation, adopt square based pyramidal structures with the heavy pnictogen atom at the apex; NMR and computational methods have been used to probe the dynamic behaviour of the complexes.