并发程序切片原型系统的设计与实现

并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图,生成以程序状态和语句二元组为节点的并发程序依赖图,实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明,与传统的切片方法相比,采用基于程序可达图的并发程序切片方法,可有效地解决依赖关系不可传递问题,获得高精度的并发程序切片。     

Trochilidae:面向众核平台的高性能轻量级虚拟机监控器

虚拟化技术在云计算中广泛应用。传统虚拟化技术对操作系统的一些操作都进行了捕捉与封装,使其越来越复杂,同时也影响了操作系统的性能。针对众核平台的发展趋势和特点,面向众核平台设计并实现了一个轻量级的高性能虚拟机监控器——蜂鸟(Trochilidae)。多操作系统可以同时运行在此虚拟机监控器之上,同时对操作系统性能无损失。在提供传统虚拟机监控器功能的基础上,蜂鸟的代码量仅4000行左右(包括汇编与C代码),降低了系统的复杂度,便于系统的维护与调试。     

传感器技术在智能变电站中的应用

介绍传感器技术在智能变电站中的应用,以及使用中的注意事项。     

指纹图像预处理的研究

对一种基于Gabor滤波的指纹图像增强方法进行讨论并加以实现。由于局部指纹纹线脊谷交错,近似平面正弦波,其傅立叶频谱具有明显的峰值,且峰值的方向和位置取决于纹线的方向和频率,因此采用具有良好方向和频率选择特性的Gabor滤波器可以实现较好的增强效果。在这种指纹图像增强方法中,关键是如何准确地计算指纹纹线方向和纹线频率。详细介绍指纹图像的预处理方法包括指纹图像的分割和增强,并给出增强算法的流程及实验结果。     

SIMUWORKS仿真软件的应用研究

SIMUWORKS涵盖了系统优化设计与调试、过程仿真培训、故障诊断、复杂系统动态特性建模研究、专家系统等各个方向的应用,提供了一整套完备的全过程支撑、一体化、通用的应用环境,其根本是以微机环境为基础的应用平台。软件部分采用了面向对象的图形化建模方法、分布式实时数据库技术和动态内存机器码生成技术,在国内外仿真领域处于领先地位。     

浅析大尺寸测量的意义及发展趋势

以当今涉及大尺寸测量的生产单位所面临的实际问题为依据,分析了研究大尺寸测量的重要意义,阐述了国内外近年来大尺寸测量的发展概况及下一步的发展趋势,为设计符合生产实际需求的大尺寸测量机指明了方向。     

群桩冲刷及抛石级配与厚度对防护效果的影响

水下群桩不可避免地发生局部冲刷而使桩基埋深减小,影响上部结构的安全,因此,群桩冲刷及其防护措施十分值得研究。通过实验室水槽试验和结果分析,研究了井字形排列群桩的间距与冲刷深度变化的关系,进而研究抛石颗粒的级配及抛石层厚度对冲刷防护效果的影响。研究发现,桩间净距的增大可使群桩局部冲刷深度减小,与桩间零净距相比,当达到临界最大桩间净距时冲刷深度可减小50%～60%,临界最大桩间净距与桩弗劳德数有关;在冲刷过程的前30%时段,群桩冲刷速率较之单桩偏小约30%～50%,群桩冲刷达到平衡时的最大冲深点位于前排桩柱前;与颗粒均匀的抛石料相比,非均匀抛石在较小的抛石层厚度下可取得更优的防护效果;存在与水动力、桩径、床沙等因素有关的最佳抛石料级配和抛石层厚度,尚需更深入的研究。     

基于MODIS数据的浙江省植被覆盖度时空变化分析

以浙江省为研究区,基于2009—2018年MODIS_NDVI数据,采用MVC最大值合成法获取逐月NDVI值,利用改进的像元二分模型估算2009—2018年植被覆盖度,结合DEM数据及《浙江省林地保护利用规划》(2010—2020年)中的林地分区,分析浙江省植被覆盖度的时空变化情况。结果表明:①2009—2018年浙江省植被覆盖度总体处于高盖度级别,存在缓慢降低的趋势。②2009年和2018年的植被覆盖度空间格局基本一致,即浙南山地区、浙西山地丘陵区>浙中丘陵盆地区、浙东沿海丘陵海岛区>浙北平原区;植被覆盖度变化以稳定为主,占总面积的62.79%,退化区域面积大于改善区域面积,退化趋势以浙北平原区最为严重,占总面积的6.73%,改善趋势以浙南山地区最为明显,占总面积的4.87%。③各地形因子范围内的植被覆盖度变化均相对稳定;不同高程范围内,明显退化区域在高程100 m以下,明显改善区域在高程200 m以上;不同坡度范围内,退化最明显区域为坡度[0°,5°)范围,明显改善区域为坡度15°以上;不同坡向间,植被变化的差异并不明显。研究成果可为该地区的生态环境建设和水土流失防治提供理论依据。     

历史街区市政工程规划适应性研究与探索——以拉萨八廓街为例

历史街区保护是我国现阶段历史文化遗产保护制度的重心所在,现有的部分工程技术手段容易导致因改善市政基础设施而破坏历史街区的真实性,影响历史街区人文和景观风貌.结合工程案例,展开了针对历史街区市政基础设施改造规划的适应性研究与创新性实践探索,在历史街区改造的受限条件下,采用最小化的精准改造方案,有效地解决了八廓街面临的供排水和工程管线综合布置等问题,为历史街区居民及其建筑文化遗产的生存和可持续发展提供技术支撑.     

江堤边滩平台塌陷原因分析及防治对策——以常熟长江边滩整治为例

在江堤边滩平台日常维管过程中,发现存在较多埋石混凝土镇墩沉降断裂和边滩二级平台塌陷现象.分析了江堤埋石混凝土镇墩沉降断裂和边滩平台塌陷进行成因分析,总结了采用压密注浆方案进行修复的情况,对长江沙滩围堤填筑及江堤边滩的管护及修复等方面提供借鉴作用.