用于检测数据库一致性的Petri网模型

本文通过建立事务调度的Ｐｅｔｒｉ网模型，给出了并发控制系统判断数据库一致性的形式化方法，得到了判定可串行化调度的充要条件。本方法简便、实用，大大改进了以往的方法，为实现数据库一致性的自动判定提供了前提。最后从方法学角度提出了应用Ｐｅｔｒｉ网的新方法。     

MOS器件的二维稳态分析

本文叙述了MOS 器件的二维稳态分析软件.二维泊松方程和电流连续方程是用有限元法求解的.非线性泊松方程用牛顿-拉夫森法线性化.由于采用Gummel迭代法求解和巧妙地采用稀疏矩阵技术存放方程的系数矩阵,节省了所占用的计算机内存.求解所需网格划分信息由程序自动形成.本文给出了本程序运行时占用内存和运算时间以及MOS器件的一些计算结果.     

基于遗传算法的混合类型数据聚类分析

针对聚类分析算法在数据挖掘应用中存在的问题,该文结合遗传算法,对传统K均值聚类算法进行了改进,提出了混合类型数据聚类新算法,扩展了聚类分析的应用范围。实验结果表明,该算法具有较好的聚类性能。     

烧白泥作混合材的试验

烧白泥属粘土型火山灰质混合材。白泥经700～800℃煅烧后,活性有很大提高。其活性成分除SiO_2外,还有大量的Al_2O_3。这些活性成分在水泥水化时与Ca(OH)_2作用,生成新的水化物硅酸钙和硫铝酸钙,从而对提高水泥强度产生良好作用。同时,烧白泥具有很大的内表面积和表面自由能,使水泥石的物理化学吸附能力提高,于是也提高了水泥的粘附能力,增加水泥的抗拉强度。     

基于正交试验的双P型辐射管三级燃烧器低NOx仿真

为降低双P型辐射管NO_x排放,运用扩散式分段燃烧的低NO_x均匀化燃烧技术,设计一种辐射管三级燃烧器,对其进行数值模拟,经过验证模型可靠.对燃烧器结构及运行参数进行正交试验和单因素研究.研究表明:空气预热温度、空气分级配比和空气过剩系数对出口NO_x排放浓度有显著的影响,相互无交互作用;一次风量由10%增大到20%时NO_x生成量由65.2×10-6增加到108.2×10-6,一次风量增加到30%以上时出口NO_x体积分数增加速率趋缓;空气预热温度每增加100℃,最高燃烧温度增加约50℃,排放气体中NO_x体积分数由50.9×10-6以22%、23.2%、25.3%、27.2%、27.3%和29.5%的速率增加;随空气过剩系数增加,出口NO_x体积分数由82×10-6呈22.1%、1.9%、2.1%、24%和2.5%的波动增长趋势.      

单晶炉内水管流体类型对铜板温度影响

为降低炉内温度,建立冷却水平蛇形管的物理和数学模型,采用Flow Simulation软件对加热过程中冷却铜管温度进行数值模拟。结果表明:水平蛇形管中流体流动类型不同,对铜板壁的冷却效果也不同;由于蛇形管水平放置,冷却铜板四周温度较低,越靠近中心处温度越高;对单相工质水而言,水平蛇形管壁温度沿管长越来越高,但在弯头处略有下降,整体呈现上升的趋势,且壁温随流体流速的减小而增大,在低流速下壁温值增加更加明显。研究结果为实际应用提供了参考。     

应用JKSimFloat模拟浮选流程验证超大型浮选机选型

在实验室分批浮选试验的基础上,采用JKSimFloat分批浮选回收率模型,分别计算了某铜矿石中不同矿物的浮选动力学参数。参照现场浮选流程,应用JKSimFloat软件进行了不同浮选机选型方案的浮选流程模拟。对比模拟结果和实际生产指标,表明JKSimFloat模拟结果的精度较好。因此,JKSimFloat软件可以作为超大型浮选机选型结果的有效验证工具。     

FREESET系统在电力生产中的应用

方便、可靠、快捷的通信方式是人们不断寻求的目的,一个高效可靠的调度行政通信网是电力部门安全生产的前提和保证。现代电力生产企业由于厂区面积较大,生产管理及运行指挥人员及生产检修人员对移对通信的需求十分迫切。已经使用的个人无线电设备有：无线对讲机,大功率...     

某尾矿坝的稳定性计算与分析

对细粒尾矿坝稳定性的影响因素进行了分析,依据相关规范结合勘察资料对某尾矿坝进行了抗滑稳定性分析,得出在正常运行条件下该坝的稳定性计算结果。