排序方式: 共有31条查询结果,搜索用时 0 毫秒
21.
22.
23.
利用基因表达式编程自动生成循环不变式 总被引:1,自引:0,他引:1
描述了利用基因表达式编程自动生成循环不变式的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,产生相应的跟踪表,然后从跟踪表中获得程序变量之间的函数依赖关系,这种变量之间的依赖关系构成了循环不变式的主要部分。程序变量之间的函数依赖关系的获得是利用基因表达式编程对跟踪表中数据执行符号回归得到。利用VC++实现了基因表达式编程的函数挖掘,并通过一个实例说明了该方法的有效性。 相似文献
24.
高熵合金具有许多优异性能,目前对其研究还不够深入。利用真空电弧熔炼炉制备了Cu_xAlFeNiCrTi(x=0,0.5,1.0)高熵合金,并通过X射线衍射仪(XRD)、扫描电镜(SEM)、显微硬度计和磨损试验对该高熵合金的微观组织及其性能进行了一系列测试,探究不同含量的Cu元素对合金性能的影响。结果表明:合金组织为树枝晶,主要是由体心立方(BCC)相和面心立方(FCC)相组成;随着Cu元素含量的增加,FCC相含量也在增加,合金的硬度降低;随Cu元素含量的增加,合金的摩擦系数减小,磨损失重和磨损体积增大,即合金耐磨性降低。 相似文献
25.
等离子喷涂粉末的粒度影响涂层组织结构与性能。选用4种不同粒度的Al2O3-13%TiO2(AT13)粉末等离子喷涂陶瓷涂层,研究了喷涂粉末粒度对涂层组织结构、孔隙率、显微硬度和沉积效率的影响。结果表明:采用较细的喷涂粉末制备的AT13涂层致密、均匀,孔隙率低;随着喷涂粉末粒度增大,涂层的孔隙率增加,显微硬度降低,沉积效率先增后减;采用粒度为38~44μm的粉末喷涂涂层时沉积效率最高,达到51%,涂层组织也较致密,这是等离子喷涂AT13陶瓷层较理想的粒度。 相似文献
26.
27.
28.
当前射频识别技术己被广泛应用于工业自动化、商业自动化、交通运输控制管理、防伪等领域,其安全性越来越得到重视。介绍了其安全机制和在防伪方面的应用,并探讨了RFID协议的安全性分析和证明方法。 相似文献
29.
随着自动化程度的不断提高,温度的测量涉及到国民经济的各个领域,如工农业生产、国防、科研、医疗、卫生、环保、气象以及宇航等部门。热电偶因其性能稳定、准确可靠、结构简单、使用方便、测温范围广、信号可远传等优点,在工业生产和科学研究等领域中已成为应用最广泛的感温元件。而热电偶的稳定性、使用寿命等各项性能指标,都与保护套管密切相关。据有关数据统计,热电偶在正常的测量范围内, 相似文献
30.