算法归纳设计策略与循环不变式

分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.     

关于供电系统提高功率因数问题的探讨

通过对晋城煤业集团古书院矿供电系统的分析，探讨了企业合理地选择用电设备，改善功率因数，搞好节约用电。提高经济效益的有效途径。     

动态乘数-加速数模型的输出反馈控制问题的讨论

利用状态空间法对动态乘数 加速数模型能否设计输出反馈控制问题进行了讨论。从而得出:在一般情况下,无法对该系统设计一个输出反馈控制G(t)=HY(t);但对于特殊情况(G(t)<0),可以对该系统设计一个输出反馈控制G(t)=HY(t),使开环系统由不稳定变为闭环系统稳定,并给出了可以实现输出反馈控制的条件。     

鼓泡塔和内循环气升式生物反应器混合特性比较

用脉冲示踪法测试了鼓泡塔和内循环气升式生物反应器的停留时间分布，对其流动混合特性作了比较研究．结果表明，内循环气升式生物反应器停留时间分布得到改善，强化了气液传质，有更好的混合效果，提高了反应效率．多参数模型较单参数模型能显著地反映出两种反应器的混合特性及其差别，移位对数正态分布函数模型对实验值的吻合程度优于组合模型．     

广义四元数群的全自同构群

一个有限群Q4n称为广义四元群,若Q4n=〈a,b|a2n=1,b2＝an,ab=a-1〉,n≥3.根据广义四元群Q4n的结构和性质,利用群的扩张理论,先确定了Q4p与Q4pm的全自同构群的结构,由此归纳出一般的广义四元群Q4n的全自同构群的结构如下:设p1为n的最小素因子,n=pr11 pr22…prkk为n的素数分解,那么(a)当p1＞2时,Aut(G)=〈α〉:(〈η1〉×〈η2〉×…×〈ηk〉);(b)当p1＝2时,Aut(G)=〈α〉:(〈η2〉×…×〈ηk〉), r1＝1〈α〉:(〈γ〉×〈η2〉×…×〈ηk〉), r1＝2〈α〉:(〈μ〉×〈ν〉×〈η2〉×…×〈ηk〉), r1≥3.     

采用步进电机驱动的摩擦传动微进给机构

为解决微小型机电系统大行程、高精度进给的问题,设计实现了一种由旋转电机驱动的摩擦传动微进给机构。采用对称预紧设计使加于摩擦传动主支承轴承上的预紧正压力的合力为零、从而减少传动误差。当步进电机采用5万步/转细分驱动时,经减速比为10:1的摩擦传动机构,输出直线位移分辨率可达到0.16μm。位移测试实验显示该摩擦传动微进给机构具有可靠的运动传递性能,系统的位移输出特性基本上取决于所采用的步进电机及细分驱动电路的特性。进给速度可通过改变驱动脉冲的频率调节,机构在高频驱动大位移动作时亦表现出准确的步进特性,可用于小型机电系统的开环进给驱动。     

重庆市郊土壤中锌的调查分析

为了调查重庆市郊几个蔬菜基地土壤的锌含量的情况，通过对市郊几个蔬菜基地的土壤进行了采样分析，分析其pH值，ω(Zn)的有效态、全态及污染物来源，从3个指标之间的关系来分析判断在不同地区锌污染的程度。调查表明不同地区的土壤锌含量不同，都有不同程度的锌富集，pH值对锌有效态有很大的影响。     

用EIB对变形纱的外观形态和膨松性的测试与探讨

为了对变形纱的外观形态和膨松性进行更好的评价，利用EIB对几种线密度较接近的棉纱、毛纱、低弹丝和空变纱分别进行测试，可以获得纱线的毛羽、丝圈或丝弧的数据、分布情况、形态图及纱线的直径；根据测试得到的数据，利用新建立的表征变形纱膨松性的指标进行比较和评价，得出用这种方法来评价是可行的，且低弹丝的膨松性较高。     

广义Burgers方程族的一类扩展可积模型

首先构造了loop代数A1的一个新的子代数,再将其扩展为一个高维的loop代数G,利用G设计了一个新的等谱问题,应用屠格式求出了名的Burgers方程族的一类扩展可积模型。     

强流射频四极加速器输入耦合环的物理设计研究

 详细讨论了强流射频四极加速器高频输入耦合环的一些基本问题，完成了高频输入耦合环的初步物理设计. 利用二维程序Superfish 的一些结果，确定了耦合环的大小，计算了耦合环的功耗，并对构成耦合环导线的粗细进行了估算。该耦合环的物理设计可作为耦合环试验的基础，同时，也可作为三维程序HFSS 模拟计算的起点。