一种基于程序可达图的并发程序依赖性分析方法

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.     

基于蚁群优化的直觉模糊聚类脑MR图像分割

针对现有模糊C均值(FCM)聚类算法存在的对初始参数敏感、迭代速度慢,以及对噪声鲁棒性差等问题,提出将蚁群优化算法(ACO)与直觉模糊聚类相结合的方法用于分割脑部MR图像.该算法采用自适应蚁群优化算法获取初始聚类中心与聚类个数作为直觉模糊聚类的初始值,将融入了局部空间信息和犹豫度的直觉模糊聚类算法应用于含噪声脑部图像及脑肿瘤图像进行分割.实验结果表明该算法能够有效抑制噪声干扰且保存图像细节,相较于FCM及相关改进算法具有更高的分割精度和分割效率.     

Linux操作系统性能评测与测试指标浅析

操作系统性能是对其进行综合评测的重要指标之一。本文以多个主流Linux服务器操作系统的性能测试实践为基础,概括了对Linux操作系统进行性能测试和对比评测的测试策略和性能测试工具的选择原则,并对主要性能测试工具和关键性能指标进行了说明。     

一种适用于小电流母线的电子式电流互感器供电电源

针对电流互感器供电电源存在供电死区、线圈易饱和问题,文中基于能量收集的思想,设计了七级电荷泵电路实现能量收集和转移。采用磁导率较小的硅钢材料作为铁芯且通过开气隙的方法增加铁芯磁路磁阻,使铁芯不易饱和。采用超级电容存储电荷泵转移的电荷,并设计了电源管理模块控制泄能通道和供电通道。最后研制了样机,以低功耗单片机控制的无线测温模块和通用分组无线业务(GPRS)模块为负载进行了测试。实验结果表明电源样机能够在输电线电流为1A时为负载提供足够能量。与二次绕组为1 500匝的电流互感器供电电源相比,所设计的550匝供电电源更适用于输电线电流小的情况。     

PLC实现异型仪表数据通讯

本工程应用在油田集输系统,本文主要应用PLC与异型仪表数据通讯及实现上网功能。本系统采用西门子PLC和组态王软件,充分发挥两个软件的特点,为油田信息管理提供良好的基础。