often in modeling the engineering optimization design problems, the value of objective function(s) is not clearly defined in terms of design variables. instead it is obtained by some numerical analysis such as fe structural analysis, fluid mechanic analysis, and thermodynamic analysis, etc. yet, the numerical analyses are considerably time consuming to obtain the final value of objective functi...

In the present investigation transient, G x/G/m queuing model with balking and reneging has been studied. The diffusion process with elementary return boundary has been used for modeling purpose. The probability density function (p. d. f.) for the number of customers in the system has been obtained. In special case, the steady state results that tally with those of Kimura and Ohsone have been e...

modeling is one of the most interesting areas in various fields of science. unfortunately data quality, which has an important role in the modeling, is not considered. in fact, most often processes encounter disturbances which results in the collection of abnormal data and may lead to a model different from the real behavior of the process. on the other hand, most of real industrial processes a...

An innovative approach of generating test cases from the combination of UML design diagrams has been discussed in this paper. Present work used an approach where petal files of class diagram, sequence diagram and state chart diagram has been used to generate test cases. The test cases thus generated are suitable for static and dynamic testing of system. General Terms Test case generation from U...

The nsmb code (Navier-Stokes Multi-Block) solves the fully coupled system of equations simultaneously using a cell-centered finitevolume approach. This note assesses the sensitivity to some turbulence models and numerical schemes implemented in nsmb when computing two test cases in standard mode, that is, without tuning the code to these two cases. The cases are 1. subsonic flow around the ms(1...

This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and...

TEAGER is a tool suite supporting test automation based on UML state machines, conforming to the UML semantics definition. For testing, the various sources of non-determinism in state machines pose major challenges. This article discusses those challenges and the approach for their solution taken in TEAGER. This includes probabilistic batch generation of test cases, which include expected obser...