构建《矿物岩石学》的“核特色”课程教学新体系

当前,我国地质学专业的人才培养与核工业发展紧密相连,该文针对南华大学资源勘查工程专业《矿物岩石学》课程教学改革进行了探索.提出立足本校核特色,加强实践环节,创建核特色《矿物岩石学》野外教学实习基地,完善考试制度等措施,从而达到构建《矿物岩石学》的“核特色”课程教学新体系设想.     

A high-level synthesis based dual-module redundancy with multi-residue detection （DMR-MRD） fault-tolerant method for on-board processing satellite communication systems

On board processing （OBP） satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset （SEU） is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy （TMR） is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis （HLS） is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26％ compared to TMR,while fault missing rate is 0.15％.     

SwiftArray: Accelerating Queries on Multidimensional Arrays

Scientific instruments and simulation programs are generating large amounts of multidimensional array data.Queries with value and dimension subsetting conditions are commonly used by scientists to find useful information from big array data,and data storage and indexing methods play an important role in supporting queries on multidimensional array data efficiently.In this paper,we propose SwiftArray,a new storage layout with indexing techniques to accelerate queries with value and dimension subsetting conditions.In SwiftArray,the multidimensional array is divided into blocks and each block stores sorted values.Blocks are placed in the order of a Hilbert space-filling curve to improve data locality for dimension subsetting queries.We propose a 2-D-Bin method to build an index for the blocks’value ranges,which is an efficient way to avoid accessing unnecessary blocks for value subsetting queries.Our evaluations show that SwiftArray surpasses the NetCDF-4 format and FastBit indexing technique for queries on multidimensional arrays.     

用于虚拟化环境的进程隔离方法研究与实现

针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.     

Detecting MoS2 and MoSe2 with optical contrast simulation

Optical imaging is a promising method to identify and locate 2D materials efficiently and non-invasively. By putting a 2D material on a substrate, the nanolayer will add to an optical path and create a contrast to the case when the nanolayer is absent. This optical contrast imaging can be used to identify the 2D material and its number of layers. To make the optical imaging process in the laboratories an effective tool, Fresnel Law as a model was used to simulate the optical imaging results of 2D materials(graphene, Mo S2 and MoSe_2) on top of different thickness of SiO_2 and Si wafer in the present investigation. The results provide the details of the optimal conditions(optimal light wavelength and optimal SiO_2 thickness) to identify and locate single to few 2D nanolayers, which can be used directly in laboratories. The optical contrasts of 1–5 layers of molybdenum disulfide(MoS_2) and molybdenum diselenide(MoSe_2) were simulated. To the best of our knowledge, it is the first time that the optical contrast results of MoSe_2 have been reported. In particular, this work highlights the sensitivity of the model on the accuracy of the refractive indices used. It is demonstrated that through computational modeling that optical contrast can allow effective determination of number of layers in few layer 2D materials.     

郑洛新国家自主创新示范区人才特区建设研究

以国家自主创新示范区为功能区块建设人才特区,是实现国家自主创新示范区和人才共赢发展最直接、最有效的选择。本文梳理探讨了人才特区的概念、特征及主要实践模式,尝试提出郑洛新国家自主创新示范区建设人才特区的若干思路与对策,以期为郑洛新国家自主创新示范区及类似地区建设人才特区提供决策参考。     

平煤四矿矿井通风阻力测定与系统分析

矿井通风系统阻力测定是煤矿安全生产和通风安全管理的重要内容,阻力的大小直接影响矿井通风的效果。为了了解平煤四矿矿井通风阻力的大小及其分布,优化矿井通风系统,选定主要测定路线,基于基点气压计法进行矿井阻力测定,并根据测定结果对矿井通风系统进行了分析。     

房屋结构检测数据回归分析

以回弹法检测混凝土抗压强度为研究背景,分析分别以河砂和山砂拌制的混凝土对检测结果的影响,利用概率统计方法求出贵州地区以山砂拌制的混凝土的抗压强度,然后用回归分析方法计算推定系数k0值。计算结果表明,计算出的k0明显比JGJ/T23-2001标准规定的k值偏小,如果按照现行的国家标准规定的k值计算贵州地区混凝土强度,最终会对检测结果的判断造成误差,使检测得到的混凝土强度偏离实际混凝土的强度。     

电阻绝缘检测中低压脉冲信号注入法的算法改进

在有源式低压脉冲信号注入法的基础上,重新推导了计算电阻值的数学模型,并设计了一种运用该模型的有源式动力电池绝缘电阻监测系统,该系统可以有效地解决部分无源式和有源式绝缘检测法无法有效精确测量同时下降的正负端绝缘电阻与正负端单侧绝缘电阻的问题.此外,通过台架实验验证了该监测系统的有效性,在改进电动汽车动力电池监测系统方面具有一定的应用价值.