国家重点基础研究发展计划(2007CB316506)
- 作品数：13 被引量：47H指数：3
- 相关作者：梁阿磊戚正伟管海兵李小勇蔡松露更多>>
- 相关机构：上海交通大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论电子电信更多>>
- 嵌入式三维场景漫游系统的设计与实现被引量：1
- 2009年
- 针对移动用户对空间信息可视化及基于位置服务的需求,提出JSR-184规范下与嵌入式软硬件环境相关的三维场景漫游系统框架,设计实现一个原型系统,其中包括场景模型设计、场景树构建、灯光摄影机布置、用户交互实现,采用保留模式和立即模式的集成建模方法及三维空间与二维平面的信息互切换机制。测试结果证明,该三维场景系统可以使移动用户享有与桌面环境下相似的位置信息服务功能。
- 冯立男戚正伟
- GIS环境中一种高效的多边形剪裁方法被引量：1
- 2010年
- 在Weiler算法的基础上提出一种在GIS环境中计算非凸多边形之间的剪裁区域的新算法。该算法前提是多边形已根据梯形分解法被分解成若干个梯形,首先计算两个多边形之间的交叉点,并在计算的过程中按Weiler算法中的出点和入点来标示它们,然后逆序遍历所有的交叉点来确定剪裁区域。该算法通过减少交叉点的计算时间和遍历时间来提高Weiler算法的效率。在GIS这种具有频繁拓扑关系运算的环境中可以很好地提高运算效率,最后通过实验验证,即使在接近最坏的情况下,该算法也优于传统的Weiler算法。
- 蔡松露戚正伟梁阿磊
- 基于D3S的分布式系统监控技术
- 2009年
- 调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。
- 章甫源戚正伟
- 关键词：分布式系统线性时态逻辑
- 面向瘦客户端的分布式动态二进制翻译系统
- 2009年
- 传统的动态二进制翻译系统不适合直接用于瘦客户端,因为瘦客户端(如手机等)大多存在资源受限的问题,而动态二进制翻译过程会消耗较多的计算和内存资源。针对上述问题,提出一个适用于瘦客户端的分布式动态二进制翻译系统,用远程服务器完成二进制翻译,客户端只要执行翻译好后的代码即可。CPUSPEC2000的实验结果表明,在瘦客户端上使用该系统相对于使用传统的动态二进制翻译器可以带来更高的性能和更小的开销。
- 林凌管海兵梁阿磊
- 关键词：动态二进制翻译分布式系统瘦客户端
- 基于局部行为序列的多机器人曲线移动技术被引量：1
- 2009年
- 传统的机器人编队移动技术基于全局定位系统,缺乏灵活性和扩展性。研究分布式环境下多机器人保持队形的曲线移动技术。利用Leader-Follower策略获得原始的需求行为路径,利用Affine变换计算出预计的队形轨迹,利用行为分解计算出单个机器人的局部操作队列,最后利用同步机制保证整个系统的一致性。实验显示了很理想的效果。
- 余婷梁阿磊
- 关键词：多机器人
- GIS环境中一种高效的多边形剪裁方法
- 2009年
- 论文在Weiler算法的基础上提出了一种在GIS环境中计算非凸多边形之间的剪裁区域的新算法。该算法前提是多边形已根据梯形分解法被分解成若干个梯形,计算过程与Weiler算法类似。该算法主要通过减少交点的计算时间来提高Weiler算法的效率。在GIS这种具有频繁拓扑关系运算的环境中可以很好地提高运算效率,最后通过实验验证,即使在接近最坏的情况下,该算法也优于传统的Weiler算法。
- 蔡松露戚正伟梁阿磊
- 动态二进制翻译系统的调试器框架被引量：1
- 2009年
- 传统的动态二进制翻译系统缺少调试器支持或者调试功能有限,随着开发规模的扩大,调试手段成为制约设计开发进度的瓶颈。该文提出一种针对动态二进制翻译系统的调试器框架,引入观察点、回退执行与调试脚本3个功能,通过在Crossbit平台上的验证,证明该技术能够高效地帮助程序员发现错误,提高系统的开发进度。
- 郑举育管海兵梁阿磊
- 关键词：动态二进制翻译调试器
- 3S系统的设计与实现被引量：1
- 2009年
- 针对地理信息系统/全球定位系统/基于位置的服务的应用,提出3S系统的概念,分析3S系统兴起的原因以及实际应用场景,设计典型的3S系统架构和数据流向,对系统中的地图格式、地图匹配、路径导航、跨平台性GUI界面等关键技术进行探讨,给出一个作为2010年上海世博会专项科技项目的3S系统的实现效果。
- 付国庆戚正伟梁阿磊
- 关键词：嵌入式地理信息系统全球定位系统
- 动态二进制翻译中的中间表示被引量：3
- 2009年
- 在二进制翻译中采用中间表示,可以适当隔离不同机器平台的特点,便于二进制翻译系统的移植。提出一种VINST中间表示方法,介绍其指令集与特点,运用SSA形式化和冗余指令删除等方法对VINST进行初步优化。优化前后的性能比较结果表明,相对简单高效的方法可以弥补优化的开销,提高系统性能。
- 姜玲燕梁阿磊管海兵
- 关键词：动态二进制翻译
- 虚拟机动态迁移的研究被引量：32
- 2008年
- 虚拟机技术可以使硬件和软件明确分开,还能实现容错管理、动态负载均衡、服务器在线维护,对于提高数据中心和集群的服务性能尤其有利。设计并实现了4种负载类型的虚拟机在XEN上的迁移实验,比较了不同负载对于动态迁移的影响,以及动态迁移相对于静态迁移的优越性。
- 江雪李小勇
- 关键词：虚拟机XEN
