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

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

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

文中提出大阻尼非线性振动系统一种改进的摄动法，并应用这种新的方法研究了大阻尼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点的辅助光线,此辅助光线经折射系统折射后成为平行于主轴的光线,连接它与折…     

∑N_im_i强子产生过程中质量增加的经验公式和(英文)

强子质量ｍｉ和强子的平均数〈Ｎｉ〉遵从公式（βｍｍｉ／〈ｍ〉）μ＋νＫν（βｍｍｉ／〈ｍ〉）．自旋、奇异数压低和大产生截面（σ（Ｄ）,σ（Ｂ）,σ（Λ０））都是质量效应．质量产生过程受到在扩散方程和相对论波动方程之间连续变化所决定的连续阶导数（／ｔ）μＧＸα（ｘ,ｔ）控制．