Timing analysis plays an important role in embedded real-time system design. And the cache hit/miss behavior analysis is a key problem in timing analysis, especially difficult in the sharing caches among multiple core...
详细信息
ISBN:
(纸本)9781538626672
Timing analysis plays an important role in embedded real-time system design. And the cache hit/miss behavior analysis is a key problem in timing analysis, especially difficult in the sharing caches among multiple cores. The combination of Abstraction Interpretation (AI) and Satisfiability Modulo Theories (SMT) methods are used in timing analysis. SMT based on the rigorous first-order logic has both computational and analytical capabilities, thus the usage of SMT in timing analysis can more effectively relieve the pressure of AI. However, the existing methods do not solve the problem of behavior analysis of shared instruction caches, and do not complete the computation of upper bounds on the execution time of tasks. In this paper, we adopt AI to complete the refined hit/miss classification of instructions accessing the shared instruction cache, employ SMT to complete the difficult work of behavior analysis of shared instruction cache, and explore an iteration optimizationalgorithm of logarithmic order to compute the results. From the experiments, our approach can accurately predict the upper bounds on the execution time.
This paper presents the key issues for high precision pointing system using Risley prism. An iterative optimization algorithm is proposed to solve the inverse problem of Risley Prism and anti-achromatic Risley Prism. ...
详细信息
ISBN:
(纸本)9781628413229
This paper presents the key issues for high precision pointing system using Risley prism. An iterative optimization algorithm is proposed to solve the inverse problem of Risley Prism and anti-achromatic Risley Prism. Different error sources, particularly Risley prism's rotation errors and rotation axis jitters are considered. Error propagation formula between pointing accuracy and rotation position is deduced. Finally, a beam steering simulation system including target position creating module, Risley Prism inverse solution module, Risley Prism rotation control module and beam pointing module is established. The simulation results show that it can achieve better than 1 arcsec pointing accuracy.
This paper investigates the robust cognitive joint design of transmit waveform and receive filter to improve the system performance of airborne multiple-input multiple-output (MIMO) radar. Considering the target Doppl...
详细信息
This paper investigates the robust cognitive joint design of transmit waveform and receive filter to improve the system performance of airborne multiple-input multiple-output (MIMO) radar. Considering the target Doppler frequency and spatial cone angle uncertainties are present, we formulate the averaged signal-to-clutter-plus-noise ratio (SCNR) as the optimization goal. Specifically, the averaged SCNR is maximized under only constant modulus constraint and that under constant modulus and similarity constraints. Four iterative optimization algorithms are developed to deal with the joint design problem. The first kind of iterative optimization algorithm is based on semidefinite programming (SDP) relaxation and randomization or rank-one decomposition techniques. The second kind of computational efficient iterative optimization algorithm utilizes the fractional programming and power method-like iteration. The proposed algorithms can achieve a monotonic output SCNR enhancement and are robust against the inaccuracies of target parameters. Several simulations results are implemented to validate the superiority of the proposed algorithms considering the output SCNR, space-time beampattern and computational complexity. (C) 2020 Elsevier Inc. All rights reserved.
The introduction of device-to-device (D2D) into cellular networks poses many new challenges in the resource allocation design due to the co-channel interference caused by spectrum reuse and limited battery life of use...
详细信息
ISBN:
(纸本)9781479935130
The introduction of device-to-device (D2D) into cellular networks poses many new challenges in the resource allocation design due to the co-channel interference caused by spectrum reuse and limited battery life of user equipments (UEs). In this paper, we propose a distributed interference-aware energy-efficient resource allocation algorithm to maximize each UE's energy efficiency (EE) subject to its specific quality of service (QoS) and maximum transmission power constraints. We model the resource allocation problem as a noncooperative game, in which each player is self-interested and wants to maximize its own EE. The formulated EE maximization problem is a non-convex problem and is transformed into a convex optimization problem by exploiting the properties of the nonlinear fractional programming. An iterative optimization algorithm is proposed and verified through computer simulations.
This paper studied the Vehicle Scheduling Problem under the managerial thinking of Vendor Managed Inventory (abbreviated as VMI). It particularly established the mathematical model and the iterativeoptimization algor...
详细信息
This paper studied the Vehicle Scheduling Problem under the managerial thinking of Vendor Managed Inventory (abbreviated as VMI). It particularly established the mathematical model and the iterative optimization algorithm to deal with the issues of integration of inventory management and distribution transport under VMI mode, and proved that these approaches can play roles in optimization of reducing distribution cost for logistics distribution system of supply chain.
Nonnegative Matrix Factorization (NMF) is a widely used technique in many applications such as face recognition, motion segmentation, etc. It approximates the nonnegative data in an original high dimensional space wit...
详细信息
ISBN:
(纸本)9781479957521
Nonnegative Matrix Factorization (NMF) is a widely used technique in many applications such as face recognition, motion segmentation, etc. It approximates the nonnegative data in an original high dimensional space with a linear representation in a low dimensional space by using the product of two nonnegative matrices. In many applications data are often partially corrupted with large additive noise. When the positions of noise are known, some existing variants of NMF can be applied by treating these corrupted entries as missing values. However, the positions are often unknown in many real world applications, which prevents the usage of traditional NMF or other existing variants of NMF. This paper proposes a Robust Nonnegative Matrix Factorization (RobustNMF) algorithm that explicitly models the partial corruption as large additive noise without requiring the information of positions of noise. In particular, the proposed method jointly approximates the clean data matrix with the product of two nonnegative matrices and estimates the positions and values of outliers/noise. An efficient iterative optimization algorithm with a solid theoretical justification has been proposed to learn the desired matrix factorization. Experimental results demonstrate the advantages of the proposed algorithm.
暂无评论