检索结果-南通市图书馆

采用SNMP Proxy技术的集群系统的单IP管理

在线全文

学校读者我要写书评

暂无评论

计算机工程 2005年第12期31卷 119-121,124页

作者：张俊黄林鹏上海交通大学计算机系上海201100

在互联网IP地址日益紧张的情况下,尽可能占用最少的IP地址对集群系统进行管理,将大大节约互联网IP地址资源。该文通过对比RFC1631和RFC2663中提出的NAT、NAPT技术实现原理,提出了SNMPPROXY技术,可以在不改造路由器的情况下,实现集群系... 详细信息

在互联网IP地址日益紧张的情况下,尽可能占用最少的IP地址对集群系统进行管理,将大大节约互联网IP地址资源。该文通过对比RFC1631和RFC2663中提出的NAT、NAPT技术实现原理,提出了SNMPPROXY技术,可以在不改造路由器的情况下,实现集群系统的单IP地址SNMP管理。

关键词：集群系统路由器 NAT NAPT SNMP PROXY

在线全文

学校读者我要写书评

暂无评论

基于FJ的多版本类动态更新演算

软件学报 2008年第10期19卷 2562-2572页

作者：张仕黄林鹏上海交通大学计算机科学与工程系上海200240 福建师范大学数学与计算机科学学院福建福州350007

针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.

关键词：动态软件更新 FJ(fbathenveight Java)演算 Java 类型系统程序设计语言

Cherry:一种无须子集检查的闭合频繁集挖掘算法

在线全文

学校读者我要写书评

暂无评论

软件学报 2008年第2期19卷 379-388页

作者：陶利民黄林鹏上海交通大学计算机科学与工程系上海200032

通过对一些著名的闭合频繁集挖掘算法(如CLOSET+,FP-CLOSE,DCI-CLOSED和LCMv2等)的研究并结合挖掘理论分析,提出了一种新的挖掘算法Cherry,它基于FP-tree结构,并采用了新颖的CherryItem检测技术,无须在内存中保留闭合频繁集而直接检测... 详细信息

通过对一些著名的闭合频繁集挖掘算法(如CLOSET+,FP-CLOSE,DCI-CLOSED和LCMv2等)的研究并结合挖掘理论分析,提出了一种新的挖掘算法Cherry,它基于FP-tree结构,并采用了新颖的CherryItem检测技术,无须在内存中保留闭合频繁集而直接检测出会导致重复的频繁项前缀,从而极大地提高了挖掘效率.性能实验的比较和测试表明,该Cherry算法在低支持度的测试中要优于目前的一些主流挖掘算法,如LCMv2,DCI-CLOSE和FP-CLOSE等.

关键词：关联规则闭合频繁集

基于概率模型的个性化算法及其在证券业的应用

在线全文

学校读者我要写书评

暂无评论

计算机工程 2004年第B12期30卷 8-9,96页

作者：许湘黄林鹏上海交通大学计算机科学与工程系苏州住友电木有限公司苏州215021

传统的信息检索技术满足了人们一定的需要,但由于其通用的性质,仍不能满足客户不同背景、不同目的和不同时期的查询要求。该文提出了一种基于概率模型的个性化信息搜索算法以提高搜索的速度和精度,最大限度地满足了客户的需要。

关键词：个性化客户兴趣模型搜索算法

一个基于日志结构的非易失性内存键值存储系统

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2018年第9期55卷 2038-2049页

作者：游理通王振杰黄林鹏上海交通大学计算机科学与工程系上海200240

非易失性内存(non-volatile memory,NVM)技术是非常具有应用前景的计算机内存技术,将会对计算机存储层次结构产生极大的影响.NVM具有可字节寻址、可持久存储、低访问延迟等特点,这为DRAM和NVM在统一的主存储空间中的结合提供了巨大的机... 详细信息

非易失性内存(non-volatile memory,NVM)技术是非常具有应用前景的计算机内存技术,将会对计算机存储层次结构产生极大的影响.NVM具有可字节寻址、可持久存储、低访问延迟等特点,这为DRAM和NVM在统一的主存储空间中的结合提供了巨大的机会.NVM可通过内存总线以及CPU相关指令进行数据访存,这使得在非易失性内存中设计快速的持久存储系统成为可能.现有的键值存储系统将NVM作为块设备使用,未能充分发挥NVM的性能.当硬件支持出现故障(例如高速缓存刷新)时,一些现有的键值存储系统无法保证数据的一致性.提出了一种基于日志结构的非易失性内存键值存储系统TinyKV,该系统利用键值数据负载的特性提出了一个静态并发、缓存友好的Hash表实现方案.TinyKV为每个工作线程维护单独的数据日志,以实现高并发性.此外,TinyKV采用日志结构技术进行内存管理,设计多层级内存分配器,以保证一致性.此外,系统通过减少对NVM的写入与缓存刷新指令,以降低写入延迟.实验显示:与传统的键值存储系统相比,TinyKV具有良好的吞吐性能与扩展能力.

关键词：非易失性内存日志结构键值存储 Hash表内存管理

在线全文

学校读者我要写书评

暂无评论

事务控制的面向服务系统的动态更新协调

软件学报 2011年第11期22卷 2652-2667页

作者：王德俊黄林鹏徐小辉上海交通大学计算机科学与工程系上海200240

就面向服务的分布式系统中多服务动态更新的协调问题,提出基于事务控制的更新协调策略,包括安全更新时机的选择策略、使用2PC(two-phase-commit)协调多服务更新的控制策略.根据更新实施的各步操作时间开销,提出分别采用更新短事务控制... 详细信息

就面向服务的分布式系统中多服务动态更新的协调问题,提出基于事务控制的更新协调策略,包括安全更新时机的选择策略、使用2PC(two-phase-commit)协调多服务更新的控制策略.根据更新实施的各步操作时间开销,提出分别采用更新短事务控制基本更新操作(包括创建服务实例、顺序实施运行时状态转换、重定向服务请求和新服务的激活操作)和转换长事务控制多组持久数据转换操作(其中每组持久数据转换由一个相应的短事务控制)的更新实施策略,以期借助于事务的控制机制尽可能高效地保证更新前后系统运行状态的ACID特性.就事务控制策略的自动实施做了一定的研究工作,包括:根据更新描述脚本自动生成更新短事务操作序列、根据持久数据关联构件的依赖关系分析自动生成各个持久数据转换短事务序列组成的长事务以及对应用事务和各转换事务的序列化处理.最后,通过基于Apache CXF-DOSGi的原型实现对给出的控制策略进行了可行性验证.

关键词：动态更新协调策略事务分布式系统面向服务

在线全文

学校读者我要写书评

暂无评论

中间件在OLTP中的应用

计算机工程 2004年第B12期30卷 38-39,57页

作者：童臻黄林鹏上海交通大学计算机科学与工程系上海200041

OLTP系统是计算机应用的一个重要领域。该文全面分析了基于中间件TUXEDO的OLTP系统解决方案,介绍了这一方案的各个功能模块以及相互之间的关系,提出了基于中间件TUXEDO的、对OLTP系统业务逻辑层的组成。

关键词： OLTP 三层客户机/服务器 TUXEDO

在线全文

学校读者我要写书评

暂无评论

交互作用网理论分析

计算机学报 1993年第3期16卷 171-180页

作者：黄林鹏孙永强上海交通大学计算机科学与工程系上海200030

交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上结点辅助端口的划分可表示成相应类型的张量积;·网上的... 详细信息

交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上结点辅助端口的划分可表示成相应类型的张量积;·网上的计算等价于线性矢列演算中Principal-Cut的消去;·对于任何一个交互作用网,如果存在一个线性矢列演算与之对应,则该网是简单的.

关键词：交互作用网理论程序设计

在线全文

学校读者我要写书评

暂无评论

线性逻辑和逻辑式程序设计

计算机科学 1992年第6期19卷 11-17页

作者：黄林鹏孙永强上海交通大学计算机系 200030

所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如 PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文... 详细信息

所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如 PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文从证明论角度出发,研究 PROLOG 目标求解成功或失败的公理化,并说明对任一给定的程序 P,可定义一个线性理论 LT(P),关于该理论,PROLOG 目标求解是正确且完备的。

关键词：线性逻辑逻辑程序设计