大豆油精炼新型逆流脱色工艺

油脂脱色是油脂精炼过程中的重要步骤。对大豆油精炼生产中采用的新型连续式逆流脱色工艺进行了介绍,该工艺配有2个脱色罐和2种过滤机(脉冲过滤机和叶片过滤机),使用过一次的脱色剂在脉冲过滤机中过滤后,以滤浆的形式加到中和油中进行预脱色,然后在叶片过滤机中过滤后作为废脱色剂排出,预脱色主要脱除油中的皂和磷脂,新鲜脱色剂与预脱色过的油进行二次脱色,主要脱除油中的色素。实践表明:逆流脱色工艺与传统脱色工艺相比可以节约30%的脱色剂,可提高油脂得率,降低污染物排放,节约生产成本,取得了良好的经济效益。     

PDC钻头用急冷钎料的研究

本文针对PDC钻头焊接的需要,研究了硬质合金真空钎焊用的Ag-Cu-In-Ti活性钎头。结果表明,在PDC热稳定极限温度以下,急冷的Ag-Cu-In-Ti钎料可以连接硬质合金,接头剪切强度可达308MPa以上。连接过程中,活性元素Ti起着重要的作用。Ti在结合界面富集并与硬质合金发生化学反应,反应的主要产物为TiC。钎焊温度和保温时间都有一个最佳范围,在此范围之内,接头强度最高。     

基于FSM的测试理论、方法及评估

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试...     

反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.     

WEB应用测试执行引擎的设计与实现

基于模型的测试以系统的抽象模型为依据,自动生成可执行的测试用例,自动地执行测试并自动评价测试结果,实现测试过程的自动化.论文主要研究测试执行自动化技术,设计实现一个自动化测试执行工具.工具的核心是设计基于XML的自动化测试脚本并实现了一个测试执行引擎.脚本拥有良好的结构定义,便于编辑和扩展,由自动化测试工具自动生成.引擎使用多线程技术模拟多用户的并行使用,解决了数据驱动测试执行方式和线程并行操作时的同步问题.     

一种基于特征迁移系统的软件产品线测试方法

为了在软件产品线的应用工程阶段最大程度地复用领域工程的测试用例,领域测试用例需要覆盖领域模型中的变化性.针对此问题,提出了一种以特征模型为出发点的软件产品线测试方法,通过扩展特征迁移系统建立软件产品线的领域行为模型,对模型中的变化性迁移进行抽象,得到精简的测试模型;应用迁移覆盖准则,导出包含变化性的领域测试用例;在应用工程阶段,根据具体应用所包含的特征,绑定领域测试用例中的变化性,复用领域测试用例导出针对具体应用的测试用例.最后通过一个咖啡机产品线验证了该测试方法,导出了可复用的领域测试用例.     

膨化大豆粉的生产加工技术及在饲料中的应用

为给膨化大豆粉相关产品的开发和应用提供参考，根据生产实践经验，总结了在无抗大环境下膨化大豆粉的生产加工技术、关键设备和关键指标控制，并对膨化大豆粉在仔猪、奶牛、水产和家禽饲料中的应用研究情况进行了综述。原料大豆经除杂、破碎、粉碎、调质、膨化、冷却、干燥、破碎等工艺生产膨化大豆粉，膨化大豆粉生产关键设备包括原料破碎机、锤片式粉碎机、调质器、膨化机、翻板冷却器、成品破碎机等。膨化大豆粉关键指标为抗营养因子（脲酶活性0.01～0.03 U/g）、氢氧化钾蛋白质溶解度（75%~80%）、脂肪（17%～20%）、粗蛋白质（35%～39%）、水分（≤12%）、颗粒度（0.85 mm筛网过筛率≥90%）等，可通过调节工艺参数和加工工艺等方式，控制关键指标。膨化大豆粉可用于仔猪、奶牛、水产、家禽的饲料中，具有促进消化吸收、提高生产性能等优点。综上，膨化大豆粉生产工艺简单，同时对提高养殖经济效益具有十分重要的意义。     

国际语音传真服务系统的设计与实现

首先提出了国际语音传真服务系统IVFS的总体结构，然后描述了它的软件设计方案，最后详细论述了各主要模块的功能和实现方法。实际表明系统运行良好。