smart home is composed of several controllers with different plants in control. if each controller works independently, without considering the mutual effect of the others in the control process, the whole system could definitely not converge to an optimum desired status and may not ever reach the demanded condition. the function of different controller system may has conflict in some condition...

in this study a machine learning algorithm was applied in order to develop a predictive model for the changes in phytoplankton biomass (chlorophyll a) in the lower nakdong river, south korea. we used a “hybrid evolutionary algorithm (hea)” which generated model consists of three functions ‘if-thenelse’ on the basis of a 15-year, weekly monitored ecological database. we used the average ...

this paper proposes an optimal power flow (opf) algorithm by direct load control (dlc) programs to optimize the operational cost of smart grids considering various scenarios based on different constraints. the cost function includes active power production cost of available power sources and a novel flexible load curtailment cost associated with dlc programs. the load curtailment cost is based ...

Feedback flow control, in conjunction with limited buffering in the network, inevitably leads to packet loss. Effective congestion control requires not only effective flow control but also a good retransmission strategy. We present a new retransmission strategy called SMART that combines the best features of the traditional go-back-n and selective-retransmit strategies. We show, first, that go-...

Java Card is a variant of Java designed for use in smart cards and other systems with limited resources. Applets running on a smart card are protected from each other by the applet firewall, allowing communication only through shared objects. Security can be breached if a reference to a shared object is leaked to a hostile applet. In this paper we develop a Control Flow Analysis for a small lan...

This research started on May, 1999 at the committee of turbulent combustion in the Open and Integrated Research Program (OIRP), The Science and Technology Agency (STA). The purpose of the research is to pursue a possibility on smart control of turbulent combustion and to achieve the improvement of combustion efficiency, that on environment and so on. The present feasibility study shows the foll...

Recent developments around the Smart Grid promise more efficient power generation and distribution. In contrast to the current design of the electricity grid, the Smart Grid is heavily based on IT for managing communication flows. Given the large number of market participants, data exchanged should be marked up in a way that facilitates flexible modelling, extension and integration. In addition...

This paper deals with the compositional verification of sequential programs. This consists in deciding whether or not a given set of local structural properties of the functions of a program implies a given global behavioural property of the program. Here we consider properties expressed in monadic second-order logic dealing with the control flow of the program and the function calls occuring d...