Nowadays the human activity has increased the pressure on surface water quality. The purpose of this study is to assess the environmental quality of the Seman River water (in Southern part of Albania) through a 5-year...Nowadays the human activity has increased the pressure on surface water quality. The purpose of this study is to assess the environmental quality of the Seman River water (in Southern part of Albania) through a 5-year monitoring program of 14 parameters (pH, DO, EC, TSS, Cl<sup>-</sup>, <span style="white-space:nowrap;">NO<sup>-</sup><sub style="margin-left:-7px;">3</sub></span>, Total-N, Total-P, BOD<sub>5</sub>, Cu<sup>2+</sup>, Ni<sup>2+</sup>, Pb<sup>2+</sup>, Cd<sup>2+</sup> and Temp. <span style="white-space:nowrap;">°</span>C), that determine the environmental status of this waterbody, as well as the application of WQI (CCME) through a multivariable approach. Based on the cluster dendogram results, it can be concluded that during wet seasons such as winter-spring, there are more sediments which influence other physic-chemical parameters, while during dry seasons (summer-autumn) there are more decomposition reactions of elements released by sediments and influenced by temperature. PCA analysis determines whether the groups of factors correlate strongly or not, depending on the internal structures of the groups and variables “heavy” or latent and vary from season to season with differentiated contributions to the water quality. All three factors influence WQI to the extent of 56% in the summer and spring season and 64% and 40% in the autumn and winter season, respectively.展开更多
SIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. There exist several semantic...SIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. There exist several semantics for SIG- NAL, such as denotational semantics based on traces （called trace semantics）, denotational semantics based on tags （called tagged model semantics）, operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by syn- chronous transition systems （STS）, etc. However, there is lit- tle research about the equivalence between these semantics. In this work, we would like to prove the equivalence be- tween the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different defini- tions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The dis- tance between these two semantics discourages a direct proof of equivalence. Instead, we transform them to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL.展开更多
文摘Nowadays the human activity has increased the pressure on surface water quality. The purpose of this study is to assess the environmental quality of the Seman River water (in Southern part of Albania) through a 5-year monitoring program of 14 parameters (pH, DO, EC, TSS, Cl<sup>-</sup>, <span style="white-space:nowrap;">NO<sup>-</sup><sub style="margin-left:-7px;">3</sub></span>, Total-N, Total-P, BOD<sub>5</sub>, Cu<sup>2+</sup>, Ni<sup>2+</sup>, Pb<sup>2+</sup>, Cd<sup>2+</sup> and Temp. <span style="white-space:nowrap;">°</span>C), that determine the environmental status of this waterbody, as well as the application of WQI (CCME) through a multivariable approach. Based on the cluster dendogram results, it can be concluded that during wet seasons such as winter-spring, there are more sediments which influence other physic-chemical parameters, while during dry seasons (summer-autumn) there are more decomposition reactions of elements released by sediments and influenced by temperature. PCA analysis determines whether the groups of factors correlate strongly or not, depending on the internal structures of the groups and variables “heavy” or latent and vary from season to season with differentiated contributions to the water quality. All three factors influence WQI to the extent of 56% in the summer and spring season and 64% and 40% in the autumn and winter season, respectively.
文摘SIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. There exist several semantics for SIG- NAL, such as denotational semantics based on traces （called trace semantics）, denotational semantics based on tags （called tagged model semantics）, operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by syn- chronous transition systems （STS）, etc. However, there is lit- tle research about the equivalence between these semantics. In this work, we would like to prove the equivalence be- tween the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different defini- tions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The dis- tance between these two semantics discourages a direct proof of equivalence. Instead, we transform them to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL.
