The first phase of the pilot project of the national Knowledge Innovation Program (KIP) carried out at CAS is drawing to an end. The development of this multi-billion-yuan undertaking, launched in 1998 by the Chinese ...The first phase of the pilot project of the national Knowledge Innovation Program (KIP) carried out at CAS is drawing to an end. The development of this multi-billion-yuan undertaking, launched in 1998 by the Chinese government to promote science and technology (S&T) progress in the country, has attracted great attention. Recently, State leaders made a couple of inspection tours to CAS, saying the academy has展开更多
作为上篇的一个姊妹篇,我们很乐意向读者推荐本文。古人云,知足常乐。读完本文,也许你会改其二字:知足长寿。文章告诉我们: Men who reported high levels of satisfaction with their lives were more likely to be alive 20 years lat...作为上篇的一个姊妹篇,我们很乐意向读者推荐本文。古人云,知足常乐。读完本文,也许你会改其二字:知足长寿。文章告诉我们: Men who reported high levels of satisfaction with their lives were more likely to be alive 20 years later. 知足者竟然能在这个世界上多生活20年!你信否? 文章还提到了男女之别,颇发人深省: It seems to me that the coping abilities of women with distress and dissatisfaction may be better than in men. Men who feel dissatisfied might cope with their feelings by abusing alcohol, smoking and not exercising while women might talk to friends or seek professional help. 你若是男性读者,是否可以从中得到某种启迪? 文章最精彩的句子大概在文末: It is not enough for a human being to earn money and be in physically good condition. One should respect mental health as well.】展开更多
WANGJIANGJING, an ancient township by a river, is 15 kilometers north of Jiaxing, Zhejiang Province. For centuries, since the early Tang Dynasty, the residents of this town have been producing silk. They were accustom...WANGJIANGJING, an ancient township by a river, is 15 kilometers north of Jiaxing, Zhejiang Province. For centuries, since the early Tang Dynasty, the residents of this town have been producing silk. They were accustomed to a life where men were in charge of ploughing the fields and women in charge of raising silkworms and weaving beautiful fabrics. They built their life with their hands.展开更多
For bipartite angle consensus tracking and vibration suppression of multiple Timoshenko manipulator systems with time-varying actuator faults,parameter and modeling uncertainties,and unknown disturbances,a novel distr...For bipartite angle consensus tracking and vibration suppression of multiple Timoshenko manipulator systems with time-varying actuator faults,parameter and modeling uncertainties,and unknown disturbances,a novel distributed boundary event-triggered control strategy is proposed in this work.In contrast to the earlier findings,time-varying consensus tracking and actuator defects are taken into account simultaneously.In addition,the constructed event-triggered control mechanism can achieve a more flexible design because it is not required to satisfy the input-to-state condition.To achieve the control objectives,some new integral control variables are given by using back-stepping technique and boundary control.Moreover,adaptive neural networks are applied to estimate system uncertainties.With the proposed event-triggered scheme,control inputs can reduce unnecessary updates.Besides,tracking errors and vibration states of the closed-looped network can be exponentially convergent into some small fields,and Zeno behaviors can be excluded.At last,some simulation examples are given to state the effectiveness of the control algorithms.展开更多
Dear Editor,This letter studies finite-time input-to-state stability(FTISS)for impulsive switched systems.A set of Lyapunov-based conditions are established for guaranteeing FTISS property.When constituent modes gover...Dear Editor,This letter studies finite-time input-to-state stability(FTISS)for impulsive switched systems.A set of Lyapunov-based conditions are established for guaranteeing FTISS property.When constituent modes governing continuous dynamics are FTISS and discrete dynamics involving impulses are destabilizing,the FTISS can be retained if impulsive-switching signals satisfy an average dwell-time(ADT)condition.展开更多
The dimensional analysis is applied to the model measurements of lossy electromagnetic systems.The physical similarity between prototype and model system is given.By this theory,it is predictable that which conditions...The dimensional analysis is applied to the model measurements of lossy electromagnetic systems.The physical similarity between prototype and model system is given.By this theory,it is predictable that which conditions for the model system should be satisfied in order to get a result similar to the prototype of lossy electromagnetic phenomenon.展开更多
设l∈N,δ=k/p-k+1/2,以及<p<1.本文的主要结果是建立广义BochnerRiesz平均的核的某种分解: ((1-|ξ|~l)~σ+)^(x)=sum from f=1 to J(k,l,p) b_f((1-|ξ|~2)ь+ζ)^(x)+T(|x|),其中T满足 T^(n+1)(s)≤cmin{(1+s)_(k-n-2),(1+s)^(...设l∈N,δ=k/p-k+1/2,以及<p<1.本文的主要结果是建立广义BochnerRiesz平均的核的某种分解: ((1-|ξ|~l)~σ+)^(x)=sum from f=1 to J(k,l,p) b_f((1-|ξ|~2)ь+ζ)^(x)+T(|x|),其中T满足 T^(n+1)(s)≤cmin{(1+s)_(k-n-2),(1+s)^(-k,p)},0<s<∞以及n=[K(1/p-1)]·作为上述分解的一个直接结果,我们得到:临界阶广义Bochner-Riesz平均在H^p(R^k)上的a.e.收敛性。展开更多
As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed.Th...As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed.This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause,and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).Due to the avoidance of tremendous descriptions redundancies caused by applying ∩- and ∪-rules of the ordinary tableau algorithm,this mode greatly improves the spatial performance as a result.An example is given to demonstrate the application of this enhancing mode and its reduction in the cost of space. Results show that the improvement is very outstanding.展开更多
In this paper, two theorems are presented. The representation theorem stales: ij theFredholm integral equation of the first kindAx=y, with bounded L2 kernel, has a uniquesolutionThe one-iteration theorem states: x can...In this paper, two theorems are presented. The representation theorem stales: ij theFredholm integral equation of the first kindAx=y, with bounded L2 kernel, has a uniquesolutionThe one-iteration theorem states: x can be achieved in one iteration byiffone of the following conditions is satisfied.展开更多
In this paper we study the blow-up behavior for a class of semilinear parabolic variational inequalities;whereK = {u ∈L<sup>2</sup>(0,T;H<sub>0</sub><sup>1</sup>(Ω))|u(x,t)...In this paper we study the blow-up behavior for a class of semilinear parabolic variational inequalities;whereK = {u ∈L<sup>2</sup>(0,T;H<sub>0</sub><sup>1</sup>(Ω))|u(x,t)≥ψ(x) a. e. (x,t) ∈Ω×(0,T), u(x,0) = (x)},andis a uniformly elliptic operator.We prove the following main theorem.Theorem Let u(x,t) be a local solution of problem (I),u∈C(0,T;H<sup>2</sup>(Ω)∩H<sub>0</sub><sup>1</sup>(Q)),u<sub>i</sub>∈L<sup>2</sup>(0,T;L<sup>2</sup>(Ω)), and following conditions are satisfied.(1) There exists a continuously differentiable function G(x,s) and a positive number α,such展开更多
Guo [1] gives some fixed point theorems of cone maps in Banacb space. Here we generalize the main resnlts of [1] to a locally convex space. We remark that the approach in [1] is not applicable in our paper. Throughout...Guo [1] gives some fixed point theorems of cone maps in Banacb space. Here we generalize the main resnlts of [1] to a locally convex space. We remark that the approach in [1] is not applicable in our paper. Throughout this paper. X is a Hausdorff locally convex topological vector space over the field of real numbers, K is a closed convex展开更多
Similar to Blasone et al.[Phys.Rev.D 72(2005)013003]by examining the expectation value of the flavor charge under the normalized flavor state of the neutrino,we demonstrate that the introduction of the flavor state is...Similar to Blasone et al.[Phys.Rev.D 72(2005)013003]by examining the expectation value of the flavor charge under the normalized flavor state of the neutrino,we demonstrate that the introduction of the flavor state is consistent with the flavor charge only when the conditions,i.e.(A)|p|=0(the low energy case),or|p|/mi≫1(the relativistic case)and(B)the flavor state should be defined of the Pontecorvo form|νe〉=cosθ|ν1〉+sinθ|ν2〉or equivalently except a global phase,are satisfied.The root of the issue lies in the structure of the flavor charge operator.The diagonalization of the flavor charge operator with the integer eigenvalue can be realized through the Bogoliubov–Valatin transformation when condition A is satisfied.The eigenstate of the diagonalized flavor charge is of the Pontecorvo form under condition B.展开更多
We characterize a modified continuous-variable quantum key distribution(CV-QKD)protocol with four states in the middle of a quantum channel.In this protocol,two noiseless linear amplifiers(NLAs)are inserted before eac...We characterize a modified continuous-variable quantum key distribution(CV-QKD)protocol with four states in the middle of a quantum channel.In this protocol,two noiseless linear amplifiers(NLAs)are inserted before each detector of the two parts,Alice and Bob,with the purpose of increasing the secret key rate and the maximum transmission distance.We present the performance analysis of the new four-state CV-QKD protocol over a Gaussian lossy and noisy channel.The simulation results show that the NLAs with a reasonable gain g can effectively enhance the secret key rate as well as the maximum transmission distance,which is generally satisfied in practice.展开更多
Dear readers,the first and the last thing which China's Foreign Trade magazine wish to do is preparing delicious information dishes for you,and make you satisfied.We seriously consider your various appetites and t...Dear readers,the first and the last thing which China's Foreign Trade magazine wish to do is preparing delicious information dishes for you,and make you satisfied.We seriously consider your various appetites and tastes,and any suggestion from you is so precious to us.Please let us know your favorites.You can book your order by writing to us,or just a call.Your advice is more than welcome. Editorial展开更多
In this paper we consider nonlinear control sysfemdx/dt=A(t)x+B(t)f(x),(1)Where x(t)∈Rn is the state vector,A(t)=(aij(t))n×nis the System matrix,B(t),an nxr time-varying matrix,is the input matri...In this paper we consider nonlinear control sysfemdx/dt=A(t)x+B(t)f(x),(1)Where x(t)∈Rn is the state vector,A(t)=(aij(t))n×nis the System matrix,B(t),an nxr time-varying matrix,is the input matrix;f(x)∈Rr is nonlinearvector function,and A(t),B(t)∈c[t0,∞),f(x)∈c[x0,∞)Here we are to discuss thc boundedness of system(1)in various cases ofmatrix A(t),and the following results shall be obtained.In this paper,weshall use the results of Bihari and other authors.展开更多
文摘The first phase of the pilot project of the national Knowledge Innovation Program (KIP) carried out at CAS is drawing to an end. The development of this multi-billion-yuan undertaking, launched in 1998 by the Chinese government to promote science and technology (S&T) progress in the country, has attracted great attention. Recently, State leaders made a couple of inspection tours to CAS, saying the academy has
文摘作为上篇的一个姊妹篇,我们很乐意向读者推荐本文。古人云,知足常乐。读完本文,也许你会改其二字:知足长寿。文章告诉我们: Men who reported high levels of satisfaction with their lives were more likely to be alive 20 years later. 知足者竟然能在这个世界上多生活20年!你信否? 文章还提到了男女之别,颇发人深省: It seems to me that the coping abilities of women with distress and dissatisfaction may be better than in men. Men who feel dissatisfied might cope with their feelings by abusing alcohol, smoking and not exercising while women might talk to friends or seek professional help. 你若是男性读者,是否可以从中得到某种启迪? 文章最精彩的句子大概在文末: It is not enough for a human being to earn money and be in physically good condition. One should respect mental health as well.】
文摘WANGJIANGJING, an ancient township by a river, is 15 kilometers north of Jiaxing, Zhejiang Province. For centuries, since the early Tang Dynasty, the residents of this town have been producing silk. They were accustomed to a life where men were in charge of ploughing the fields and women in charge of raising silkworms and weaving beautiful fabrics. They built their life with their hands.
基金supported in part by the National Key R&D Program of China(2021YFB3202200)the Natural Science Foundation of China(62203141)the Guangdong Basic and Applied Basic Research Foundation(2021B1515120017)。
文摘For bipartite angle consensus tracking and vibration suppression of multiple Timoshenko manipulator systems with time-varying actuator faults,parameter and modeling uncertainties,and unknown disturbances,a novel distributed boundary event-triggered control strategy is proposed in this work.In contrast to the earlier findings,time-varying consensus tracking and actuator defects are taken into account simultaneously.In addition,the constructed event-triggered control mechanism can achieve a more flexible design because it is not required to satisfy the input-to-state condition.To achieve the control objectives,some new integral control variables are given by using back-stepping technique and boundary control.Moreover,adaptive neural networks are applied to estimate system uncertainties.With the proposed event-triggered scheme,control inputs can reduce unnecessary updates.Besides,tracking errors and vibration states of the closed-looped network can be exponentially convergent into some small fields,and Zeno behaviors can be excluded.At last,some simulation examples are given to state the effectiveness of the control algorithms.
基金the National Natural Science Foundation of China(61833005)。
文摘Dear Editor,This letter studies finite-time input-to-state stability(FTISS)for impulsive switched systems.A set of Lyapunov-based conditions are established for guaranteeing FTISS property.When constituent modes governing continuous dynamics are FTISS and discrete dynamics involving impulses are destabilizing,the FTISS can be retained if impulsive-switching signals satisfy an average dwell-time(ADT)condition.
文摘The dimensional analysis is applied to the model measurements of lossy electromagnetic systems.The physical similarity between prototype and model system is given.By this theory,it is predictable that which conditions for the model system should be satisfied in order to get a result similar to the prototype of lossy electromagnetic phenomenon.
文摘设l∈N,δ=k/p-k+1/2,以及<p<1.本文的主要结果是建立广义BochnerRiesz平均的核的某种分解: ((1-|ξ|~l)~σ+)^(x)=sum from f=1 to J(k,l,p) b_f((1-|ξ|~2)ь+ζ)^(x)+T(|x|),其中T满足 T^(n+1)(s)≤cmin{(1+s)_(k-n-2),(1+s)^(-k,p)},0<s<∞以及n=[K(1/p-1)]·作为上述分解的一个直接结果,我们得到:临界阶广义Bochner-Riesz平均在H^p(R^k)上的a.e.收敛性。
基金The National Natural Science Foundation of China(No.60775029)the Science and Technology Program of Zhejiang Province(No.2007C33072)
文摘As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed.This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause,and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).Due to the avoidance of tremendous descriptions redundancies caused by applying ∩- and ∪-rules of the ordinary tableau algorithm,this mode greatly improves the spatial performance as a result.An example is given to demonstrate the application of this enhancing mode and its reduction in the cost of space. Results show that the improvement is very outstanding.
基金This work was supported by National Science Foundation of China
文摘In this paper, two theorems are presented. The representation theorem stales: ij theFredholm integral equation of the first kindAx=y, with bounded L2 kernel, has a uniquesolutionThe one-iteration theorem states: x can be achieved in one iteration byiffone of the following conditions is satisfied.
文摘In this paper we study the blow-up behavior for a class of semilinear parabolic variational inequalities;whereK = {u ∈L<sup>2</sup>(0,T;H<sub>0</sub><sup>1</sup>(Ω))|u(x,t)≥ψ(x) a. e. (x,t) ∈Ω×(0,T), u(x,0) = (x)},andis a uniformly elliptic operator.We prove the following main theorem.Theorem Let u(x,t) be a local solution of problem (I),u∈C(0,T;H<sup>2</sup>(Ω)∩H<sub>0</sub><sup>1</sup>(Q)),u<sub>i</sub>∈L<sup>2</sup>(0,T;L<sup>2</sup>(Ω)), and following conditions are satisfied.(1) There exists a continuously differentiable function G(x,s) and a positive number α,such
文摘Guo [1] gives some fixed point theorems of cone maps in Banacb space. Here we generalize the main resnlts of [1] to a locally convex space. We remark that the approach in [1] is not applicable in our paper. Throughout this paper. X is a Hausdorff locally convex topological vector space over the field of real numbers, K is a closed convex
文摘Similar to Blasone et al.[Phys.Rev.D 72(2005)013003]by examining the expectation value of the flavor charge under the normalized flavor state of the neutrino,we demonstrate that the introduction of the flavor state is consistent with the flavor charge only when the conditions,i.e.(A)|p|=0(the low energy case),or|p|/mi≫1(the relativistic case)and(B)the flavor state should be defined of the Pontecorvo form|νe〉=cosθ|ν1〉+sinθ|ν2〉or equivalently except a global phase,are satisfied.The root of the issue lies in the structure of the flavor charge operator.The diagonalization of the flavor charge operator with the integer eigenvalue can be realized through the Bogoliubov–Valatin transformation when condition A is satisfied.The eigenstate of the diagonalized flavor charge is of the Pontecorvo form under condition B.
基金Supported by the National Natural Science Foundation of China under Grant No 61572529
文摘We characterize a modified continuous-variable quantum key distribution(CV-QKD)protocol with four states in the middle of a quantum channel.In this protocol,two noiseless linear amplifiers(NLAs)are inserted before each detector of the two parts,Alice and Bob,with the purpose of increasing the secret key rate and the maximum transmission distance.We present the performance analysis of the new four-state CV-QKD protocol over a Gaussian lossy and noisy channel.The simulation results show that the NLAs with a reasonable gain g can effectively enhance the secret key rate as well as the maximum transmission distance,which is generally satisfied in practice.
文摘Dear readers,the first and the last thing which China's Foreign Trade magazine wish to do is preparing delicious information dishes for you,and make you satisfied.We seriously consider your various appetites and tastes,and any suggestion from you is so precious to us.Please let us know your favorites.You can book your order by writing to us,or just a call.Your advice is more than welcome. Editorial
文摘In this paper we consider nonlinear control sysfemdx/dt=A(t)x+B(t)f(x),(1)Where x(t)∈Rn is the state vector,A(t)=(aij(t))n×nis the System matrix,B(t),an nxr time-varying matrix,is the input matrix;f(x)∈Rr is nonlinearvector function,and A(t),B(t)∈c[t0,∞),f(x)∈c[x0,∞)Here we are to discuss thc boundedness of system(1)in various cases ofmatrix A(t),and the following results shall be obtained.In this paper,weshall use the results of Bihari and other authors.