RAID技术使用中存在的问题及对策

独立磁盘阵列技术虽然比较成熟，在小型机，服务器甚至微型计算机上都得到了广泛的应用。但是在具体的使用过程中，对使用者而言，由于普及程度不够，实践应用经验的欠缺，面对实际工作中各种不同的情况，例如：磁盘阵列崩溃后的阵列信息的不同修复方法；混用磁盘阵列级别崩溃后逻辑磁盘中原始数据的保持；什么情况下需要降低磁盘阵列卡固件BIOS的程序板本，具体如何操作；在做镜像时死机是因为什么原因造成的且如何解决等具体情况，即使对专业工程技术人员，也常感到无从下手。作者通过对长期实践工作中的总结，归纳了4个较有典型意义的案例解决方案。目的在于读者遇到同类问题时，能够节省时间，少走弯路，以加快磁盘阵列系统的修复或重建进程。     

利用驻极体提供均匀外场和屏蔽外场的设计

利用驻极体具有的可任意切割、拼装、黏接的特性，从静电学的基本规律及由泊松方程构成的静电边值问题出发，对驻极体既可对外提供电场又可设计为屏蔽电场的2个相异思维的研究结果展开了讨论，从而，从理论上指出驻极体既可以制成提供均匀外场的材料又可以制成一种透气性静电屏蔽材料．这为驻极体的工程实际应用提供了基础．     

岩爆应力状态浅析

分析地下洞室围岩的应力状态，研究了岩爆的极限深度问题，分析了应力路径的影响，结果表明，岩爆的极限深度随水平地应力与垂直地应力比值的增大而减少，并且岩爆的发生具有一定的滞后性。     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性、多任务的特点，运用有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计的思路和方法。     

基于局域网的网络状态预测

讨论了网络状态预测的意义及存在的问题 ,并分析了TCP协议中的通用网络状态估算法 ,针对其应用到具体局域网环境中时的不足之处 ,提出了平滑因子应该是时变的观点 ,并在此基础上给出一种新的用于局域网环境的网络时延预测算法 ,并给出实验数据进行比较分析     

非齐次线性系统状态的收敛性质

用泛函分析方法讨论了(连续时间/离散时间)非齐次线性系统的收敛性质,该结果可用于处理经济控制论中的许多宏微观经济的线性系统模型,因此具有一定的实际意义。另外,针对带有锥有界非齐次项的不确定线性系统,也讨论了其全局渐进稳定性,给出一个有趣结果。     

基于模糊状态模型的离散系统控制器设计和稳定性分析

给出了离散系统模糊动力学模型的表示方法,在此基础上给出了一种模糊状态反馈控制器的设计方法,并讨论了稳定性;同时也给出了一种模糊状态观测器的设计方法并讨论了稳定性.     

用MATLAB设计鲁捧PID压力控制器系统

利用可重复执行的交互式MATLAB软件，给出了鲁棒PID压力控制器的设计方法。研究结果表明、所设计的PID压力控制器的调节时间T≤0．5s，当输入为阶跃信号时，系统能达到ITAE最优。仿真结果表明，通过串联一个增益放大器，当C。在0．1—10范围内变化时，所设计的PID压力控制器具有很强的鲁棒性。     

电力系统状态估计的分布式并行处理

基于传统的状态估计算法，结合等式约束优化问题，提出了在计算速度、数值精度上显著提高的分布式并行算法，且以PVM为软件平台对验证系统进行了模拟计算。结果表明了该算法的有效性。     

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

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