海量存储 安全随行——卫士通安全云存储解决方案推广会上海站落幕

卫士通安全云存储产品及解决方案研讨/推广会在北京成功举办后,9月30日,上海站拉开帷幕。来自上海市经信委、市商密办、市委宣传部以及上海市各政府、金融、军工、电力等行业的相关代表参加了在海伦大酒店举办的研讨推广会。卫士通公司总经理李学军、副总经理吕涛莅临活动现场并向与会代表发表热情致辞。     

质量报告

3月31日,国家质检总局公布了铣床、钻床、钻铣床产品及电池产品抽查结果,质量较差的产品及其企业为：滕州市三友机床有限公司（山东）的摇臂钻床;滕州市喜力机床有限责任公司（山东）的万能升降台铣床;滕州市奥达机床厂（山东）的铣磨钻床;滕州市国力机床工具有限责任公司（山东）的钻铣床;广州市花都区建益电池厂的建益电池;     

一种新型NoC互连算法及连线冗余的修正

片上网络(Noc)是一种新兴的以包交换为通信方式的芯片互连结构。NoC的互连问题可以抽象为在有障碍曼哈顿平面生成最小森林的图论问题,本文提出了一种新型的NoC互连算法,该算法通过对连线边长权重进行更改后再调用最小生成树算法,并针对连线冗余进行修正。实验表明,该算法使得片上网络的全局连线长度最小,从而解决传统片上总线结构中连线延时长、信号完整性差等缺点。     

基于树分解/合并策略的QoS多播路由方法

针对多约束QoS多播路由的NP-Complete特性,提出一种可控的多播树分解与合并策略,使多播树的生成在兼顾低费用的同时具有多样性,有效克服多播路由优化的局部极值问题。基于该策略设计蚁群算法,分解蚂蚁种群为与多播目标点相对应的蚂蚁子群,引入基于“死点”惩罚和多播树奖惩的信息素更新机制,提高了算法的收敛速度。仿真实验表明,该方法能有效地解决QoS多播路由问题,且随着网络规模的增大保持了良好的性能。     

机床智能加工的体系结构

智能制造技术是近年来兴起的一种新型制造工程,是机械制造的发展方向。由于其研究尚处于起步阶段,其体系结构尚未形成,其精确内涵也正在发展之中。本文就智能制造中的一个重要组成部分──智能加工,探讨了单台机床智能加工的基本概念与基本研究内容,提出了机床智能加工系统的基本结构,论述了各组成模块的基本功能与作用。     

基于R-树索引的Map-Reduce空间连接聚集操作

空间连接聚集是一种常用并且非常耗时的空间数据库操作,特别是在面对大规模空间数据集时,单机运行环境难以满足其对时空开销的需求,如何设计高效的面向云计算环境中的分布式空间连接聚集算法越来越受到人们关注。Map-Reduce作为云计算的核心模式受限于其扁平化的串行扫描操作模型,常被用来加速非索引的空间连接操作,现有工作尚无将Map-Reduce和R-树索引结合来处理空间连接聚集。因此,提出了基于R-树索引的Map-Reduce空间连接聚集算法(RSJA-MR)来更高效地返回连接聚集结果。提出一种分布式R-树索引结构以支持大规模空间数据的索引,RSJA-MR算法利用分布式R-树生成任务集,任务集的执行满足无依赖并行计算模式,很容易在Map-Reduce框架中进行表达。文中提出一种实时缓存策略以支持索引并发访问。实验结果表明:相比非索引的Map-Reduce连接聚集算法,在空间交叠连接聚集查询上,时间性能最少提升8%,在空间包含连接聚集查询上,时间性能最少提升近35%。     

超精密机床变分法精度分析及其应用

本文介绍了一种基于变分法的机床精度分析方法,以及这一方法在超精密机床精度分析中的应用。以超精密气浮花岗石车床为研究对象,建立了车床成形系统的数学模型,对车床的输出精度进行了理论分析,指出了加工误差中各成分的来源及物理意义。最后还探讨了变分法精度分析在超精密机床设计中的应用     

慢刀伺服加工环曲面的刀具路径规划方法

如何规划刀具路径、进而获得高质量的数控加工代码,是应用慢刀伺服技术加工环曲面的关键技术之一。提出了基于等距面规划刀位点轨迹的刀具路径规划方法,推导了外凸环曲面的面形方程及其等距面方程,对比分析了两种导动曲线及两种数据点离散方法,优选了刀具路径规划方案,应用VB.net语言编写了慢刀伺服加工环曲面用数控代码生成软件,在Vericut平台上对数控代码进行了仿真验证,直观地展示了虚拟加工面相对理论曲面的残留区域,仿真结果验证了方法的可行性。结果表明:将外凸环曲面方程中的非一次常数项a变为a+r_d,即得到外凸环曲面的等距面方程;所提刀具路径规划方法适用于慢刀伺服加工外凸环曲面;该方法对应用慢刀伺服技术加工其他面型的光学镜面具有借鉴价值。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

基于扩展时空距离度量的连续k近邻查询方法

针对基于TPR树索引的连续k近邻查询,引入了一种新的时空距离度量最小最大距离函数作为TPR树索引搜索时节点剪枝上界。提出了一种采用最优优先策略的基于扩展时空距离度量的连续k近邻查询STM-CNN算法,利用最小距离函数进行TPR树索引节点搜索时访问排序,并使用最小最大距离函数对TPR树索引进行剪枝界定。