The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We present an approach for ensuring safety properties of autonomous systems. Our contribution is a system architecture where a policing function validating system safety properties at runtime is separated from the system's intelligent planning function. The policing function is developed formally by a correct-by-construction method. The separation of concerns enables the possibility of replacing and...
In the last years the European Space Agency (ESA) has developed several programs that support the creation of small satellites, called CubeSats, by different universities from within the member states. Because of their limited size, those satellites can pack, at most, very small attitude control devices which can generate only some limited torque. It is thus important for the designers to be able...
The aim of this paper is to present a comparative study of a set of neural network based controlling methods for the pitch angle of an aircraft. The investigated methods can be classified in two categories: the first one is based on direct and inverse offline neural modelling of the process, while the second one is based on the online training of a neural controller and on the online self-tuning of...
This paper treats several aspects of numerical simulations that involve heat transfer mechanisms at microscale. Two different simulation approaches are analyzed and their results are compared with experimental ones. The investigated case study is intended to be used as an example for approaching similar problems in the field of microscale systems, MEMS devices particularly.
The increasing number, complexity, and variability of business rules in today's enterprises introduces the need for their effective and flexible management. In several research fields, such as the semantic web, library science, and data tailoring, effective organization of knowledge is enabled by contexts. We previously proposed a static structure model for context-based business rule management....
With the advantages of small size, light weight and more compact construction, brushless DC motor (BLDCM) has been widely applied to the field of industry. Centrifugal compressor converts the kinetic energy of the air into pressure, and it can be used to provide air to the full cell. The drive and control strategy of BLDCM not only affect the characteristics of centrifugal compressor, but also has...
Load modeling that can accurately represent the dynamic behavior of generators and loads is important in the operation and planning of transmission and distribution systems. Yet, it is a complex subject in power system research communities and electric utilities. The composition of the end-use loads is changing continually based on climate zone, season, and time. The WECC composite load model has...
To solve the problem of multi-UAV collision avoidance, propose the solution framework of multi-UAV collision avoidance based on the reinforcement learning. Firstly, four elements of state space, action space, the environment model and return value in the multi UAV cooperative collision avoidance problem were analyzed in depth. For the environment model, modeling it from two aspects of the UAV dynamic...
Image dehazing can be described as the problem of mapping from a hazy image to a haze-free image. Most approaches to this problem use physical models based on simplifications and priors. In this work we demonstrate that a convolutional neural network with a deep architecture and a large image database is able to learn the entire process of dehazing, without the need to adjust parameters, resulting...
Aircraft flight control systems are complex systems to verify, especially considering the amount of software and hardware involved. One such flight control system is the High Lift System which provides the fundamental aircraft function of increasing wing lift. UTC Aerospace Systems provides complete "stick to surface" High Lift Actuation Systems for large commercial aircraft as well as smaller...
Unmanned Aerial Vehicles (UAVs) are used in all kinds of applications. The utilization of multiple UAVs acting in a cooperative manner within the same operation field is especially interesting. However, many deployment scenarios pose the challenge of continuous applications. UAVs are equipped with a limited battery which enables short term applications. Replacement and recharging maintenance processes...
The dependability analysis is crucial for a wide range of systems. It becomes even more difficult to assess when dealing with cyber-physical systems (CPSs), being resulting as an integration of physical and cyber parts, strongly interacting to provide a service or a function. In this context, the dependability analysis of a Deicing System (DS), which aims at preventing or decreasing the ice accretion...
The following article presents the modeling and control of a refrigeration system for fruit preservation. The mathematical model developed is based on mass balance and energy balance. It has been developed in two blocks: analysis in the refrigeration components and analysis in the conservation chamber. In the refrigeration system the elements have been studied: compressor, condenser, expansion valve,...
The System Wide Information Management (SWIM) is to achieve system-wide interoperability and enable seamless information sharing for global Air Traffic Management (ATM). In this paper, to improve aircraft tracking accuracy, the SWIM concept-oriented information integration based on the Big Data analysis is discussed. By incorporating the trajectory information into the aircraft tracking system, the...
The aim of this research is to assist the consumer to control the air conditioning load during the peak season. Demand side response model was applied to manage inside room temperature to keep comfortable for the consumer. A simulation study is illustrated the effect of demand side response model application for air conditioning in residential house in Makassar city. In this research there are three...
Automatic demand side response is well applied and popularized with the development of active power distribution network technology. In this paper, with the specific condition of urban commercial centers considered, the generalized demand side resources co-optimization is presented here including load side resources and energy storage resources. Firstly, for the normal operation of power systems,...
With the recent emergence of smartphones, cloud computing, and the Internet of Things (IoT), our society has become more dependent on the Internet. In these circumstances, increasing energy consumption in data centers is becoming a crucial problem worldwide and data center managers are required to run them efficiently in terms of energy consumption. This study aims to reduce cooling airflow energy...
In order to optimize aircraft performance and decrease operating and maintenance costs, traditional aircraft is moving towards a more electric aircraft. Moreover, integrated starting/generating system is one of the key components in a more electric aircraft. To determine whether starting/generating system meets the intended requirements, it is necessary to test the system. Herein, this paper is going...
The paper presents a new MPPT method based on Golden-Section Optimization (GSO) technique for photovoltaic systems. The GSO-based MPPT converges to the MPP by interval shrinking. Initially, two points have been selected from the search space that is known, evaluated then a new point is accordingly generated. At given iteration the algorithm has a new narrowed interval bounded by the new point and...
The building sector is considered a major consumer of energy among all economic sectors. It represents approximately 40 percent of energy consumption. An important energy consumer is associated with building heating systems. The main objective of this paper is to use a novel supervisory control strategy based on RBF neural networks architecture to achieve a good temperature regulation in a building...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.