System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations

Author(s):  
Muhammad Hassan ◽  
Daniel Große ◽  
Rolf Drechsler
Author(s):  
Jasjit Pawar ◽  
Sean Biggs ◽  
R. P. Jones

Vehicle driveability is increasingly used as a key measure in media evaluations, and is refined aggressively to differentiate and position the product within its market segment. This is a highly complex system level issue, and encompasses the non-linear interactions between the driveline, suspension and powerunit mounting hardware. The driveability character of the vehicle has typically been tuned through calibration in the later stages of development. Through the use of physical prototypes, such activities have typically been performed on the basis of subjective assessments, to achieve a balanced compromise with other vehicle attributes such as ride, handling and refinement. This paper introduces a model-based approach to facilitate design and detailed analysis early in the product development process, thereby reducing reliance on physical prototypes and the need to implement late design changes. A detailed non-linear mathematical model has therefore been developed in order to characterise the low frequency, longitudinal behaviour of a prototype, four-wheel drive vehicle both in the time and frequency domains. In conjunction with full vehicle test measurements, the analytical model has been validated and then used to investigate a low frequency, fore-aft vehicle oscillation issue that was identified specifically during part throttle pullaway events in cold climate testing.


2011 ◽  
Vol 255-260 ◽  
pp. 2220-2223
Author(s):  
Peng Liu

A new congestion control algorithm of code division multiple access (CDMA) is developed to reduce the cost of system. Firstly,the paper defines the utility function of resource throughout,and then set up the mathematics model according to the wireless resource characteristic. In the approach only the non-linear compensating term, solution of a sequence of adjoint vector differential equations, is required iteration. By taking the finite iteration of non-linear compensating term of optimal solution sequence, a suboptimal congestion control algorithm of CDMA can be obtained. It is proved by analysis in theory and system level simulation that the congestion control algorithm can enlarge system throughput while controlling system load.


2018 ◽  
Vol 80 ◽  
pp. 223-229 ◽  
Author(s):  
Mirko Bernardoni ◽  
Nicola Delmonte ◽  
Diego Chiozzi ◽  
Paolo Cova

2021 ◽  
Vol 15 ◽  
Author(s):  
Stefano Brivio ◽  
Denys R. B. Ly ◽  
Elisa Vianello ◽  
Sabina Spiga

Spiking neural networks (SNNs) are a computational tool in which the information is coded into spikes, as in some parts of the brain, differently from conventional neural networks (NNs) that compute over real-numbers. Therefore, SNNs can implement intelligent information extraction in real-time at the edge of data acquisition and correspond to a complementary solution to conventional NNs working for cloud-computing. Both NN classes face hardware constraints due to limited computing parallelism and separation of logic and memory. Emerging memory devices, like resistive switching memories, phase change memories, or memristive devices in general are strong candidates to remove these hurdles for NN applications. The well-established training procedures of conventional NNs helped in defining the desiderata for memristive device dynamics implementing synaptic units. The generally agreed requirements are a linear evolution of memristive conductance upon stimulation with train of identical pulses and a symmetric conductance change for conductance increase and decrease. Conversely, little work has been done to understand the main properties of memristive devices supporting efficient SNN operation. The reason lies in the lack of a background theory for their training. As a consequence, requirements for NNs have been taken as a reference to develop memristive devices for SNNs. In the present work, we show that, for efficient CMOS/memristive SNNs, the requirements for synaptic memristive dynamics are very different from the needs of a conventional NN. System-level simulations of a SNN trained to classify hand-written digit images through a spike timing dependent plasticity protocol are performed considering various linear and non-linear plausible synaptic memristive dynamics. We consider memristive dynamics bounded by artificial hard conductance values and limited by the natural dynamics evolution toward asymptotic values (soft-boundaries). We quantitatively analyze the impact of resolution and non-linearity properties of the synapses on the network training and classification performance. Finally, we demonstrate that the non-linear synapses with hard boundary values enable higher classification performance and realize the best trade-off between classification accuracy and required training time. With reference to the obtained results, we discuss how memristive devices with non-linear dynamics constitute a technologically convenient solution for the development of on-line SNN training.


Author(s):  
Khrisna Ariyanto Manuhutu ◽  
Ariane von Raesfeld ◽  
Peter Geurts

In response to uncertainty of prospective technologies and how they might fit market demand, firms tend to establish R&D alliances. In this chapter the effect over time of continuation of underperforming R&D alliances on innovation performance during the pre-market stage is investigated. This stage is characterized by non-linearity, as expected outcomes and market demands are uncertain. Literature suggests that computational modeling in particular agent-based modeling can be used to investigate such non-linear processes. Agent based modeling starts with simple behavioral rules that develop into emergent system-level behaviors, and in that way controlled system level experiments are used to identify in an inductive way causal mechanisms that drive the system development. In this chapter's simulation model, an agent decides to continue its R&D alliance based on its strategic and cooperation objectives. After evaluating if the strategic goals is met, firms can decide about the extent to which to continue the R&D alliances if the strategic goal is not met. This is called persistency. The model is aimed to explain developmental paths and patterns of the co-evolution of alliances and technology. Despite suggestions to investigate non-linear processes in the pre-market phase by using an agent-based model, agent-based models so far do not focus on the impact of alliance continuation on innovation performance over the path of technology development. In previous research these paths mainly have been investigated in case and cross sectional studies but not in an agent based model. A base-line model is developed and the extent to which it reflects reality is analyzed in order to improve the model's performance.


Sign in / Sign up

Export Citation Format

Share Document