摘要：介绍了PTT形状记忆长丝的性能、形状记忆长丝原料的选配和织物组织的确定;探讨了整经、浆丝、织造等工序的设计,也提出了这些工序的生产要点和质量控制;测试了织物的拉伸断裂强度和折皱弹性,指出了PTT长丝和蚕丝交织的面料具有良好的弹性回复性,作为抗皱记忆面料开发前景广阔。

摘要：统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).

摘要：基于本体的抽象模型框架,提出一种工作流的感知建模方法,通过感知特定领域中实际运行的具体工作流获得构建该领域工作流抽象模型的知识,既可为工作流模型的设计提供共享和重用机制,也可直接构造该领域的工作流抽象模性,实现工作流的部分或全部自动化运行.并给出了工作流行为本体类和行为关系本体类的定义,形式化地描述了两个本体类的动态构建和扩展过程,同时给出了在基于本体抽象模型框架下的工作流抽象建模过程.

摘要：各种网络化实体或智能实体的嵌入将物理世界转变为智能世界,增加了基于物理世界统一抽象模型的推理复杂性。基于Saitta和Zucker定义的知识重构与抽象模型,提出一种新的表示智能世界的方法。通过感知重构过程,根据构成实体之间的通信关系自动构建3个可区分的、相互关联的子模型,即物理世界、网络化世界和虚拟世界,3个子模型之间的关系构成了智能世界的一个集成化模型。着重介绍了感知重构过程的形式化表示和推理机制。实际搭建的智能世界设计诊断推理实验表明,与基于知识重构和抽象一般物理世界模型相比,基于提出的智能世界模型的推理过程可以将系统故障限制在一个子模型中,从而较大程度地缩小了诊断的搜索空间。