低碳经济下纺织印染行业的发展趋势

绿色低碳是发展的主流趋势,传统的纺织印染行业需要立足新发展阶段,转变行业发展模式,以顺应低碳经济的发展趋势.基于此,文章探讨了印染行业实现低碳发展的重要性,根据现状分析了低碳发展的必要性,讨论了实行低碳发展模式的对策,以促进我国纺织印染业的可持续发展.     

良基归纳法在时序逻辑程序不变式验证中的应用

并发程序的不变式验证对理解程序和提高程序的正确性具有重要意义.以一种区间时序逻辑程序设计语言Framed Tempura为研究对象,给出了该语言的等价正则形,定义了该正则形在相邻两个状态上的良基关系,进而利用良基归纳法原理对该语言所描述的系统的不变式进行归纳验证.提出的基于良基归纳法的验证方法在时序逻辑程序中可以方便地验证系统的不变式,尤其是循环结构的不变量性质.     

手绘和计算机应用于设计教学的思考

手绘的表现形式在设计教学中是最常见的表现形式之一,随着时代的进步,现代工具逐渐取代了手绘设计的表现形式。计算机在设计教学中的应用变的更为广泛,它拓展了设计者的思维和表现手法。给设计者带来了新的课题。那么,手绘与计算机在设计教学,设计方法中会带来怎样的变化。笔者通过本文中阐述手绘与计算机在平面设计中的应用及两者的优缺点,对设计教学进行反思。     

天然气/煤制乙二醇路线碳排放与经济分析

从生命周期角度出发,对煤制乙二醇(coal to ethylene glycol, CTEG)路线和天然气制乙二醇(natural gas to ethylene glycol, NGTEG)路线进行全面的技术、碳排放与经济对比分析。结果表明,CTEG路线单位产品能耗是NGTEG路线的1.5倍,单位产品碳排放是NGTEG路线的1.6倍。然而,CTEG路线具有较好的经济效益,利润与投资回报率分别比NGTEG路线高1 499元/t和3.4%。通过分析原料、燃料和产品价格波动对2条路线经济竞争力的影响,发现CTEG路线受3种价格波动影响较小。CTEG路线具有良好的发展前景,但必须通过技术进步解决高能耗和高碳排放问题。     

南通、苏州、无锡高端纺织产业发展比较研究

江苏是传统纺织大省,其中,南通、苏州、无锡纺织产业最为集聚。2022年11月,“苏锡通”高端纺织集群入选“国家队”,这也是纺织产业集群首次入选。文章通过对比南通、苏州、无锡的纺织产业规模,分析产业发展特点,探寻南通高端纺织在发展过程中存在的问题,梳理出可供南通借鉴的先进经验及南通高端纺织产业发展建议。     

MSVL语言的公理系统的程序验证

MSVL语言是一种用于模拟、建模和验证程序的区间时序逻辑程序设计语言．为了证明区间时序逻辑程序的正确性,提出了MSVL语言的一个公理系统:包括正则形转换的状态公理和状态推演规则,以及将程序从一个状态转换到另一个状态的区间公理和区间推演规则．最后给出验证实例说明基于该公理系统的程序验证方法．     

苏门答腊褐煤制作喷吹煤的试验研究

为研究干馏时间和干馏温度对印度尼西亚苏门答腊岛(以下简称苏门答腊)褐煤半焦挥发分残留率的影响规律,对该褐煤进行了煤质特性分析和低温干馏试验,并在试验基础上提出了苏门答腊褐煤制作喷吹煤的六项关键技术。试验结果表明,在干馏时间为30 min、干馏温度分别为600℃和750℃的条件下,苏门答腊褐煤半焦分别满足普通喷吹煤和特级喷吹煤的基本指标。该研究为苏门答腊褐煤制作喷吹煤的工艺研发和示范工程建设提供理论依据和试验基础。     

炉排垃圾焚烧炉固相燃烧区局部高温影响因素研究

针对工业有机固废非均匀燃烧导致料层局部高温的问题，设计了“风移变拱”固定床实验装置并提出模型化方法，研究了不同混烧方式工况下层状燃烧特征的差异，揭示了不同混烧方式的层状燃烧局部高温特征。通过构建包括燃料种类、掺混比和过量空气系数的局部高温表征模型，可在技术层面上为城市废弃物焚烧设施协同处理高热值工业废弃物提供分析判断手段和技术参考。