系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

非线性大阻尼系统的摄动法

文中提出大阻尼非线性振动系统一种改进的摄动法，并应用这种新的方法研究了大阻尼Vanderpol方程的一次近似解。     

用Padé逼近构造高阶收敛的方程求根迭代公式

本文用[1/M]Pade逼近构造方程求解迭代公式,其收敛速度为M+2阶。此族公式包括著名的牛顿选代公式和Halley迭代公式。文中还给出了有效的算法。     

钠光谱分析中运算方法的改进

本文对近代物理实验项目《钠原子光谱的拍摄与分析》的传统教学内容提出了改进,并将微机引入了实验教学。     

预应力混凝土箱梁爆炸损伤评估及公式拟合

对预应力混凝土箱梁进行爆炸损伤评估研究。首先,对矩形梁进行爆炸数值分析,结合现场试验结果验证了爆炸数值模型的准确性、可靠性。其次,基于箱梁剩余承载力,建立了箱梁爆后损伤评估准则。通过对预应力混凝土箱梁在不同爆炸工况下的爆后剩余承载力计算,建立箱梁各损伤程度下P?I（超压?冲量）曲线。研究发现,混凝土强度对箱梁超压和冲量临界值影响较大,钢筋屈服强度对超压和冲量临界值影响较小。随着结构损伤等级的增大,各参数对箱梁P?I曲线的影响幅度各不相同。最后,对不同混凝土强度箱梁中各损伤等级P?I曲线进行公式拟合,并对拟合参数β进行分析。     

农田蒸散和干旱的计算及其分析

农田蒸散是形成土壤干旱的主要因素。本文采用陶祖文的彭曼修正公式对冀东地区的唐山、秦皇岛、乐亭、遵化等地3～11月的可能蒸散与可能实际蒸散进行了计算,并与本省南部的曲周做了可能蒸散量的对比分析。在统计分析的基础上,按《干旱分析方法的探讨》一文给出的华北地区干旱指标,用唐山农业气象站1980～1989年观测旱作地段的土壤湿度资料,对当地干旱的发生与干旱的指标进行了分析和验证。     

复调和函数的Cauchy积分公式

建立了复调和函数积分,得出了其Ｃａｕｃｈｙ积分定理与Ｃａｕｃｈｙ积分公式,并讨论了单位圆上复调和函数Ｃａｕｃｈｙ积分公式的特征。     

一种特殊光学系统基点位置的三种解法

由有平面镜组成的折反光学系统,如图1所示,一般实验和研究领域内无不经常碰到。本文根据光学系统的等效理论,试用三种方法求出这种系统的主点和焦点位置。设折射系统的物像空间的介质折射率分别为ll和12,其焦距分别为人和f'1,折射系统与平面镜的距离为d,符号法则与文献［1］相同。图11作图法如图2所示,任作一条平行于主轴的人射线①,此光线经折射系统折射后,出射线②经过F"l点;光线②经平面镜反射时,遵从反射定律;再作一条与反射光线③平行且过F＇1点的辅助光线,此辅助光线经折射系统折射后成为平行于主轴的光线,连接它与折…     

截距确定的线性回归方法

标准线性回归计算方法不适用截距确定的线性拟合,本文介绍了Ｙ＝Ｋｘ型函数的拟合方法 。本方法用于截距确定的回归计算,不仅使运算简化,而且其结果更为准确。