一次铺设跨区间无缝线路施工技术

结合秦沈客运专线具体情况,简要介绍一次铺设跨区间无缝路有碴轨道的总体施工技术,并叙述了施工设备的选型配套情况及其合理性。     

Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

对数正态总体的容忍限和容忍区间估计

对数正态总体在数理统计中占有重要的地位。本文从容忍限和容忍区间的定义出发，给出了对数正态总体的水平为（1-β，1-γ）的容忍限和容忍区间的估计。     

盾构相继穿越箱涵区的施工技术

文章介绍了深圳地铁2号线2204标海月站～登良路区间隧道盾构穿越拔桩区、箱涵区的施工技术,并对拔桩施工进行重点叙述,可供类似工程借鉴。     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

区间删失数据函数的均值估计

运用无偏转换思想构造了区间删失数据函数的均值估计,并在此基础上对所构造的估计量方差进行了研究.针对Ⅰ型区间删失情况和Ⅱ型区间删失情况,找到了估计量方差有限的条件.     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

基于二维区间Hash链的RFID安全协议

作为未来物联网(IOT)的核心技术之一,无线射频识别(RFID)系统由于设备的局限性而存在许多安全问题.在分析几种典型安全协议核心思想的基础上,提出了基于二维区间(two-dimensional region,TDR)Hash链的安全协议.该协议以区间划分的方式标识各链,从而提高了数据库的检索效率;同时,由于在协议中引入了随机性,RFID系统的安全性得到了进一步增强.     

一类灰色随机多准则群决策方法

针对准则值为区间灰数概率的离散型灰色随机变量且准则权重和决策者权重都完全未知的灰色随机多准则群决策问题,提出了一种基于偏差函数的决策方法.该方法通过计算每个决策者的主观判断矩阵与客观判断矩阵之间的偏差来确定该决策者的权重,基于主客观判断矩阵偏差最小化思想建立规划模型,求解该规划模型可同时得出准则权重向量和决策者权重向量...     

无约束min-max-min问题的区间斜率方法

区间斜率方法已应用于解决全局优化问题,且得到了较好的结果。讨论目标函数为因子函数的离散无约束min-max-min问题,利用区间斜率,构造目标函数的区间扩张和区间斜率删除原则,建立了求解离散无约束min-max-min问题的区间斜率算法,并给出了数值算例。相关结论和数值结果都表明:该方法可以同时求出问题的最优值和全部全局最优解,是可靠和有效的。