In this paper we introduce a specification model for the host migration
process in Software Defined Network, and for verifying the reachability
property for packets that do not change after the migration, and achieve
the required modifications to
meet the same properties.
The model is designed by TLA+ language and verified by TLC which is
correlated with it. The model is implemented by few states to meet the
required property.
Additive migration levels in food simulants from polymeric materials that
are intended to be into contact with food can be affected by additive stability
under the migration test conditions. In this work, the stability of Dibutyl
adipate (DBA), Di
isobutyl adipate(DIBA), Diisobutyl phthalate (DIBP), Di-noctyl
phthalate (DnOP),and Diethylhexyl sebacate (DEHS).,was studied in
aqueous food simulants A, B, C and ethanol 95% (as a substitute for olive oilwhich
is a fatty food simulant, simulant D), at different temperatures 20, 40 and
70 ºC, during 20 days. Samples were analyzed by high performance liquid
chromatography (HPLC) with UV detector at 270 nm. The stability of the
studied compounds appeared to be least of all in simulant B, then in simulant
A, and finally in simulant C., When temperature and exposure time increase.,
on the other hand, the increase in temperature and exposure time have greatly
less effect on the stability of plasticizers in ethanol %95,as a substitute for olive
oil-which is a fatty food simulant.
Additive migration levels in food simulants from polymeric materials that
are intended to be into contact with food can be affected by additive stability
under the migration test conditions. In this work, the stability of four
antioxidants: Butyle
ted hydroxy toluene (BHT), Bisphenol A (BPA),
Pentaerythritol tetrakis (3,5-di-tert-butyl-4-hydroxyhydrocinnamate) (Irganox
1010), and Octadecyl 3-(3,5-di-tert-butyl-4-hydroxyphenyl) propionate
(Irganox 1076), was studied in aqueous food simulants A, B, C and ethanol 95%
(as a substitute for olive oil- which is a fatty food simulant- simulant D), at
different temperatures 20, 40 and 70 ºC, during 20 days. Samples were
analyzed by high performance liquid chromatography (HPLC) with UV
detector. In general, the studied compounds appeared to be more stable in both
Ethanol (95%) and simulant B than in simulants A and C.
Additive migration levels in food simulants from polymeric materials that
are intended to be into contact with food can be affected by additive stability
under the migration test conditions. In this work, the stability of two
plasticizers: Diethyl
hexyl phthalate (DEHP) and Dibutyl phthalate (DBP) was
studies in aqueous food simulants A, B, C and ethanol 95% (as a substitute for
olive oil- which is a fatty food simulant- simulant D), at different temperatures
20, 40 and 70 C0, during 20 days. Samples were analyzed by high performance
liquid chromatography (HPLC) with UV detector.
In general, DEHP and DBP plasticizers appeared to be more stable in both
Ethanol (95%) and simulant C than in simulants A and B, while, they are less
stable, even at low temperatures, in Simulant B than in simulant A .
This research aimed to study the theoretical basis of the pollutant migration
to the aquifer and to carry out some experiments concerning the migration of
some kinds of pesticides in order to calculate the related coefficients. Hence, the
research
concentrates on testing the basic methods of migration to the ground
waters, finding the physico – chemical reactions between pollutants and aquifer
and finding the differential equations which express the movements to the
ground waters which can be applied on the experimental data. It also, includes
the mechanism study of pollutant migrations through the unsaturated layer is
regarded as a passage of the pollutants to the ground waters, and the
experimental methods of the calculation of the basic migration coefficient.