Exploiting Network Locality for CC-NUMA Multiprocessors

The Journal of Supercomputing - Rapid advances in interconnection networks in multiprocessors are closing the gap between computation and communication. Given this trend, how can we utilize fast...     

A distributed control scheme for multiple robotic vehicles to make group formations

This paper presents a novel distributed control scheme of multiple robotic vehicles. Each robotic vehicle in this scheme has its own coordinate system, and it senses its relative position and orientation to others, in order to make group formations. Although there exists no supervisor and each robotic vehicle has only relative position feedback from the others in the local area around itself, all the robotic vehicles are stabilized, which we have succeeded in proving mathematically only in the cases where the attractions between the robots are symmetrical. Each robotic vehicle especially has a two-dimensional control input referred to as a “formation vector” and the formation is controllable by the vectors. The validity of this scheme is supported by computer simulations.     

水电厂闸门群计算机监控系统

针对水电厂闸门控制自动化程序不高的弊端,设计开发一套通用性强、可靠性高、易于扩展维护且性能价格比高的分层分布式闸门群集散自动控制系统,为电站实施“无人值班、少人值守”创造了条件。     

Invariants for the computation of intransitive and transitive Galois groups

One hard step in the computation of Galois groups by Stauduhar’s method is the construction of relative invariants. In this note, a representation-theoretic approach is given for the construction in the case of an intransitive group.In the second part of the article, it is shown that the construction can be used for groups that have a suitable intransitive subgroup. The construction solves an open question of Fieker and Klüners.     

基于取整划分函数的k 匿名算法

提出一种基于取整划分函数的k匿名算法,并从理论上证明该算法在非平凡的数据集中可以取得更低的上界.特别地,当数据集大于2k2时,该算法产生的匿名化数据的匿名组规模的上界为k+1;而当待发布数据表足够大时,算法所生成的所有匿名组的平均规模将足够趋近于k.仿真实验结果表明,该算法是有效而可行的.     

基于横向局部性的多核计算模型

片内多核已成为延长摩尔定律的方式,并行算法设计、编程模型、编译器和运行时系统都需要利用计算模型进行分析。现有多核模型对线程间共享缓存等资源的竞争已有较精确的模型,但是对于线程间数据共享考虑较少。提出线程间共享缓存的横向局部性和任务共享率概念,基于此扩展串行存储层次模型RAM(h),提出考虑任务共享率的多核并行计算模型MRAM(h)。     

小说翻译中的风格群

着眼于风格的动态特征,分析小说风格起伏变化的原因,并提出“风格群”的概念,籍此帮助译者更好地理解并再现小说的风格。一部作品根据风格的动态变化可以切分成不同群类。风格群内相对统一的风格特征有助于完整再现风格。风格群间的风格变化,有助于再现风格起伏。最后通过实例进行对比,阐述了风格群在重现风格变换和把握风格特征中的功用。     

关于高斯二次反比定律的另一种证明方法

高斯利用有限体中的元都是二次的这一性质,推证了Legendre符号的二次反比定律（l/p）=（p/l）（-1）^ε（l）ε（p）.如果乘群F＊p的子集S满足F＊p是S和-S的和,那么S可取为S={1,2,...,p-1/2}的特殊形式.本文利用这一性质把Legendre符号的运算转化成S中元的三角运算,再通过三角引理的具体计算推得高斯二次反比定律,从而给出其另一种证明方法.     

行业分析法应用于高职机械专业群课程开发的探索

从行业分析法入手,分析了高职机械专业群必须具备的一般能力、专业基础能力和专业技术能力和应具备的八个方面的知识,从而设计出机械专业群能力、知识和素质结构图,完成课程开发中的课程分析和课程设计工作。