圆柱与圆锥偏斜交相贯线求法的研究

在化工设备制造中 ,首先要准确地放样下料 ,而放样下料的关键是精确地求出相贯线和素线的实长。圆柱与圆锥偏斜交相贯时 ,传统的相贯线求法是过圆柱表面上一条素线与圆锥锥顶作一辅助平面 (一般位置平面 ) ,求出该辅助平面与圆锥面的交线 ,其交线与圆柱面上素线的交点即为相贯线上的点。在分析了传统方法的特点及不足的基础上 ,提出了一种新的求解方法 ,避免了传统方法的不足。     

JD-BP-37-280T高压变频器在副井绞车中的应用

介绍了四象限运行高压变频器的工作原理,并应用到煤矿副井绞车改造系统。研究表明该装置对煤矿副井绞车安全经济运行具有重要意义。     

扩展的双曲正切函数法的一个新应用

给出扩展的双曲正切函数法中Riccati方程的12个新精确解，将这些解与双曲正切函数法结合应用，得到KdV—Burger-Kuramoto方程的多个新类型的精确行波解．     

含缺失数据Eichhorn模型中的比估计插补

利用随机化技术进行敏感问题抽样调查中常会出现缺失数据,借鉴Srivastava SK[Calc Stat Assoc Bull 16(1967)]在直接调查中利用辅助变量的构造估计量的思想,建立了具有数量特征的随机化Eichhorn模型中缺失数据的比插补方法.通过理论比较和数值模拟得出的结果表明提出的插补方法比传统的方法效率更高.     

一些非线性发展方程的周期解

利用辅助椭圆方程给出了求解非线性发展方程的精确周期解的一种代数方法，借助计算机的符号计算，求得了mKdV方程和非线性Klein-Gordon方程的多种精确周期解，这些解包括了已有的用Jacobi椭圆函数展开法所求得的周期解．在极限情形下，退化为相应的孤立波解或冲击波解．     

煤矿井下辅助运输系统的计算机模拟研究

本文建立了辅助运输系统的计算机模拟模型.简要说明了模型的构造方法、功能和特点,利用某矿的实测数据对模型进行了检验,并对该矿的生产系统进行了初步的分析研究.     

助剂种类对Co-Cr系多元催化剂制备碳纳米管的影响

为实现基于现有工业燃烧炉直接生长不同形态的碳纳米管,深入研究催化剂在火焰法制备碳纳米管中的作用机理具有重要的意义。以Co为活性组分、Cr为分散剂,采用浸渍法制备催化剂,研究Fe、Ni、Mo、Zn、Zr、V、W等助剂的添加对催化剂及碳纳米管性质的影响。利用扫描电子显微镜-能谱仪表征合成产物的形貌及含碳量,分析不同助剂对催化剂活性及碳纳米管形态的影响;运用X射线衍射仪、N₂吸附脱附及氢气程序升温还原表征不同催化剂的物理及化学性质,分析助剂对催化剂性质的作用机理。结果表明：添加Fe、V或Mo的催化剂都能够形成大量的簇状碳纳米管,Zn和Zr为助剂时催化剂无法生成碳纳米管;Cr与活性金属形成混合氧化物,作为结构促进剂,起到分散活性金属的作用;助剂通过改变混合氧化物与活性金属氧化物的比例,影响催化剂的活性;Fe、V和Mo的添加使得活性金属氧化物增加,提高了催化剂的还原活性,而适量混合氧化物起到的分散作用有利于形成生长碳纳米管的催化剂颗粒,从而促进碳纳米管簇的形成。     

一些非线性发展方程的线性化及新的准确解

对用齐次平衡法求解非线性发展方程精确解的若干文献进行了分析．发现了一个线性偏微分方程．以这个线性方程作为辅助方程,并与齐次平衡法相结合．求得Burgers方程和水波长波近似方程等一些非线性发展方程的新的精确解,推广了齐次平衡法的应用．     

微分中值定理的证明及应用中的辅助函数构造

微分中值定理是微分学的基础内容,也是用来研究函数性态的重要手段.因此,对微分中值定理的研究和再证明长期以来都是经久不衰的话题.通过对微分中值定理的再证明,不仅有利于初学者对定理的理解和掌握,也有利于其对定理的灵活运用,同时通过对微分中值定理的推广,还可以得到更加一般的情形.     

An effective estimation of distribution algorithm for parallel litho machine scheduling with reticle constraints

In order to improve the scheduling efficiency of photolithography, bottleneck process of wafer fabrications in the semiconductor industry, an effective estimation of distribution algorithm is pro-posed for scheduling problems of parallel litho machines with reticle constraints, where multiple reti-cles are available for each reticle type.First, the scheduling problem domain of parallel litho ma-chines is described with reticle constraints and mathematical programming formulations are put for-ward with the objective of minimizing total weighted completion time.Second, estimation of distribu-tion algorithm is developed with a decoding scheme specially designed to deal with the reticle con-straints.Third, an insert-based local search with the first move strategy is introduced to enhance the local exploitation ability of the algorithm.Finally, simulation experiments and analysis demonstrate the effectiveness of the proposed algorithm.