in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

with rapid economic development and industrialization, the construction industry continues to rank among the most hazardous industries in the world. therefore, construction safety is always a significant concern for both practitioners and researchers. the objective of this study was to create a structural modeling of components that influence the safety performance in construction projects.we f...

background and objectives: operating room (or) scheduling is key to optimal operating room productivity. the significant uncertainty associated with surgery duration renders scheduling of surgical operation a challenging task. this paper proposes a novel computational stochastic model to optimize scheduling of surgeries with uncertain durations. the model considers various surgical operation co...

this paper attempts to compare the forecasting performance of the arima model and hybrid arma-garch models by using daily data of the iran’s exchange rate against the u.s. dollar (irr/usd) for the period of 20 march 2014 to 20 june 2015. the period of 20 march 2014 to 19 april 2015 was used to build the model while remaining data were used to do out of sample forecasting and check the forecasti...

in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...

This study aims to verify the impacts of flexible manufacturing capabilities and logistics capabilities, with mass customization as a dual mediator, on the performances of Taiwan photoelectric companies. Respondents are from department supervisors and managers. Structural equation modeling (SEM) is used to fit the overall pattern of the structural model and measurement mode in this study and fo...

design models of multi- stage, axial flow compressor are developed for gas turbine engines. axial flow compressor is one of the most important parts of gas turbine units. therefore, its design and performance prediction are very important. one-dimensional modeling is a simple, fast and accurate method for performance prediction of any type of compressors with different geometries. in this appro...

Each organization exists for the achievement of certain goals. To ensure continued success, the organization should monitor its performance w.r.t. these goals. Performance is often evaluated by estimating performance indicators (PIs). In most existing organization modeling approaches the relation between PIs and goals is implicit. This paper proposes a formal approach for modeling goals based o...