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

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

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

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

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

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

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

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

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

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

积极推进经济增长方式的转变

粗放型和集约型都是经济增长的方式。由粗放型为主向集约型为主转变,是今后我国经济发展的重要方针。实现这一转变,必须更新观念,深化改革,高度重视科技进步和劳动者素质的提高,同时采取切实有效的政策措施。     

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

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