David Gao

Learn More
Increasing complexity of microprocessor-based systems puts pressure on a product's time-to-market. We describe a methodology used in designing the system interface of UltraSPARC-I. This methodology allowed us to define the system interface architecture, verify the functionality, perform timing and noise analysis and do the physical board design in parallel.(More)
This paper presents a comprehensive review and some new developments on canonical duality theory for nonconvex systems. Based on a tri-canonical form for quadratic minimization problems, an insightful relation between canonical dual transformations and nonlinear (or extended) Lagrange multiplier methods is presented. Connections between complementary(More)
In this paper, by using some analytic techniques, several sufficient conditions are given to ensure the passivity of continuous-time recurrent neu-ral networks with delays. The passivity conditions are presented in terms of some negative semi-definite matrices. They are easily verifiable and easier to check computing with some conditions in terms of(More)
Canonical duality is a potentially powerful theory, which can be used to model complex phenomena within a unified framework. The associated triality theory reveals an interesting multi-scale duality pattern in complex systems, which can be used to identify both global and local extrema and to design efficient algorithms for solving a wide class of(More)