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

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

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

考虑回归模型 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.     

对逐级递增负荷力竭性运动前后自由基代谢的灰色关联分析

采用灰色关联分析方法研究了逐级递增负荷力竭性运动前后自由基代谢指标的变化，结果显示，自由基代谢系统不同成分之间的相互影响是非常复杂的；尿液T—SOD的变化可能主要受到肾脏本身自由基代谢状态的影响；机体各组织细胞中生成的MDA对尿液MDA含量的变化有重要影响．     

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

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

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

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

径向电磁轴承的灰色系统控制与数值仿真

应用灰色系统去余控制理论，以径向电磁轴承为对象，提出该轴承的灰色系统控制方法，以实现对转子的稳定控制，并进行了数值仿真。建立了径向电磁轴承转子系统的动力学模型与传递函数，按照灰色系统理论设计了控制系统，由数值仿真结果表明，该转子系统能实现稳定良好的控制效果。     

政府信息化的风险模式与中国的应用

政府信息化在具有多方面的巨大的潜在利益的同时，也存在着失败的风险。一般而言，政府信息化的失败包括总体性失败和部分失败。总体性失败指整个工程不能完成，或者完成后达不到预定的效果不得不放弃。部分失败指信息化达不到原先预计的全部效果。部分失败有两类：一是部分目标没有达到，即有些项目已经执行