摘要：在对任意拓扑三角网格模型进行自动三边界区域划分的基础上 ,提出一种自适应的三角网格模型重新布点算法 .该算法首先根据三边界区域划分的结果 ,构造初始网格模型具有最低分辨率的基础网格模型 ,然后利用协调映射技术 ,对网格模型进行重新采样 ,从而不断对基础网格模型进行细化 .算法的特点是可以根据不同的精度自动在曲面的大曲率处重新采样得到较多的点 ,而在曲面的小曲率处则重新采样得到较少的点 .该算法可以用于三角网格模型的自适应简化和优化 .文中的应用实例表明 ,该算法可以保证在满足指定精度要求的条件下 ,得到更合理的三角网格模型 。

摘要：针对国家高性能计算环境网格计算的特点 ,在长沙网格点上实现了一个包括全球中期数值预报、有限区域数值预报、数值预报产品释用和五维数据可视化相配套的高分辨率中尺度数值天气预报系统 .该系统的预报区域可以移动 ,网格可以加密 ,适合于区域和省一级气象中心作中尺度数值预报业务试验和进行中尺度数值预报科学研究 .介绍了该系统的组成。

摘要：当前的互联网流量模型正迅速从端到端通信发展为内容的传播共享.为了适应这种变化,学术界提出了内容中心网络(CCN)的未来网络架构.在内容中心网络中,终端主机根据内容的名字而不是内容所在主机的IP地址进行通信.内容路由器作为底层基础设施,承载着内容请求和内容响应的高速交换的任务.不同于IP路由器的无状态转发模型,内容路由器的数据平面因具备网络缓存功能而更加复杂.尽管网络缓存可以有效减轻网络拥塞,但这样的设计也将额外的状态附加到网络中间节点上,这在一定程度上破坏了网络设计中的"端到端"原则.这些额外状态给路由器的数据平面造成了性能负担,也使内容路由器数据包转发成为当下热门的研究课题.内容路由器包含转发信息库(FIB)、待定兴趣表(PIT)和内容缓存(CS)三个模块.针对基于名字的最长前缀匹配、名字路由表的状态爆炸、待定兴趣表的频繁更新等问题,目前大量研究工作围绕FIB和PIT开展性能优化.然而,尽管CS也存在潜在的性能问题,却较少有工作对其进行讨论.FIB、PIT和CS在内容路由器中以流水线的形式存在,而流水线的处理速度由最慢的流水段决定.因此,为了提高内容路由器的整体性能,有必要首先确定其性能瓶颈,然后进行针对性的优化.在该文中,为了避免盲目的性能优化,我们首先建立了基于开放排队网络的数学模型.通过定量分析,文章发现CS是整个路由器的性能瓶颈.目前,已有工作采用跳表作为CS的数据结构.然而由于其O(logn)的查找复杂度,经典跳表在处理高速网络流量时依然存在性能问题.受到网络流量中广泛存在的时间局部性和空间局部性的启发,我们提出了局部性原理跳表来提升CS的性能.在新的设计中,考虑到新到达的内容请求可能与之前到达的内容请求共享相同的名字前缀,且所请求的内容块通常处于邻近的存储空间,因此在查找跳表时可以直接从该前缀先前命中的跳表结点附近开始查找.这样可以避免每次都从跳表的头结点开始重复的查找,从而节省大量时间.实验结果表明,局部性原理跳表可以在x86处理器上实现1.796Mpps的单线程吞吐率,这是经典跳表查找速度的三倍.对于500B大小的数据包包长来说,CS的单线程吞吐率可以高达7.016Gbps.

摘要：FIB表急剧增长是互联网高速发展面临的重要问题之一,FIB表分解存储能有效解决该问题.现有的SPAL技术将FIB表较均匀地分解存储在不同线卡,但仍然存在较多的表项冗余存储现象,并且实现复杂.对此设计了一种新型的转发表分解存储模型(Decomposed Storage of FIB,DSF),它依据IP前缀的前若干bit位实现线卡对转发表的分解存储,并只带来极少的冗余存储.DSF的改进方案———EDSF,更可使各线卡非常均衡地完成分解存储.提出的分解存储模型缓解了FIB表项急剧增长问题的解决压力,同时大大节省了硬件资源.对于线卡数量更多的可扩展路由器尤为适合.通过对当前运营的路由表的分解存储实验研究及与其它方案的比较,验证了文中模型良好的存储性能.

摘要：介绍针对异构集群体系结构特点设计的编程接口***使用数组类型对数据的物理存储和逻辑结构进行分离.Parray使用统一的线程数组类型表示各种进程(线程)的创建以及它们之间的控制流转.通过矩阵乘法实例演示Parray程序设计的特点:该程序由一个单CPU线程程序演变为多CPU线程程序、再演变为GPU线程程序——程序的各次演变仅通过数组类型的变化和代码的细微修改即可完成.介绍使用Parray实现的高性能GPU矩阵乘法,在天河1A单节点上的测试性能和CUBLAS 4.0相当,同时该代码可以工作于不同物理存储方式的数组.

摘要：随着系统芯片技术在嵌入式系统中的应用 ,软硬件划分从传统的二划分问题转化为多划分问题 文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构 ,并利用模拟退火算法与启发式的调度算法分别完成多路软硬件划分与系统性能和代价的估算 初步的实验结果表明 ,该算法能有效地选择合适的体系结构 。

摘要：随着In ternet向普通家庭生活不断扩展,电子设备、计算机和通讯一体化日趋明显,与此同时基于W eb的应用系统越来越复杂,传统的解决方法已经不能满足软件的安全需要.本文剖析了目前信任管理方法和家庭网关技术的内在机制,并具体分析了基于O SG i网关的安全性问题,提出了将信认管理的认证策略集成到基于O SG i家庭网关架构中的解决方法,最后给出了具体的框架分析、详细设计与有关实现和性能测试.

摘要：DNA计算是将现实问题进行编码,映射到DNA分子上,然后通过分子生物实验产生出代表问题解的DNA分子,最后通过检测技术提取出该DNA分子.高质量的DNA编码可以尽可能避免或减少计算过程中出现的错误,并使检测阶段易于提取出代表问题解的DNA分子.文中对基于汉明距离和基于自由能的DNA核酸编码方法进行研究,分析了两类方法的约束条件对DNA编码质量的影响,比较了两类方法排除非特异性杂交的完备性和计算量,进一步分析了两类方法编码DNA序列的效率.通过分析和比较得到,两类DNA计算编码方法都能有效地限制DNA分子间的非特异性杂交,其中基于汉明距离的DNA编码方法的计算量比较小,但是它仅能近似地估计DNA分子间杂交的热力学稳定性,不能完全替代最小自由能的编码方法.在满足DNA计算试验精度要求的条件下,采用基于汉明距离的DNA编码设计方法不仅能有效地的挑选出特异性杂交和非特异性杂交的DNA序列,还能有效地减少计算量,从而提高DNA序列设计的效率.

摘要：随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.

摘要：介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表示C程序中的可并发部分 同时 ,由于HCDFG II采用以控制流为主的结构 ,从C语言进行转换十分容易 这使得它能有效地作为C语言系统描述的中间表示 。