水土保持对延河洪水的影响

采用对比分析方法研究陕西省延河流域水土保持对延安站洪水的影响,结果显示:延安站中、小洪水的年发生率降低;汛期径流量减少,枯水期径流量增加;相似降水条件下,90年代延安站洪水的洪峰流量、洪量和输沙量比80年代有所减少;洪水历时延长,洪水过程线呈现涨洪陡、落洪缓的特点。这些变化整体上有利于防洪和水资源的开发利用。     

浅谈微脉冲冷熔金属修复技术

针对设备零部件的磨损、工件加工超差、划痕、裂纹等问题，进行金属修复的冷熔新工艺，及这种新工艺的典型特点和在我公司可进行的修复应用范围。     

服务组合的代数规约

现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。     

面向汉字识别的新特征及其提取方法

人主要是依靠汉字的结构特征来识别汉字,本文提出用汉字笔画端点、折角点和交叉点以及汉字笔画之间构成的"洞"的中心点在24个区域上的分布直方图作为汉字结构新特征,提出通过对Harris角点的检测、合并和去除操作的汉字笔画端点、折角点和交叉点的提取方法,通过建立手写体与印刷体汉字的特征库中相同汉字新特征的集聚性与不同汉字新特征间的离散性的计算,从实验上验证了所提出的汉字新特征的有效性,分析了所提出的新特征对汉字的大小、字体、光照等影响具有良好的鲁棒性,该新特征对手写体汉字的识别具有较好的应用价值。     

盆腔炎患者采用妇科千金胶囊联合康妇消炎栓方案的疗效分析

目的:研究分析盆腔炎患者应用妇科千金胶囊联合康妇消炎栓的临床治疗效果。方法:选择70例盆腔炎患者进行本次研究,按照选择治疗方法不同分为对照组和观察组每组35例患者,对照组患者给予妇科千金胶囊治疗,观察组患者在服用千金胶囊基础上联合康妇消炎栓治疗,比较两组患者治疗后盆腔游离液体直径、盆腔部疼痛评分、炎性包块情况及临床治疗效果。结果:观察组的盆腔游离液体直径(2.31±0.40)cm、盆腔部疼痛评分(0.71±0.10)分、炎性包块(3.00±0.12)cm均低于对照组的盆腔游离液体直径(3.47±0.80)cm、盆腔部疼痛评分(1.66±0.44)分、炎性包块(5.23±0.20)cm(P0.05);观察组总有效率94.3%明显高于对照组总有效率77.1%(P0.05)。结论:盆腔炎患者应用妇科千金胶囊联合康妇消炎栓治疗,能够有效改善患者临床症状,改善病灶部位指标,提高临床治疗总有效性,值得广泛推广应用。     

不同MQL安置方式对高速精密车削的影响研究

为比较不同的MQL安置方式对高速精密车削加工的影响,使用德国某公司的超精密机床SB-CNC对轴承钢GCr15分别进行干式、切削液外置供给式MQL以及切削液内置供给式MQL切削试验。通过Kistler加速度传感器和压电式力传感器分别对车刀在加工过程中的径向振动信号和刀尖的三向切削力信号进行采集,并对采集到的信号做时域和频域分析。结果显示,两种MQL润滑方式都对减小切削力和加工中的低频颤振有所抑制,其中,内置式MQL在抑制颤振方面比外置式MQL更有优势,二者在减小切削力能力方面则未见明显区别。     

区间上的可拓集及其关联函数

提出了区间上的可拓集及其区间距、区间位值等概念，并讨论了这些概念的性质，在此基础上建立应用性更广的关联函数。     

延河洪水预报及修正

采用SMG模型研究了延河洪水预报方案，结果表明：①建立的延安站洪水预报方案精度等级为甲级，可发布正式预报；②考虑到实际预报中预见期的要求，调整了1小时预报算法，使峰现时间预报精度有所提高，但仍未达到要求，通过对常规BP网络进行改进，修正后的延安站1小时实时洪水预报达到丙级标准，可发布参考性预报；③不能片面依靠校正模型来提高预报精度，应进一步分析延安站的降雨与径流特性，从水文模型的结构和参数等方面来考虑提高预报精度，以满足实际作业预报的要求。     

面向Web服务测试的单线执行序列生成方法

测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。     

离心流化床应用研究与装备开发

阐述了离心流态化技术的开发背景 ,重点介绍了其在初始流化、传质传热、气固动力学、气泡行为、颗粒的扬析、化学工艺条件、超细粉颗粒的应用研究及设备开发。在一些领域有针对性地开发商业化离心流化床具有重要的应用价值。