荷兰国旗问题的形式化推导及其多态性实现

讨论了程序功能规约变换和算法程序的形式化技术，通过功能规约变换，可以较自然地获得问题求解的递推关系，对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。最后，给出了问题求解的多态性实现。     

UML建模机制在面向对象分析中的应用

介绍了UML的建模机制,采用面向对象分析与设计技术对在线学分查询系统的开发过程进行分析、建模及代码实现.     

冬笋入馔脆鲜香

冬笋为毛竹冬季所生的嫩芽，蕴于土中。冬笋肉厚质脆，鲜嫩清爽，甜美可口，为笋中的佳品。《笋谱》载，冬笋“冬月即生，埋头土中……其味极鲜，甲于他笋。”冬笋营养成分高于一般叶菜，含氨基酸较多。中医认为其味甘，性寒，可消炎滑肠，透毒醒酒。现代医学报告认为，常吃笋有利于预防动脉硬化、高血脂、高血压、便秘等症，并有抗癌作用。冬笋既是家常珍蔬，又是席上佳肴，适宜于各种烹调加工和调味，可配荤料，也是素馔基本原料之一。笔者的家乡在四川长宁竹海景区，冬笋是那里有名的土特产。笔者利用当地的冬笋为主料，创制了几款制法简…     

涡流比对柴油发动机排放影响的三维数值模拟

为了研究缸内涡流运动对柴油发动机排放的影响和确定减小原发动机排放的措施,采用AVLFire进行三维建模,对缸内涡流运动在进气门关闭以后的流场进行模拟研究.通过对不同涡流比对应工况下的缸内混合气浓度场分布、燃烧放热规律以及缸内温度变化进行分析研究,确定了发动机排放随涡流强度的变化规律.研究表明,发动机喷雾油束受涡流强度影...     

循环模拟技术在可变长度进气管设计中的应用

改进进气系统,提高充量系数是改善汽油机动力性能的一个重要措施。利用Boost软件建立循环模拟计算模型,研究进气管长度和直径对发动机充气效率以及性能的影响规律,确定利用循环模模拟技术设计可变长度进气管的工作流程。对某四缸汽油机计算结果表明,采用可变长度进气管结构,比原机有更高的充量系数,改善了发动机的动力性能。     

层层自组装法制备超疏水/超亲油棉织物及其油水分离性能

被油污染的水资源严重影响人类健康和生态系统.为得到具有优异油水分离性能的材料,利用层层自组装法,在棉织物表面组装纳米银薄层,随后用十二烷基硫醇修饰,制备了具有超疏水/超亲油性能的棉织物.通过扫描电子显微镜、X射线衍射仪、接触角测试仪、分离效率表征超疏水/超亲油棉织物的微观形貌、表面化学组成、润湿性及油水分离性能.改性后的棉织物表面负载致密的纳米银薄层,水在该表面的接触角高达160°,而油的接触角为0°,显示出其良好的超疏水/超亲油性能;纳米银牢固地附着在棉织物的表面,使其表现出良好的抗磨损性、耐腐蚀性.油水分离测试显示,该棉织物对不同类型油品和水混合物的分离效率达88％以上,且具有较好的循环利用性.此外,该棉织物不仅能分离水上轻油、水下沉油,还能分离轻油-水-沉油三相所形成的混合物.     

优化电解铝烟气干法净化技术

铝电解烟气集气及净化系统由各铝电解槽集气罩、排烟管、氧化铝贮仓、文丘里反应床、袋滤器组、主排烟机及烟囱组成.中铝青海分公司原一、二期电解铝烟气净化系统存在污染物排放超标、物料损失严重的问题.通过对净化系统的电解槽集气效率的改进、对净化吸附反应器的改进、对物料输送系统的改进、对布袋除尘器的改进提出完整的改进优化设计,达到减少污染物的排放,改善作业现场环境的目的.     

进气系统参数对小排量汽油机中低速性能影响研究

主要研究进气管参数对某代表型125mL汽油机外特性的影响规律,即通过仿真建模计算选定试验组合方案,并进行试验对比,以寻求最优方案,从而达到在兼顾高速性能的基础上,提升125mL系列汽油机中低速性能的目的.     

小型直喷式柴油机喷雾特性的试验研究

为了掌握喷雾的结构物特性,利用高速摄像装置和高压容器拍摄了喷雾的逆光图像,并研究了喷雾周围介质压力对喷雾贯穿距离、喷雾锥角以及蒸发等喷雾特性的影响。在液滴数密度较大的条件下,燃料液滴的蒸发速率传热过程和雾化质量的影响;喷射妆期喷雾的贯穿距离和贯穿速度几乎不受介质物影响;喷雾的贯穿跨离受喷油压力的影响不大,但随着喷油压力的提高,喷雾锥角增大,喷雾质量得到改善。