寒区岩石隧道冻害机理及防治研究

冻害是寒区隧道常见的工程病害,造成冻害的原因很多,其中冻胀力是寒区隧道冻害发生的主要原因.因此,在寒区隧道的研究中,要避免和减轻寒区隧道工程中冻害的发生,最关键的问题是研究冻胀力的发生、发展以及怎样预防或消减冻胀力,对寒区隧道的冻害机理及防治方法进行了系统的研究.提出了冻胀现象产生必须同时满足的三个条件:有能使水结成冰的足够低的温度、衬砌必须提供阻止水体结冰膨胀变形足够的刚度、有足够的水源,并由此提出防治冻害的研究方向即采取措施使三项条件有一条不满足即可有效地防止冻害.利用ANSYS有限元对寒区隧道冻胀力进行了数值模拟,通过对理论计算结果和数值模拟结果的比较分析,提出寒区隧道冻胀力的基本防治措施,对寒区岩石隧道工程的设计和施工具有指导意义.     

寒区软岩隧道的冻胀力及冻害防治浅析

通过对软岩物理力学特性的分析和软岩隧道冻胀力计算方法的分析,提出了从改变软岩的物理力学性质、排除孔隙水、保持和提高隧道内部温度等方面对软岩隧道的冻害进行防治的方法,指出了以后研究的方向.     

实时系统中任务优先级的综合决策模型

实时系统设计中,如何准确而合理地确定每一个任务的优先级是能否保证系统实时性要求的关键问题之一。本文基于模糊集合理论提出了一种任务优先级的综合决策模型,并通过实例进行了说明。     

分布式数据库服务器的可信性研究

主要介绍了分布式数据库服务器系统中的可信研究,并讨论了其中有关可信授权的实现、权限的管理逻辑以及授权机的具体运行过程,给出了可信分布式数据库服务器系统的模型。系统中采用了信任链机制、基于角色的访问控制模型、两级日志、可信认证等技术,同时给出了可信在分布式计算机系统中的实现技术和途径。     

基于信任领域和评价可信度量的信任模型研究

为了降低恶意评价对信任模型造成的影响,提出了一种适用于开放分布式网络环境下的基于信任领域和评价可信度量的信任模型(trust model based on the trust area and evaluation credibility,TMEC),并给出了模型流程及相关定义.TMEC模型中将节点的信誉值区分为节点的全局信誉值和反馈信誉值,并基于信任领域进行模型的构建;提出了基于节点评分行为相似性的共谋团体识别算法;提出了基于评价支持度和评价一致性因子确定节点反馈权重的方法,从而使所构建的信任模型更加可信和可靠.仿真实验表明,该模型能够有效地检测和抵制夸大、诋毁和共谋等恶意评价行为,具有良好的抗攻击性.     

CaO-In_2O_3的制备∥结构表征∥气敏性能研究

采用共沉淀方法,以一定摩尔比的可溶性钙盐和铟盐为源物质,以氢氧化物作为沉淀剂,制备出了CaO-In2O3复合氧化物粉末。借助差热-热重(DTA-TG)分析可知CaO-In2O3的热变化过程,即在248℃附近由氢氧化物前驱物分解成氧化物,在340℃附近是氧化物的相转变,340℃以后为两氧化物的化合。利用X-射线衍射(XRD)分析知CaO-In2O3的晶体结构为立方结构。对CaO-In2O3的气敏性能研究表明,由CaO-In2O3粉体制成的旁热式厚膜气敏元件无需掺杂,对丙酮、乙醇、乙酸具有较高的灵敏度。     

基于蜜罐的网络病毒特征研究模型

HSWS(基于蜜罐的网络病毒特征研究模型)利用蜜罐技术的优势,收集网络病毒在蜜罐上的活动信息;根据蜜罐响应的信息和网络截获的攻击数据包,用攻击树方法重构病毒攻击过程;并根据目标对攻击信息进行分类,用LCS算法在同类攻击数据中生成网络病毒的特征。对收集的新型网络病毒特征扩充IDS的特征库,弥补入侵检测系统对未知病毒攻击无法识别问题,完善防御系统。     

一种基于HashGraph的NoSQL型分布式存储因果一致性模型

分布式环境中的数据因果一致性指的是对具有因果依赖性的数据进行更新时,须同步更新其他分布式副本中的依赖性元数据,同时满足较高的可用性和性能需求.为解决现有成果中更新可见延迟较高的问题,在数据中心稳定向量的基础上,结合混合逻辑时钟和HashGraph原理,提出了Causal-Pdh模型.使用部分向量和校验值作为消息签名代替了所有向量,并且借鉴HashGraph的原理,改进了各个数据中心同步最新条目的过程,各个父节点随机与其他父节点同步最新状态,从而降低了虚拟投票所使用的时间.最后通过实验验证了Causal-Pdh模型不仅没有影响客户端的吞吐量,而且在时钟偏移较严重时降低了20.85%的用户PUT等待延迟,在系统中存在查询放大的情况时,PUT响应时间降低了23.27%.     

基于聚类索引的多关键字排序密文检索方案

为了提高密文检索的效率和精度,提出基于聚类索引的多关键字排序密文检索方案.首先利用改进的Chameleon算法对文件向量聚类,聚类过程中通过记录关键字位置对文件向量进行降维处理.其次,提出适合聚类索引的检索算法,使得在查询过程中可以排除大量与查询向量无关的文件向量,减少了不必要的计算消耗.再次,在聚类过程中引入杰卡德相似系数来计算文件向量之间的相似度以及设定合适的阈值提高聚类质量.在真实数据集上进行了实验,理论分析和实验结果表明：在保障数据隐私安全的前提下,该方案较传统的密文检索方案有效地提高了密文检索的效率与精度.     

基于HIBC的云信任分散统一认证机制

开放式云环境中,整合在同一云基础设施平台上的服务提供商之间既相互依存,又相互独立,相互合作的同时又相互竞争,不能接受同一个公用中央机构的完全控制.适用于大规模云环境下的统一认证机制面临中央机构安全瓶颈、密钥托管等问题.为解决此类问题,基于HIBC(hierarchical identity-based cryptography)算法,依据信任分散理论,提出了一种将中央机构的秘密值秘密共享给参与主体的思想,构建了一套完整的混合云统一认证机制,既实现了统一认证的需求又提高了参与主体对自身的控制能力,中央机构核心工作改由参与主体合作完成.运用伪公钥和滑动窗口机制有效防止了内部合谋攻击和外部截获攻击,加大了敌手攻击的难度.同时给出了跨域认证方案和会话密钥协商方案.最后,比较分析了所提出的方案在不依赖可信中心、无需证书维护、无密钥托管、跨域认证、监督机制、可规模使用等方面具有的优越性.