a computational optimization was performed for a direct-injection diesel engine using three-dimensional modeling. fully transient cfd analyses of different valve profile strategies for the intake and compression strokes were performed to evaluate the effects on both engine performance and in-cylinder flow-field evolution. the turbulence model was used along with the second order linear upwind s...

a watershed management program is usually based on the results of watershed modeling. accurate modeling results are decided by the appropriate parameters and input data. precipitation is the most important input for watershed modeling. precipitation characteristics usually exhibit significant spatial variation, even within small watersheds. therefore, properly describing the spatial variation o...

Instruction dependency introduced by conditional branch instructions, which is resolved only at run-time, can have severe performance impact on pipelined machines. A variety of strategies are in wide use to minimize this impact. Additional instruction-traffic generated by these branch-strategies can also have an adverse effect on the system performance. Therefore, in addition to the likely redu...

As IC technologies scale to finer feature sizes, it becomes increasingly difficult to control the relative process variations. The increasing fluctuations in manufacturing processes have introduced unavoidable and significant uncertainty in circuit performance; hence ensuring manufacturability has been identified as one of the top priorities of today’s IC design problems. In this paper, we revi...

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...

This paper surveys the most recent advances in the context of decision making under uncertainty, with an emphasis on the modeling of risk-averse preferences using the apparatus of axiomatically defined risk functionals, such as coherent measures of risk and deviation measures, and their connection to utility theory, stochastic dominance, and other more established methods. © 2010 Elsevier Ltd. ...

The operation of dynamic processes can be optimized using models that predict the system behavior well, in particular its optimality features. In practice, however, process models are often structurally inaccurate, and on-line adaptation is typically required for appropriate prediction and optimization. Furthermore, it is difficult to identify process model parameters on-line during optimizatio...

Watermarking algorithms provide a way of hiding or embedding some bits of information in a watermark. In the case of watermarking a 3D model, many algorithms employ a so-called indexed localization scheme. In this paper, we propose an optimization framework with two new steps for such watermarking algorithms to improve their capacity and invisibility. The first step is to find an optimal layout...