多项式循环程序的秩函数探测

秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数.     

土木结构试验网络化方法的研究和实现

文章介绍了土木结构试验液压伺服系统,并且实现一种基于SOCKET的客户端、服务端和控制器端的网络化改造方法,通过该方法改造后的系统不但可以实现土木结构抗震性能伪静力、拟动力试验,还可以进行NetSlab平台下的大型网络协同远程拟动力试验,实现了土木结构大型试验设备共享和远程教学的目的.     

新疆大风区输电线路地线悬垂金具磨损分析与治理

由于特殊的地形地貌和气象条件,新疆境内有许多大风区,大风区内的输电线路金具磨损比较严重,是造成输电线路掉串事故的主要原因之一,所以对位于大风区的输电线路金具采取相应的防磨措施是非常必要的.结合新疆大风区某110kV输电线路地线悬垂金具磨损情况,首先建立了大风作用下地线金具串的受力模型,并根据风速的变化对地线金具串进行分阶段受力分析,对挂点金具失去稳定性时的风速进行求解计算,并分析了脉动风对地线金具串稳定性的影响.然后,分析了地线金具串内部连接结构的特点及挂点金具与挂点角钢之间的配合特点,最后通过综合分析研究得出了地线悬垂金具磨损的原因,并提出了相应的治理及预防措施.     

空心楼板安装的水平度控制

《建筑工程质量检验评定标准》(GBJ301-88)构件安装工程分项中的允许偏差项目,仅对相邻板下表面平整度有要求,而对板下水平度未作要求。在同一标准的砌砖工程分项中,砖砌体顶面标高的允许偏差是±15mm,对水平度也没有作出具体的要求。因此,相对于设计标高的±15mm 都是合格点,即在同一房间砌体顶面标高相差30mm 也在允许偏差范围之内。如果对空心板板底水平度不加控制,顶棚标高相差30mm 人们是能够觉察出来的。我们在受理住户质量投诉中,经常遇到住户投诉     

沼液对番茄产量及其植株生育性状指标的影响

沼液是人、畜粪便经厌氧发酵后的残余物，含有丰富的氮、磷、钾等营养元素和锌等微量元素，具有平衡供应养分的特点，是一种优质有机肥。沼液在改良和培肥土壤，刺激作物生长，增强作物抗逆性和改善产品品质等方面具有良好的作用。　　本文以L402番茄为供试品种，采用L9(34)正交表安排试验，以等氮、等磷、等钾为前提条件，对沼液、化肥、混合肥(50％沼液＋50％化肥)进行对比试验，辅以根外追施沼液，研究不同施肥量、施肥种类及叶面喷施沼液浓度的不同水平组合对番茄产量及植株生育性状指标的影响，用方差及极差分析法分析试验结果。1试验…     

新型水基波峰焊助焊剂的研究

研制了一种以水作溶剂的波峰焊助焊剂。根据助焊剂各组份的特点，分别对其活性剂、表面活性剂、成膜剂以及添加物进行筛选。依据标准对所制备的助焊剂进行性能测试。结果表明：该助焊剂各方面都符合国家标准，并且无卤化物，无刺激性气味，环保，安全，节省成本。最后对该助焊剂在波峰焊中的应用给出一些意见。     

用纳伏表分压法测量直流高压高值电阻器的可行性分析

目前,国内对直流高压高值电阻器的检校主要使用直流高阻电桥,但工作中存在操作复杂、工作强度大、效率低、测量准确度不高等问题。并且在测量中,温湿度、电压系数、热噪声等因素都会影响测量结果。为了解决实际问题,笔者在工作实践中利用现有设备及条件,总结出了一种可实现直流高压高值电阻器数字化、高精度测量的方法。一、纳伏表分压法工作原理及检定方法     

同塔双回输电线路相序排列方式对电场强度的影响分析

根据系统规划安阳西-林州500kV降压运行线路工程前期降压至220kV运行,降压运行期间。由于客观情况限制,双回路段左右两回线路相序设计成网相序（从上至下均为A、B、C）。本文结合安阳西-林州500kV降压运行线路工程对线路电场强度进行计算、分析、提出建议。     

北方“四位一体”农村能源生态模式保温效果的研究

以"四位一体"农村能源生态模式为研究对象,分析了12～1月该模式的保温效果。试验结果表明:晴天时,室内气温增加明显,最快时每小时增温5～9℃;阴天时,清晨室内最低气温在-1℃左右,低于一般作物生长温度的下限;通过积温分析,1月份活动积温0℃为299.7度,10℃为199.7度,有效积温0℃为299.7度,10℃只有49.7度;温室内地温最高可达23℃,最低为5℃;10 cm深的平均地温为11℃,30 cm深的平均地温为13℃,10～30 cm深的地温介于上述温度之间;温室内空气相对湿度均在65%以上,在晴天,室内空气湿度能维持在80%以上。通过研究分析,该温室在此时期适合种植耐寒作物。     

一种TD-SCDMA系统容量的仿真模型

TD-SCDMA采用智能天线、上行同步、联合检测、动态信道分配等技术使系统容量大大提高,系统投资成本也低于其他3G标准,因此研究容量仿真算法对TD-SCDMA系统的实用化具有现实意义.文章在介绍静态仿真概念、仿真场景、仿真方法的基础上,利用智能天线系统下的干扰计算方法,给出了一种理想功率控制下的TD-SCDMA系统容量仿真算法,并描述了仿真场景模型构架.