time–area method is one of the most widely applied techniques of watershed routing, and can be potentially used as a distributed model. in this paper, a fundamental flaw in the arrangement of subareas in the original time-area histogram is identified for one-dimensional flow. this is conducted on the basis of comparing time-area hydrograph with that of the kinematic wave theorem. accordingly, a...

This paper provides a method for generating a proof tree from an instance and a general logic program viz one which includes negative literals The method di ers from previous work in the eld in that negative literals are rst unfolded and then transformed using De Morgan s laws so that the tree explicitly includes negative rules The method is applied to a real world example a large executable sp...

In this article, an optimal control problem subject to a semilinear elliptic equation and mixed control-state constraints is investigated. The problem data depends on certain parameters. Under an assumption of seperation of the active sets and a second-order sufficient optimality condition, Bouliganddifferentiability (B-differentiability) of the solutions with respect to the parameter is establ...

Programmability and virtualization have both become the trends of next generation networks. ForCES (Forwarding and Control Element Seperation) is a new programmable framework for network element. We introduce virtualization into ForCES, propose a method of ForCES virtualization, design its framework, implement a prototype system named vForTER, and test its performance in different scenarios. Te...

Industrial growth has accelerated the emission of various oily water from the sources such as petrochemical and metallurgical industries,transportation, & domestic sewage which contains 70% free oil,25% emulsified, 5% soluble oil. The Present work was inspired by a small note published in science reporter.Keeping the concept in mind , the subject is explored further and its application in the f...