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

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

思维能力在高考复习中的提高

高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。     

推进农业经济管理信息化势在必行

农业经济管理信息化是指充分运用信息技术的最新成果,全面实现各类农业信息与知识的获取、处理、传播和合理利用,加速传统农业的改造,大幅度提高农业生产效率和管理决策水平,促进农业持续、稳定和高速发展的过程.将现代信息技术引入到农业科研、生产、经营管理系统中,对传统农业进行改造,加速农业产业的升级,走农业信息化的道路是我国农业产业化发展的必然趋势.     

运城盐池生产习俗研究

运城盐池是全国最早的池盐产地,而且产量十分丰富,从古到今,一直造福于人类。本文着重从民俗学的角度,通过实地考察、实物分析、古籍考证相接合的方法,对运城盐池的生产习俗、管理制度及相关的崇拜仪式进行了充分的研究。旨在对保留古老民俗,发扬优秀民风起到一定的帮助作用。     

玻璃掺杂固溶半导体(ZnxCd1-xS)纳米微晶的溶胶-凝胶制备及光学性质研究

<正>玻璃掺杂半导体量子点材料表现出明显的量子限域作用和三阶非线性光学效应,它在制造全光学集成元件的应用前景越来越受到人们的重视。在这类材料的研究中一个很重要的问题就是:材料在具有大的非线性效应的同时还应具有合适的线性和非线性吸收。因为材料的非线性优值不但与非线性系数(χ³或n₂)成正比,而且与吸收系数成反比。但目前非线性系数比较大的一类直接能隙半导体具有确定的吸收边,例如CdS和ZnS的吸收边分别为2.42和3.8 eV,这就决定了它们的吸收特性的可调性很小。尽管可以通过量子尺寸效应改变其吸收边,但这种改变也是很有限的。从应用的角度来看,希望材料的吸收边能够根据需要而调整。     

修正的Navier—Stokes方程的再生性质和周期解

本文证明了由提出的修正的Navier-Stokes方程在小外力的条件下对t_1∈(0,T]存在唯一的初始速度分布使得相应的初边值问题的广义解具再生性质:(t_1)=(0)=.从而当外力还是时间t的周期函数时,是周期解.进而证明此周期解以指数方式吸引相应于同一外力但初值可任意的其它解.上述结论的证明基于对广义解v的导数v在空间L~∞(0,T;L~2(Ω))中估计.     

论过程控制系统的次优化方法：（Ⅱ）最简控制功能模块替换的次优化

利用低阶模型替代高阶模型，并以此为依据设计最优状态调节器，这经常是以ＰＩＤ及其组合与替换的形式出现。本文提出这种结合最常用的方式是Ｐ－ＰＩ，ＰＩＤＡ－ＰＩＤＢ以及ＰＩ－Ｉ的组合，并指出其适用的对象特性。     

小煤窑采空区注浆治理技术

结合大运高速公路的施工实践,阐述了对小煤窑采空区采用注浆法进行治理的关键技术及其工艺特点.     

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

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