this paper attempted to explore the expectation level of individuals to match themselves with the career offers and their awareness level to make the right decision in choosing right career in an economy of unemployment problems especially among the educated persons. this descriptive analytical research work is done on the basis of perceptions of students of different levels of education. the s...

petrochemical industries are potentially capable of impacts on environment due to the essence of the activities and producing waste water, pollutant emissions and hazardous wastes. this case study has considered the environmental adverse impacts of petrochemical industries on existing habitats in mahshahr economic special zone with respect to the regional significant biological diversity and ec...

the aim of this study was investigation of the factors affecting the primary choice of consumers in food purchasing in mashhad city by applying cross section data of 201 households in 2012. in this study, 56, 30, and 14% of the consumers chose healthiness of food, price of food, and taste of food, respectively, as the primary preference in food purchase. results of applying multinomial logit mo...

The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specii-cations and in veriication to reduce irrelevant branching structure of a process.

there are several factors influencing the water quality based on its usage. the quality of drinking water is of the vital concern for human health and life. an essential attempt has to be done to develop a water quality index (wqi) corresponding with different conditions and characteristics of the relevant river or water body such as geographical, hydrological, discharge rate and pollution sou...

The-angelic choice is an operator that captures the behaviour of the external choice of CSP in a branching time setting. The idea of the-angelic choice is to delay any choice until an observable action happens. In this way, this new operator avoids preemption introduced by internal actions (actions). It is studied in theories with abstraction, more precisely, branching bisimulation and-bisimula...

Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this problem in the setting of process algebra in the form of ACP. First, probabilities are introduced by an operator for the internal probabilistic choice. In this way we obtain the Basic Process Algebra with probabilistic cho...

The objective of this paper is to bridge the gap between ACP and TCSP. To this end, ACP is extended with two non-deterministic choice operators in a setting of bisimulation semantics. With these operators, we can express safety properties of systems without the use of silent steps, and we can verify safety properties in a setting in which no assumption on fairness (or unfairness) has been made.