关于局部对称拟常曲率黎曼流形上极小子流形

本文主要研究了局部对称拟常曲率黎曼流形N^n＋p 中的紧致极小子流形Mn，得到了局部对称拟常曲率黎曼流形关于第二基本模长平方和截面曲率的拼挤常数。     

模的极小逼近的一个等价条件

设Λ为Artin代数,C,X,Y是有限生成右Λ-模,χ,γ为有限生成右Λ-模范畴的子范畴.证明了C有右极小χ-逼近0→Y→X→C→0当且仅当Ext_Λ~1(C,)|_γ以Hom_Λ(Y,)|_γ为投射盖.类似地给出了当C有左极小γ-逼近时的等价条件.     

An effective estimation of distribution algorithm for parallel litho machine scheduling with reticle constraints

In order to improve the scheduling efficiency of photolithography, bottleneck process of wafer fabrications in the semiconductor industry, an effective estimation of distribution algorithm is pro-posed for scheduling problems of parallel litho machines with reticle constraints, where multiple reti-cles are available for each reticle type.First, the scheduling problem domain of parallel litho ma-chines is described with reticle constraints and mathematical programming formulations are put for-ward with the objective of minimizing total weighted completion time.Second, estimation of distribu-tion algorithm is developed with a decoding scheme specially designed to deal with the reticle con-straints.Third, an insert-based local search with the first move strategy is introduced to enhance the local exploitation ability of the algorithm.Finally, simulation experiments and analysis demonstrate the effectiveness of the proposed algorithm.     

组网雷达探测能力的并行计算与可视化方法研究

深入研究了并行计算与并行绘制相结合的并行框架构建问题。针对组网雷达探测能力的计算与可视化特点,在(PC)集群的基础上,构建了一个并行计算与可视化运行框架。该框架在并行计算中,采用八叉树分割的方法对组网雷达计算区域进行任务分配；在并行绘制中,采用sort-last的并行绘制机制。仿真试验结果表明,该运行框架能够有效地满足大规模组网雷达探测能力计算与可视化的应用需要。     

Network Motif Detection： Algorithms, Parallel and Cloud Computing,and Related Tools

Network motif is defined as a frequent and unique subgraph pattern in a network, and the search involves counting all the possible instances or listing all patterns, testing isomorphism known as NP-hard and large amounts of repeated processes for statistical evaluation. Although many efficient algorithms have been introduced, exhaustive search methods are still infeasible and feasible approximation methods are yet implausible.Additionally, the fast and continual growth of biological networks makes the problem more challenging. As a consequence, parallel algorithms have been developed and distributed computing has been tested in the cloud computing environment as well. In this paper, we survey current algorithms for network motif detection and existing software tools. Then, we show that some methods have been utilized for parallel network motif search algorithms with static or dynamic load balancing techniques. With the advent of cloud computing services, network motif search has been implemented with MapReduce in Hadoop Distributed File System(HDFS), and with Storm, but without statistical testing. In this paper, we survey network motif search algorithms in general, including existing parallel methods as well as cloud computing based search, and show the promising potentials for the cloud computing based motif search methods.     

QGrid:一种空间移动对象并行索引结构

为提高空间移动对象数据更新效率和查询准确率,提出了一种空间移动对象并行索引结构.利用主索引和辅助索引支持对空间对象进行基于范围的查询和基于对象标识的查询,还通过查询索引将更新操作和可能受其影响的查询操作相连接,在满足并行操作时间片语义的同时,避免了传统方法进行范围查询时对查询范围内相关对象及相关索引结构全部进行锁定的需求.实验结果表明:高负载环境下,该索引结构不但能保证查询准确率,其处理能力也明显优于传统索引结构.该索引通过提高系统并行度,使同一范围内的更新和查询操作可以并行执行,提升了系统整体运行效率.     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

消息传递模型的并行性能研究

消息传递模式因其通用性、可描述性、易于调试性和高性能的优点在并行程序设计中得到广泛应用.以MPICH 2构建并行计算环境下对消息传递模式的点对点性能、组通讯性能进行研究,将网络并行计算系统中的性能指标模型化,以期对分析整个系统的并行性能提供帮助.     

一种并联机构结构误差识别与修正的新算法

为了提高并联机床的运动精度,针对简化误差源模型（含42个误差量）,基于并联机构位置正解的快速算法提出了一种结构误差识别的新算法．首先按理论并联机构设计参数,将一球杆仪的两个球铰分别固定在保持平行的动、静平台上,令球杆仪在动平台上的球铰中心相对于静平台上的球铰中心做球面螺旋线运动．然后在此前提下根据球杆仪球杆理论计算长度与实际长度之差构造m维矢量空间,依次让每一个待识别的结构参数有一个单位增量,重点修正与实测误差相关程度最高的结构参数．并通过从测量误差向量中分离出主修正向量后的残余误差向量方法提高修正效率．经过若干轮修正,直到使修正后球杆理论计算长度与实际长度基本一致,即可认为各项误差已修正完毕．该算法只需测量球杆的长度值,大大减少了测量工作量及由此而引入的误差源．     

供热空调系统并联变频水泵转速比配置优化分析

建立了供热空调系统中变频水泵扬程、效率和功率与流量和转速间的关联模型．结合并联水泵的运行特性,以最佳点工作流量与水泵转速比范围为参考,理论分析了对应并联变频水泵电耗极小值运行工况下各水泵转速比配置情况．以采取变压差设定值控制的某交流量空调水系统并联水泵运行工况为算例,仿真研究了一台水泵全速运行、一台水泵变频运行,两台水泵同步变频运行且转速比相差0．05,两台水泵同步变频运行且转速比相差0．1与两台水泵同步变频运行且转速比相同4种控制方案的水泵节能效果．理论分析与仿真结果表明,并联水泵转速比的差异将导致一台水泵或多台水泵效率低下,当各水泵转速比相同时,并联水泵的总电耗最小．