铸钢件表面铸渗硅复合层的研究

研究了不同铸渗工艺对铸钢件表面铸渗硅复合层厚度和质量的影响。采用扫描电子显微镜(SEM)、X射线能谱(EDS)及显微硬度仪等分析手段,阐述了该铸钢件表面铸渗硅复合层的微观成分、组织及性能特点。结果表明,钢水的浇注温度为1560℃左右时,铸钢件表面可以得到厚度为0·5~3·3mm且表面质量较好的复合层。另外渗硅层与母材铸钢的界面为结合牢固的锯齿型冶金结合状态。     

Al2O3（p）／Al—Mg复合材料界面微结构研究

利用分析透射电镜研究了液态搅拌法制备的Ａｌ２Ｏ３（ｐ）／Ａｌ－Ｍｇ复合材料界面微结构。结果表明，界面反应产物与基体Ｍｇ含量有关，反应产物与Ａｌ２Ｏ３（ｐ）之间存在一定取向关系，界面附近基体中存在大量位错。     

借助差热分析研究镍基高温合金/陶瓷型壳界面反应

借助差热分析研究镍基高温合金/陶瓷型壳的界面反应,分别从热力学和动力学的角度分析出镍基高温合金叶片在生产过程中陶瓷型壳所需的最佳面层涂料是CoAl2O4.     

含交错层叠电涡流传感器阵列的成像定位仪的研究

针对被遮盖的金属物体的可视化问题进行了研究探讨,采用交错层叠柔性电涡流传感器阵列替代线圈式电涡流传感器阵列,利用CCD摄像头拍摄遮盖物表面图像,实现金属物体与遮盖物表面的同步显示,并采用打印机将金属物体上螺纹孔中心位置标记在遮盖物表面相应位置。所研究的探测成像定位仪具有更高的定位精度,操作更简单,使用更方便。     

工学结合在高职计算机专业教学改革中的研究

"工学结合,校企合作"是中国这几年来职业教育发展进程中最具特色、最突出的办学经验,笔者结合自己实际教学,从教学面临的问题、解决方案、取得的成效等方面提出了一些具体的改进措施和建议,以促进和加强计算机专业学生的职业能力和职业素质的培养。     

Combination of convex theories: Modularity,deduction completeness,and explanation

Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories.     

Modelling droplet motion and interfacial tension in filters collecting liquid aerosols

Extensive experimental investigations have shown some of the differences between the behaviours of the barrel and the clamshell shapes of droplets on filter fibres in flow fields. Realistic flow velocities (such as those used in many industrial filter systems) were utilised. The forces acting are air drag, interfacial tension and gravity. The properties of the interfacial restoring force are modelled, and show agreement with the experimental results, at least in the linear extension region before the onset of oscillatory behaviour of the droplets (induced by instability of the flow field). The model for the oscillatory behaviour is explored, and the natural frequencies of oscillation in the radial and transverse directions are shown to be the same, for the barrel shape. The clamshell shape also has the same natural frequencies, but they are different to those of the barrel shape. The coupling of the radial and transverse oscillation modes is explored for both the barrel and clamshell shape. Some contact angle results are given, both without airflow acting on the droplet and with increasing airflow.     

基于向量冲突表示方法的证据组合规则

针对Dempster组合规则在高冲突证据融合的情况下常常会得到违背直觉的结果,提出了一种基于向量冲突表示方法的Dempster(VCRD)组合规则。首先,通过实例分析了冲突因子和Jousselme距离存在的不足;然后,利用证据向量的相似性和差异性共同衡量证据之间的冲突程度,通过证据之间的冲突程度确定修正证据的权重因子,对融合证据进行预处理;最后,利用Dempster组合规则进行融合。理论分析和仿真实验结果表明:与Dempster组合规则及其它改进算法相比,VCRD组合规则能够合理地处理高冲突证据情况下的融合问题,降低了决策风险。     

以构建现代职业教育体系为核心推进职业教育发展

分析现代职教体系与产业结构调整的关系,提出必须将培养更大规模和更高质量的技能型人才、高端技能型人才作为建立现代高职教育体系,促进职业教育发展的战略重点。要在现代职业教育体系下,根据地方现代化建设的要求,通过建立现代职业教育体系为经济社会发展做好人才和智力支撑。重点论述了现代职教体系中中高职的有机衔接。提出了以构建现代职业教育体系为核心,深入推进职业教育发展的几个主要措施。     

产学模式在《数据库原理》课程教学改革中的应用

针对目前《数据库原理》课程采用传统教学模式存在的诸多问题,就如何提高应用型本科计算机专业学生对《数据库原理》课程的学习兴趣和解决实际问题的能力,提出了产学相结合的数据库原理课程教学模式,首先让学生在工程化环境中进行相关理论学习,同时提供课程网站等辅助手段进行扩展学习,在此基础上根据企业的实际需求模拟环境让学生进行实践,并对其实践展开了进一步讨论。