输气管道内腐蚀控制新技术

输气管道内腐蚀控制技术包括采用失重挂片法测量管道内腐蚀速度和加注缓蚀剂等."九五"以来,西南油气田分公司开展了新型管道缓蚀剂开发,管道缓蚀剂加注方式的改进,缓蚀剂保护效果的检测与评价方法改进等工作,并在管网上建立了管道内腐蚀在线监测系统,较好地抑制了管道内腐蚀.     

二值谓词逻辑中公式的向量真度

首次将谓词逻辑系统中一阶语言的有限解释按照其论域的势进行分层, 提出每一层解释类下公式的n真度, 最终给出公式向量真度的定义, 更直观精确地刻画一阶公式的真实程度。接着证明向量真度的一些基本性质, 指出向量真度保持谓词逻辑形式推理的MP规则、HS规则与推广规则, 从而为进一步在谓词逻辑系统中开展近似推理研究提供一种可能的框架。     

一种新型S频段波导双工器的小型化设计

针对收发频率间隔较近的双工器的设计难点,利用模式匹配法结合优化算法设计了一种新型S频段波导双工器,实现了在收发频率间隔较近时双工器高隔离度、高功率、小型化的要求.仿真及测试结果表明,该双工器接收频率为2.2～2.3 GHz,发射频率为2.025～2.12 GHz,在工作频率内驻波小于1.35,隔离度大于85 dB,整体...     

基于物联网技术的适老产品的设计研究与实践

在老龄化社会的今天,市场对适老产品和服务的需求巨大。适老产品和物联网技术进行整合会更加智慧及易用。信息社会使产品的内涵变得更加复杂,文章梳理出适合适老物联网技术产品研发的设计方法,并运用于指导实际的适老物联网产品开发。     

区间值(α,β)一模糊格蕴涵子代数

摘要把拟重合的思想应用到区间值模糊集上,引进了一种广义模糊格蕴涵子代数,即区间值(α,β)一模糊格蕴涵子代数。研究了区间值(α,β)-模糊格蕴涵子代数的性质,并研究了区间值(α,β)-模糊格蕴涵子代数与格蕴涵子代数的关系,最后得到了该类模糊子代数的等价刻画。     

几类非确定型量子程序的终止验证

程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先讨论了量子通讯中常用的比特翻转、相位翻转、去极化、幅值阻尼、相位阻尼等信道作为特殊的非确定型量子程序从计算基态开始运行时的可达集合和终止集合等程序验证问题.其次,把上述五种量子程序两两组合组成非确定型量子程序,根据这五种量子程序的可达集合之相似点,最终合并成三种非确定型量子程序,重点讨论了这三种非确定型量子程序从计算基态开始运行时的终止和发散等程序验证问题.研究表明：这三种非确定型量子程序从计算基态0开始运行时都是终止的;而从计算基态1开始运行时：比特翻转信道和去极化信道组成的非确定型量子程序的终止和发散与分别刻画它们的两个参数有关;比特翻转信道和相位翻转信道组成的非确定型量子程序的终止和发散只与刻画比特翻转信道的参数有关;幅值阻尼信道和相位阻尼信道组成的非确定型量子程序是发散的,其发散条件与刻画量子信道的两个参数都没有关系.本文的结果可以为量子信息安全中量子通讯协议的验证提供理论和技术支持.     

基于灰色组合模型的装备故障间隔时间预测研究

针对装备故障预测模型难以精确建立的特点,为提高故障间隔时间预测的准确度,提出了一种基于灰色组合模型的预测方法。该方法首先简化装备故障的阶段与属性,形成合理的建模背景;然后在引入灰色预测模型的基础上,按阶段建立了灰色线性回归模型和灰色马尔可夫组合模型,对装备故障间隔时间进行预测;最后计算预测值与真实值的误差,根据预测值基本确定下次故障发生的时间。经实例计算表明,在样本数据有限的情况下,根据不同故障阶段的特点,选用与被预测数据属性相应的灰色预测组合模型,可以有效降低预测误差,提高预测精度,预测结果可以作为装备保障人员早期拟订维修决策之用。     

5万份《火灾隐患举报奖励制度》助金华冬防

为最大限度地减少辖区冬季火灾事故的发生,全面提高广大群众的防火安全意识,大力整治火灾隐患,改变当前消防工作的薄弱现状,浙江金华消防积极组织辖区各单位举办“火灾隐患大家找”活动,制定出台了《金华市火灾隐患举报奖励制度》,并印制了50000份宣传单于近期发放到各个乡镇、街道、社区。     

某深基坑复合土钉与止水帷幕联合支护设计

以某大型深基坑为例,结合工程的地质条件,介绍了复合土钉与止水帷幕联合支护方案,探讨了设计参数及施工要点,总结了该复合支护技术的优点,以积累深基坑支护经验,推广该基坑支护方案在实际工程中的应用.     

商丘市和谐家苑9#楼地基基础单桩竖向抗压静载试验

商丘市和谐家苑9#楼工程,结构形式为框剪,基础形式为筏板,建筑层数为9层,地基设计类型为CFG桩复合地基,设计单桩承载力特征值Ra为500kN。通过3根单桩竖向抗压静载试验,根据试验结果判定单桩竖向抗压承载力特征值是否满足设计要求。