31 research outputs found
Heavy metal bioaccumulation and antioxidative responses in Cardaminopsis arenosa and Plantago lanceolata leaves from metalliferous and non-metalliferous sites: a field study
Accumulation of heavy metals and antioxidant responses in Pinus sylvestris L. needles in polluted and non-polluted sites
Использование plantago major и plantago lanceolata в биоиндикационных иследованиях качества атмосферного воздуха на основе показателя APTI (air pollution tolerance index)
Целью исследований было определение состояния окружающей среды г. Сосновец (Польша, Силезское воеводство) при помощи показателя APTI (Air Pollution Tolerance Index). При определении показателя APTI анализировалось содержание хлорофилла, аскорбиновой кислоты, содержание воды в листьях, pH листьев. На основании полученного придела показателя в границах 4,6 – 8,96 следует отнести выбранные растения к группе чувствительных, что дает основание считать использование выбранных растений целесообразным в качестве биоиндикаторов загрязнения окружающей среды
Использование plantago major и plantago lanceolata в биоиндикационных иследованиях качества атмосферного воздуха на основе показателя APTI (air pollution tolerance index)
Целью исследований было определение состояния окружающей среды г. Сосновец (Польша, Силезское воеводство) при помощи показателя APTI (Air Pollution Tolerance Index). При определении показателя APTI анализировалось содержание хлорофилла, аскорбиновой кислоты, содержание воды в листьях, pH листьев. На основании полученного придела показателя в границах 4,6 – 8,96 следует отнести выбранные растения к группе чувствительных, что дает основание считать использование выбранных растений целесообразным в качестве биоиндикаторов загрязнения окружающей среды
Eiffel as a framework for verification
Abstract. The Eiffel method and language integrate a number of ideas originating from work on program verification. This position paper describes the goals of the Eiffel approach, presents current Eiffel-based verification techniques using contracts for run-time checks for testing and debugging, and outlines ongoing work on static verification. 1 Application areas Cite as follows: Bertrand Meyer, Eiffel as a Framework for Verification,inVSTTE 2005 (Verified Software: Tools, Theories, Experiments), eds. B. Meyer and J. Woodcock