混气电解加工中两相流音速及阻塞机理研究

着重分析研究气液两相流音速特性及其阻塞机理。通过测量由小药量电雷管爆炸而产生的压力波传播速度，然后修正到音速。试验结果表明，气液两相流音速与气泡率、当地压力及其流型有关。由于气液混合物强烈的压缩性，混气电解加工间隙中易于出现类似可压缩气体的阻塞现象。     

疲劳缺口系数评述

对疲劳缺口系数Ｋｆ的定义和影响因素进行了全面综述，对目前已被普遍接受和广泛使用的一些典型Ｋｆ表达式作了系统的回顾和评述。按照不同的Ｋｆ表达式建立所作的基本假设可将Ｋｆ表达式大致分为平均应力模型、断裂力学模型和场强法模型三类。对以上三类模型的比较分析表明，平均应力模型是应力场强法模型的特例；断裂力学模型是建立在非扩展小裂纹基础上的，对应力集中系数较大的缺口较为合理；应力场强法模型是一个比较有前途的模型。     

二维通道内湍流边界层分离的实验研究

用激光多普勒技术测量了二维扩压器中不可压湍流边界层分离流动，得到了时均速度和雷诺剪应力分布。实验结果分析表明：以Ｃｏｌｅｓ速度律发展的Ｂａｒｄｉｎａ速度分布可以描述瞬时间歇分离点以前和瞬时间歇再附点以后的时均速度分布，但无法描述分离区的边界层速度型。Ｃｒｏｓｓ速度分布可描述分离区的边界层速度分布。Ｃｅｂｅｃｉ＆Ｓｍｉｔｈ涡粘性代数模型难以正确地描述分离边界层的雷诺剪应力。     

新型单级式DC/AC逆变器

提出了两种新型的单级式隔离 DC/AC逆变电源的结构拓扑——半桥式单级逆变电路拓扑和推挽式单级逆变拓扑 ,分析了它们的工作原理及特点。电路拓扑结构简洁 ,可靠性高。仿真和实验样机测试结果证明 ,该电路拓扑在不同性质负载下能够可靠工作 ,电气性能优 ,效率较高 ,适用于小功率高压和低压直流输入电源。     

新型数控转塔冲床系统开发研究

从冲床的实际加工中的问题出发,提出很多有效的解决方法。在加工准备过程中,具备刀具设置、加工顺序的自动排列及交互设置、跳点设置等功能。利用W indons操作系统良好的界面功能和多线程功能,实现数控冲床的加工预览仿真功能和加工过程中的实时显示。     

提高电铸局部电沉积速率试验研究

电铸成型是采用离子沉积的方法制造复制件，具有很好的复制精度，因此电铸技术得到了广泛的应用。但由于受极限电流密度等多方面因素的影响，电铸速率一直是制约电铸技术发展的一个瓶颈，许多学者为此做了大量的理论和试验研究，但对如何提高极限电流密度还没有提供一个比较满意的答案，为提高电铸局部电沉积速率，本文在前人工作的基础上，讨论了影响电铸速率的因素，提出了一种新型的电铸方法－喷射式电铸，并通过两组试验分析了局部电沉积速率怀电铸液流量的关系以及局部铸速率与喷嘴口径的关系，试验结果表明，采用喷射式电铸可以大大提高局部极限电流密度，从而使电铸局部电沉积速率有一个较大范围的提高，为将电铸与快速成型结合奠定了试验基础。     

复合材料结构健康主动监测中激励信号的优化

利用L am b波频散方程及其数值求解得到的频散曲线,对L am b波模式及激励信号中心频率范围进行预测。建立了试验测试系统,利用集成在复合材料层合板上的PZT压电陶瓷片作为驱动器和传感器,激励并接收结构中激发的L am b波信号。对具有不同函数形式、中心频率和波峰数的信号激励,结构中传播的L am b波模式进行试验研究,为激励信号的选择与优化提供依据。利用H ilbert-Huang变换及H ilbert谱提取传感器信号特征,提出了L am b波信号在结构中传播时的能量衰减率和损伤敏感度两个考察指标,并据此对激励信号进行优化。实验结果表明,优化后的激励信号在结构中能激发出单一模式的L am b波(S0模式),有效地抑制了多模式现象的出现。同时,激发出的L am b波具有最低的能量衰减和最高的损伤灵敏度,响应信号特征明显,便于损伤识别。     

板料应力成形极限判据的有限元分析程序

为了解决在板料成形有限元数值模拟中以依赖于加载路径的应变成形极限为判据所存在的问题,以板料塑性变形时所遵循的应力应变转换关系、H ill二次厚向异性准则为计算模型,基于有限元商用分析软件DYNAFORM,开发了用于板料塑性成形工艺的以应力成形极限为判据的有限元分析程序。利用该程序分析了两种拉深件的有限元数值模拟结果,实现了用应力成形极限图作为判据对板料成形极限的预测分析。所开发的以应力成形极限作为判据的有限元分析程序为分析多道次板成形的成形极限提供了新的手段。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

基于Web Service的B2B电子商务系统模型的研究

B2B电子商务是目前最具潜力的商务形式。但传统B2B电子商务系统的基本结构和交互接口均没有统一的标准和解决方案，带来了系统可重构性和可移植性差等缺陷。针对这种缺陷，结合Web Service技术，提出基于Web Service的B2B电子商务系统模型。该系统模型通过构建核心应用程序整合Internet和Internet范围内相对独立的Web Service，并作为供应链的一部分，能提供标准接口实现和其他应用程序如ERP，CRM和SCM等的交互，这种形式的B2B电子商务系统能很容易地进行开发和维护。最后以其中一个模块为例，给出了具体实现基于WebService的B2B电子商务系统的解决方案．