关于局部对称空间的几个Pinching定理

研究了局部对称空间中具有平行平均曲率向量的紧致伪脐子流形,利用活动标架法和Hopf极大值原理讨论了子流形的Pinching问题,即估算子流形第二基本形式模长的平方的Laplacian,再对截面曲率和Ricci曲率加以某种限制,得到这类子流形成为全脐子流形的几个拼挤定理.     

基于Jacobian矩阵的5UPS-RPS并联机构全域性能指标分析

提出一种由一个RPS约束分支和5个UPS主动分支构成的新型空间对称五自由度并联机构.为研究动平台和定平台半径变化对该五自由度并联机构速度性能指标的影响规律,利用虚设机构法求出机构一阶和二阶影响系数矩阵,并推导了速度和加速度表达式,利用推导的Jacobian矩阵对机构进行速度全域性能指标分析,并绘出上述性能指标图谱,得到动平台和定平台尺寸变化对并联机构性能的影响趋势,同时也得到所给动平台和定平台尺寸范围内速度性能较好的尺寸,为机构优化设计提供了理论依据.      

汽车理论课程平行分层化教学思路研究

汽车理论课程是车辆工程专业核心课程,其课程内容涉及车辆系统性能分析与跨学科知识点的交叉,在新工科教学理念下,传统教学模式在车辆理论分析、2自由度操纵稳定性模型、平顺性模型等内容上并不能适用于整车研发的实际需求。针对此现实问题,提出利用ADAMS软件驱动汽车理论内容平行化、分层化教学思路研究,采用软件中悬架模型、转向模型、轮胎模型、路面模型、制动及整车模型对汽车理论课程中的各个环节内容提供支撑,打通"理论教学、实践教学、企业研发"3个环节之间的屏障,使学生能够快速运用所学知识投入到生产实践中,同时转换学生思维中的传统车辆设计理念,改善课堂效果,提升教学质量。     

拉格朗日中值定理的证明及应用

中值定理是微分学的基本定理,是应用导数研究函数在区间上整体性态的有力工具,其中拉格朗日中值定理是核心内容.给出拉格朗日中值定理的三种证明方法及其在级数散敛性方面的应用.     

基于DSP和CPLD的数粒机计数系统设计

为提高数粒机的的计数速度和精度,设计了一种计数系统。该系统以光电传感器作为检测机构,使用CPLD、DSP双核控制系统,采用多通道相互独立、并行采集的工作方式。系统可实现颗粒药品包装前的计数,并在一定程度上进行残缺药品的检测与识别。理论上每通道计数速度可达3 000粒/min以上,实际计数速度为1 000粒/min左右。对药品直径在3~20 mm的不规则物体均可实现准确计数。     

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

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

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:一种空间移动对象并行索引结构

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