期刊文献+
共找到485篇文章
< 1 2 25 >
每页显示 20 50 100
State Leaders Satisfied with KIP
1
《Bulletin of the Chinese Academy of Sciences》 2000年第3期125-126,共2页
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 展开更多
关键词 CAS State Leaders satisfied with KIP
下载PDF
Satisfied Men Live Longer
2
作者 Suzanne Rostler 尤北还 《当代外语研究》 2001年第2期16-17,共2页
作为上篇的一个姊妹篇,我们很乐意向读者推荐本文。古人云,知足常乐。读完本文,也许你会改其二字:知足长寿。文章告诉我们: 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.】 展开更多
关键词 satisfied Men Live Longer
原文传递
Director Ma Yueying Is Never Satisfied
3
作者 DING YAN MAN SUJIE 《Women of China》 1995年第10期12-12,共1页
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. 展开更多
关键词 Director Ma Yueying Is Never satisfied
原文传递
Event-Triggered Bipartite Consensus Tracking and Vibration Control of Flexible Timoshenko Manipulators Under Time-Varying Actuator Faults
4
作者 Xiangqian Yao Hao Sun +1 位作者 Zhijia Zhao Yu Liu 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第5期1190-1201,共12页
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. 展开更多
关键词 VIBRATION satisfy BIPARTITE
下载PDF
Lyapunov Conditions for Finite-Time Input-to-State Stability of Impulsive Switched Systems
5
作者 Taixiang Zhang Jinde Cao Xiaodi Li 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第4期1057-1059,共3页
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. 展开更多
关键词 PROPERTY IMPULSIVE satisfy
下载PDF
Boundedness of Solutions of A Class of Certain Integro-Differential Equations 被引量:1
6
作者 孟繁伟 《Chinese Quarterly Journal of Mathematics》 CSCD 1989年第2期102+94-101,共9页
本文研究了积分-微分方程解的有界性质。给出了方程(A)所有解有界的判別准则,同时也研究了方程(A)解的渐近性质。给出了方程(A)所有解当t→∞时趋向于有穷极限的充分条件。
关键词 解的有界性 积分-微分方程 渐近性质 有穷 proof BOUNDEDNESS INEQUALITY 数学季刊 satisfied quasi
下载PDF
PSL的有界模型检验 被引量:2
7
作者 虞蕾 赵宗涛 《电子学报》 EI CAS CSCD 北大核心 2009年第3期614-621,共8页
基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性... 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程. 展开更多
关键词 PSL(property specification language) 有界模型检验(bounded model checking BMC) SAT(propositional satisfiability) OBDD(ordered binary decision diagram)
下载PDF
Dimensional Analysis and Physical Similarity of Lossy Electromagnetic Systems 被引量:1
8
作者 SHI Zhendong DING Chunsheng CHEN Jiayu 《Chinese Physics Letters》 SCIE CAS CSCD 1993年第6期347-350,共4页
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. 展开更多
关键词 SYSTEM SIMILARITY satisfied
下载PDF
Decompesition of Kernel and Maximal Generalized Bochner-Riesz Means 被引量:1
9
作者 陆善镇 《Chinese Quarterly Journal of Mathematics》 CSCD 1989年第1期23+16-22,共8页
设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.收敛性。 展开更多
关键词 RIESZ satisfying MAXIMAL 数学季刊 proof ARGUMENT KERNEL implies INEQUALITY uniquely
下载PDF
Clause-based enhancing mode for tableau algorithm for ALCN
10
作者 古华茂 石锦芹 高济 《Journal of Southeast University(English Edition)》 EI CAS 2008年第3期361-364,共4页
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. 展开更多
关键词 tableau algorithm enhancing mode CLAUSE SATISFIABILITY
下载PDF
Zero Distribution of a Class of Real Polynomial Systems
11
作者 高堂安 王则柯 《Chinese Quarterly Journal of Mathematics》 CSCD 1989年第2期79+76-78,共4页
设P:IR^(2n)→IR~?(2n)是(q_1,…,q_(2n))次实多项式映射,满足q_(2j-1)-q_(2j),j=1,2,…,n。本文讨论这类多项式映射的实零点分布,并给出计算一批实零点的方法。
关键词 satisfying 数学季刊 POLYNOMIAL TRIVIAL doubled DISTINGUISH uniquely finding HOMOGENOUS NONNEGATIVE
下载PDF
广义Young不等式及其逆(英文)
12
作者 刘证 庄亚栋 《辽宁科技大学学报》 CAS 1989年第3期1-4,共4页
本文给出一种广义Young不等式,并且通过建立函数不等式证明了它的逆。
关键词 不等式证明 Young PROPOSITION INEQUALITY holds implies satisfy GENERA STRICTLY 三兰
下载PDF
爱国者
13
作者 Nancy Byrd Turner 王海强 《中学英语园地(高三版)》 2007年第12期63-64,共2页
关键词 HONOR ALONE 为己 COUNTS CLAIM satisfied
下载PDF
REPRESENTATION THEOREM AND ONE-ITERATION THEOREM FOR FREDHOLM INTEGRAL EQUATION OF THE FIRST KIND Ax=y
14
作者 云天铨 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1989年第7期593-597,共5页
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. 展开更多
关键词 ITERATION FIRST kernel satisfied CALCULATING EXPLICIT meaningful CONVERGENT GETTING choice
下载PDF
BLOW-UP OF A CLASS OF SEMILINEAR PARABOLIC VARIATIONAL INEQUALITIES
15
作者 吴新民 韦志辉 《四川师范大学学报(自然科学版)》 CAS CSCD 1991年第1期69-70,共2页
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 展开更多
关键词 SEMILINEAR ELLIPTIC parabolic DIFFERENTIABLE variational CLASS satisfied UNIFORMLY continuously 阴石
下载PDF
Fixed Points of Cone Maps in Locally Convex Spaces
16
作者 Liang Fanghao (Shandong University) 《Chinese Quarterly Journal of Mathematics》 CSCD 1989年第2期109-110,共2页
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 展开更多
关键词 HAUSDORFF CONVEX SUBSET generalize LOCALLY topological applicable Fixed REMARK satisfied
下载PDF
Flavor State of the Neutrino:Conditions for a Consistent Definition
17
作者 RONG Shu-Jun LIU Qiu-Yu 《Chinese Physics Letters》 SCIE CAS CSCD 2011年第12期86-88,共3页
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. 展开更多
关键词 CHARGE satisfied DIAGONAL
下载PDF
Four-State Modulation in Middle of a Quantum Channel for Continuous-Variable Quantum Key Distribution Protocol with Noiseless Linear Amplifier
18
作者 Yu Mao Qi Liu +2 位作者 Ying Guo Hang Zhang Jian Zhou 《Chinese Physics Letters》 SCIE CAS CSCD 2019年第10期6-10,共5页
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. 展开更多
关键词 QUANTUM satisfied QUANTUM
下载PDF
I WE NEED YOUR FEEDBACK!
19
《China's Foreign Trade》 2009年第5期65-65,共1页
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 展开更多
关键词 WELCOME MAGAZINE PREPARING ADVICE SUGGESTION seriously precious WRITING satisfied finding
下载PDF
The Boundedness of Nonlinear Control Systems
20
作者 Zhao Wen-yu 《九江学院学报(社会科学版)》 1986年第5期1-6,共6页
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. 展开更多
关键词 BOUNDEDNESS satisfied LIAPUNOV proof UNIQUENESS INEQUALITY GENERALIZATION inverse SCALAR Bellman
下载PDF
上一页 1 2 25 下一页 到第
使用帮助 返回顶部