系统Hα中的子代数的广义重言式理论

将多值逻辑系统H_α（0≤α≤1）中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H_1/2的序稠密子代数中给出F（S）的一个分划,并把系统H_1/2中的相关结论推广到系统H_α（0≤α≤1）中。     

集装箱码头三维仿真组件平台

为直观、形象地研究集装箱码头生产优化问题,采用三维仿真的方法实现集装箱码头物流信息与作业过程的可视化．基于不同业务流程的仿真要求,合理地划分静态布局、装卸设备、装卸对象、码头操作、运动学解算、数据访问、通信接口和图形渲染等组件的粒度;建立层次结构形式的组件平台,体现客观对象的逻辑关系;遵循标准COM＋规范设计岸桥、场桥和集卡等集装箱码头主要三维仿真组件．以上海振华重工（集团）股份有限公司自动化集装箱码头为例验证该组件平台的可操作性,结果表明该方法对集装箱码头装卸工艺的改进和管理水平的提升具有实际指导意义．     

Path partitions of hypercubes

A path partition of a graph G is a set of vertex-disjoint paths that cover all vertices of G. Given a set of pairs of distinct vertices of the n-dimensional hypercube Qn, is there a path partition of Qn such that ai and bi are endvertices of Pi? Caha and Koubek showed that for 6m?n, such a path partition exists if and only if the set P is balanced in the sense that it contains the same number of vertices from both classes of bipartition of Qn.In this paper we show that this result holds even for 2m−e<n, where e is the number of pairs of P that form edges of Qn. Moreover, our bound is optimal in the sense that for every n?3, there is a balanced set P in Qn such that 2m−e=n, but no path partition with endvertices prescribed by P exists.     

P2P网络中的社区结构发现方法

针对P2P网络的分布式特征,提出了一种可扩展的分布式社区发现方法PDC,采用节点Power值度量社区结构,并选择中心节点,其中包括新的社区度量方法和新的中心节点选择算法。仿真实验结果证明,与FDC和CDC方法相比,和其他算法相比PDC的社区发现效果率比FDC和CDC至少提高了510%,但是产生的消息数量却很少比FDC少一个数量级,具有良好的可扩展性。     

基于社区分析的网络分割

在并行计算中,网络分割的质量会极大地影响并行计算的效率,然而在网络分割时并没有一个统一的质量评价指标,因此网络分割评价指标的定义以及最佳网络分割方法的构造,成为大规模网络中并行计算的一个核心问题.根据对影响并行计算效率的各种因素的分析,给出了一个网络分割评价指数的定义,并利用并行最短路径的计算验证了该评价指数的定义的正确性;并且基于社区分析,给出了一个全新的网络分割方法,理论分析表明:该网络分割方法是最优的.     

一种基于SoC平台设计的AVS解码器软硬件分区结构

视频解码芯片的结构因硬件强大的处理能力和软件灵活的可编程功能从硬件转向软硬件分区结构。该文针对AVS标准的算法和解码实现复杂程度,根据软硬件协同设计思想提出了一种结构划分合理的AVS高清视频解码器软硬件分区结构。根据AVS算法的特点该结构将宏块层以上部分的元素解析划归到软件解码中,将宏块层解码划为硬件处理。经验证,该结构设计可实现AVS高清码流解码,并在C语言编写的硬件平台仿真程序中得以实现。     

分点:无结构对等网络的拓扑关键点

虽然对等网络中的结点在功能上互相平等,但其中某些结点对于覆盖网拓扑却有重要意义.提出了分点概念来描述对等网络的拓扑关键点,这些结点的失效很可能导致覆盖网的分割.设计了一套简单、有效、分布式的分点检测和避免方法.模拟实验的结果表明,该方法可以优化覆盖网拓扑结构,并显著地提高无结构对等网络在动态环境下的容错性.     

基于运动估算的多分辨率地形分块调度方法

针对常用的基于视点位置进行地形分块调度方法存在可视窗口固定、调度范围和时机不能根据视点运动特点进行调整而导致内存利用率低的问题,提出一种基于运动估算的地形分块调度方法.以数据密度为标准进行多分辨率地形划分,结合四叉树和二维矩阵对地形分块建立空间索引,重点研究以视点位置、视线方向、视点运动向量和地形分块数据量为参数的调度方法;通过计算预加载区域和卸载区域的地形分块,实时更新其调度范围和调度时机.实验结果表明,与基于视点位置的方法相比,该方法平均能提高3～4倍左右的内存有效数据比例和绘制帧速.     

基于模板的SoC结构自动划分方法

针对SoC芯片设计中的系统划分问题,提出一种面向应用的系统结构自动划分方法--基于模板的系统划分方法,并开发了系统划分工具--TBPS.基于模板的系统划分方法通过提取应用描述中的相似结构,并使用相似结构划分系统,最终得到一个尽量复用的系统结构.系统的相似结构划分采用遗传算法实现最优覆盖的搜索,并使用贪婪算法实现资源配置和任务调度.与已有的在系统划分中事先设定目标结构方法不同,文中方法可以根据应用的特点自动生成划分的结构.采用该方法及TBPS实现了应用描述到系统结构的自动划分.实验结果表明了TBPS对数据处理为主的应用划分的有效性.     

多重链路网络分区与QoS度量两级并行QoSR算法

在多重链路上联网络环境下,采用并行路由搜索的思想寻找最优路径,能够获得较好的路径寻优结果,并且算法的时间复杂度较低.给出一种两级并行QoSR算法,将多重链路环境按一定规则划分为若干分区,为每个分区分配一定数量的QoS度量并行处理器和1个分区处理器,在各个分区分别采用QPAS算法,由QoS度量并行处理器并行计算出各分区内的QoS度量Pareto最佳路径,最终由分区处理器调用最短路径并行算法完成分区间代价最小路径的计算.