排序方式: 共有19条查询结果,搜索用时 294 毫秒
1.
引言当要求工艺人员设计特定目的的涂料或树脂,或为了要赶超某一产品时,必须达到某些最低的指标并尽可能的超过。既要满足要求的性能,成本又要最低。工艺人员根据经验和知识,设计一个可能会满足要求的若干组份的配方,然后经制备和试验。假使试验表明未达到要求,则再调整组份的用量,或增减几种组份以达到所企求的配方。根据 相似文献
2.
3.
形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。 相似文献
4.
5.
6.
按照GB185 81- 2 0 0 1《室内装饰装修材料溶剂型木器涂料中有害物质限量》的标准要求 ,介绍无苯醇酸树脂及游离TDI固化剂系列产品的有关技术参数、特性及生产PU涂料的技术 相似文献
7.
应用于航空航天领域的电磁阀,性能要求高于普通行业电磁阀,常应具有快速响应、体积小、质量轻、环境适应性强、可靠性高、使用寿命长等特点。两位三通电磁阀是一种常用电磁阀,需要同时满足上、下阀座的密封要求。初始零件制造、装配误差、阀口挤压变形误差以及使用过程中阀芯、阀座磨损会造成阀芯运动位置误差。阀芯运动位置误差将严重影响电磁阀电磁力及复位弹簧弹力,从而影响电磁阀动态特性甚至导致电磁阀失效。针对某航空航天领域用两位三通电磁阀进行了尺寸链计算,设计了误差影响分析图,对阀芯运动位置误差影响进行分析并提出误差补偿方法及措施。 相似文献
8.
在俄罗斯两大直升机家族中,“卡”系列直升机和“米”系列直升机的风格截然不同,其原因在于前者以共轴式双旋翼直升机为主,而后者则包括单旋翼的轻型,重型,运输,武装等多种型号的直升机,特别是其军/民用直升机遍布世界各地,也正因为这样,“米”系列直升机素有“旋翼天使”的美誉,而培育它的摇篮就是俄罗斯著名的直升机设计局——米里设计局。 相似文献
9.