影响单层拉舍尔毛毯起毛因素的探讨

影响单层拉舍尔毛毯起毛因素的探讨贾祥，徐家福，刘波拉舍尔毛毯生产技术自一九八三年引进以来，其产品深受广大城乡消费者欢迎。随着国民经济的高速发展，市场趋于饱和，且竞争也逐渐激烈。因此，各厂家在提高产品质量，增加花色品种，开拓国际市场等方面，都投入了较多...     

并行推理系统NDPIS的设计

本文介绍一个以KLND为核心语言的并行推理系统NDPIS。它在新型计算机系统的核心语言、理论模型、计算组织结构、程序组织结构、机器资源组织结构以及具体实现技术方面进行了研究,提出了若干新思想和处理方法。     

软件自动化

软件自动化是提高软件生产率的根本途径。同时,它也有助于提高软件质量。本文在简要阐述软件自动化的含义与基本途径的基础上,着重介绍演绎综合法、程序转换法,以及实验性软件自动化系统NDAUTO的梗概。     

实验性软件自动化系统NDAUTO

本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的程序代码与其规格说明之间的等价性。     

A mathematical model of inheritance

Inheritance is regarded as the hallmark of object-oriented programming languages.A mathematical model of inheritance is presented.In this model,the graph-sorted signature is introduced to represent the algebraic structure of the program,and an extension function on the graph-sorted signatures is used to formally describe the semantics of inheritance.The program's algebraic structure reflects the syntactic constraints of the language and the corresponding extension function exposes the character of the language's inheritance.     

基于轨迹的归纳程序综合

本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用。     

纺粘非织造布流延复合膜及其力学性能研究

现有的非织造布与薄膜复合技术主要有热轧粘合法,热熔胶复合法和流延法。流延覆膜技术具有工艺简单、生产速度较快(约100m/min)等特点,是国内企业使用最多的一种方法。本文采用流延技术制备了纺粘非织造布复合膜,并研究了PP、LDPE树脂的不同混合比对非织造布复合膜各项力学性能的影响。     

静电纺聚氨酯纳米纤维非织造布的制备

研究了聚氨酯在几种常见有机溶剂中的溶解性能,寻求静电纺丝最佳溶剂及配比,并采用静电纺丝法制备纳米级聚氨酯纤维膜。通过改变共混溶剂的质量比、纺丝液的浓度、纺丝电压、挤出速度和接收距离,借助扫描电子显微镜测量纤维的直径,分析了各因素对纤维形貌结构的影响。结果表明:DMF/THF共混溶剂配比为1:3时,聚氨酯纺丝液静电纺丝效果佳;在纺丝液浓度8%～12%、纺丝电压12～30kV、接收距离10～30cm范围内,能纺制出纤维直径分布在800～1500nm之间的聚氨酯纳米纤维非织造布。     

静电对聚酯纺粘非织造布生产的影响及防治

分析了聚酯纺粘生产过程中产生的静电对产品均匀性的影响,探讨了几种消除静电的方法。实验表明,侧吹风加湿、车间湿度调节和导电铜棒引入等是几种消除静电的有效方法。当风湿维持在85 g/L左右时,车间相对湿度达到98%以上时,静电消除效果比较明显,纤网均匀性得到明显改善。     

自学习软件自动化系统NDSAIL的设计与实现

本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并针对一类问题解决了归纳学习结果的正确性问题以及unfold/fold转换技术的完全自动化问题.