摘要：移动边缘计算(Mobile Edge Computing,MEC)将互联网服务环境和云计算技术在网络边缘相结合,为移动用户提供高带宽、低延迟的计算和存储服务.在MEC网络中,移动用户和服务器之间组成一个群组进行通信和数据传输,一旦密钥泄露,将会造成严重的安全隐患和经济损失.通过设计密钥管理协议,可以实现密钥的分发、更新和存储等功能来保护MEC网络隐私安全.然而传统的密钥管理协议不适合MEC网络.因此需要结合MEC网络的物理特性和实际需求,设计面向MEC的密钥管理协议.本文的研究分为两部分:首先构造了一个非交互透明零知识可验证多项式委托并基于该技术设计了一种支持通信秘密可验证、秘密份额可动态更新、服务器节点可动态变化的门限秘密共享协议,保护MEC服务器私钥的安全;然后,提出一种支持用户自由进出,保障网络通信安全的MEC通信密钥管理协议,保护MEC网络中移动用户的通信和数据安全.进一步通过形式化证明和混合仿真游戏对所提协议进行了严格的安全证明,结果表明本文密钥管理协议满足前向安全和后向安全,并可抵抗各类已知攻击.与相关协议的对比结果显示,新协议在提高安全性的同时,保持了较高的效率,适于MEC网络环境.

摘要：在移动对等网络的研究工作中,覆盖网络的构造是一个十分关键的核心问题.覆盖网络体系结构决定了移动对等网络的健壮性、安全性和性能.首先提出移动对等覆盖网络的概念,给出了其定义、构建覆盖网的重要意义和覆盖网的分类.然后阐述了3类不同的覆盖网,即分布式非结构化网络、分布式结构化网络和半分布式(混合式)网络,其中特别论述了这些覆盖网在移动自组网、车辆自组网以及无线Mesh网络等方面的应用,并进行了分析和比较.最后,对整个移动对等覆盖网络研究工作进行了总结,并对下一步研究方向进行了展望.

摘要：云计算技术的产生和发展,为解决单机处理能力有限的问题提供有效途径.提出了以分布式计算为基础,并利用云计算技术来实现Web漏洞检测的Web Trideamon系统.该系统架构简洁高效,实现了一个自上而下、功能完整的Web应用程序漏洞扫描系统.该系统采用了模块化的设计思想,主要运用Python语言设计和实现,具有很好的跨平台性,同时还尽可能地满足方便、易用、稳定、高效的要求.实验结果表明,该系统具有高效性和较高的准确性.

摘要：我国国土面积幅员辽阔,并且存在着大量规模不等,同时兼具各类文化底蕴的村庄。现阶段,随着我国城市化进程逐步加快,乡村融合程度日益加深,为了高质量完成乡村振兴战略,需要进一步提升村庄空间规划的合理性与科学性。在传统规划理念中,所谓村庄规划仅仅是对村庄道路或者一些基础设施等进行规划,导致规划重点不明确,并且规划后的效果也不尽如人意,对村庄未来发展产生负面作用。基于此,为了加快我国村庄经济发展速度,本文将对国土空间背景下的村庄规划编制进行深入分析,并给出合理化建议。

摘要：在新时代背景下,国家加大对企业发展的支持力度,一个企业的发展不能仅仅依靠政府支持,需要自我变革革新,才能屹立于社会市场。此时企业会遇到许多问题,关于企业自身的概念规划方面也要加大宣传力度,涉及范围十分广泛,设计内容层出不穷,对于企业的管理方面、客户选择方面、企业产品的变化发展方面等等都需要倾入足够的经历,但最核心的方面是政治思想方面,思想是旗帜,是引领企业发展的方针导向,只有正确把握好思想才能为自身企业提供长足的发展。企业还需要革新用人机制,让企业在职职工真真实实的感受到企业的人情关怀,基于此,本文对于企业思想政治激励机制开展具体探析研究。

摘要：列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一。本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析。实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率。

摘要：Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统——列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。

摘要：进入新时代,我国传统工艺'匠人'的身份和使命也有了新的内涵。'錾刻艺术与创意设计人才培养'项目,以新时代传统錾刻工艺'匠人'的培养为目标进行了探索实践。项目从传统工艺与文化的'传承'、以实践为基础的'研习'、学员遴选和教学内容以及创作思路的'创新'几个方面,进行了经验的总结。