期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
计算机辅助气动系统逻辑设计的研究
1
作者 刘永贤 张瑞金 《工程科学学报》 CSCD 北大核心 1994年第S3期105-105,共1页
本文对计算机辅助气动系统逻辑设计进行了深入研究,选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法,采用立方符号表述逻辑函数,把逻辑运算表示为立方的相交、相容及锐积运算,提出用判断最小项来完成对给定程序的判断... 本文对计算机辅助气动系统逻辑设计进行了深入研究,选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法,采用立方符号表述逻辑函数,把逻辑运算表示为立方的相交、相容及锐积运算,提出用判断最小项来完成对给定程序的判断和校正,进而实现了计算机的辅助逻辑综合,得到了最优的逻辑设计结果,并将此应用于计算机辅助气动系统设计中取得了良好的效果。 展开更多
关键词 计算机辅助 逻辑设计 气动系统设计 逻辑综合 逻辑函数 立方符号 锐积运算 逻辑运算 给定程序 最小项
下载PDF
A Generalized Method and Exact Solutions in Bose-Einstein Condensates in an Expulsive Parabolic Potential
2
作者 LI Biao 《Communications in Theoretical Physics》 SCIE CAS CSCD 2007年第3X期391-398,共8页
In the paper, a generalized sub-equation method is presented to construct some exact analytical solutions of nonlinear partial differential equations. Making use of the method, we present rich exact analytical solutio... In the paper, a generalized sub-equation method is presented to construct some exact analytical solutions of nonlinear partial differential equations. Making use of the method, we present rich exact analytical solutions of the onedimensional nonlinear Schrfdinger equation which describes the dynamics of solitons in Bose-Einstein condensates with time-dependent atomic scattering length in an expulsive parabolic potential. The solutions obtained include not only non-traveling wave and coefficient function's soliton solutions, but also Jacobi elliptic function solutions and Weierstra.ss elliptic function solutions. Some plots are given to demonstrate the properties of some exact solutions under the Feshbachmanaged nonlinear coefficient and the hyperbolic secant function coefficient. 展开更多
关键词 nonlinear Schrodinger equation symbolic computation SOLITON
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部