one of the problems that sometimes occur in gas allocation optimization is instability phenomenon. this phenomenon reduces the oil production and damages downhole and surface facilities. different works have studied the stability and suggested some solutions to override it, but most of them (such as making the well intelligent) are very expensive and thus they are not applicable to many cases. ...

nowadays urban sanitary landfill compatible with environmental principles and in line with sustainable development is a necessity. in this paper for the purpose of determining appropriate sanitary landfill sites in kohgilooye & boyerahmad province, , many data layers were used including: slope, land cover, distance to main roads, distance to cities & villages, geology, surface water network, di...

hydroforming process in one of the most effective production method, for improving the drawing ratio in sheet metal forming process. this is due to the fact that in hydroforming process, forming takes place using a punch which drives the part forward via a controlled fluid pressure. in this paper, deep drawing hydroforming for circular punch is investigated. different pressure paths are tested ...

train energy saving problem investigates how to control train's velocity such that the quantity of energy consumption is minimized and some system constraints are satis ed. on the assumption that the train's weights on different links are estimated by fuzzy variables when making the train scheduling strategy, we study the fuzzy train energy saving problem. first, we propose a fuzzy energy ...

We present a heuristic algorithm to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. The algorithm is part of a broader methodology for requirements elicitation and formal specification. Given a new constraint and a set of already accepted constraints, it computes a set of candidate constraints that possibly interact with the...

Recent studies suggest that satisfaction with price affects overall customer satisfaction. In the internet market, customer satisfaction is determined by two separate measures: satisfaction with the pre-purchase experience (e.g. ease of use, selection) and satisfaction with the post-purchase experience (e.g., delivery, order tracking, customer service). Using data collected by a commercial web ...

We summarize our continuing efforts at model based testing of reactive systems on the grounds of Constraint Logic Programming. First experimental results give rise to optimism w.r.t. scalability of our approach, point at necessary improvements, and they help identify future areas of research. Among others, these include search strategies more powerful than backtracking alone, appropriate (graph...

The hybrid precoding problem in point-to-point millimeter wave (mmWave) multiple input output (MIMO) for narrowband channel is established as a Frobenius norm minimization problem. It translated into trace problem, and two algorithms are proposed to solve it. In the first method based on alternating minimization, we alternately determine analog precoder digital precoder, keeping other constant ...

This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. An event-triggered real-time system is directly controlled by the events that occur in the environment, as opposed to a time-triggered system, which behavior with r...