机车蓄电池智能充放电监控系统

针对传统机车蓄电池检修及检修后充放电过程中存在的效率低、维护困难等问题,提出了一种集监测和管理于一体、采用PC机控制构建的智能蓄电池充放电监控系统,并对该系统的主要功能模块进行了分析.     

喷涂掘进煤巷抑制瓦斯涌出的研究

通过喷涂煤壁可抑制瓦斯涌出原理，建立了瓦斯在煤体与喷涂层中渗流传质的物理数学模型，得出煤壁喷涂前后瓦斯渗流压力的分布及瓦斯涌出量随煤层透气系数的变化规律，提出了煤层透气系数的测定方法及喷层厚度的计算方法，揭示出喷层厚度与喷层的透气性及喷层与煤壁的粘结应力的相互关系。     

基于事务形式验证(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电子问的交换所决定。     

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

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