摘要：可信网络连接是信任关系从终端扩展到网络的关键技术.但是,TCG的TNC架构和中国的TCA架构均面向有中心的强身份网络,在实际部署中存在访问控制单点化、策略决策中心化的问题.此外,信任扩展使用二值化的信任链传递模型,与复杂网络环境的安全模型并不吻合,对网络可信状态的刻画不够准确.针对上述问题,在充分分析安全世界信任关系的基础上,提出一种基于区块链的分布式可信网络连接架构——B-TNC,其本质是对传统可信网络连接进行分布式改造.B-TNC充分融合了区块链去中心化、防篡改、可追溯的安全特性,实现了更强的网络信任模型.首先描述B-TNC的总体架构设计,概括其信任关系.然后,针对核心问题展开描述:(1)提出了面向访问控制、数据保护和身份认证的3种区块链系统;(2)提出了基于区块链技术构建分布式的可信验证者;(3)提出了基于DPoS共识的的远程证明协议.最后,对B-TNC进行正确性、安全性和效率分析.分析结果表明,B-TNC能够实现面向分布式网络的可信网络连接,具有去中心化、可追溯、匿名、不可篡改的安全特性,能够对抗常见的攻击,并且具备良好的效率.

摘要：城市化过程与碳排放部门的空间集聚相伴,对碳排放有着显著且日趋强烈的影响,但目前还缺少基于小样本尺度、大样本容量的计量模型,以深度揭示二者之间的联系渠道。该文以市级尺度样本为基础,利用空间分析方法模拟构建中国城市化与碳排放之间的计量关系模型,并进行稳健性检验和渠道分析。结果表明:中国城市化与碳排放之间至少在产业结构、城市建设和第三产业发展3个维度上存在相关关系,三者的影响力依次递减,也反映了过去10多年来我国工业化进程、城市基础设施建设和交通运输压力日益增长对城市碳排放的影响。考虑碳减排实践的政策设计时,也应针对上述3个层面,推动产业结构转型、发展绿色建筑和打造智能绿色交通。同时,研究工作也证明了空间分析方法因其擅长应对区域范围较大而基础数据尺度较小的研究对象,能更好地处理内部空间差异,而在经济社会研究方面具有独到优势。

摘要：钢塑复合缠绕管是一种用于市政工程埋地排污排水的新型管道,在诸多性能方面优于传统的混凝土排水管,目前正在我国的城市建设中进行推广应用。这种管道外层为缠绕钢带,内层为高密度聚乙烯塑胶,是一种新型结构,在埋地受力机理方面,目前的研究做得尚不多。本文采用有限元的数值分析方法,针对不同的回填土情况,对这种管道的管土共同作用受力进行了分析,得出了填土强度对钢塑复合缠绕管管土共同作用受力的影响规律,可供相关的工程设计和施工参考。

摘要：针对高敏数据上云后造成数据孤岛,从而导致数据无法互相搜索、互相发现,进而无法共享的问题,提出了一种分布式的隐私保护数据搜索方案,该方案实现了分布式场景下数据和搜索条件双向保密,并能够建立可信的搜索存证。首先对数据模型进行定义,明确了方案保护的目标和应用场景;其次提出了方案的设计框架和协议流程,重点对基于区块链的可信数据交互通道、可信密钥共享模块和密文搜索引擎3个部分的整体性流程进行描述;然后提出了一种基于可信执行环境的密文态下的全文搜索引擎Tantivy-SGX,重点对原理和实现方法进行详细分析;最后对整体流程和核心部分进行实现与验证。实验结果表明,该方案高效可行,能够有效增强分布式环境下的数据发现与搜索安全。

摘要：阐述大型挤压造粒机组熔体齿轮泵的工作机理,轴承润滑原理,并对转子的受力情况分析,讨论了目前主流的润滑系统的设计思路。并对失效进行了初步分析,提出建议。

摘要：本文团队曾提出基于硬件虚拟化技术构建虚拟化TCM的方法,并设计了硬件虚拟化TCM支撑的可信虚拟环境,但是并未对信任链的扩展提出详细的方案.基于此研究成果,提出了硬件虚拟化TCM支撑下的虚拟环境信任链扩展的方法,对信任链扩展的详细过程进行描述,构建了从p TCM到虚拟机的完整信任关系,并提出虚拟机与可信计算基绑定的方案.实验分析表明,本文方案能够在新型可信虚拟环境中实现信任链的扩展,有效增强计算环境安全,系统开销可接受.

摘要：虚拟可信密码模块(vTCM)架构在安全和性能上均存在缺陷,不满足特殊应用场景下高安全性的需求.本文基于设备虚拟化技术提出了一种TCM硬件虚拟化的实现架构,利用该架构设计密钥结构,得到构建高安全可信虚拟环境的方法,为虚拟机提供硬件级的可信密码服务.可行性验证分析表明,本系统能够增强可信虚拟环境安全性,提高系统效率.

摘要：针对移动支付中身份和支付认证的安全问题,本文研究了手机令牌技术和无证书签密体制.结合Android系统安全策略和通信特点,利用身份和设备信息生成手机令牌并安全存储,基于手机令牌实现无证书签密,在SSL协议下层设计和实现安全认证协议.在不改变系统架构、设备硬件以及基础网络安全协议的基础上,实现了移动支付的安全增强.安全性分析表明该协议能有效抵抗伪造身份攻击、中间人攻击和重放攻击,保证移动支付的安全,并具有良好的计算效率.

摘要：虚拟化技术的发展,带来了计算模式的变革,同时也带来了诸多安全问题。文章研究了虚拟环境安全问题和目前主流的安全防护方式,同时研究了I/O硬件虚拟化技术——SR-IOV,并针对虚拟计算环境安全隔离的问题提出了一种基于SR-IOV技术的虚拟环境安全隔离模型。该模型根据用户需求将虚拟域进行安全分级,安全等级高的虚拟域能够分配专门的物理网卡和加密卡,安全等级较低的虚拟域仍采用传统的软件模拟方法实现I/O设备。在SRIOV的结构设计中,采用了设备直连技术实现虚拟域和物理设备的通信,设备直连技术本身具备良好的隔离效果,这样就能够根据其安全等级实现网络数据隔离和数据加密隔离。实验结果表明,该模型能够提高虚拟计算环境的安全隔离特性,增强虚拟环境的安全,不仅具有可行性,而且具有良好的性能效率。

摘要：以QY20汽车起重机的副臂为分析对象,以ANSYS为有限元分析平台,利用其二次开发功能,编写APDL命令流。通过对汽车起重机副臂结构特点及力学特性的研究,确定了建立有限元模型所需的特征参数。结合VB6.0调用ANSYS计算程序,实现了参数化建模和参数化有限元分析,完成了汽车起重机副臂结构的建模和有限元分析的参数化过程。