We introduce a modeling approach for pedestrian speed-density relationship. It is motivated by a high scatter in real data that precludes the use of traditional equilibrium relationships. To characterize the observed pattern we relax the homogeneity assumption of equilibrium relations and propose a multi-class model. In addition to the general modeling framework, we also present some concrete m...

This paper describes in detail the design methodology of a robust QFT (Quantitative Feedback Theory) controller for the control of the course changing of a ship. A linear model is used with uncertainty in the parameters. The system is designed to fulfil the specifications of robust stability and robust tracking of a reference system.

The paper explains the main idea of how the Estelle semantics may be reinterpreted within the queuing network model making possible a translation of Estelle into the algorithmic language of the Queuing Network Analysis Package (QNAP2). Such a translation gives access to all utilities of the package and enables the performance analysis to be integrated into the design process of Estelle specific...

Model checking is a promising technique for automated verification or refutation of software systems. Nevertheless, it has not been used widely in practice mainly due to the lack of the supporting tools that incorporate the model checking activity into the development process. As a part of our overall method supporting specification centered system development, we have implemented a translator ...

ten varieties of iranian soybeans are cultivated in different areas of the country; persia or sahar (sr), hill (hl), williams (wz), gorgan 3 (gn), clarke (kl), hawkey (hk), zaan (zn), harcor (hr), dare (dr) and simes (ss), grown in tropical regions. samples of these 10 varieties were obtained from the institute of plant and seed research. after sample preparation, their oils were extracted and ...