排序方式: 共有36条查询结果,搜索用时 0 毫秒
1.
本文针对PDC钻头焊接的需要,研究了硬质合金真空钎焊用的Ag-Cu-In-Ti活性钎头。结果表明,在PDC热稳定极限温度以下,急冷的Ag-Cu-In-Ti钎料可以连接硬质合金,接头剪切强度可达308MPa以上。连接过程中,活性元素Ti起着重要的作用。Ti在结合界面富集并与硬质合金发生化学反应,反应的主要产物为TiC。钎焊温度和保温时间都有一个最佳范围,在此范围之内,接头强度最高。 相似文献
2.
3.
针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程. 相似文献
4.
基于模型的测试以系统的抽象模型为依据,自动生成可执行的测试用例,自动地执行测试并自动评价测试结果,实现测试过程的自动化.论文主要研究测试执行自动化技术,设计实现一个自动化测试执行工具.工具的核心是设计基于XML的自动化测试脚本并实现了一个测试执行引擎.脚本拥有良好的结构定义,便于编辑和扩展,由自动化测试工具自动生成.引擎使用多线程技术模拟多用户的并行使用,解决了数据驱动测试执行方式和线程并行操作时的同步问题. 相似文献
5.
为了在软件产品线的应用工程阶段最大程度地复用领域工程的测试用例,领域测试用例需要覆盖领域模型中的变化性.针对此问题,提出了一种以特征模型为出发点的软件产品线测试方法,通过扩展特征迁移系统建立软件产品线的领域行为模型,对模型中的变化性迁移进行抽象,得到精简的测试模型;应用迁移覆盖准则,导出包含变化性的领域测试用例;在应用工程阶段,根据具体应用所包含的特征,绑定领域测试用例中的变化性,复用领域测试用例导出针对具体应用的测试用例.最后通过一个咖啡机产品线验证了该测试方法,导出了可复用的领域测试用例. 相似文献
6.
7.
油脂脱色是油脂精炼过程中的重要步骤。对大豆油精炼生产中采用的新型连续式逆流脱色工艺进行了介绍,该工艺配有2个脱色罐和2种过滤机(脉冲过滤机和叶片过滤机),使用过一次的脱色剂在脉冲过滤机中过滤后,以滤浆的形式加到中和油中进行预脱色,然后在叶片过滤机中过滤后作为废脱色剂排出,预脱色主要脱除油中的皂和磷脂,新鲜脱色剂与预脱色过的油进行二次脱色,主要脱除油中的色素。实践表明:逆流脱色工艺与传统脱色工艺相比可以节约30%的脱色剂,可提高油脂得率,降低污染物排放,节约生产成本,取得了良好的经济效益。 相似文献
8.
为给膨化大豆粉相关产品的开发和应用提供参考,根据生产实践经验,总结了在无抗大环境下膨化大豆粉的生产加工技术、关键设备和关键指标控制,并对膨化大豆粉在仔猪、奶牛、水产和家禽饲料中的应用研究情况进行了综述。原料大豆经除杂、破碎、粉碎、调质、膨化、冷却、干燥、破碎等工艺生产膨化大豆粉,膨化大豆粉生产关键设备包括原料破碎机、锤片式粉碎机、调质器、膨化机、翻板冷却器、成品破碎机等。膨化大豆粉关键指标为抗营养因子(脲酶活性0.01~0.03 U/g)、氢氧化钾蛋白质溶解度(75%~80%)、脂肪(17%~20%)、粗蛋白质(35%~39%)、水分(≤12%)、颗粒度(0.85 mm筛网过筛率≥90%)等,可通过调节工艺参数和加工工艺等方式,控制关键指标。膨化大豆粉可用于仔猪、奶牛、水产、家禽的饲料中,具有促进消化吸收、提高生产性能等优点。综上,膨化大豆粉生产工艺简单,同时对提高养殖经济效益具有十分重要的意义。 相似文献
9.
本文通过对软件工程课程实践的关键核心任务进行分析和提炼,提出了一个面向软件工程课程实践的学生项目管理平台。该平台有效地实现了教学管理和学生项目过程管理的无缝集成,实现了从教务人员下达课程任务,到组织指导教师,创建学生项目组,项目开发过程控制,再到项目的中期检查、验收和答辩,到最终的成绩汇总和质量评价的一个完整的软件工程实践课程的全生命周期管理。 相似文献
10.
Web应用的快速发展及其一些异于传统程序的特点使Web应用的验证面临了新的挑战。使用接口自动机对Web应用的构件和构件组合进行行为建模,设计了接口自动机到模型检验器Spin程序的转换算法,然后利用Spin检验Web应用的性质,通过一个简单的网上银行示例说明了整个验证过程。 相似文献