In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
This paper is devoted to study the multiobjective system programming under the assumption that some of the problem parameters are random variables. A method called Interactive Reference Goal Satisfied Degree and Feasi...This paper is devoted to study the multiobjective system programming under the assumption that some of the problem parameters are random variables. A method called Interactive Reference Goal Satisfied Degree and Feasible Degree (IRGSD-FD) is developed to solve stochastic multiobjective problems. It is an interactive method providing a so-called `dialogue' between the user and the model, the decision maker having the option conducting the search process for the (α, β)-efficient solutions by modifying the initial conditions according to the partial results obtained. During the iterations, the decision maker can improve upon the reference goal or called aspiration level already attained by one objective function as well as upon the probability of reaching the corresponding objective or called satisfied degree (or both), or/and the probability of satisfying the constraint or called feasible degree already attained by the constraint. Finally, the application of IRGSD-FD method in the resource allocation problem is discussed with a case study for project investment management.展开更多
Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and s...Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.展开更多
In this paper, a theoretical model of multi-level, non-spherical scatterers is developed for fully polarimetric scattering from tree canopy in SAR imaging at C band. The amplitude functions of non-spherical particles ...In this paper, a theoretical model of multi-level, non-spherical scatterers is developed for fully polarimetric scattering from tree canopy in SAR imaging at C band. The amplitude functions of non-spherical particles with randomly spatial orientation are derived by the generalized Rayleigh-Gans (GRG) approximation. The non-diagonal extinction matrix and the Mueller matrix solution are constructed. Numerical solutions of polarimetric scattering of four Stokes parameters from random, non-spherical scatterers are obtained. To physically identify polarimetric scattering of the Mueller matrix solution, the coherency matrix and its eigen-analysis are discussed. Functional dependence of the coherency matrix and entropy upon various parameters are obtained. As an application, the analysis of AirSAR images at P, L, C bands is discussed.展开更多
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘This paper is devoted to study the multiobjective system programming under the assumption that some of the problem parameters are random variables. A method called Interactive Reference Goal Satisfied Degree and Feasible Degree (IRGSD-FD) is developed to solve stochastic multiobjective problems. It is an interactive method providing a so-called `dialogue' between the user and the model, the decision maker having the option conducting the search process for the (α, β)-efficient solutions by modifying the initial conditions according to the partial results obtained. During the iterations, the decision maker can improve upon the reference goal or called aspiration level already attained by one objective function as well as upon the probability of reaching the corresponding objective or called satisfied degree (or both), or/and the probability of satisfying the constraint or called feasible degree already attained by the constraint. Finally, the application of IRGSD-FD method in the resource allocation problem is discussed with a case study for project investment management.
文摘Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.
文摘In this paper, a theoretical model of multi-level, non-spherical scatterers is developed for fully polarimetric scattering from tree canopy in SAR imaging at C band. The amplitude functions of non-spherical particles with randomly spatial orientation are derived by the generalized Rayleigh-Gans (GRG) approximation. The non-diagonal extinction matrix and the Mueller matrix solution are constructed. Numerical solutions of polarimetric scattering of four Stokes parameters from random, non-spherical scatterers are obtained. To physically identify polarimetric scattering of the Mueller matrix solution, the coherency matrix and its eigen-analysis are discussed. Functional dependence of the coherency matrix and entropy upon various parameters are obtained. As an application, the analysis of AirSAR images at P, L, C bands is discussed.
