某防洪堤工程土方填筑施工质量控制

防洪堤工程作为水利基础设施建设的重要内容,能否控制好其施工质量,对于人民生命财产安全以及国家的经济社会发展都具有重要意义。本文对某防洪堤工程实例加以分析,探讨了防洪堤工程土方填筑施工质量控制问题。     

赣州矿产资源开发与管理研究

论述了我国矿产资源的保护与合理利用在科学发展观统领中的重要意义,并提出了近期赣州矿产资源开发与管理的几项重要工作。     

镀锌线退火炉的电气安全措施

大型退火炉的安全措施必须完善否则极易发生安全事故,目前退火炉发生的爆炸、中毒等事故屡见于新闻,退火炉安全措施的加强相当必要。利用电气技术我们可以有效改进退火炉安全状况,提升其安全等级。     

多区间上非线性程序的终止性判定

主要解决了如下形式的程序的终止性判定的问题:while(x∈Ω)do{x:=(f)(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n ∈ N*)是间段并集(f)是一个多项式函数.证明了:当ψ(b1)ψ(a2)＞0,…,ψ(bn-1)ψ(an)＞0(其中,ψ(x)=(f)(x)-x)时,这类区间上的非线性程序不终止的必要条件是:在Ω内部或者边界上存在不动点.如果不动点仅仅在Ω内部,则上述结果是充要条件.通过添加一定的约束条件,对于仅区间边界有不动点的情况,也给出了判定的方法.对一类多项式函数的终止性给出了完备性的算法(TNPSI).     

风速对500kV输电线路绕击性能的影响分析

根据设计规范对线路绕击跳闸率进行计算,计算过程中综合考虑风速的因素,并对考虑风速前后的计算结果进行比较分析,给出了大风区500 kV输电线路防雷击的措施.     

基于ZigBee技术的无线温度测量系统设计

针对有线测量系统的布线纷繁复杂,系统容易老化,成本高,灵活性差,不具有可移动性的缺点进行了基于CC2480 IEEE 802.15.4/ZigBee片上解决方案和DS18B20数字温度传感器的无线温度测量系统的设计。系统能够实现采集待测对象内任意点处的温度值,并能向用户端显示所采集到的温度值。该系统方便架设,易于使用和...     

基于PDMS平台的模块三维设计系统研究开发

在核电厂建造过程中,采用模块化建造技术是缩短建造工期和降低造价的有效方式之一.二代加百万千瓦级压水堆( CPR1000),作为国内主要的二代加核电堆型,其建造技术已相当成熟,在国内已形成批量化建造,但是在缩短工期、降低造价方面还有潜力可挖,因此,积极推进CPR1000模块化技术开发与应用研究意义重大.本研究以CPR 1...     

基于环Z_n上圆锥曲线的QV签名方案

经典RSA算法易受小指数攻击,并具有同态性.环Z_n上椭圆曲线E_n(a,b)上的KMOV签名方案克服了,指数攻击,但是仍有同态性.E_n(a,b)上的QV签名方案克服小指数攻击及同态性,但要求E_n(a,b)上存在阶为M_n={#E_p(a,b),#E_q(a,b)}的点,而这一条件不是所有E_n(a,b)都能满足,且E_n(a,b)上的计算较为复杂.文中进一步研究环Z_n上圆锥曲线C_n(a,b)及其性质,得到用以构建数字签名方案的几个关键定理和推论.指出C_n(a,b)上总是存在阶为M_n={#E_p(a,b),#E_q(a,b)}的点,在此基础上,提出一个基于C_n(a,b)上的QV签名方案,新方案保留原方案在E_n(a,b)上不具同态性的优点,在同等安全条件下,其明文嵌入、阶的计算、逆元的计算、点的运算都比E_n(a,b)上容易,特别是,新的QV签名方案对于一般环上圆锥曲线均可行,这对QV方案的应用有积极意义.     

线性程序的Ranking函数自动合成

针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数.然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数.通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的.     

基于参考电站的核电模块化技术研究

模块化技术是核电站工程缩短建造工期、降低造价的重要技术手段,已成为三代核电的发展方向之一.以目前中国主力核电堆型CPR1000为参考电站,借鉴国内外先进模块化技术,借助自主开发的模块三维设计系统,完成了核电站核岛主厂房的模块总体方案设计.在此基础上,开展典型模块详细设计工作,以实例进一步验证了设计可行性,同时从采购和施工2个方面对模块化技术的实施进行了分析,评估了研究成果在实际工程项目上的技术可行性.