基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于QFD的网站用户需求分析

以最终用户满意为驱动力,基于质量功能展开原理,提出一种将网站用户需求转化为对网站各个环节的要求的多层次演绎分析方法,即网站用户需求展开,为将用户满意理念贯穿于网站的设计与管理之中提供了理论框架与操作方法。     

一类钴基化合物的分子场理论分析

根据两格点分子场理论，在考虑重稀土与钴的磁矩偏离反平行倾角的基础上，分析了钴基化合物RCo5(R=Y，Pr，Nd，Gd，Tb，Dy)的磁化与温度的关系，采用数值拟合的方法得到了描述3种磁作用的分子场系数n(CoCo)，n(RCo)和n(RR)，计算出了Tc，结果表明，RCo5中的磁作用主要由钴3d电子问的交换所决定。     

视频数据在网络教学中的应用探讨

从分析视频在网络教学中的教学功能的入手，进而分析视频点播、视频直播、嵌入式视频和网上视频阅览室等四种应用模式，此基础上总结了当前视频应用中存在的一些问题，文中特别论及基于内容的视频检索。     

“学校课程”的建构

澄清作为三级课程体制结构中的"学校课程"概念,分析"学校课程"的缘由和要义,参照泰勒提出的课程与指导原理,结合中国课程实际情况,初步梳理学校自主设计课程的思路、程序和相应的教师专业化、课程管理的要求。     

混凝土单轴应力-应变关系的平行杆系模型

从断裂力学角度对混凝土在单轴受压时的破损机理和软化特性进行了分析，指出劈裂裂纹面的失稳弯折是其主要原因。建立了一种平行杆系模型用以描述上述机制，并据此提出了损伤指标。针对几种普通强度等级的素混凝土和相应的约束混凝土确定了平行杆系模型的具体参数，并对比分析了不同混凝土的杆系分布特征及产生机理。     

全层片组织 TiAl 基合金室温断裂机理的研究

在ＳＥＭ和ＴＥＭ下对Ｔｉ３３Ａｌ３Ｃｒ０．５Ｍｏ合金全层片组织薄板状和薄膜状试样分别进行了动态拉伸，并原位观察了试样中裂纹的形核及扩展过程．发现裂纹遇到内相界面时会发生偏转或裂尖发生钝化；主裂纹主要以使剪切带断裂而与微裂纹相连接的方式扩展并沿曲折路径进行．     

基于行为建模的机器人混合模糊-神经控制方法

本文提出了一种设计机器人模糊－神经控制器的新方法。因为模糊逻辑控制器的控制信号是由系统的响应行为而不是由其分析模型决定的，所以机器人的开环响应可以用一系列二阶系统来描述。然后，用Ｎｅｌｄｅｒ－Ｍｅａｄ单纯形算法离线优化与该系统相关的模糊逻辑控制器的参数，并用人工神经网络来训练开环响应与这些优化了的参数之间的匹配关系。该方法的优点在于当它用于设计模糊－神经控制器时，在自适应过程中不必考虑收敛问题     

基于行为的多自由度机器人运动规划

提出了一种有效的基于行为的多关节机械手的运动规划。该规划将低级的运动规划和高级的行为决策结合在一起，在将位于机器人工作空间中的障碍物快速映射到姿态空间中的算法基础上，通过传感信息来计算局部障碍物的信息，从而形成姿态空间中障碍物的模型。定义了几种类型的行为来描述机械手的运动，并给出了选择行为的规则。而这些行为都是用基于姿态空间的算法可实现的。该方法适于多关节机器人在非确定环境中实时规划的要求。     

稳态热流计法导热仪测试人造板导热系数

叙述了稳态热流计法导热仪测试人造板导热系数的原理和方法，讨论分析和比较了两种人造板的测试结果。结果表明：稳态热流计法导热仪具有稳定时间短、测试方便等优点，可用于测定固体材料、纤维材料和多孔隙材料的导热系数。