创新开展新时期科技名词规范化工作,努力发挥支撑服务作用

科技名词规范化工作具有深厚的历史基础和现实需要,是支撑科技创新和经济社会发展的一项基础性系统工程。当前,中国特色社会主义进入新时代,我们要深刻领会“新时代”的丰富内涵,深化认识科技名词规范化工作的特殊意义,创新开展各项工作,更好肩负起新时代赋予的历史使命。     

重复模糊合作对策延拓的核心和稳定集

为了解决重复模糊合作对策传统解在现实应用中的局限性,采用调整相应系数的方法,给出重复模糊合作对策延拓的核心和稳定集等概念,并讨论了它们之间的关系。提出一种重复模糊合作对策新的分配方案—不将全部总收益分配给所有参与者,而保留一部分从而实现收益的再分配。该成果对现实生活中的资源再分配问题具有一定的参考和应用价值。     

成坯压强对PZN 基陶瓷性能的影晌

用二次合成法制备了 0 .75Pb( Zn1/ 3 Nb2 / 3 ) O3 - 0 .1 5Ba Ti O3 - 0 .1 0 Pb Ti O3 固溶体陶瓷 ,并研究了成坯压强的变化对该类材料的密度、晶粒尺寸、介电性能和电致应变性能的影响 ,结果表明 :随着成坯压强的增加 ,陶瓷的密度有所增加 ,其介电性能和电致应变性能也得到了提高。     

基于DNA/RNA的逻辑门与逻辑运算

DNA和RNA具有精确的分子识别能力以及强大的信号存储能力. 利用DNA/RNA分子的生物学特性来构建分子级别的逻辑门并实现逻辑运算是近年来计算机科学和分子生物学交叉产生的新兴领域, 引起了研究者的广泛关注. 本文介绍了利用DNA/RNA分子的酶活性、结构特性来构建逻辑门的方法, 探讨了将单一逻辑门整合成复杂的逻辑运算的途径. 并且对于DNA/RNA逻辑门在体外检测和体内诊疗等生物医学中的应用进行了介绍, 提出了未来的发展方向.     

Pohlig-Hellman算法的改进

当阶n是光滑的且仅有小素因子时,Pohlig-Hellman算法对于计算离散对数是比较有效的,但是该算法需要调用Shank算法,这使得该算法运行效率并不高.针对这一不足,利用穷尽搜索法消除了Pohlig-Hellman算法中Shank算法的调用.理论分析和实例验证表明,改进算法具有很强的计算能力.     

σ相对S32760超级双相不锈钢组织和性能的影响

通过对含W的S32760超级双相不锈钢不同温度时效热处理研究σ相的析出行为.用扫描电镜和透射电镜分析σ相的形貌和化学组成,并研究σ相对力学性能和耐腐蚀性能的影响.在850~1000℃之间,实验钢析出大量由Fe-Cr-Mo-W组成的具有正方结构的σ相,钢板强度和硬度高,塑性差,延伸率低于4%;1050℃时仍存在少量析出,虽然延伸率大幅度提高至31.1%,但冲击韧性离散度高,冲击功偏低;直至1080℃,σ相才能完全溶解至基体中,抗拉强度为640 MPa,延伸率为35.5%,纵、横向冲击功平均值分别达到217 J和110 J.随时效热处理温度升高,点蚀电位提高,点蚀失重率不断下降,1080℃热处理的试样点蚀电位高达1246 mV.该试样在50℃的3.5% NaCl溶液中腐蚀失重率也仅为0.005~0.007 g·m-2·h-1.     

一类三阶非线性两点边值问题解的惟一性

利用微分不等式理论及上、下解方法等,在Nagumo条件下给出了一类三阶非线性微分方程具有非线性边界条件的两点边值问题解的惟一性结果.     

电动小马达原理分析

由带电导线在磁场里的受力出发,分析了3个简易的电动小马达的转动原理.给出其中的电磁和力的关系,重点讨论了实际转动中,相关其他因素的影响,并给出了其中一种电动小马达的转子角速度随时间的变化规律.     

基于分裂基FFT的L1辅助L2C双频GPS信号快速捕获

室外无人搬运车(automatic guided vehicle, AGV)运输和未来的无人驾驶智能汽车等对全球定位系统(global positioning system, GPS)高精度定位精度要求较高,GPS L1/L2C双频信号可以校正电离层误差从而提高GPS单机的定位精度。但L2C 民用中码/民用长码(civil moderate/civil long code, CM/CL)的长度远大于L1 粗捕获码(coarse/acquisition code, C/A),传统的捕获算法直接用于L2C信号会使捕获时间延长甚至导致捕获失效。对此,提出了利用捕获到的L1信号的多普勒频移和C/A码相位对L2 CM码进行辅助捕获,然后利用CM码码相位对CL码进行辅助捕获的方法,减小了L2C信号捕获的二维搜索范围;同时在相关运算中利用分裂基快速傅里叶变换(split radix fast Fourier transform, SFFT)代替传统的基2 FFT进一步降低了计算量。仿真结果表明,所提算法在运算量明显降低的情况下可以实现对L1/L2C双频信号的精确捕获。