基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

小波函数在混沌系统控制中的应用

1　概述1 1　小波分析的基本理论小波分析可以说是众多科学研究工作者经过近一个世纪的不懈努力和辛勤研究 ,在上个世纪末期在应用数学领域中迅速发展的一门新兴学科 ;由于它相对于Ｆｏｕｒｉｅｒ分析能真正实现“时 -频”分析和多尺度分析 ,能够更有效地从信号中提取信息 ,从而解决了Ｆｏｕｒｉｅｒ变换难以解决的问题 ,因而在信息处理、图象识别、数据压缩、系统辨识、故障诊断及控制等方面得到了广泛的应用 ,被预为“数学显微镜” ;传统上使用Ｆｏｕｒｉｅｒ分析的地方都可以用小波分析替代。如果函数Ψ (ｔ)∈Ｌ2 (Ｒ) ,且其Ｆｏｕｒｉ…     

一类下级有穷的拟素整函数

证明了对有穷级整函数,若Julia方向总数有穷,且有一个有穷亏值,则能找到一个角形域,使该函数在此角形域内有界。并以此结论证明了该函数是拟素的。     

关于点变差函数的某些性质

设ｆ（ｘ）为定义于区间Ⅰ（有限或无限）上的有限实函数。任给实数δ＞０，ｘ∈０，∈Ｉ，Ｖ＾Ｘ＋δＸ－δ（ｆ）表示ｆ（ｘ）在［ｘ－δ，ｘ＋δ］上之全变差。     

简支阶梯轴弯曲变形的傅里叶级数近似计算

利用广义函数和傅里叶正弦级数来求解简支阶梯轴的挠曲线四阶近似微分方程，推得简支阶梯轴的挠曲线近似方程，进而可以近似计算出其任一截面处的弯曲变形。     

武汉机场飞行区土方调配大系统优化方案研究

武汉机场是国家重点建设项目。本文提出了机场飞行区土方工程的最优调配问题。它是一个规模庞大的大系统最优规划, 变量多达一千四百九十六个, 一般计算机容量已不够。为此, 在工民建施工领域首次提出了大系统土方调配优化数学模型进行优化, 得出的优化方案可节约经费1073441.29元。所建立的大系统土方调配优化数学模型对工民建等大型土方调配优化有普遍的应用价值。     

水合镁离子的分子动力学模拟研究

基于水合离子[M(H2O)m]n+的概念,利用Moldy分子动力学模拟并结合分子内相互作用势MCY来研究水中的镁离子.该模拟系统包括一个二价的镁离子和216个水分子,在温度为330K下,计算了系统内不同原子对之间的径向分布函数(RDF),模拟结果和实验值基本一致.而且从其径向分布函数可看出,镁离子的出现并没有使得镁离子周围的第一水化层水分子和第二水化层水分子之间的距离有明显的减少.