异收缩混纤丝织物的开发

介绍了一种异收缩混纤织物的开发过程 ,主要包括原料的选择、组织设计、织造、染整等主要工序及工艺。     

关于概率无限寄存器机器PURM及其程序可模拟的随机函数

本文给出了一种新的随机计算的机器模型:概率无限寄存器机器PURM,它比概率Turing机(PTM)更为简单。我们证明了PURM程序与可计算的PTM之间的等价性。基于对PURM程序的构造,我们给出了随机函数可被PURM程序或可计算的PTM模拟的充分条件。最后,讨论了PTM和PURM的一些简单性质。     

热喷涂制备耐磨涂层的研究进展

综述了不同热喷涂技术的原理和特点,包括大气等离子喷涂、超音速等离子喷涂、超音速空气燃料喷涂、爆炸喷涂、超低压等离子喷涂、悬浮液等离子喷涂、高速电弧喷涂等。分析了不同热喷涂技术制备的耐磨涂层的国内外研究现状,以及不同材料体系的减摩耐磨涂层的特点及其所适应的最佳热喷涂技术。对未来热喷涂技术制备耐磨涂层的研究方向提出展望。     

结构逻辑(SL)及其对并行机器的描述

本文首先介绍了结构逻辑(SL)以及其对几种并行模型的描述,然后讨论了并行程序的自动综合和正确性证明。最后用结构逻辑刻划了扩展Petri-网中计算模型并发性。