this paper considers the search problem, introduced by srivastava cite{sr}. this is a model discrimination problem. in the context of search linear models, discrimination ability of search designs has been studied by several researchers. some criteria have been developed to measure this capability, however, they are restricted in a sense of being able to work for searching only one possible non...

A simple set of equations for bubbly flow through a vertical tube is rigorously derived by means of a scale analysis from the realistic equations posed by Pauchon. It is shown that under steady flow conditions the void fraction will relax from its value at the inlet towards an asymptotic value within only a short distance of the inlet. The relationship between the inlet void fraction and the im...

At Drexel University, I was testing the 8-inch, 13 stages, R1408 PMTs which will be used for the inner vetos of the Double Chooz experiment [1]. These PMTs were used in the IMB [2] and SuperKamiokande [3] experiments. This testing allowed a better understanding of their working. In this paper I propose a model inspired from observations during the testing period. The first aim of this model is ...

Model predictive controller is widely used in industrial plants. Uncertainty is one of the critical issues in real systems. In this paper, the direct adaptive Simplified Model Predictive Control (SMPC) is proposed for unknown or time varying plants with uncertainties. By estimating the plant step response in each sample, the controller is designed and the controller coefficients are directly ca...

The purpose of the article is to establish the relationship between rigid body motion and the optic flow image and solve motion parameters from optic flow image points. A basic equation relating optic flow image points to rigid body motion which involves only the instantaneous rotation and translation velocities without depths is established. A linear algorithm is developed to determine the mod...

This paper deals with the problem of forbidden states in safe Petri nets to obtain a maximally permissive controller. To prevent the system from entering these states, assigning some constraints to them is possible. The constraints can be enforced on the system using control places. When the number of forbidden states is large, a large number of constraints should be assigned to them. So, a lar...

We introduce a simplified Kripke type semantics for the {→,∧, ∗, !,1}-fragment of intuitionistic linear logic, and prove a completeness theorem with respect to the semantics by using a simple and intuitive canonical model.

This paper describes a method to construct a linear model of a Thyristor-Controlled Series Capacitor (TCSC) by analyzing its time domain response when it is disturbed. All simulations are done in instantaneous value mode. With this technique, low-frequency dynamic behaviors of the TCSC are included in the linear model for both time domain simulations and linear analysis of the power system. How...

Because of the substantial difference in stiffness between matrix and nanotube in CNT composite, the stress transfer between them controls their mechanical properties. This paper investigates the said issue, analytically and numerically, in axial load using representative volume element (RVE). The analytical model was established based on the modified Cox’s shear lag model with the use of some ...