A novel divider based on dual-bit algorithm and its VLSI implementation are presented.Compared with the divider of MIPS microprocessor,it decreases the average executing cycles by 52.5% while its maximum delay is almo...A novel divider based on dual-bit algorithm and its VLSI implementation are presented.Compared with the divider of MIPS microprocessor,it decreases the average executing cycles by 52.5% while its maximum delay is almost the same and its transistor count increases by 60%.Furthermore,the simulation result indicates that the power consumption decreases to 11.3% with the same processing ability.展开更多
Modal identification involves estimating the modal parameters, such as modal frequencies, damping ratios, and mode shapes, of a structural system from measured data. Under the condition that noisy impulse response sig...Modal identification involves estimating the modal parameters, such as modal frequencies, damping ratios, and mode shapes, of a structural system from measured data. Under the condition that noisy impulse response signals associated with multiple input and output locations have been measured, the primary objective of this study is to apply the local or global noise removal technique for improving the modal identification based on the polyreference time domain (PTD) method. While the traditional PTD method improves modal parameter estimation by over-specifying the computational model order to absorb noise, this paper proposes an approach using the actual system order as the computational model order and rejecting much noise prior to performing modal parameter estimation algorithms. Two noise removal approaches are investigated: a "local" approach which removes noise from one signal at a time, and a "global" approach which removes the noise of multiple measured signals simultaneously. The numerical investigation in this article is based on experimental measurements from two test setups: a cantilever beam with 3 inputs and 10 outputs, and a hanged plate with 4 inputs and 32 outputs. This paper demonstrates that the proposed noise-rejection method outperforms the traditional noise-absorption PTD method in several crucial aspects.展开更多
In this paper, the following are introduced briefly： the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non- commutative Weyl alge...In this paper, the following are introduced briefly： the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non- commutative Weyl algebra. We give an algorithm for proving the single-variable q-proper-hypergeometric identities that is based on Zeilberger＇s approach and the elimination in Weyl algebra. Finally, we test several examples that have been proven by D. Zeilberger and H. Will using the WZ-pair method and Gosper algorithm.展开更多
基金a part of the National Science Foundation funded Smooth Transition for the Advancement to Graduate Education(STAGE)for Underrepresented Groups in the Mathematical Sciences Pilot Project(DMS-1043223)
文摘A novel divider based on dual-bit algorithm and its VLSI implementation are presented.Compared with the divider of MIPS microprocessor,it decreases the average executing cycles by 52.5% while its maximum delay is almost the same and its transistor count increases by 60%.Furthermore,the simulation result indicates that the power consumption decreases to 11.3% with the same processing ability.
基金supported by the National Natural Science Foundation of China (Grant Nos. 51079134 and 51009124)the NSFC Major International Joint Research Project (Grant No. 51010009)+2 种基金the Program for Changjiang Scholars and Innovative Research Team in University (Grant No. PCSIRT 1086)the Natural Science Foundation of Shandong Province(Grant Nos. ZR2011EEQ022 and 2009ZRA05100)the Fundamental Research Funds for the Central Universities (Grant Nos. 27R1202008A and27R1002076A)
文摘Modal identification involves estimating the modal parameters, such as modal frequencies, damping ratios, and mode shapes, of a structural system from measured data. Under the condition that noisy impulse response signals associated with multiple input and output locations have been measured, the primary objective of this study is to apply the local or global noise removal technique for improving the modal identification based on the polyreference time domain (PTD) method. While the traditional PTD method improves modal parameter estimation by over-specifying the computational model order to absorb noise, this paper proposes an approach using the actual system order as the computational model order and rejecting much noise prior to performing modal parameter estimation algorithms. Two noise removal approaches are investigated: a "local" approach which removes noise from one signal at a time, and a "global" approach which removes the noise of multiple measured signals simultaneously. The numerical investigation in this article is based on experimental measurements from two test setups: a cantilever beam with 3 inputs and 10 outputs, and a hanged plate with 4 inputs and 32 outputs. This paper demonstrates that the proposed noise-rejection method outperforms the traditional noise-absorption PTD method in several crucial aspects.
文摘In this paper, the following are introduced briefly： the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non- commutative Weyl algebra. We give an algorithm for proving the single-variable q-proper-hypergeometric identities that is based on Zeilberger＇s approach and the elimination in Weyl algebra. Finally, we test several examples that have been proven by D. Zeilberger and H. Will using the WZ-pair method and Gosper algorithm.
