柴油机FIE的就机检修方法

本文主要阐述4135柴油机FIE的就机检修方法．勿须价格昂贵的检修设备，简便快捷，尤其适用于部队柴油机电站的快速维修，此法的可操作性强。     

罗茨风机转子锁紧扭矩的校核

本文简述了罗茨风机结构和工作原理。针对其转子相互撞击的原因进行了初步的分析,并对其传动齿轮过盈锁紧强度进行了校核,发现了根本原因。通过采取有效措施,取得了良好效果。     

比较购物与商家:敌乎、友乎?

比较购物的出现对消费者无疑是一个福音,它有利于消除消费者和商家之间的信息不对称,促进公开、公平的市场消费体系发展。可是对于比较购物与商家的关系,有人认为比较购物损害了商家的“利益”,所以他们之间是对立的关系;也有人认为,比较购物给商家带来消费者,促进销售,所以他们之间是互利的关系。到底比较购物和商家之间是一种什么样的关系?敌乎?友乎?这里我们尝试从不同的层面和角度来观察分析,寻求接近事实的真相。比较购物搜索引擎与商家的商业模式区别从宏观层面来看,商家的商业模式是通过向消费者销售来获得收入和利润,而比较购物是通…     

电动机在生产运行中的火灾危险及其预防

一、电动机生产过程中存在的火灾危险性以及对应的预防措施 电动机生产的工艺十分复杂，包括机壳制作、线圈绕制和嵌线、线圈浸渍处理等。其中火灾危险性最大的是线圈浸渍处理过程．主要包括预烘、浸漆和干燥三个工序。     

钻铤丝扣的小角度超声纵波检测

钻铤是钻探时施加钻压和防斜用的，是钻柱的重要组成部分。钻探过程中钻铤丝扣部分承受着扎力、压力和扭力等应力作用。若井下情况复杂，地层变化剧烈，引起严重的跳钻和卡钻等，钻铤丝扣受力更剧烈，其根部易产生横向裂纹。故加强钻铤丝扣的检查，保证其完好是顺利钻井的关键。笔者采用小角度超声纵波法检测钻铤丝扣，取得满意效果。     

cPCI架构共享内存通信平台机制的实现

提出一种cPCI系统架构下实现主从式多CPU间共享内存通信的平台级分布软件机制。论述该机制中共享内存访问互斥、通信性能保证、心跳机制等关键问题及其解决方案。研究实时高效、健壮性、移植性、用户及系统规模扩展等cPCI平台级的应用需求,实现了共享内存通信软件中间件,在通信网关、智能通信平台等多个项目中得到实际应用。     

基于空间语义信息特征融合的目标检测与分割

高质量的特征表示可以提高目标检测和其他计算机视觉任务的性能.现代目标检测器诉诸于通用的特征金字塔结构以丰富表示能力,但是他们忽略了对于不同方向的路径应当使用不同的融合操作,以满足其对信息流的不同需求.提出了分离式空间语义融合（separated spatial semantic fusion,SSSF）,它在自上而下的路径中使用通道注意模块（channel attention block,CAB）来传递语义信息,在自下而上的路径中使用具有瓶颈结构的空间注意模块（spatial attention block,SAB）来通过较少的参数和较少的计算量（相比于直接利用不降维的空间注意模块）将精确的位置信号传递到顶层.SSSF十分有效,并且具有很强大的泛化能力：对于目标检测,它可以将AP提高1.3%以上,对于自上而下的路径进行语义分割的融合操作,它可以将普通加和版本的AP提高约0.8%,对于实例分割,所提方法能够在所有指标上提高实例分割的包围框AP和掩膜AP.     

CBERS-02星CCD数据土地利用分类方法研究——以江苏省宜兴地区为例

以江苏省宜兴地区为试验区,首先进行了CBERS-02星CCD数据的图像预处理,然后利用ERDASI-MAGINE和Definiens7.0等软件,采用非监督分类、监督分类、混合监督分类、面向对象四种分类方法进行了土地利用分类,并将影像分类结果进行了精度评价分析。结果表明：在一级地类的提取中,面向对象的最邻近分类器的分类精度最低,混合监督分类的精度最高;在二级地类的提取中,面向对象的特征阈值法得到的分类结果较好,能够轻松提取传统分类方法难于提取的地类。     

Constraint—Preserving Architecture Transformations：A Graph Rewriting Approach

Architecture transformations are frequently performed during software design and maintenance.However this activity is not well supported at a sufficiently abstract level.In this paper,the authors characterize architecture transformations using using graph rewriting rules,where architectures are represented in graph notations,Architectures are usually required to satisfy certain constraints during evolution.Therefore a way is presented to construct the sufficient and necessary condition for a transformatio to preserve a constraint.The condition can be verified before the application of the transformation.Validated transformations are guaranteed not to violate corresponding constraints whenever applied.     

约束检查的最弱及增量前条件方法

约束检查是保持数据库语义合法性的关键环节．由于在事务执行后直接检查约束的代价太大，一般通过分析对数据库的修改和约束公式得出简化的测试条件，只要在修改前检查其能否成立就可以确定修改后数据库是否满足约束．给出计算这种约束检查条件的最弱及增量前条件方法，分别用于生成充要及充分测试条件．后者利用当前数据库状态满足约束的假设通常得出较简单的条件．与其他技术相比，这一方法处理的约束和事务种类更一般，测试条件的生成也更有效．