摘要：地址空间分离是解决互联网路由可扩展问题的有效方法,其关键技术是边缘网地址到核心网地址的映射机制.现有典型地址映射模型基于缓存映射项机制实施,其映射信息交互协议复杂,路由器对映射信息缓存的维护开销很大.而且,缓存机制中映射项查询延迟较长,明显影响到端系统用户的网络体验.文中设计了一种新型的面向地址空间分离网络的域间地址映射模型:AMIA,通过BGP协议扩展完成映射信息交互,映射项存储不带有任何缓存机制,方便实施.文中还为AMIA模型设计研制了集成PE和KMS功能的多功能路由系统,并在CERNET2中搭建实验网进行实验验证.理论分析及实验结果证明AMIA模型具有高性能、可行性及易实施等特点.

摘要：个人计算机硬件性能的迅速增强使得通过虚拟化技术建立多个相互隔离的计算域成为未来个人计算机的一种重要发展趋势.为避免传统的IA-32架构在软件虚拟化领域所面临的VMM的设计和实现的困难,作者设计并实现了基于Intel VT-x技术的VMM架构——Pcanel/V2.该架构利用最新的硬件虚拟化技术,通过配置出一个可控制的虚拟运行环境,可以直接虚拟运行多个不修改源代码的客户操作系统.在允许客户操作系统正常运行的同时控制它们对各种硬件资源的访问,并能对客户操作系统运行过程中出现的各种情况进行相应的处理.Pcanel/V2实现了Linux和Vxworks的同时运行,相应的数据测试表明Pcanel/V2架构在简化了VMM设计复杂度的同时总体运行效率比软件虚拟化技术提高了约10%.

摘要：有效预测社交网络中的社区演化规律和趋势,在广告精准投放、网络舆论监测与引导方面具有广泛的应用前景.近年来,基于事件框架的社区进化预测建模在反映社区演化规律和趋势方面一直是热点,研究的难点在于提高预测模型的预测准确度.为解决这一难点,文中首先提出一种改进的事件框架,以新型事件框架为基础,针对不同事件分别构建有效的预测模型.其中预测模型的输入指标包括网络结构特征、社区的结构特征和社区进化特征.最后为了充分验证所建预测模型的有效性并保证预测模型的实用价值,在实验中分别用人造动态网络数据集、DBLP动态网络数据集和Facebook数据集作为实验数据集,以确保实验数据集的多样性.实验结果表明文中的预测模型针对形成、消失、保持、合并和分裂等事件的预测具有较高的准确性,结果也表明文中提出的特征指标和对应事件的预测模型在实际事件预测中将具有较高的实用价值.

摘要：从基于自然语言的需求文本中抽取概念模型已有很多相关研究,然而,抽取模型中的关系信息因其复杂性而较少被研究者系统地分析和处理.文中提出了一个通用的关系信息抽取方法,给出抽取规则,从需求文本中确定和抽取关系信息.基于该方法设计并实现了一个系统CREAT3,从中文需求文本自动生成i*框架中的SD(StrategyDependency,策略依赖)模型,侧重抽取策略依赖关系信息.将得到的模型和专家抽取结果进行对比,结果显示该系统可以获得相当高的准确率,同时也保证了很高的召回率,证明了方法的可用性.并且较相关工作具有更好的可扩展性.

摘要：几何约束求解技术是新一代智能化参数化CAD的核心技术之一,是CAD领域的一个前沿课题.其目的是提供工程图形的自动求解,其主要特点是:自由拖动元素、动态图形生成、动态测量、动态轨迹生成.LIMD是约束求解中一个应用较广的算法,作者对该算法进行了拓宽和改进,提出了具体解决方法,并得到了较好结果.

摘要：基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具——CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.

摘要：基于IEEE 802.11的长距离无线Mesh网络(LDmesh)的单跳链路长度在几十到上百公里,具有带宽高、成本低、覆盖广等优点,可广泛应用于偏远乡村或人口分布稀疏地区的无线宽带接入等.LDmesh网络是点到点的链路,链路的干扰特性和传输特性与传统无线Mesh网络有显著不同,原有的基于CSMA的MAC协议不再适用,进而影响到上层协议的设计.分析了LDmesh网络的研究进展,从链路性能、MAC协议、路由协议及网络管理等方面深入论述了LDmesh网络面临的挑战和进一步研究方向.

摘要：在大规模、超大规模片上互连网络中,因为二维互连方式的性能较差而使多维互连方式成为可选方案之一.文中首先基于区域划分设计了一种分级环互连结构,分析了其静态互连特性,然后基于卡诺图编码设计了一种分级环互连的路由结构以及寻径方法,在均匀通信模式测试了不同的分级环级联链路缓冲区设置方法下网络的性能,详细分析了按照等比序列设置分级环级联链路缓冲区时分级环互连方式的动态网络特性,最后根据互连性能与Mesh等二维片上互连方式比较的结果,给出了分级环互连方式的使用场合.实验结果表明,虽然在较小规模网络中性能较差,但是分级环互连方式能以较低的成本、较高的性能实现大规模、超大规模片上网络的互连,其中单环分级互连方式在较低网络负载下综合性能更好,而双环分级互连方式则具有更大的网络负载能力,在较高网络负载下性能更好.

摘要：起初,作为一个数据库模式设计的工具,函数依赖理论得到了很多的关注,而在数据修复中,该理论并不是十分有效.近年来,针对不一致数据的检测和修复问题,更多的约束被提出来,包括条件函数依赖、修复规则以及编辑规则等.然而,这些方法都只关注了属性整体之间的依赖关系,而实际应用中的数据通常有属性部分之间的依赖关系.例如,某单位员工的工号前两位决定了其所属的部门,而此类依赖信息就被已有方法忽略.该文首先提出了一类更一般化的约束——微函数依赖,微函数依赖引入提取函数,用来表示属性的部分信息.利用提取函数之间的依赖关系,能够检测出更多的不一致数据.理论方面,该文首先研究了微函数依赖的可满足性问题和蕴含问题,然后提供了一个正确且完备的推理系统.最后,通过实验证实了微函数依赖能够在可接受的时间开销内检测出更多的错误数据.

摘要：提出了一个基于局部约束的图像变形算法 .该算法建立在一个新的 C2 连续的变形模型上 ,局部约束包括单点约束和多点约束 ,用户可以交互地直接控制变形 .实例计算表明 ,该算法十分灵活、简单和快速 ,变形效果很好 .