【摘 要】
：
随着移动互联网的快速发展,人们可以通过包括智能手机和平板电脑在内的移动计算设备来访问和使用Web应用。然而,目前已有的Web应用大多是针对PC设计的,因此通过移动计算设备
【机 构】
：
北京大学信息科学技术学院软件研究所,高可信软件技术教育部重点实验室
论文部分内容阅读
随着移动互联网的快速发展,人们可以通过包括智能手机和平板电脑在内的移动计算设备来访问和使用Web应用。然而,目前已有的Web应用大多是针对PC设计的,因此通过移动计算设备直接访问时,可能出现信息显示不全、界面布局混乱、用户体验变差、需要耗费较多流量等问题。重新开发符合移动设备特性的Web应用是一种最直接的解决方案,但是开发成本和代价较大,并且同时维护PC版和移动版两个不同的应用版本也会带来更高的成本。提出一种面向开发者的Web应用移动版本半自动转化技术并实现了支持工具MobiTran：首先,对PC版本We
其他文献
介绍了纺织厂空调系统湿度控制一种方法。该系统采用台湾杨凌16位单片机SPMC75F2413A为核心控制器，由变频器、传动机构、传感检测、保护调整及电源等组成实时数据采集和控制系
2004年在北京举行的首届全国计算机取证技术研讨会拉开了国内计算机取证技术研究的大幕，2007年在乌鲁木齐举行的第二届研讨会着重讨论了取证技术与网络反恐，2010年在上海举行的
BoF特征是目前应用最广泛的图像表示方法。针对BoF特征编码简单、缺乏空间信息的缺点,对传统BoF流程中的特征编码和特征汇集阶段进行改进,提出了用于图像分类的新图像表示方法。首先对图像进行了基于多环划分的特征汇集的区域选择,嵌入了更多的空间信息;其次,根据密采样的特征描述子符合长尾分布的事实以及场景中特征分布比较均匀的特点,提出了适合于场景图像分类的多视觉词硬编码的编码方法。新的图像表示方法保存了
在外场试验条件下对弹丸速度进行测量，不仅测量成本高、周期长，而且在测试条件不完善的情况下，无法完成对测试系统的验证。针对这些问题，设计了基于智能平板的多普勒信号模拟器。
媒介接入控制（MAC）用以协调无线节点对公共信道的共享,对无线网络性能有至关重要的影响.传统的MAC协议只能抑制冲突,不能根除及处理冲突.提出了一种基于已知干扰消除技术的新型
参数计算和复杂性是上世纪末本世纪初兴起的一门技术。该技术因具有坚实的理论基础和良好的运行效果,故仅经过短短十几年的发展,已经取得了大量的成就。从趋势上看来,参数计
硐室爆破开采面板坝堆石料江西东津电站大坝为面板堆石坝，用硐室爆破开采堆石料，一次装药１１０队爆破量１７．８万ｍ３，获得成功，加快了大坝的填筑进度，为面板坝堆石料的硐室爆破开采积累了经验。１概
边缘保持的图像平滑在图像预处理以及许多图像编辑应用中都具有重要的意义。图像的边缘保持与细节平滑是一对矛盾。提出一种以极值为约束的边缘保持的图像平滑算法。该方法的基本思想是对处理后图像的极值进行约束,即要求其在给定位置处取得相应的极大(小)值来保持原图像的主边缘,同时平滑消除副边缘和信号小起伏。首先对原图像进行初步平滑,然后从中提取出极值点,再把这些极值点作为处理后图像的约束。在所有满足这些约束的函
为了说明物联网对智能交通的发展产生了深远影响，主要介绍了物联网技术在电子不停车收费系统（ETC）中的应用。在阐述物联网的基本概念、结构和关键技术的基础上，详细分析了基于射
视频关键帧提取技术是对视频进行摘要来提高视频内容访问效率的一种操作。传统的方法主要采用聚类的方法,未给出可信的关键帧代表性描述。尝试基于图计算算法实现关键帧抽取,该算法可以将一段视频中候选帧及其之间的关系表示成一个相关图,通过各帧间基于相关性对相邻帧的分值分配进行迭代计算,实现候选帧内容代表性评价;并提出了一种高效的帧间相关性计算方法。该方法通过两帧图像的最大稳定颜色区域(maximally st