论文部分内容阅读
基于静态污点分析的空间内存错误检测技术研究
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2014年期
其他文献
论文首先对电信业务支撑系统及企业应用集成做了简单介绍与分析.论文根据综合营业系统的建设目标,选择了三层体系结构来进行建设,并给出了综合营业系统的软件体系结构.统一客
该文在研究UML和形式方法的基础上,提出将UML和形式方法相结合,使它们各取所长.基本思想是：一方面用形式语言形式化UML.该文主要采用两种方法：1、用Object-Z形式化UML的无模型.
该文首先对数据仓库和OLAP的理论,详细分析了传统MIS在数据分析方面存在的问题,提出在MIS中建立与事务处理相分离的数据分析系统的必要性,并提出了OLAP与MIS集成的C/S和B/S/D
该文提出了一种基于多级模糊识别的文本自动分类体系.在文本的表示方式上,采用了以词语表示文本的方式,对文本进行以词为单位的切分.在词频统计上,提出了基于位置加权的词频
移动分组无线网(MPRN)是一种不需要基础网络设施支持的无线网络,具有移动、分布、多跳的特点.网络中每一个节点都是一个无线路由器,具有路由获取和分组转发的功能.由于网络拓
论文描述了电子邮局现状和背景，分析了现在电子邮局的特点，以及电子邮局开发过程出现的问题。文章前半部分学习和研究了电子邮局的原理和协议等知识以及在开发电子邮局中应用的
电化学治疗仪是利用电化学原理进行肿瘤治疗的一种医疗仪器,利用计算机控制系统对其进行控制,不但能够提高效率,更可以大幅度提高电化学治疗的疗效.原来的电化学治疗仪控制系
随着分布式技术、地理信息技术、无线移动通信技术、移动计算技术、全球定位技术(GPS，Global Position System)的发展，分布式移动地理信息系统(Distributed Mobile Geographic
随着社会保险信息系统的进一步改进与完善，社会保险机构领导与业务人员强烈需要对社会保险各方面的数据库进行综合，充分利用、发掘其现有数据、进行面向决策的数据重组，将其转移