Based on the governing equations and the equivalent models, we propose an equivalent transformation relationships between a plane wave in a one-dimensional medium and a spherical wave in globular geometry with radiall...Based on the governing equations and the equivalent models, we propose an equivalent transformation relationships between a plane wave in a one-dimensional medium and a spherical wave in globular geometry with radially inhomogeneous properties. These equivalent relationships can help us to obtain the analytical solutions of the elastodynamic issues in an inhomogeneous medium. The physical essence of the presented equivalent transformations is the equivalent relationships between the geometry and the material properties. It indicates that the spherical wave problem in globular geometry can be transformed into the plane wave problem in the bar with variable property fields, and its inverse transformation is valid as well. Four different examples of wave motion problems in the inhomogeneous media are solved based on the presented equivalent relationships. We obtain two basic analytical solution forms in Examples I and II, investigate the reflection behavior of inhomogeneous half-space in Example III, and exhibit a special inhomogeneity in Example IV, which can keep the traveling spherical wave in constant amplitude. This study implies that our idea makes solving the associated problem easier.展开更多
Based on a new semi empirical analytical method, namely equivalent doping transformation, the breakdown voltage and the peak field of the epitaxial diffused punch through junction have been obtained. The basic prin...Based on a new semi empirical analytical method, namely equivalent doping transformation, the breakdown voltage and the peak field of the epitaxial diffused punch through junction have been obtained. The basic principle of this method is introduced and a set of breakdown voltage and peak field plots are provided for the optimum design of the low voltage power devices. It shows that the analytical results coincide with the previous numerical simulation well.展开更多
This report describes an equivalent doping profile transformation method with which the avalanche breakdown voltage of the asymmetric linearly graded junction was analytically predicted.The maximum breakdown voltage a...This report describes an equivalent doping profile transformation method with which the avalanche breakdown voltage of the asymmetric linearly graded junction was analytically predicted.The maximum breakdown voltage and the different depletion layer extension on the diffused side and substrate side are demonstrated in the report.The report shows the equivalent doping profile method is valid to predict the breakdown voltage of the complex P N junction.The analytical results agree with the experimental breakdown voltage in comparison with the abrupt junction and symmetric linearly graded junction approximations.展开更多
This paper is concerned with the robust fault detection filter （RFDF） design for a class of linear time- invariant systems （LTISs） with output state time delays. Although existing results in literatures study the ...This paper is concerned with the robust fault detection filter （RFDF） design for a class of linear time- invariant systems （LTISs） with output state time delays. Although existing results in literatures study the RFDF for time- delay systems, few is concerned with the output state time-delay systems. The basic idea of our study is to eliminate the time delays of system and transform it to a delay-free system （i.e., a linear time-invariant system without time delays） by the bicausal change of coordinates approach. Then, we design the RFDF for the delay-free LTIS, which is equivalent to the original system with time delays. We first introduce a class of systems with output state time delays, whose fault can be detected by using the RFDF design approach for delay-free systems. Then, since the RFDF design problem can be formulated as a standard H-infinity-model matching problem, it is solved by using H-infinity-optimization LMI techniques. In the last, the adaptive threshold of fault detection is chosen and an illustrative design example is used to demonstrate the validity of the design approach.展开更多
This paper presents the modelling of transduction heaters using the TEC （transformer equivalent circuit） model and FEA （finite element analysis）. Each model was used to simulate a set oftransduction heating experi...This paper presents the modelling of transduction heaters using the TEC （transformer equivalent circuit） model and FEA （finite element analysis）. Each model was used to simulate a set oftransduction heating experiments and the results compared. Analysis of the TEC calculated results suggested modification of three parameters： the secondary resistance, the core tube eddy current resistance and the core tube magnetizing reactance. The improved TEC model was then used to design, build and test a 6 kW transduction heater. The measured results are compared with calculated results from the TEC and FEA models. The TEC model accurately predicts the performance of the heater.展开更多
While modeling a power supply system for an electric railway traction, knowing equivalent circuits of locomotives supplied this way is an essential issue. In alternating current traction, it is important to diagnose i...While modeling a power supply system for an electric railway traction, knowing equivalent circuits of locomotives supplied this way is an essential issue. In alternating current traction, it is important to diagnose inter alia processes taking place in transformers installed on electric vehicles. This article presents specific phenomena occurring during the work of mono-phase, multi-winding, multisystem （systems AC： 50 Hz, 16.7 Hz） laboratory traction transformer. It also shows difficulties encountered during the process of identifying multi-port equivalent scheme＇s elements of the described device, in which a construction defect occurs.展开更多
The aim is to study the set of subsets of grids of the Waterloo language from the point of view of abstract algebra and graph theory. The study was conducted using the library for working with transition graphs of non...The aim is to study the set of subsets of grids of the Waterloo language from the point of view of abstract algebra and graph theory. The study was conducted using the library for working with transition graphs of nondeterministic finite automata NFALib implemented by one of the authors in C#, as well as statistical methods for analyzing algorithms. The results are regularities obtained when considering semilattices on a set of subsets of grids of the Waterloo language. It follows from the results obtained that the minimum covering automaton equivalent to the Waterloo automaton can be obtained by adding one additional to the minimum covering set of grids. .展开更多
Group classification of quasilinear third-order evolution equations is given by using the classical infinitesimal Lie method, the technique of equivalence transformations, and the theory of classification of abstract ...Group classification of quasilinear third-order evolution equations is given by using the classical infinitesimal Lie method, the technique of equivalence transformations, and the theory of classification of abstract low-dimensional Lie algebras. We show that there are three equations admitting simple Lie algebras of dimension three. All non-equivalent equations admitting simple Lie algebras are nothing but these three. Furthermore, we also show that there exist two, five, twenty-nine and twenty-six non- equivalent third-order nonlinear evolution equations admitting one-, two-, three-, and four-dimensional solvable Lie algebras, respectively.展开更多
The relationship between symmetries and Gauss kernels for the SchrSdinger equation iut = uxx ＋ f（x）u is established. It is shown that if the Lie point symmetries of the equation are nontrivial, a classical integral...The relationship between symmetries and Gauss kernels for the SchrSdinger equation iut = uxx ＋ f（x）u is established. It is shown that if the Lie point symmetries of the equation are nontrivial, a classical integral transformations of the Gauss kernels can be obtained. Then the Gauss kernels of Schroedinger equations are derived by inverting the integral transformations. Furthermore, the relationship between Gauss kernels for two equations related by an equivalence transformation is identified.展开更多
The famous Square attacks against the Rijndael algorithm have taken advantage of the change of the balance of some bytes. Further study shows that the change of activity always happens before the change of balance, wh...The famous Square attacks against the Rijndael algorithm have taken advantage of the change of the balance of some bytes. Further study shows that the change of activity always happens before the change of balance, which builds the foundation for a new activity attack presented in this paper. In the activity attack, the round in which the activity changes is executed in an equivalent form to avoid the obstructive restriction of the subkeys of that round.The existence of the birthday paradox guarantees much fewer plaintexts necessary for activity attacks comparing with that for corresponding Square attacks. But no benefit may result from the new attacks performed independently because the activity attacks guess four instead of one key byte once. Only when both the balance property and the activity property are exploited at the same time can much better performance be obtained. The better performance in the simulation shows that the consuming time and chosen plaintexts necessary are both reduced to one tenth of those of the corresponding Square attacks. So the activity attacks could be viewed as an efficient supplement to the Square attacks.展开更多
The emergence of a large quantity of digital resources in geometry, various geometric automated theorem proving systems, and kinds of dynamic geometry software systems has made geometric computation, reasoning, drawin...The emergence of a large quantity of digital resources in geometry, various geometric automated theorem proving systems, and kinds of dynamic geometry software systems has made geometric computation, reasoning, drawing, and knowledge management dynamic, automatic or interactive on computer. Integration of electronic contents and different systems is desired to enhance their accessibility and exploitability. This paper proposes an equivalent transformation framework for manipulating geometric statements available in the literature by using geometry software systems. Such a framework works based on a newly designed geometry description language(GDL), in which geometric statements can be represented naturally and easily. The author discusses and presents key procedures of automatically transforming GDL statements into target system-native representations for manipulation.The author also demonstrates the framework by illustrating equivalent transformation processes and interfaces for compiling the transformation results into executable formats that can be interpreted by the target geometry software systems for automated theorem proving and dynamic diagram drawing.展开更多
A new compact model has been introduced to model on-chip spiral transformers.Unlike conventional models,which are often a compound of two spiral inductor models（i.e.,the combination of two coupledΠor 2-Πsub-circuit...A new compact model has been introduced to model on-chip spiral transformers.Unlike conventional models,which are often a compound of two spiral inductor models（i.e.,the combination of two coupledΠor 2-Πsub-circuits）,our new model only uses 12 elements to model the whole structure in the form of T topology.The new model is based on the physical meaning,and the process of model derivation is also presented.In addition,a simple parameter extraction procedure is proposed to get the elements＇ values without any fitting and optimization. In this procedure,a new method has been developed for the parameter extraction of the ladder circuit,which is commonly used to represent the skin effect.In order to verify the model＇s validity and accuracy,we have compared the simulated and measured self-inductance,quality factor,coupling coefficient and insertion loss,and an excellent agreement has been found over a broad frequency range up to the resonant frequency.展开更多
In this paper,two different n-order topological circuit networks are connected by diodes to establish a unified network model,which is a previously unexplored problem.The network model includes not only five resistive...In this paper,two different n-order topological circuit networks are connected by diodes to establish a unified network model,which is a previously unexplored problem.The network model includes not only five resistive elements but also diode devices,so the network contains many different network types.This problem can be solved through three main steps:First,the network is simplified into two different equivalent circuit models.Second,the nonlinear difference equation model is established by applying Kirchhoff’s law.Finally,the two equations with similar structures are processed uniformly,and the general solutions of the nonlinear difference equations are obtained by using the transformation technique.As an example,several interesting specific results are deduced.Our study on the network model has significant value,as it can be applied to relevant interdisciplinary research.展开更多
We investigate a multifunctional n-step honeycomb network which has not been studied before. By adjusting the circuit parameters, such a network can be transformed into several different networks with a variety of fun...We investigate a multifunctional n-step honeycomb network which has not been studied before. By adjusting the circuit parameters, such a network can be transformed into several different networks with a variety of functions, such as a regular ladder network and a triangular network. We derive two new formulae for equivalent resistance in the resistor network and equivalent impedance in the LC network, which are in the fractional-order domain. First, we simplify the complex network into a simple equivalent model. Second, using Kirchhoff＇s laws, we establish a fractional difference equation. Third, we construct an equivalent transformation method to obtain a general solution for the nonlinear differential equation. In practical applications, several interesting special results are obtained. In particular, an n-step impedance LC network is discussed and many new char- acteristics of complex impedance have been found.展开更多
This paper investigates the stability analysis and H_∞ control for a class of nonlinear timedelay systems,and proposes a number of new results.Firstly,an equivalent form is given for this class of systems by means of...This paper investigates the stability analysis and H_∞ control for a class of nonlinear timedelay systems,and proposes a number of new results.Firstly,an equivalent form is given for this class of systems by means of coordinate transformation and orthogonal decomposition of vector fields.Then,based on the equivalent form,some delay-dependent results are derived for the stability analysis of the systems by constructing a novel Lyapunov functional.Thirdly,the authors use the equivalent form and the obtained stability results to investigate the H_∞ control problem for a class of nonhnear time-delay control systems,and present a control design procedure.Finally,an illustrative example is given to show the effectiveness of the results obtained in this paper.It is shown that the main results of this paper are easier to check than some existing ones,and have less conservatism.展开更多
To improve the analysis methods for the measurement of the sediment particle sizes with a wide distribution and of irregular shapes, a sediment particle image measurement, an analysis system, and an extraction algorit...To improve the analysis methods for the measurement of the sediment particle sizes with a wide distribution and of irregular shapes, a sediment particle image measurement, an analysis system, and an extraction algorithm of the optimal threshold based on the gray histogram peak values are proposed. Recording the pixels of the sediment particles by labeling them, the algorithm can effectively separate the sediment particle images from the background images using the equivalent pixel circles with the same diameters to represent the sediment particles. Compared with the laser analyzer for the case of blue plastic sands, the measurement results of the system are shown to be reasonably similar. The errors are mainly due to the small size of the particles and the limitation of the apparatus. The measurement accuracy can be improved by increasing the Charge-Coupled Devices （CCD） camera resolution. The analysis method of the sediment particle images can provide a technical support for the rapid measurement of the sediment particle size and its distribution.展开更多
It has long been an outstanding conjecture that any(2^(n)×2^(n))-stage shuffle exchange network(Omega net-work)is rearrangeable for 2n 62n.Many researchers have failed to prove this conjecture,including a recent ...It has long been an outstanding conjecture that any(2^(n)×2^(n))-stage shuffle exchange network(Omega net-work)is rearrangeable for 2n 62n.Many researchers have failed to prove this conjecture,including a recent one established by Hasan.However,nobody has pointed out its fallacy.Therefore,as one of the objectives,this paper shall clarify this fact.Since the case of n 53 has been proven by many researchers[1,2],this paper uses a con-structive approach to prove that when n 54,the 7-stage 16616 shuffle exchange network is also rearrangeable.The paper also presents the model of a balanced tree to avoid internal conflict,the representation of permutations using a connection graph and loop graph,and the con-cepts of symmetry graph and identical transform.Based on graphic composition and bipartition,the permutations 16×16 are divided into five classes,with five assignment algorithms proposed.These algorithms are simpler,clearer and easier to program.The techniques used for n=4 may provide hints for the general case of n>4.展开更多
Two fabricated on-chip transformers under different ground conditions（i.e.,CG and IG types） have been measured to compare their different characteristics.With the aid of the electromagnetic（EM） solver,we have anal...Two fabricated on-chip transformers under different ground conditions（i.e.,CG and IG types） have been measured to compare their different characteristics.With the aid of the electromagnetic（EM） solver,we have analyzed the differences from the electric and magnetic aspects,and different effects in these aspects can be described with the lumped capacitor and inductor from the perspective of the equivalent circuit model.A physicsbased equivalent circuit model is proposed to model transformers under different ground conditions.In addition, the simple parameter extraction procedure for the corresponding model is also provided.All the model parameters are extracted and agree with the analysis.In order to verify the model＇s validity and accuracy,we have compared the modeled and measured S-parameters,and an excellent agreement has been found over a broad frequency range.展开更多
基金Scientific Research Fund of Institute of Engineering Mechanics,China Earthquake Administration under Grant No.2017QJGJ06the National Science and Technology Pillar Program under Grant No.2015BAK17B06+2 种基金the Earthquake Industry Special Science Research Foundation Project under Grant No.201508026-02the Fundamental Research Funds for the Central Universities under Grant No.HEUCF170202the program for Innovative Research Team in China Earthquake Administration
文摘Based on the governing equations and the equivalent models, we propose an equivalent transformation relationships between a plane wave in a one-dimensional medium and a spherical wave in globular geometry with radially inhomogeneous properties. These equivalent relationships can help us to obtain the analytical solutions of the elastodynamic issues in an inhomogeneous medium. The physical essence of the presented equivalent transformations is the equivalent relationships between the geometry and the material properties. It indicates that the spherical wave problem in globular geometry can be transformed into the plane wave problem in the bar with variable property fields, and its inverse transformation is valid as well. Four different examples of wave motion problems in the inhomogeneous media are solved based on the presented equivalent relationships. We obtain two basic analytical solution forms in Examples I and II, investigate the reflection behavior of inhomogeneous half-space in Example III, and exhibit a special inhomogeneity in Example IV, which can keep the traveling spherical wave in constant amplitude. This study implies that our idea makes solving the associated problem easier.
文摘Based on a new semi empirical analytical method, namely equivalent doping transformation, the breakdown voltage and the peak field of the epitaxial diffused punch through junction have been obtained. The basic principle of this method is introduced and a set of breakdown voltage and peak field plots are provided for the optimum design of the low voltage power devices. It shows that the analytical results coincide with the previous numerical simulation well.
文摘This report describes an equivalent doping profile transformation method with which the avalanche breakdown voltage of the asymmetric linearly graded junction was analytically predicted.The maximum breakdown voltage and the different depletion layer extension on the diffused side and substrate side are demonstrated in the report.The report shows the equivalent doping profile method is valid to predict the breakdown voltage of the complex P N junction.The analytical results agree with the experimental breakdown voltage in comparison with the abrupt junction and symmetric linearly graded junction approximations.
基金supported by the National Natural Science Foundation of China (Nos. 50977008, 61034005)the National High Technology Research and Development Program of China (No. 2012AA040104)National Basic Research Program of China (No. 2009CB320601)
文摘This paper is concerned with the robust fault detection filter （RFDF） design for a class of linear time- invariant systems （LTISs） with output state time delays. Although existing results in literatures study the RFDF for time- delay systems, few is concerned with the output state time-delay systems. The basic idea of our study is to eliminate the time delays of system and transform it to a delay-free system （i.e., a linear time-invariant system without time delays） by the bicausal change of coordinates approach. Then, we design the RFDF for the delay-free LTIS, which is equivalent to the original system with time delays. We first introduce a class of systems with output state time delays, whose fault can be detected by using the RFDF design approach for delay-free systems. Then, since the RFDF design problem can be formulated as a standard H-infinity-model matching problem, it is solved by using H-infinity-optimization LMI techniques. In the last, the adaptive threshold of fault detection is chosen and an illustrative design example is used to demonstrate the validity of the design approach.
文摘This paper presents the modelling of transduction heaters using the TEC （transformer equivalent circuit） model and FEA （finite element analysis）. Each model was used to simulate a set oftransduction heating experiments and the results compared. Analysis of the TEC calculated results suggested modification of three parameters： the secondary resistance, the core tube eddy current resistance and the core tube magnetizing reactance. The improved TEC model was then used to design, build and test a 6 kW transduction heater. The measured results are compared with calculated results from the TEC and FEA models. The TEC model accurately predicts the performance of the heater.
文摘While modeling a power supply system for an electric railway traction, knowing equivalent circuits of locomotives supplied this way is an essential issue. In alternating current traction, it is important to diagnose inter alia processes taking place in transformers installed on electric vehicles. This article presents specific phenomena occurring during the work of mono-phase, multi-winding, multisystem （systems AC： 50 Hz, 16.7 Hz） laboratory traction transformer. It also shows difficulties encountered during the process of identifying multi-port equivalent scheme＇s elements of the described device, in which a construction defect occurs.
文摘The aim is to study the set of subsets of grids of the Waterloo language from the point of view of abstract algebra and graph theory. The study was conducted using the library for working with transition graphs of nondeterministic finite automata NFALib implemented by one of the authors in C#, as well as statistical methods for analyzing algorithms. The results are regularities obtained when considering semilattices on a set of subsets of grids of the Waterloo language. It follows from the results obtained that the minimum covering automaton equivalent to the Waterloo automaton can be obtained by adding one additional to the minimum covering set of grids. .
基金supported by the National Key Basic Research Project of China (973 Program)(No. 2004CB318000)
文摘Group classification of quasilinear third-order evolution equations is given by using the classical infinitesimal Lie method, the technique of equivalence transformations, and the theory of classification of abstract low-dimensional Lie algebras. We show that there are three equations admitting simple Lie algebras of dimension three. All non-equivalent equations admitting simple Lie algebras are nothing but these three. Furthermore, we also show that there exist two, five, twenty-nine and twenty-six non- equivalent third-order nonlinear evolution equations admitting one-, two-, three-, and four-dimensional solvable Lie algebras, respectively.
基金supported by the National Natural Science Foundation of China for Distinguished Young Scholars (Grant No.10925104)the National Natural Science Foundation of China (Grant No.11001220)the Ph.D.Program Foundation of the Ministry of Education of China (Grant No.20106101110008)
文摘The relationship between symmetries and Gauss kernels for the SchrSdinger equation iut = uxx ＋ f（x）u is established. It is shown that if the Lie point symmetries of the equation are nontrivial, a classical integral transformations of the Gauss kernels can be obtained. Then the Gauss kernels of Schroedinger equations are derived by inverting the integral transformations. Furthermore, the relationship between Gauss kernels for two equations related by an equivalence transformation is identified.
基金the National 973 Project(G1999035803)National 863 Grand Project(2002AA143021)and the National Cryptography Development Funds for the Tenth Five-year Project
文摘The famous Square attacks against the Rijndael algorithm have taken advantage of the change of the balance of some bytes. Further study shows that the change of activity always happens before the change of balance, which builds the foundation for a new activity attack presented in this paper. In the activity attack, the round in which the activity changes is executed in an equivalent form to avoid the obstructive restriction of the subkeys of that round.The existence of the birthday paradox guarantees much fewer plaintexts necessary for activity attacks comparing with that for corresponding Square attacks. But no benefit may result from the new attacks performed independently because the activity attacks guess four instead of one key byte once. Only when both the balance property and the activity property are exploited at the same time can much better performance be obtained. The better performance in the simulation shows that the consuming time and chosen plaintexts necessary are both reduced to one tenth of those of the corresponding Square attacks. So the activity attacks could be viewed as an efficient supplement to the Square attacks.
基金supported partially by the SKLSDE Open Fund(SKLSDE-2011KF-02)the Natural Science Foundation of China under Grant No.61003139the MOE-Intel Joint Research Fund(MOE-INTEL-11-03)
文摘The emergence of a large quantity of digital resources in geometry, various geometric automated theorem proving systems, and kinds of dynamic geometry software systems has made geometric computation, reasoning, drawing, and knowledge management dynamic, automatic or interactive on computer. Integration of electronic contents and different systems is desired to enhance their accessibility and exploitability. This paper proposes an equivalent transformation framework for manipulating geometric statements available in the literature by using geometry software systems. Such a framework works based on a newly designed geometry description language(GDL), in which geometric statements can be represented naturally and easily. The author discusses and presents key procedures of automatically transforming GDL statements into target system-native representations for manipulation.The author also demonstrates the framework by illustrating equivalent transformation processes and interfaces for compiling the transformation results into executable formats that can be interpreted by the target geometry software systems for automated theorem proving and dynamic diagram drawing.
基金Project supported by the National Natural Science Foundation of China(No.61106024)
文摘A new compact model has been introduced to model on-chip spiral transformers.Unlike conventional models,which are often a compound of two spiral inductor models（i.e.,the combination of two coupledΠor 2-Πsub-circuits）,our new model only uses 12 elements to model the whole structure in the form of T topology.The new model is based on the physical meaning,and the process of model derivation is also presented.In addition,a simple parameter extraction procedure is proposed to get the elements＇ values without any fitting and optimization. In this procedure,a new method has been developed for the parameter extraction of the ladder circuit,which is commonly used to represent the skin effect.In order to verify the model＇s validity and accuracy,we have compared the simulated and measured self-inductance,quality factor,coupling coefficient and insertion loss,and an excellent agreement has been found over a broad frequency range up to the resonant frequency.
文摘In this paper,two different n-order topological circuit networks are connected by diodes to establish a unified network model,which is a previously unexplored problem.The network model includes not only five resistive elements but also diode devices,so the network contains many different network types.This problem can be solved through three main steps:First,the network is simplified into two different equivalent circuit models.Second,the nonlinear difference equation model is established by applying Kirchhoff’s law.Finally,the two equations with similar structures are processed uniformly,and the general solutions of the nonlinear difference equations are obtained by using the transformation technique.As an example,several interesting specific results are deduced.Our study on the network model has significant value,as it can be applied to relevant interdisciplinary research.
基金Project supported by the Jiangsu Provincial Science Foundation （No. BK20161278）
文摘We investigate a multifunctional n-step honeycomb network which has not been studied before. By adjusting the circuit parameters, such a network can be transformed into several different networks with a variety of functions, such as a regular ladder network and a triangular network. We derive two new formulae for equivalent resistance in the resistor network and equivalent impedance in the LC network, which are in the fractional-order domain. First, we simplify the complex network into a simple equivalent model. Second, using Kirchhoff＇s laws, we establish a fractional difference equation. Third, we construct an equivalent transformation method to obtain a general solution for the nonlinear differential equation. In practical applications, several interesting special results are obtained. In particular, an n-step impedance LC network is discussed and many new char- acteristics of complex impedance have been found.
基金supported by the National Natural Science Foundation of China under Grant Nos.G60774009,61074068,61034007,61374065,and 61304033the Research Fund for the Doctoral Program of Chinese Higher Education under Grant No.200804220028+1 种基金the Natural Science Foundation of Shandong Province under Grant Nos.ZR2013ZEM006,ZR2011EL021,BS2011ZZ012,2013ZRB01873Colleges and Universities in Shandong Province Science and Technology Project under Grant Nos.J13LN37 and J12LN29
文摘This paper investigates the stability analysis and H_∞ control for a class of nonlinear timedelay systems,and proposes a number of new results.Firstly,an equivalent form is given for this class of systems by means of coordinate transformation and orthogonal decomposition of vector fields.Then,based on the equivalent form,some delay-dependent results are derived for the stability analysis of the systems by constructing a novel Lyapunov functional.Thirdly,the authors use the equivalent form and the obtained stability results to investigate the H_∞ control problem for a class of nonhnear time-delay control systems,and present a control design procedure.Finally,an illustrative example is given to show the effectiveness of the results obtained in this paper.It is shown that the main results of this paper are easier to check than some existing ones,and have less conservatism.
基金supported by the National Key Basic Research and Development of China(973Program,Grant No.2011CB403303)the China National Funds for Distinguished Young Scientists(Grant No.51125034)the National Natural Science Foundation of China(Grant Nos.50909036,50879019)
文摘To improve the analysis methods for the measurement of the sediment particle sizes with a wide distribution and of irregular shapes, a sediment particle image measurement, an analysis system, and an extraction algorithm of the optimal threshold based on the gray histogram peak values are proposed. Recording the pixels of the sediment particles by labeling them, the algorithm can effectively separate the sediment particle images from the background images using the equivalent pixel circles with the same diameters to represent the sediment particles. Compared with the laser analyzer for the case of blue plastic sands, the measurement results of the system are shown to be reasonably similar. The errors are mainly due to the small size of the particles and the limitation of the apparatus. The measurement accuracy can be improved by increasing the Charge-Coupled Devices （CCD） camera resolution. The analysis method of the sediment particle images can provide a technical support for the rapid measurement of the sediment particle size and its distribution.
基金supported by the National Science Foundation of USA(Grant No.9810692)University of Missouri-Kansas City Faculty Research Grant(UMKC FRG)(No.K-2-11678).
文摘It has long been an outstanding conjecture that any(2^(n)×2^(n))-stage shuffle exchange network(Omega net-work)is rearrangeable for 2n 62n.Many researchers have failed to prove this conjecture,including a recent one established by Hasan.However,nobody has pointed out its fallacy.Therefore,as one of the objectives,this paper shall clarify this fact.Since the case of n 53 has been proven by many researchers[1,2],this paper uses a con-structive approach to prove that when n 54,the 7-stage 16616 shuffle exchange network is also rearrangeable.The paper also presents the model of a balanced tree to avoid internal conflict,the representation of permutations using a connection graph and loop graph,and the con-cepts of symmetry graph and identical transform.Based on graphic composition and bipartition,the permutations 16×16 are divided into five classes,with five assignment algorithms proposed.These algorithms are simpler,clearer and easier to program.The techniques used for n=4 may provide hints for the general case of n>4.
基金supported by the National Natural Science Foundation of China(No.61106024)
文摘Two fabricated on-chip transformers under different ground conditions（i.e.,CG and IG types） have been measured to compare their different characteristics.With the aid of the electromagnetic（EM） solver,we have analyzed the differences from the electric and magnetic aspects,and different effects in these aspects can be described with the lumped capacitor and inductor from the perspective of the equivalent circuit model.A physicsbased equivalent circuit model is proposed to model transformers under different ground conditions.In addition, the simple parameter extraction procedure for the corresponding model is also provided.All the model parameters are extracted and agree with the analysis.In order to verify the model＇s validity and accuracy,we have compared the modeled and measured S-parameters,and an excellent agreement has been found over a broad frequency range.
