基于符号分析法的CMOS模拟单元电路自动优化技术

在CMOS单元电路自动优化中提出了一个新的设计方法。此方法采用符号分析技术自动生成描述电路性能的精确解析方程,进而将性能符号方程作为遗传优化算法中的评价电路性能的准则。对于固定拓扑的电路,遗传优化算法通过寻优过程产生满足性能约束的电路设计参数集,从而实现设计者所希望的设计目标。实际电路的优化结果表明此方法能较好地满足性能要求,同时所需的设计时间较短,从而说明该方法是一个具有灵活性和可靠性的设计方法。     

《苦水作剧》在中国戏曲史上空前绝后的成就

顾随先生受王国维与鲁迅的影响,因而有心在杂剧创作中加入了象喻性,使杂剧在继承传统美感的同时,还能够使读者产生人生哲理的思考,这在以前的杂剧创作中是没有过的。但自“五四”以来,由于人们对传统文化的疏远及杂剧创作的繁复,已经很少有人再创作杂剧这种体裁的作品了。所以说,顾随先生在中国戏曲史上的这一成就既是空前的,也是绝后的。     

基于符号模型检测的SDG模型可诊断性验证

由于定量信息和非线性因果关系的丢失,符号有向图（signed directed graph, SDG）模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型验证器（symbolic model verifier, SMV）模型;其次利用SDG的深层知识,构造了可诊断性函数,设定了可诊断性上下文,给出了可诊断性定义。然后,构造了SDG耦合孪生SMV模型,定义了可诊断性的计算树时态逻辑公式,提出了验证算法SDGD_CSMV。最后,通过一个实例验证了可诊断性的判定和算法的有效性。     

Duffing方程的首次积分法求解

应用首次积分法, 提出一种求解非线性波动方程的分析方法, 并在理论上得到一类Duffing方程精确形式的行波解. 结果表明, 首次积分法对于求Duffing方程的精确解是一种可行方法.     

石油构造物理模拟实验室建设的探讨

依据地质和石油高等院校本科石油构造分析课程理论教学内容,提出了针对含油气盆地不同构造变形样式和圈闭类型形成演化的石油构造物理模拟实验室建设的内容、思路与标志性成果。     

一维复合函数形态格架的符号动力学表示

本文在一维迭代函数形态格架研究的基础上,研究一维复合函数的空间形态,通过符号动力学方法及形态算法进行构造,确定一维复合函数空间形态的定性图形。     

计算机代数学及其软件系统

计算机代数学是近三十年发展起来的数学、计算机及人工智能的交叉学科,是数学发展的前沿学科．该学科的发展对科学计算产生了革命性变化．本文简单综述了计算机代数学及其软件系统的内容、意义、作用、历史及其与数值计算、计算机、数学机械化等相关学科的联系．     

The pointwise dimension of self-similar measures

The problem about the existence of pointwise dimension of self-similar measure has been discussed. The Hausdorff dimension of the set of those points for which the pointwise dimension does not exist equals the dimention of support of the self-similar measure.     

齐次平衡原则及其应用

叙述齐次平衡原则及其在非线性数学物理中的应用：根据该原则可导出一大类非线性ＰＤＥ的非线性变换,并借之得到方程的精确解;利用计算机的符号计算系数获得许多非线性ＰＤＥ的弧立皮解;对一些非线性方程的边值－初值问题也可得到其精确解的表达式。     

符号回归的一种新算法

基于头身尾三段结构的基因表达式程序设计方法,提出一种改进算法。新算法有三大改进:(1)采用模拟退火选择策略避免早熟;(2)用基因库技术保存优势基因,既加速了算法的收敛性,又提高了解的质量;(3)使用二次演化进一步提高解的精度。符号回归实验结果表明,新算法比原基因表达式程序设计算法和遗传程序设计算法收敛更快,精度更高。