关于蕴涵BCK-代数的半群刻划

给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征，并从剩余半群的角度对蕴涵BCK-代数进行了刻划．     

基于B/S模式网络存储的软件实现研究

对目前主要的数据存储方式进行了介绍，针对网络中单个应用系统存储需求紧张而同时网络中存在存储资源浪费、闲置等情况，提出了用软件实现基于B／S模式的网络存储系统BSMSM(B／S Model based Shared Memory)，从而实现了跨平台的网络存储．     

原子相互作用势对固体弹性模量的影响

分别导出了L-J和Morse相互作用势作用下面心立方结构的惰性元素晶体和金属晶体的弹性模量随压强的变化规律，讨论了原子相互作用势以及原子振动非简谐效应对固体弹性模量的影响．结果表明：在一级近似下简谐系数和第二非简谐系数对弹性模量随压强变化规律无影响；第一非简谐系数的存在使弹性模量增大．     

料浆法磷铵生产中新型管式反应器的研究与应用

传统的管式反应器用于料浆法磷铵中和杂质含量较高的磷酸时,易于结垢、堵塞.为此,研制了一种新型管式反应器,并于3×104t/a料浆法磷铵工业装置上进行72h考核与一个月的连续运行试验.结果表明:采用这种新型管式反应器,可缩短中和反应时间、减少非水溶性化合物的生成、提高磷铵产品水溶P2O5和解决了结垢、堵塞的问题.     

数学新课程在西南地区适应性调查研究

数学新课程改革与实验顺利展开的关键在于全国统一性与地方多样性的有机协调和互动融合．为此，通过对西南新课改实验区管理者、教师、学生、家长及师范生的调查，初步解析了制约新课程实施过程中多样性和统一性有机协调的相关因素，诊断出数学新课程在西南地区的适应性水平，提出了相应的理论思考和实践建议．     

带有预算费用约束的多地点报童模型

有针对性地研究了一种带有预算费用约束的多地点(连锁店)报童问题。在各地需求变量均服从正态分布的情况下,建立了数学模型,利用最优化方法进行了求解,并对模型的灵敏度进行了分析。     

钢筋砼预制桩侧阻力的试验分析

根据全液压静力压桩机在压桩过程中的数据和桩静载荷试验的结果,通过理论分析和计算,得出钢筋砼预制桩侧阻力随桩入土时间增加的变化程度。     

“亚大比例尺“地形图数字化方法研究与实现

针对1:5 000和1:10 000比例尺地形图地形、地物要素的类型、特点、分类编码、图式符号、数字化方法、开发技术等问题进行了研究和探讨,并且在Auto CAD2002平台下开发了1:5 000和1:10 000地形图数字化软件,可以完成地形图的定向与数据采集、交互及批量符号化处理、自动绘制格网图廓等工作.     

180 000kVA及以下容量变压器全自冷方式设计探讨

针对常规180 000kVA及以下容量变压器采用的传统冷却方式,提出并实施了一种从用户运行维护及节能角度出发的新的冷却模式,即全自冷方式冷却,并结合实例进行了分析.     

基于模糊 Petri 网的发动机故障诊断

基于模糊 Petri 网的基本原理,提出了简明有效的推理算法,并以发动机为例说明了 Petri 网在故障诊断中的应用.