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

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

白翅潜叶蝇的发现与研究

白翅潜叶蝇在福建省的发现 1981年4月10日．田间调查发现．福鼎市桐山区流美村种植的小麦及大麦遭受一种潜叶性昆虫的为害，多数麦株叶片前半段干枯，远远望去，全田呈现一片斑驳状枯白，虫株率达100％．产量损失二成以上。不久．白琳区和点头区等地亦相继传来灾情。     

森林面积分布系统的最优控制存在性问题

本文研究森林面积分布系统的最优控制问题。本文将林木总和长消率作为控制变量，以“范数最小”来衡量其最优性，利用空间Ｌ＾２（０，Ｔ）Ｔ〉０的自反、光滑和严格凸性，给出了森林面积分布系统最优控制的一个存在性定理。     

可压缩流体网络的建模方法

本文运用网络分析手段,首次提出了任意拓扑结构可压缩流体网络动态特性的建模方法.该方法突破了目前在流体网络分析中普遍采用的“小扰动”线性化处理方法的局限。     

层状岩体垒积序列差异性SCW-R/S分形模型

依据已有的一些力学分析结果、模型模拟结果和地质体中构造变形破坏的特征,指出层状岩体垒积序列差异性是控制地质体在法向上构造变形破坏的内因.并建立了定量描述它的SCW-R/S分形模型,使得不同地质体的差异性具有定量可比性;同时初步推测了它与构造变形间的表观关系.     

自催化反应模型的行波解

运用常微定性理论的相平面分析方法讨论了自催化反应中的Ｋａａｓ－Ｐｅｔｅｒｓｅｎ模型,得到了行波存在的各种可能结果。     

开发远洋运输船的动态规划模型及原则

以开发远洋运输船为背影,给出了带有后效性模型及解此模型的亚最优解原则。     

催化重整生焦动力学模型的研究 I.生焦动力学模型的建立

在催化重整１６集总动力学模型的基础上,假设同类反应的失活函数是相同的,建立了生焦动力学模型。在排除了内外扩散等影响因素的前提下,确定了催速生焦失活反应条件和催化剂活性评价条件,使在实验室进行生焦动力学模型的研究成为可能。     

微波对半导体器件破坏机理：一维器件模型及稳态处理

本文在半导体器件理论的基础上,建立了微波对半导体件破坏机理研究的一维器件模型,讨论了有关计算机数值模拟的处理技巧,并给出了差分方程组。     

随机共同均值线性模型中容许估计的几个结果

本文讨论了方差已知的随机共同均值线性模型中共同均值和参数的线性估计的可容许性,在齐线性和非齐线性两个估计类中分别得到了容许估计的充要条件.