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

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

ZIP9封装的电子器件散热器ANSYS分析

根据ZIP9封装的电子器件的外形结构及尺寸大小设计了条形齿和墩形齿两种散热器模型,然后利用ANSYS有限元分析软件进行建模,并分别作仿真分析,得到了两种模型的温度场分布,进而作了比较分析,得出了优化的设计结果.最后还分析了底板在一定的情况下齿的行数多少对散热性能的影响,并得到散热器综合性能最佳时的齿的行数为7或8行的结论.     

用数量化理论建立教育评价模型的方法

本文讨论了用数量化理论建立教育评价模型的方法。     

部分线性模型中估计的渐近正态性

考虑回归模型 y_i-x_iβ+g(t_i)+σ_ie_(is)i-1,2…,n, (1) 其中σ_i~2-f(u_i)>0,(x_i,t_i,u_i)是固定非随机设计点列,β是未知待估参数,g(·)和     

数据包络模型的随机性研究

利用最小绝对误差估计和机会约束规划，本文研究了数据包络模型中的随机性问题，建立了一系列线性与非线性规划的数据包络模型。并对模型解的存在和鲁棒性作了讨论。     

一种分形图像匹配方法

通过对ＦＢＭ的Ｗｅｉｅｒｓｔｒａｓｓ－Ｍａｎｄｅｌｂｒｏｔ随机分形逼近函数的频谱分析，给出了多重分形特征的定义，并给出了判别图像的ＦＢＭ区域的方法，在ＦＢＭ区域内采用该特征进行匹配能克服复杂自然景物图像中灰度与边缘特征的不稳定性，实验表明该匹配方法能够获得比传统匹配方法，例如平均绝对差算法以及特征匹配法更高的匹配定位精度和匹配概率。     

Experimental and Parametric Design of Petroleum Back-pressured Hydraulic Impactor

Percussive-rotary drilling technology was considered many years ago as one of the best approaches for hard rock drilling. It is a key for popularizing this technology on a large scale to design and make an impactor with excellent performance. This paper presents a suit of method to design the percussive parameters for the oil or gas field by introducing the working principle of back-pressured impactor, dividing the working periods of impactor into three phases and establishing the computer emulational model of percussive parameters. It draws a comparison between the results of model calculation and experiment on the basis of analyzing the experiment results of impactor. The conclude provides credible foundation for designing and further ameliorating the impactor.     

一种考虑摩擦与排斥的人员疏散元胞自动机模型

在人员疏散过程中, 人与人之间、人与环境(如建筑物)之间存在相互作用力, 包括吸引力、排斥力和摩擦力. 3种力对人员疏散的行为、速度和效率起着关键作用. 在以往的模型中, 吸引力可以得到较好地描述, 但对排斥力和摩擦力的定量描述还不完善. 近年来提出的多粒子自驱动模型(社会力模型)可以较好地体现3种力的作用, 但由于它是一种连续型模型, 运算的速度较慢并很难得到改善. 目前研究较多的离散型模型, 如元胞自动机模型和格子气模型等, 可以达到较高的运算速度, 但很难考虑到摩擦力与排斥力的作用, 造成运算结果误差较大. 针对这种情况, 本文在经典元胞自动机模型的基础上, 量化确定了摩擦力和排斥力的运算规则, 提出了一种新的元胞自动机模型. 通过将模型的运算结果与多粒子自驱动模型进行比较表明, 新模型在人员行为、疏散速度以及“快即是慢”效应等方面都可以得到与后者相同的结果, 而运算速度则与普通的元胞自动机及格子气模型相当, 比社会力模型大为提高.     

平原农田防护林杨树生长模型及应用研究

应用MATLAB6．5软件，采用经典理论生长方程Logistic方程、Richards方程、单分子式（Mitscherlich）方程对苏北平原建湖县农田防护林I-72杨的平均高、优势高、平均胸径、平均材积生长数据进行曲线拟合．结果表明，Logistic方程拟合胸径、平均高生长效果最好，而Richards方程拟合优势高、材积生长效果最好，并运用拟合模型结果进行立地质量评价和成熟龄确定．     

基于面向对象技术的教务管理信息系统的设计

从教务信息系统的建设目标出发，针对面向对象技术的特征，设计了基于面向对象技术的教务管理信息系统的功能模块和对象模型。