167 research outputs found

    Schedulability, Response Time Analysis and New Models of P-FRP Systems

    Get PDF
    Functional Reactive Programming (FRP) is a declarative approach for modeling and building reactive systems. FRP has been shown to be an expressive formalism for building applications of computer graphics, computer vision, robotics, etc. Priority-based FRP (P-FRP) is a formalism that allows preemption of executing programs and guarantees real-time response. Since functional programs cannot maintain state and mutable data, changes made by programs that are preempted have to be rolled back. Hence in P-FRP, a higher priority task can preempt the execution of a lower priority task, but the preempted lower priority task will have to restart after the higher priority task has completed execution. This execution paradigm is called Abort-and-Restart (AR). Current real-time research is focused on preemptive of non-preemptive models of execution and several state-of-the-art methods have been developed to analyze the real-time guarantees of these models. Unfortunately, due to its transactional nature where preempted tasks are aborted and have to restart, the execution semantics of P-FRP does not fit into the standard definitions of preemptive or non-preemptive execution, and the research on the standard preemptive and non-preemptive may not applicable for the P-FRP AR model. Out of many research areas that P-FRP may demands, we focus on task scheduling which includes task and system modeling, priority assignment, schedulability analysis, response time analysis, improved P-FRP AR models, algorithms and corresponding software. In this work, we review existing results on P-FRP task scheduling and then present our research contributions: (1) a tighter feasibility test interval regarding the task release offsets as well as a linked list based algorithm and implementation for scheduling simulation; (2) P-FRP with software transactional memory-lazy conflict detection (STM-LCD); (3) a non-work-conserving scheduling model called Deferred Start; (4) a multi-mode P-FRP task model; (5) SimSo-PFRP, the P-FRP extension of SimSo - a SimPy-based, highly extensible and user friendly task generator and task scheduling simulator.Computer Science, Department o

    Dynamic bandwidth allocation in ATM networks

    Get PDF
    Includes bibliographical references.This thesis investigates bandwidth allocation methodologies to transport new emerging bursty traffic types in ATM networks. However, existing ATM traffic management solutions are not readily able to handle the inevitable problem of congestion as result of the bursty traffic from the new emerging services. This research basically addresses bandwidth allocation issues for bursty traffic by proposing and exploring the concept of dynamic bandwidth allocation and comparing it to the traditional static bandwidth allocation schemes

    Energy Technology and Management

    Get PDF
    The civilization of present age is predominantly dependent on energy resources and their utilization. Almost every human activity in today's life needs one or other form of energy. As world's energy resources are not unlimited, it is extremely important to use energy efficiently. Both energy related technological issues and policy and planning paradigms are highly needed to effectively exploit and utilize energy resources. This book covers topics, ranging from technology to policy, relevant to efficient energy utilization. Those academic and practitioners who have background knowledge of energy issues can take benefit from this book

    Feasibility study for a numerical aerodynamic simulation facility. Volume 1

    Get PDF
    A Numerical Aerodynamic Simulation Facility (NASF) was designed for the simulation of fluid flow around three-dimensional bodies, both in wind tunnel environments and in free space. The application of numerical simulation to this field of endeavor promised to yield economies in aerodynamic and aircraft body designs. A model for a NASF/FMP (Flow Model Processor) ensemble using a possible approach to meeting NASF goals is presented. The computer hardware and software are presented, along with the entire design and performance analysis and evaluation

    Using GRASP and GA to design resilient and cost-effective IP/MPLS networks

    Get PDF
    The main objective of this thesis is to find good quality solutions for representative instances of the problem of designing a resilient and low cost IP/MPLS network, to be deployed over an existing optical transport network. This research is motivated by two complementary real-world application cases, which comprise the most important commercial and academic networks of Uruguay. To achieve this goal, we performed an exhaustive analysis of existing models and technologies. From all of them we took elements that were contrasted with the particular requirements of our counterparts. We highlight among these requirements, the need of getting solutions transparently implementable over a heterogeneous network environment, which limit us to use widely standardized features of related technologies. We decided to create new models more suitable to fit these needs. These models are intrinsically hard to solve (NP-Hard). Thus we developed metaheuristic based algorithms to find solutions to these real-world instances. Evolutionary Algorithms and Greedy Randomized Adaptive Search Procedures obtained the best results. As it usually happens, real-world planning problems are surrounded by uncertainty. Therefore, we have worked closely with our counterparts to reduce the fuzziness upon data to a set of representative cases. They were combined with different strategies of design to get to scenarios, which were translated into instances of these problems. Finally, the algorithms were fed with this information, and from their outcome we derived our results and conclusions

    Optimal Operation of Energy Hubs in the Context of Smart Grids

    Get PDF
    With the rapid growth of energy demand and consequently growth in supply, increasing energy costs, and environmental concerns, there is a critical need to find new ways to make better use of existing energy systems and resources and decelerate the demand growth towards a sustainable energy system. All of these facts are leading to the proposal of novel approaches to optimize the utilization of energy in different sectors to reduce the customer's total energy costs, demand and greenhouse gas (GHG) emissions while taking into account the end-user preferences. Utilities have implemented Demand Side Management (DSM) and Demand Response (DR) programs to better manage their network, offer better services to their customers, handle the increase in electricity demand, and at the same time increase system reliability and reduce environmental impacts. Smart Grid developments such as information technology, communication infrastructure and smart meters improve the effectiveness and capability of Energy Management Systems (EMSs) and facilitate the development of automated operational decision-making structures for energy systems, thus assisting DSM and DR programs to reach their full potential. The literature review indicates that whereas significant work has been done in DSM and DR in utilities, these works have mostly focused on direct load control of particular loads, and there is a lack of a general framework to consider all types of energy hubs in an integrated Energy Hub Management System (EHMS). In this context, mathematical modeling of energy systems for EMSs, which is the main concern of the present work, plays a critical role. This research proposes mathematical optimization models of energy hubs which can be readily incorporated into EHMS in the context of Smart Grids. The energy hub could be a single or multi-carrier energy system in residential, commercial, agricultural and/or industrial sectors. Therefore, mathematical models for energy hubs in residential, commercial, and agricultural sectors have been developed and are presented and discussed in this thesis. In the residential sector, this research presents mathematical optimization models of residential energy hubs which can be readily incorporated into automated decision making technologies in Smart Grids, and can be solved efficiently in a real-time frame to optimally control all major residential energy loads, storage and production components while properly considering the customer preferences and comfort levels. Mathematical models for major household demand, i.e., fridge, freezer, dishwasher, washer and dryer, stove, water heater, hot tub, and pool pumps, are formulated. Also, mathematical models of other components of a residential energy system including lighting, heating, and air-conditioning are developed, and generic models for solar PV panels and energy storage/generation devices are proposed. The developed mathematical models result in a Mixed Integer Linear Programming (MILP) optimization problem, whose objective is to minimize demand, total costs of electricity and gas, emissions and peak load over the scheduling horizon while considering end-user preferences. The application of this model to a real household are shown to result in savings of up to 20% on energy costs and 50% on peak demand, while maintaining the household owner's desired comfort levels. In the commercial sector, mathematical optimization models of produce storage facilities to optimize the operation of their energy systems are proposed. In the storage facilities, climate control of the storage rooms consumes considerable energy; thus, a mathematical model of storage facilities appropriate for their optimal operation is developed, so that it can be implemented as a supervisory control in existing climate controllers. The proposed model incorporates weather forecasts, electricity price information, and the end-user preferences to optimally operate existing climate control systems in storage facilities. The objective is to minimize total energy costs and demand charges while considering important parameters of storage facilities; in particular, inside temperature and humidity should be kept within acceptable ranges. Effects of uncertainty in electricity price and weather forecast on optimal operation of the storage facilities are studied via Monte-Carlo simulations. The presented simulation results show the effectiveness of the proposed model to reduce total energy costs while maintaining required operational constraints. In the agricultural sector, this work presents mathematical optimization models of greenhouses to optimize the operation of their energy systems. In greenhouses, artificial lighting, CO2 production, and climate control consume considerable energy; thus, a mathematical model of greenhouses appropriate for their optimal operation is developed, so that it can be implemented as a supervisory control in existing greenhouse controllers. The proposed model incorporates weather forecasts, electricity price information, and the end-user preferences to optimally operate existing control systems in greenhouses. The objective is to minimize total energy costs and demand charges while considering important parameters of greenhouses; in particular, inside temperature and humidity, CO2 concentration, and lighting levels should be kept within acceptable ranges. Effects of uncertainty in electricity price and weather forecast on optimal operation of the storage facilities are studied via Monte-Carlo simulations and robust optimization approach. The presented simulation results show the effectiveness of the proposed model to reduce total energy costs while maintaining required operational constraints

    Experimental Investigations on Machining of CFRP Composites: Study of Parametric Influence and Machining Performance Optimization

    Get PDF
    Carbon Fiber Reinforced Polymer (CFRP) composites are characterized by their excellent mechanical properties (high specific strength and stiffness, light weight, high damping capacity etc.) as compared to conventional metals, which results in their increased utilization especially for aircraft and aerospace applications, automotive, defense as well as sporting industries. With increasing applications of CFRP composites, determining economical techniques of production is very important. However, as compared to conventional metals, machining behavior of composites is somewhat different. This is mainly because these materials behave extremely abrasive during machining operations. Machining of CFRP appears difficult due to their material discontinuity, inhomogeneity and anisotropic nature. Moreover, the machining behavior of composites largely depends on the fiber form, the fiber content, fiber orientations of composites and the variability of matrix material. Difficulties are faced during machining of composites due to occurrence of various modes of damages like fiber breakage, matrix cracking, fiber–matrix debonding and delamination. Hence, adequate knowledge and in-depth understanding of the process behavior is indeed necessary to identify the most favorable machining environment in view of various requirements of process performance yields. In this context, present work attempts to investigate aspects of machining performance optimization during machining (turning and drilling) of CFRP composites. In case of turning experiments, the following parameters viz. cutting force, Material Removal Rate (MRR), roughness average (Ra) and maximum tool-tip temperature generated during machining have been considered as process output responses. In case of drilling, the following process performance features viz. load (thrust), torque, roughness average (of the drilled hole) and delamination factor (entry and exit both) have been considered. Attempt has been made to determine the optimal machining parameters setting that can simultaneously satisfy aforesaid response features up to the desired extent. Using Fuzzy Inference System (FIS), multiple response features have been aggregated to obtain an equivalent single performance index called Multi-Performance Characteristic Index (MPCI). A nonlinear regression model has been established in which MPCI has been represented as a function of the machining parameters under consideration. The aforesaid regression model has been considered as the fitness function, and finally optimized by evolutionary algorithms like Harmony Search (HS), Teaching-Learning Based Optimization (TLBO), and Imperialist Competitive Algorithm (ICA) etc. However, the limitation of these algorithms is that they assume a continuous search within parametric domain. These algorithms can give global optima; but the predicted optimal setting may not be possible to adjust in the machine/setup. Since, in most of the machines/setups, provision is given only to adjust factors (process input parameters) at some discrete levels. On the contrary, Taguchi method is based on discrete search philosophy in which predicted optimal setting can easily be achieved in reality.However, Taguchi method fails to solve multi-response optimization problems. Another important aspect that comes into picture while dealing with multi-response optimization problems is the existence of response correlation. Existing Taguchi based integrated optimization approaches (grey-Taguchi, utility-Taguchi, desirability function based Taguchi, TOPSIS, MOORA etc.) may provide erroneous outcome unless response correlation is eliminated. To get rid of that, the present work proposes a PCA-FuzzyTaguchi integrated optimization approach for correlated multi-response optimization in the context of machining CFRP composites. Application potential of aforementioned approach has been compared over various evolutionary algorithms

    Some aspects of traffic control and performance evaluation of ATM networks

    Get PDF
    The emerging high-speed Asynchronous Transfer Mode (ATM) networks are expected to integrate through statistical multiplexing large numbers of traffic sources having a broad range of statistical characteristics and different Quality of Service (QOS) requirements. To achieve high utilisation of network resources while maintaining the QOS, efficient traffic management strategies have to be developed. This thesis considers the problem of traffic control for ATM networks. The thesis studies the application of neural networks to various ATM traffic control issues such as feedback congestion control, traffic characterization, bandwidth estimation, and Call Admission Control (CAC). A novel adaptive congestion control approach based on a neural network that uses reinforcement learning is developed. It is shown that the neural controller is very effective in providing general QOS control. A Finite Impulse Response (FIR) neural network is proposed to adaptively predict the traffic arrival process by learning the relationship between the past and future traffic variations. On the basis of this prediction, a feedback flow control scheme at input access nodes of the network is presented. Simulation results demonstrate significant performance improvement over conventional control mechanisms. In addition, an accurate yet computationally efficient approach to effective bandwidth estimation for multiplexed connections is investigated. In this method, a feed forward neural network is employed to model the nonlinear relationship between the effective bandwidth and the traffic situations and a QOS measure. Applications of this approach to admission control, bandwidth allocation and dynamic routing are also discussed. A detailed investigation has indicated that CAC schemes based on effective bandwidth approximation can be very conservative and prevent optimal use of network resources. A modified effective bandwidth CAC approach is therefore proposed to overcome the drawback of conventional methods. Considering statistical multiplexing between traffic sources, we directly calculate the effective bandwidth of the aggregate traffic which is modelled by a two-state Markov modulated Poisson process via matching four important statistics. We use the theory of large deviations to provide a unified description of effective bandwidths for various traffic sources and the associated ATM multiplexer queueing performance approximations, illustrating their strengths and limitations. In addition, a more accurate estimation method for ATM QOS parameters based on the Bahadur-Rao theorem is proposed, which is a refinement of the original effective bandwidth approximation and can lead to higher link utilisation
    corecore