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

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

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

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

准均质充量压燃发动机低负荷排放性能的试验研究

通过试验研究了引燃油量和进气节流对天然气／柴油双燃料准均质充量压燃(QHCCI)发动机低负荷排放性能的影响．结果表明：在低负荷时适当地增加引燃油量，不但可以降低QHCCI发动机的排放，又可以提高其热效率；适当采用进气节流，可在热效率略有降低的情况下有效地改善QHCCI发动机在低负荷时的排放性能；在增大引燃油量的同时采用一定程度的进气节流对降低QHCCI发动机低负荷排放更为有利．     

Ga2Se3:Co2+光谱及Co-Se键长的研究

Ga_2Se_3是典型的A_2~ⅢB_3~Ⅵ型半导体材料、它在光电方面有很大的应用潜力而被广泛关注。采用Sugano-Tanabe强场近似理论,并引入平均共价因子N,利用经典的晶场能量矩阵公式,运用完全对角化方法,拟合了Ga_2Se_3:Co~(2 )晶体的吸收光谱,得到了与实验符合甚好的理论值,从而解释了Ga_2Se_3:Co~(2 )晶体的吸收光谱。同时研究了立方场下配体键长R与晶场参量Dq的变化关系,并从理论上计算了Co-Se键长。结果表明Co离子取代Ga_2Se_3中的Ga离子后,Co-Se键长比Ga-Se键长缩小0.1A。     

浅析太原市煤气抄表收费方式的转变

抄表收费是煤气公司销售煤气的重要环节，直接反映煤气供用双方的商品货币交换关系，寻求一种好的抄表收费方式，既可以大大方便用户，又可以提高煤气供用双方的结算效率。对太原市煤气的煤气抄表收费方式进行了总结。     

电费管理信息系统的研制开发与探讨

针对传统的电费管理方法存在的内容繁琐、计算量大等问题，使用数据库语言研制开发了计算机电费管理系统程序，并对该系统的功能模块做了介绍。     

激光-线阵CCD技术的热轧机辊形检测系统

应用激光—线阵CCD成像技术，提出了一种高速、高精度热轧机辊形检测方法，阐述了激光—线阵CCD工作原理及CCD视频信号图像处理技术，介绍了激光—线阵CCD热轧机辊形检测系统。采用新的自适应快速边缘聚焦法。有效地降低了噪音对成像质量的影响，提高了处理数据的速度，使图像得到有效增强，成功地解决了除噪、边缘检测和特征信息提取等关键技术，并通过实验进行了验证。     

煤矿瓦斯爆炸参数的突变与混沌研究

煤矿发生瓦斯爆炸的过程实质是井下气体状态发生突变的过程，本文首先采用突变理论建立了瓦斯爆炸数学模型，然后利用混沌理论和方法分析计算了有关瓦斯爆炸安全参数及条件，得到了瓦斯感应期，引爆参数等随井下条件的不同具有一定的混沌性质，理论上证明一些新的结论并验证了一些实验结果，为理论分析和实践提供了理论依据。     

论研究生教育收费的可行性、原则及配套措施

目前，对高层次人才的持续需求为研究生教育收费提供了外在的动力；人们对非义务教育“谁受益，谁出钱”的教育投资观已经有所认识，为研究生教育收费提供了内在的社会思想基础；城乡居民收入的增长为实现研究生教育收费提供了一定的经济基础；可以采取配套措施来消除收费可能给经济困难学生带来的压力，因此，实行研究生教育收费正当其时。但在制定研究生教育收费政策时应坚持扩大宣传和循序渐进、成本多元有限分担、保证国家及社会人才需要、按地域校别专业差别收费、充分考虑到社会承受力、强化监督与权力下放等原则。对研究生教育实行收费的同时，应同时对现行的研究生奖学金、贷学金、困难补助金等相关政策进行配套改革。     

稳恒电流电路中导线内部的电荷密度

本文通过对稳恒电流电路中导线内部的电荷密度的计算，解释了电流密度存在，而体电荷密度为零的现象