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

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

有轴平面束方程中参数的几何意义

本文给出通过两个相交平面的交线的平面束方程中参数的几何意义；并用类似的方法获得平面解析几何中直线束方程中参数的几何意义。     

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

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

复调和函数的Cauchy积分公式

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

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

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

用类比法引入安培定律的教学实践

电磁学是物理教学的重点内容,由静电场、稳恒电流的磁场及电磁感应与电磁场三部分组成,突出研究“场”的性质和运动规律。电磁学中静电场的教学是关键,用较多的时间来打好基础是必要的。如果在学过静电场的基础上应用类比法,根据对应性思路组织稳恒电流的磁场——静磁场的教学,将起到事半功倍的作用,可以收到较好的教学效果。库仑定律是静电场的基本规律。由库仑定律和场的叠加原理可以导出高斯定理等描述静电场性质的一系列结论。类似的,安培定律则是静磁场的基本规律。学习了静电场以后,根据真空中两个静止的电荷元（点电荷）之间…     

《重筛法》及其应用(Ⅰ)

《重筛法》是一种研究方法,是把复合数与质数区分开来,并进行分类和标码,使质数分布问题的研究转换成对“码”运算的研究.本文介绍了《重筛法》部分内容,及其在若干质数分布问题研究中的应用.本文着重介绍利用等差级数特性,实现复合数和质数的区分、分类和标码;并推导出实用的质数公式.     

基于B样条修匀公式的边缘检测的改进方法

边缘检测是图像分割中的一个重要部分．本文依据B样条修匀公式的图像边缘检测的基本思想，但又因为用B样条函数光滑后的图像对原始图像的逼近性并不十分精确，即它们的误差图像中残留着一些可能造成检测到的边缘线不连续或有用特征可能检测不到的边缘信息，为减少残量误差，本文对图像原型值采取盈亏修正，然后再对修正的图像使用B样条修匀公式做全息光滑曲面，重新得到的曲面改进了逼近性，同时还具有足够的光滑性和良好的保凸性．