This paper presents a new method to solve unit commitment problem with operating constraints using a hybrid ant system/priority list method (HASP). The proposed methodology employs ant system in cooperating with the p...
详细信息
This paper presents a new method to solve unit commitment problem with operating constraints using a hybrid ant system/priority list method (HASP). The proposed methodology employs ant system in cooperating with the priority list method to find unit commitment solution as means of mutually combining the advantages of them in that a flexibility of the priority list method is reinforced, while AS algorithm can gain the benefit of using bias information for improving its performance during search process. The simulation results show that the proposed HASP is capable of obtaining satisfactory solution within reasonable computational time.
Existence of software platform, which will allow us to monitor the patients' bio-parameters and provide us with services which help with full health care, is more than relevant these days. The aim of our project i...
详细信息
Existence of software platform, which will allow us to monitor the patients' bio-parameters and provide us with services which help with full health care, is more than relevant these days. The aim of our project is to provide solution which can be used in different spheres of health care and which will be available through PDA (Personal Digital Assistant), web or desktop clients. Practically developing system works with an ECG sensor connected to mobile equipment, such as PDA/Embedded, based on Microsoft Windows Mobile operating system. The whole system is based on the architecture of .NET Compact Framework, and SQL Server. The project was tested in real environment in cryogenic room (-136degC).
This paper describes experience with creation and using multimedia for education support of Biomedical engineering. In this paper the methodology of creation multimedia education materials from begining to final distr...
详细信息
This paper describes experience with creation and using multimedia for education support of Biomedical engineering. In this paper the methodology of creation multimedia education materials from begining to final distribution is described. Also created multimedia titules and education programs made in cooperation with University Hospital Ostrava and other specialized workplaces are presented.
A model of the switched fuzzy systems whose subsystems are fuzzy systems is presented first. Then the problem of state feedback robust H8 control of this class of systems is solved using switching technique and single...
详细信息
State tree structures (STS) are an adaptation of statecharts to supervisory control theory. STSLib is a C++ library that we have developed to support the symbolic analysis and synthesis of STS. This paper presents a s...
详细信息
State tree structures (STS) are an adaptation of statecharts to supervisory control theory. STSLib is a C++ library that we have developed to support the symbolic analysis and synthesis of STS. This paper presents a short introduction to the library, and then applies the library to two benchmarks: (1) cat and mouse tower (CMT), (2) dining philosophers (DP). We demonstrate that STSLib can design optimal nonblocking supervisors for systems of state size up to 10 626 , and the resulting controllers are tractable and readily comprehensible.
This paper compares task jitter measurement performed under RTLinux and RTX hard real-time operating systems. Both the operating environments represent hardware abstraction layer extensions to general-purpose operatin...
详细信息
This paper compares task jitter measurement performed under RTLinux and RTX hard real-time operating systems. Both the operating environments represent hardware abstraction layer extensions to general-purpose operating systems, and make possible to create a real-time system according to the POSIX 1003.13 PSE 54 profile (multipurpose system). The paper is focused on discussion of experimental results, obtained on PC hardware, and their interpretation.
M-learning, as the ldquoportable and personalrdquo fashion of e-learning, is enhancing the efficiency and effectiveness of learning in the context of handheld terminals. Mobile intelligent tutoring systems are a parti...
详细信息
M-learning, as the ldquoportable and personalrdquo fashion of e-learning, is enhancing the efficiency and effectiveness of learning in the context of handheld terminals. Mobile intelligent tutoring systems are a particular kind of m-learning systems which base their work on simulation of a human teacher in the learning and teaching process. The systems should be able to provide intelligent support to the learners as well as adapt to different networks and mobile devices. Consequently this implies the use of an agent-based solution as architectural basis. The immediate problem is the lack of agent-based software development methodologies as well as common scenarios and templates for building multi-agent systems. This paper presents an analysis of an agent-based m-learning system. The purpose of the paper is to provide a roadmap for designers of m-learning systems based on agent technology.
This paper studies the time-delay effect on the equivalent control based sliding mode control. Conditions to guarantee the boundedness of the control system steady states under the time delayed equivalent control base...
详细信息
This paper studies the time-delay effect on the equivalent control based sliding mode control. Conditions to guarantee the boundedness of the control system steady states under the time delayed equivalent control based sliding mode control are obtained. Maximum upper bound of the delay time to guarantee boundedness is estimated. Simulations are conducted to verify the theoretical results.
This paper presents stability analysis of the time-delayed equivalent control based single input sliding mode control systems using an LMI approach. Conditions to guarantee the boundedness of the control system trajec...
详细信息
This paper presents stability analysis of the time-delayed equivalent control based single input sliding mode control systems using an LMI approach. Conditions to guarantee the boundedness of the control system trajectories under the time-delayed equivalent control based sliding mode control are obtained. Maximum upper bound of the delay time to guarantee stability is estimated. Digital simulations are conducted to verify the theoretical results.
This paper deals with approximate value iteration (AVI) algorithms applied to discounted dynamic (DP) programming problems. The so-called Bellman residual is shown to be convex in the Banach space of candidate solutio...
详细信息
This paper deals with approximate value iteration (AVI) algorithms applied to discounted dynamic (DP) programming problems. The so-called Bellman residual is shown to be convex in the Banach space of candidate solutions to the DP problem. This fact motivates the introduction of an AVI algorithm with local search that seeks an approximate solution in a lower dimensional space called approximation architecture. The optimality of a point in the approximation architecture is characterized by means of convex optimization concepts and necessary and sufficient conditions to global optimality are derived. To illustrate the method, two examples are presented which were previously explored in the literature.
暂无评论