基于SAT求解的面向对象程序类型分析

类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度.由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法.提出了一种基于SAT求解的面向对象程序类型分析方法.该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合.该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析.     

一种快速二维熵阈值分割算法

在二维熵阈值基础上，利用量化图像直方图概念讨论了一种快速二维熵阈值分割算法，这种算法能够递推运算和自动寻找阈值，将计算复杂性大大降低。 实验表明，该算法将每一幅图像运算时间降到2秒以内，提高了计算效率。     

Linux虚拟机内核安全增强方案研究

虚拟机技术正在越来越多地被使用在个人电脑、数据中心和服务器集群中。其优点之一是引入这种体系结构层次可增强整个系统的安全。文中提出了一种Linux内核虚拟机安全增强方案,旨在提高客户虚拟机的安全性。该方案有以下特点:对客户虚拟机透明;严格的访问控制策略;为每个虚拟机与主机之间提供安全通信;能够在Linux主机和目前支持Linux的客户虚拟机中实现。     

医药销售管理系统

医药经营企业的信息化是企业发展的大趋势,依靠纯手工进行管理的医药经营企业,会由于效率的低下而制约企业的发展.本论文通过对医药销售管理系统进行需求分析,给出了医药销售管理系统的设计方案.本论文首先介绍了我国医药销售管理的现状,然后系统地分析了医药销售管理的基本内容以及总体结构,并对本医药销售管理系统的设计过程进行了具体叙述.本医药销售管理系统采用了Microsoft公司的SQL Server 2000数据库作后台和Borland公司的Delphi6.0应用程序开发工具作前台,基本覆盖了典型医药销售管理系统的主要功能.本设计结合实际需求,进行了创造性开发,其主要模块有:药品销售、药品出入库管理、数据统计、药品基本信息管理、部门员工管理和退出等.通过医药销售管理系统的使用与实施,使医药经营企业从纯手工的管理中解脱出来.使用用户界面友好,实用性强的医药销售管理系统.可以使企业的管理更加方便,也让企业的工作效率得到提高.     

多边形填充的扫描线算法及其实现

多变形填充算法是图形学中一个比较复杂的算法。对多边形填充算法进行了介绍,用VC 实现了X-Y扫描线算法,该算法可以对任意形状的多边形(包括自相交的多边形)进行填充。     

基于HSI空间颜色三角形的边缘检测方法

利用像素点的颜色坐标H、S、I构建像素的颜色三角形,计算该三角形的面积和边长.根据面积以及边长的差值确定该像素点是否为彩色图像的边缘点.这种边缘检测方法在一定程度上合理地考虑了个各颜色分量的相关性,将向量空间的计算以自然的方式转换成了标量的计算,在思想上是一种不同于其他算法的新算法.实验证明,与传统的方法相比较,该方法能快速有效地检测出图像的边缘.     

基于持续监控的动态内联优化

动态编译技术是非常有效的一项优化技术,但是,当前的信息采集与持续监控技术面临运行开销过大、信息精度不够以及代码过渡膨胀等问题.以Intel ORP(open runtime platform)作为基础平台,设计了基于在线反馈与持续监控的动态编译系统;根据当前信息采集技术存在的一些问题改进了代码插装机制;实现了对虚方法接收者对象的类型持续监控;编译系统根据在线采集和持续监控所获得的信息指导内联优化;针对持续监控过程中产生大量无用代码的问题,提出了已编译代码动态卸载方法.SpecJVM98和Java Grande Forum Benchmark等测试基准的运行结果表明,被测程序的平均性能得到了提高.同时,代码动态卸载算法也有效地减轻了系统的运行时负载.     

浅谈身份密码学

对身份密码学的原理、安全性及优缺点进行了讨论，从保障信息安全的3个基本密码学要素（加密、数字签名和密钥协商）出发．对身份密码学的研究现状及趋势进行了综述。     

基于移动锚节点的加权多维标度节点定位算法

针对无线传感器网络节点定位精度不足等原因,提出了一种基于移动锚节点的加权多维标度度节点定位算法,首先通过对移动锚节点的轨迹进行采样,添加虚拟锚节点,增加拓扑约束关系,将虚拟锚节点收集的信息与实际节点之间的信息构成距离矩阵,然后利用奇异值分解计算节点相异性矩阵的逼近阵,通过加权多维标度对节点进行定位.仿真实验表明:与MDS-MAP和MDS-MAP(P)算法相比,该算法具有良好的定位精度.