武警网管中心UPS供电系统设计

目前，UPS已朝着多功能的方向发展。文章首先对现代UPS电源技术做了简要介绍，对武警网管中心UPS供电系统的性能需求做了全面分析，重点探讨了武警网管中心UPS供电系统的设计方案，在UPS容量的确定、后备电池的配置、冗余方式的选择等方面提出了一些观点。     

不锈钢管道焊接工艺不规范所引起缺陷的分析与对策

就焊接过程中由于不规范操作而导致的工程问题作避免性阐述。1.焊接过程中电极连接时,与工件连接的非焊接端应采用牢固可靠的连接;不可靠的连接,焊接时将产生间断性打弧,从而在工件上产生电弧坑,甚至直接击穿工件厚度。2.焊接过程中的工艺固定点及辅架连接应采用合理的焊接固定工艺(设备固定及预焊固定),否则将导致固定点出现焊接坑及扩散性裂纹。     

基于k阶秩函数的线性赋值循环程序的终止性分析

循环程序的终止性是确保循环程序完全正确的必要条件。 如果给定的线性赋值循环程序不存在传统定义的线性秩函数,那么基于传统定义的秩函数终止性证明方法将失效。基于Aⁿx的精确计算,对传统的秩函数概念进行了扩展,提出了k阶秩函数的概念。使用RegularChains软件包给出了合成k阶秩函数的具体方法。实验结果表明,相比于传统定义的线性秩函数,k阶秩函数的适应范围更广。对于 不能用传统定义的秩函数证明其终止性的部分循环程序,可以基于k阶秩函数来证明,从而体现了所提方法的优越性。     

基于SVM的多项式循环程序秩函数生成

程序终止性问题是自动程序验证领域中的一个研究热点.秩函数探测是进行终止性分析的主要方法.针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机（SVM）算法来计算程序的秩函数.与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数.     

有界闭域上的线性赋值循环终止性分析

对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan 标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是：迭代映射在有界闭域上有不动点或周期轨.     

应急决策中基于时态知识的不确定性推理研究

针对应急决策中的不确定性,在传统区间代数方法的基础上,采用对区间时间断点模糊化处理并设定其取值范围的方法实现了应急领域不确定时态知识的表达,在此基础上,研究时态推理中的证据合成,通过时间区间集合,时态关系集合以及概率指派函数合成后的更新,给出了解决方案,结合应用算例进行分析。验证了该方法的有效性。     

直齿锥齿轮毛坯形状摆辗成形三维数值模拟

利用三维有限元软件DEFORM-3D,在变形瞬间状态及力学量场可视化环境下,模拟了3种相同体积的毛坯形状成形时对填充质量的影响,得到了摆辗载荷-时间曲线以及成形过程的变形速度分布图.数值模拟分析结果表明:采用圆鼓毛坯时齿轮充填性良好;锥形毛坯中部局部"缺肉";圆柱毛坯的充填质量与锥形毛坯的充填质量相似,但稍好些.这对摆辗工艺的合理制订具有一定的理论意义.     

中拐石炭系压裂增产配套技术的研究与应用

新疆油田中拐石炭系储层物性差,属于低孔、特低渗类差储层,油井的自然产能低,常规压裂方法难以达到理想的增产效果。为了提高储层油气获取率,通过对压裂液体系优化,采用多缝控高压裂增产技术、混合液大规模压裂技术、控压排采技术,形成了一套适合中拐石炭系储层特征的压裂增产配套技术。该技术在JL10井区应用7井次,施工成功率100%,增产效果明显,7井获得工业油流,单井最高日产量达60 m3/d以上。     

单分支线性约束循环程序的终止性分析

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上的秩函数计算问题.实验结果表明,该方法能有效验证现有文献中大部分循环程序的终止性.     

凝升泵振动异常原因分析与改进措施研究

凝升泵是核电厂设备冷却水系统的重要设备,巡检中发现3台凝升泵振动异常。凝升泵振动异常会影响机组的安全运行,因此需要对其振动异常原因进行分析并提出应对措施。基于振动测试结果,对凝升泵电机、泵体及附属管线振动特性进行深入分析,并对附属管线开展CFD计算分析,获知凝升泵及其附属管线的振动异常的原因,提出解决凝升泵及其附属管线振动异常的应对措施,为解决核电厂凝升泵振动异常奠定技术基础。