On the Verification of a WiMax Design Using Symbolic Simulation

In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do not change the design functionality. Unfortunately, with computer simulations it is not possible to completely check that a design transformation is correct in a reasonable amount of time, as the number of test patterns required to do so increase exponentially with the number of system state variables. In this paper, we propose a methodology for the verification of conformance of models generated at higher levels of abstraction in the design process to the design specifications. We model the system behavior using sequence of recurrence equations. We then use symbolic simulation together with equivalence checking and property checking techniques for design verification. Using our proposed method, we have verified the equivalence of three WiMax system models at different levels of design abstraction, and the correctness of various system properties on those models. Our symbolic modeling and verification experiments show that the proposed verification methodology provides performance advantage over its numerical counterpart.Comment: In Proceedings SCSS 2012, arXiv:1307.802

EARLY PERFORMANCE PREDICTION METHODOLOGY FOR MANY-CORES ON CHIP BASED APPLICATIONS

Modern high performance computing applications such as personal computing, gaming, numerical simulations require application-specific integrated circuits (ASICs) that comprises of many cores. Performance for these applications depends mainly on latency of interconnects which transfer data between cores that implement applications by distributing tasks. Time-to-market is a critical consideration while designing ASICs for these applications. Therefore, to reduce design cycle time, predicting system performance accurately at an early stage of design is essential. With process technology in nanometer era, physical phenomena such as crosstalk, reflection on the propagating signal have a direct impact on performance. Incorporating these effects provides a better performance estimate at an early stage. This work presents a methodology for better performance prediction at an early stage of design, achieved by mapping system specification to a circuit-level netlist description. At system-level, to simplify description and for efficient simulation, SystemVerilog descriptions are employed. For modeling system performance at this abstraction, queueing theory based bounded queue models are applied. At the circuit level, behavioral Input/Output Buffer Information Specification (IBIS) models can be used for analyzing effects of these physical phenomena on on-chip signal integrity and hence performance. For behavioral circuit-level performance simulation with IBIS models, a netlist must be described consisting of interacting cores and a communication link. Two new netlists, IBIS-ISS and IBIS-AMI-ISS are introduced for this purpose. The cores are represented by a macromodel automatically generated by a developed tool from IBIS models. The generated IBIS models are employed in the new netlists. Early performance prediction methodology maps a system specification to an instance of these netlists to provide a better performance estimate at an early stage of design. The methodology is scalable in nanometer process technology and can be reused in different designs

An integrated methodology to assess the operational and environmental performance of a conceptual regenerative helicopter

This paper aims to present an integrated multidisciplinary simulation framework, deployed for the comprehensive assessment of combined helicopter powerplant systems at mission level. Analytical evaluations of existing and conceptual regenerative engine designs are carried out in terms of operational performance and environmental impact. The proposed methodology comprises a wide-range of individual modeling theories applicable to helicopter flight dynamics, gas turbine engine performance as well as a novel, physics-based, stirred reactor model for the rapid estimation of various helicopter emissions species. The overall methodology has been deployed to conduct a preliminary trade-off study for a reference simple cycle and conceptual regenerative twin-engine light helicopter, modeled after the Airbus Helicopters Bo105 configuration, simulated under the representative mission scenarios. Extensive comparisons are carried out and presented for the aforementioned helicopters at both engine and mission level, along with general flight performance charts including the payload-range diagram. The acquired results from the design trade-off study suggest that the conceptual regenerative helicopter can offer significant improvement in the payload-range capability, while simultaneously maintaining the required airworthiness requirements. Furthermore, it has been quantified through the implementation of a representative case study that, while the regenerative configuration can enhance the mission range and payload capabilities of the helicopter, it may have a detrimental effect on the mission emissions inventory, specifically for NOx (Nitrogen Oxides). This may impose a trade-off between the fuel economy and environmental performance of the helicopter. The proposed methodology can effectively be regarded as an enabling technology for the comprehensive assessment of conventional and conceptual helicopter powerplant systems, in terms of operational performance and environmental impact as well as towards the quantification of their associated trade-offs at mission level. Ali Fakhre, Ioannis Goulos, Vassilios Pachidis School of Engineering, Energy, Power and Propulsion Division, Cranfield University, Cranfield, Bedford, MK43 0AL, UK [email protected] The Aeronautical Journal, 2015, Vol 119, Issue 1211, pp1-24 Published by Cambridge University Press. This is the Author Accepted Manuscript. This article may be used for personal use only. The final published version (version of record) is available online at 10.1017/S0001924000010253. Please refer to any applicable publisher terms of use

Optimal control design for robust fuzzy friction compensation in a robot joint

This paper presents a methodology for the compensation of nonlinear friction in a robot joint structure based on a fuzzy local modeling technique. To enhance the tracking performance of the robot joint, a dynamic model is derived from the local physical properties of friction. The model is the basis of a precompensator taking into account the dynamics of the overall corrected system by means of a minor loop. The proposed structure does not claim to faithfully reproduce complex phenomena driven by friction. However, the linearity of the local models simplifies the design and implementation of the observer, and its estimation capabilities are improved by the nonlinear integral gain. The controller can then be robustly synthesized using linear matrix inequalities to cancel the effects of inexact friction compensation. Experimental tests conducted on a robot joint with a high level of friction demonstrate the effectiveness of the proposed fuzzy observer-based control strategy for tracking system trajectories when operating in zero-velocity regions and during motion reversals

Moving-boundary problems solved by adaptive radial basis functions

The objective of this paper is to present an alternative approach to the conventional level set methods for solving two-dimensional moving-boundary problems known as the passive transport. Moving boundaries are associated with time-dependent problems and the position of the boundaries need to be determined as a function of time and space. The level set method has become an attractive design tool for tracking, modeling and simulating the motion of free boundaries in fluid mechanics, combustion, computer animation and image processing. Recent research on the numerical method has focused on the idea of using a meshless methodology for the numerical solution of partial differential equations. In the present approach, the moving interface is captured by the level set method at all time with the zero contour of a smooth function known as the level set function. A new approach is used to solve a convective transport equation for advancing the level set function in time. This new approach is based on the asymmetric meshless collocation method and the adaptive greedy algorithm for trial subspaces selection. Numerical simulations are performed to verify the accuracy and stability of the new numerical scheme which is then applied to simulate a bubble that is moving, stretching and circulating in an ambient flow to demonstrate the performance of the new meshless approach. (C) 2010 Elsevier Ltd. All rights reserved

A MODEL FOR EVALUATING THE PERFORMANCE OF OPERATIONAL LEVEL INFORMATION HANDLING ACTIVITIES

This paper describes a modeling framework that will allow a manager to simulate and evaluate the performance of alternative designs of an operational level information handling process. Performance is measured in terms of the quality of the OutputS of the process, the total flow time through the process, and the human resource time required to produce an output. The two major design options represented in the model are capabilities of computerized information systems used, and characteristics of quality control mechanisms within the information handling process. Based on the field study, we elaborate on why the problem of designing information flows in an office is difficult and we describe some of the complexities that need to be considered in a performance evaluation model. This paper presents a summary of the methodology for representing an information handling process, and an example of how the methodology can be used to address a design problem at the field site

System-level modeling and thermal simulations of large battery packs for electric trucks

Electromobility has gained significance over recent years and the requirements on the performance and efficiency of electric vehicles are growing. Lithium-ion batteries are the primary source of energy in electric vehicles and their performance is highly dependent on the operating temperature. There is a compelling need to create a robust modeling framework to drive the design of vehicle batteries in the ever-competitive market. This paper presents a system-level modeling methodology for thermal simulations of large battery packs for electric trucks under real-world operating conditions. The battery pack was developed in GT-SUITE, where module-to-module discretization was performed to study the thermal behavior and temperature distribution within the pack. The heat generated from each module was estimated using Bernardi’s expression and the pack model was calibrated for thermal interface material properties under a heat-up test. The model evaluation was performed for four charging/discharging and cooling scenarios typical for truck operations. The results show that the model accurately predicts the average pack temperature, the outlet coolant temperature and the state of charge of the battery pack. The methodology developed can be integrated with the powertrain and passenger cabin cooling systems to study complete vehicle thermal management and/or analyze different battery design choices