in this paper, the application of neural networks for simulation and optimization of the cogeneration systems has been presented. cgam problem, a benchmark in cogeneration systems, is chosen as a casestudy. thermodynamic model includes precise modeling of the whole plant. for simulation of the steadysate behavior, the static neural network is applied. then using dynamic neural network, plant is...

Our work is in the area of automated verification of software properties in modern programing languages. We present three papers related to various aspects of our research field: a modular pointer and effect analysis for object oriented programs, a precise and efficient typestate analysis, and a precise, parametric array content analysis. We discuss their contributions as well as their shortcom...

Presents article is deal with optimization of the fixture for end milling process, the most important objective being the minimization of work piece deformation by changing the layout of fixture elements and the clamping forces. The main objective of this work has been the optimization of the fixtures Work piece deformation subjected to clamping forces for End milling operation. The present ana...

Using a model-based optimization, a neural network model is used to compute the optimal values of gas injection rate and oil rate of a gas lift production system. Two cases are analyzed: a) A single well production system and b) A production system composed by two gas lifted wells. For both cases minimizing the objective function of the proposed strategy shows the ability of the neural networks...

The Remez penalty and smoothing algorithm (RPSALG) is a unified framework for penalty and smoothing methods for solving min-max convex semiinfinite programing problems, whose convergence was analyzed in a previous paper of three of the authors. In this paper we consider a partial implementation of RPSALG for solving ordinary convex semi-infinite programming problems. Each iteration of RPSALG in...

This paper introduces the idea of using mechanical steering compensators to improve the dynamic behavior of high-performance motorcycles. These compensators are seen as possible replacements for a conventional steering damper and comprise networks of springs, dampers, and a less familiar component called the inerter. The inerter was recently introduced to allow the synthesis of arbitrary passiv...

this study concerns the scope to improve water flooding in heterogeneous reservoirs. we used an existing, in-house developed, optimization program consisting of a reservoir simulator in combination with an adjoint-based optimal control algorithm. in particular we aimed to examine the scope for optimization in a two-dimensional horizontal reservoir containing a single high permeable streak, as a...

Welcome to the rst functional programming column! Functional programmers and formal methoders have much to say to each other, and this column is intended to further such communication. Functional programming supports formal methods. A large number of proof systems and other formal methods packages have been implemented in functional languages. ML, the doyen of functional languages, takes its na...

in this paper, the energy efficient resource allocation in noma-based heterogeneous cellular network(hcn) systems is investigated. since energy consumption and its limitations is one of the important challenges in fifth generation of cellular networks (5g), we propose a resource allocation problem which allocates power and subcarriers to multiple users to achieve the best system energy efficien...