摘要:在计算机动画与几何造型中,自由变形是一种重要的几何形状修改方法.该文从移位算子和函数复合的观点探讨一种方法,即当被变形物体用三角片表示、变形工具为B-样条参数体时,变形后的物体可以精确地表示为一组三角Bzier曲面片,其次数为B-样条参数体3个方向的次数之和.此方法的核心在于自由变形是作用在三角片上,而不是顶点上,所以解决了多边形物体B-样条自由变形的点采样问题.

摘要:文章综述了多媒体信息网络在服务质量(QoS)研究方面的一些最近的工作,着重论述了接纳控制和信源整形、QoS选路和资源预留、基于QoS的传输调度、综合服务网的QoS控制等问题.文章还描述了多媒体信息网络QoS控制的技术以及所面临的问题和进一步的研究方向.

摘要:Java Beans是一种组件标准.该文定义了JBDL(Java Beans description language)语言,用于描述组件语义约束规范.为了检测Java Beans组件语义约束与其实现之间的一致性,文章给出了一种基于JBDL公式的三值语义和模型的抽象化动态模型检查方法.文章重点介绍了利用T³BDD（3-terminal binary decision diagram）的符号化动态模型检查方法.

摘要:进程迁移是工作站网络系统实现负载平衡、提高系统可用性功能的重要手段.该文提出了一种基于接收/发送方消息记录的进程迁移技术.它在消息传递库PVM(parallel virtual machine)之上实现,具有对用户程序透明、可移植性好、开销小和实现简单等特点.此技术已实际应用于作者自行研制的“并行程序运行回卷恢复与进程迁移系统—ChaRM(checkpointing-based rollback recovery and migration system)”中.

摘要:基于最佳并行度的任务依赖图调度策略充分利用编译时刻所得到的全局信息,采用横向和纵向任务合并,处理节点预分配,静态调度和动态调度相结合、集中式调度和分层调度相结合等措施,是一种简单的、具有较高效率的实用化调度方案.该调度方案能够在尽量压缩调度长度的情况下节约系统资源.

摘要:调度算法决定不同应用的包在输出链路上的发送顺序,是网络提供QoS服务的关键技术.该文给出了系统虚时钟和连接虚时钟差值有界的调度算法框架VDBF(virtual clock difference-bounded framework).在此基础上,采用周期修正系统虚时钟的方法和层次式排序结构,提出了简单公平的调度算法DFQR(difference-based fair queueing by re-calibration).此调度算法在网络延迟、调度公平性和实现复杂度之间达到了很好的折衷,理论证明和模拟显示出

摘要:采用软硬件结合的运行时消除指针别名歧义方法SHRTD(software/hardware run-time disambiguation)适用于不可逆代码,同时,它的代码空间受到限制,不存在严重的代码可重入性问题.文章详细分析了SHRTD方法的指令级并行加速比,给出了发生地址冲突后的并行加速比与平均并行加速比以及发生地址冲突的依概率并行加速比.文章引入的三类理论加速比对指令级并行编译技术的研究和评测有重要的实际意义

摘要:该文基于分布式并行计算机系统,对一类多层二维二相流油藏数值模拟问题给出了3种任务划分策略—“卷帘”方式、区域分解方式和“卷帘”与区域分解结合的方式,对它们进行了比较,提出了减少求解时间、利于负载均衡和提高并行性能的任务划分方法,并实际应用于有多达72万个网格节点的大规模油藏模拟问题.实算结果表明,该策略划分产生的并行求解任务均衡,有利于加速比的提高.该方法也适用于区域或数据并行的任务划分问题.

摘要:大规模分布交互仿真对网络带宽、处理资源等提出了很高的要求,采用数据过滤机制可大大降低对网络带宽和计算资源的压力,有利于系统可扩性.然而对于高效过滤机制,仿真结点机要接收和处理足够的过滤信息.当系统规模增大时,大量过滤信息交换和处理占用了过多的计算资源,影响了正常的仿真任务.该文提出了一种基于Server的层次化过滤机制,解决了仿真节点计算能力受限的问题.同时,新的机制利用仿真的内在局部性,开发了两级过滤信息,从而减少了Server内部过滤信息计算量.

摘要:面向作业的调度(job oriented scheduling,简称JOS)在实际作业车间(job shop)调度中得到普遍的应用,它的基本思想是将作业一个个地安排到工作机器上.该文提出了一种基于计算机JOS系统的快速调度算法,该算法指定作业操作的可行调度起始和结束时间以正排工序或逆排工序方式将它们安排到有限能力的工作机器上.通过记录和修改每一机器有效时间槽的办法来减少操作在每一机器上搜索可行时间槽的时间,从而大大提高了计算效率.实际系统应用表明,此算法对于大规模调度具有很强的优越性.

摘要:对关联规则的增量式更新算法——IUA(incremental updating algorithm)进行了分析,指出其存在的问题,并给出一个改进的算法NEWIUA(new IUA).NEWIUA算法对已存在的和本次更新时新产生的频繁项目集都加以充分的利用,因此,在保证算法有效的同时提高了效率.文章提出了3种关联规则开采的并行算法,并对各算法进行了分析和讨论.

摘要:根据时态数据库用户对数据厚今薄古的需求特点,该文提出变粒度分段存储技术,将一个对象的历史分为3个时期,分介质、变粒度存储.文章讨论了分段存储的特殊数据结构、时代转移算法和压缩采样算法.基于微机实用参数的定量分析表明,这一技术将时态存储密度和时态查询速度提高了一个数量级.

摘要:该文介绍了一个构筑在HPF(high performance Fortran)编译系统之上的性能监测与性能分析工具.文章概述了HPF编译系统,讨论了性能分析的重要性及主要任务,详细介绍了这一工具所使用的性能分析方法和性能监测与性能数据收集方法,并对此工具的使用效果进行了总结.

摘要:该文以人造卫星舱布局为背景,研究二维带平衡及不干涉等约束的圆集在圆容器内的布局优化问题,属于NP-困难问题.文章提出一种求解此类问题的改进的遗传算法,即十进制编码控制参数自适应遗传算法,从而缓解了“组合爆炸”和遗传算法的早熟收敛问题.文章给出两个算例(其中一个为作者构造的已知最优解的算例),计算结果表明了此算法的有效性,并且优于数学规划的乘子法的计算结果.此遗传可推广应用于其他布局优化问题的求解.

摘要:加密协议的分析需要形式化的方法和工具.该文定义了加密协议描述语言PEP (principals+environment=protocol),并说明对于一类加密协议,其PEP描述可以转化为有穷的基本CCS进程,由此可以在基于CCS的CWB(concurrency workbench)工具中分析加密协议的性质.此方法的优点在于隐式地刻画攻击者的行为,试图通过模型检查(model checking)发现协议潜在的安全漏洞,找到攻击协议的途径.

摘要:该文利用延迟离散网络的状态转移方程与矩阵不等式的等价性研究网络的动力学性质.对于具有任意连接权阵的网络,文章给出了周期为1和2的极限环存在的一些条件.同时,对于周期为1,2和4的一些特殊极限环给出了存在的条件,还得到了网络不存在任何不动点的充分条件,即只有极限环的充分条件.计算机模拟实验表明其结果是正确的.

摘要:文章首先介绍了传统应用软件和超媒体应用软件的差异,指出了超媒体应用系统的特征和对最终用户的吸引力.在此基础上,建立了一个动态超媒体映射引擎的模型,它可以透明地为大多数传统应用系统增加超媒体的界面.文章最后给出了在WWW上实现的一个DHyME(dynamic hypermedia mapping engine)实例.