Rust语言安全研究综述

Rust是为了解决系统编程领域的安全性问题, 而设计的一门面向系统编程的兼具类型安全、内存安全和并发安全的新型程序设计语言, 强调安全性和高性能, 已经在操作系统内核、Web浏览器、网络协议栈、数据库和区块链等底层软件系统的构建中得到了越来越广泛的应用。现有研究表明, 尽管Rust的设计目标是保证安全性, 但其自身仍然存在许多安全问题。作为一门系统编程语言, Rust的安全性直接影响到基于Rust开发的软件系统的安全性。随着Rust的广泛应用, 对Rust语言安全的研究显得尤为重要。Rust语言安全研究正在成为研究热点, 并且在近几年已经取得了较大研究进展。本综述基于该研究领域已经公开发表的46篇研究论文,对该领域的相关研究进行了系统整理、分析和总结: 首先, 研究分析了Rust的核心安全特性, 包括函数式编程范式、强多态类型系统、基于所有权模型的自动内存管理、对非安全代码的显式标记和隔离; 其次, 提出了Rust语言安全研究领域的分类学, 将已有研究分为安全实证研究、漏洞检测研究、安全增强研究和形式化验证研究四个热点方向, 并分别对这四个方向上的相关研究进行了综述、深入分析和总结, 同时分析了四个研究方向的内在联系; 最后, 指出了该研究领域的待解决的科学问题, 并对未来可能的研究方向进行了展望, 提出了四个潜在的研究方向, 以期为相关领域的研究者提供有价值的参考。     

高分子半导电材料的研制

在以CR为主体材料的高分子半导电材料中，并用10～30份氯化聚乙烯，可改善材料的物理性能、耐热性能和加工性能。导电物质选用具有一定协同效应的导电炉黑和导电石墨并用，其用量以40～70份为宜；加工混炼时，在满足工艺性能的同时，应尽量缩短混炼时间、增大交联密度，使导电物质均匀分散。     

晶体硅材料太阳电池的光吸收率仿真研究

通过理论分析、仿真和实验测试,确定了影响晶体硅太阳电池太阳吸收率的主要因素,其中铝背反射器、硅片表面形貌、硼扩散对太阳吸收率的影响较为显著,硅片厚度、磷扩散的影响相对较低。采用有陷光结构的高效硅电池能明显降低电池的太阳吸收率,滤光玻璃盖片叠层电池太阳吸收率比普通玻璃盖片叠层电池低16.2%。     

底板岩巷钻场在治理老空水害中的应用

枣园矿23采区集中回风巷掘进受23032综采面老空水害严重威胁。通过分析采空区积水情况,决定在23032采空区相邻的岩巷22采区回风下山上段、下段变平处两处设岩巷钻场,安设专用探水钻机,针对老空水区施工底板钻孔探放老空水。实践证明,通过在底板岩巷中施工钻场,采用专用探放水钻机、设挡水墙、安装截止阀、铺设满足排水能力需要的排水管路、施工岩巷穿层钻孔的方法,达到了探查疏放老空水的目的,实现了快速治理老空水害。     

磁阻罗盘及其在车辆导航中的应用

介绍了以磁阻传感器为基础的磁阻罗盘HMR3000的硬件组成及其在车辆导航中的应用。重点叙述了对磁阻罗盘外加磁场的补偿和计算方法。     

责任接力 真情传递

5月17日,云南电网公司举办2013年社会责任日活动,发布了《2012年社会责任实践报告》,从电力供应责任、绿色环保责任、经济绩效责任、社会和谐责任等方面,介绍公司履行社会责任的情况,提升公司品牌塑造能力和打造先进的社会责任软实力。公司总经理薛武,副总经理王文、郑之茂,昆明供电局局长龚建平等领导参加发布会。     

常规物探方法在城市排水沟渠探测中的应用与探索

城市排水沟渠给新建建筑的建设和运行带来重大安全隐患,排水沟渠空间位置的确定常采用测量仪器对其进行实地测量,对于不能直接测量的排水沟渠,采用常规物探方法对其进行探测。介绍几种常规物探方法在排水沟渠探测中的应用,并列出常规物探方法在排水沟渠探测中遇到的一些困难,提出其解决办法,为开展类似工作提供一定的借鉴。     

浅谈陶瓷山水画

上下五千年的中华民族之大好山河,陶醉了古今多少风流人物和无数的英雄好汉,阅尽沧桑、历经兴衰沉浮。饱经风霜的中华儿女,就在这岁月交替的沧海桑田中繁衍生息。中华民族的历史,就是一部艰辛拼搏、永无休止的历史画卷。     

正确认识和处理热点与能力的关系

针对政治科进入时政热点复习时，如何正确处理热点问题的学习与能力提高的关系，本文主要从三个方面进行论述1、热点问题的教与学，2、高考考查学生哪些能力3、提出具体要求。     

扩充状态转移网络(ATN)在计算机数据通讯中的应用

在类似移动机器人这样的复杂控制系统中,数据通讯起着至关重要的作用,设计数据通讯协议是复杂控制系统集成中的基础工作。文章介绍了从人工智能研究领域自然语言的语法分析研究中借鉴来的扩充状态转移网络(ATN)方法,并加以修正和推广,以及应用ATN设计数据通讯协议的技术与方法。