摘要：高通量工程试验堆(HFETR)自建成运行以来,其二回路温排水经南安溪进入青衣江,开展南安溪与青衣江的水温监测是评估高通量工程试验堆温排水对青衣江水温影响的必要内容。结合HFETR的温排水排放口位置与沿途的实地情况,共布点6个水温监测点位,涵盖排放口上游参照点、温排水中途流经区域等点位,实现了高通量工程试验堆温排水流经区域水温的同时监测和连续监测。监测结果表明,温排水经排放口进入南安溪后,河段水温有提升,在之后约3 km的河段水温逐渐下降,至青衣江主河道处的水温值相较于青衣江上游参照点的水温值提升小于0.6℃,故HFETR的建成运行对青衣江水温的影响符合法规标准中关于水温提升小于1℃的排放要求。HFETR的建成运行对青衣江水温的影响在可控和可接受范围内。

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

摘要：目的探究交互式理念在包装设计中的应用策略。方法以可用性、易用性、情感性等基本应用原则为基础,结合充分的实例从食品、茶叶、玩具、药品4个方面探讨交互式理念在包装设计中的应用。结论交互式包装设计为人与产品之间建立了一种新的沟通渠道,超越了以往单纯以文字或图像的模式来传递产品信息的模式,使产品包装实现了视觉、功能的完美结合。

摘要：随着5G时代的到来,数字化信息技术快速发展,这给高校美术专业课程和教学实践既带来了挑战,又带来了机遇,混合式教学模式日渐成为提升高校美术教学质量发展的得力助手。在现实教学中,教师需要以美术专业课程特点为基础,以美术专业学生为中心,优化混合式教学策略,从课程内容、教学设计、教学方法、教学效果评估等多个维度综合构建美术理论课程,全面引导美术专业的学生稳步实现自主学习、探究式学习和深度学习。文章对信息化环境下混合式教学模式进行概述,分析信息化环境下高校美术混合式教学优化的必要性,重点就现行美术混合式教学面临的挑战和优化策略进行分析,以期对美术教育工作的进一步革新提供实践指导。

摘要：对越南平阳造纸厂的固体废弃物进行分析,将其作为湍动流化床气化焚烧炉的燃料进行处理,用于生产蒸汽。湍动流化床气化焚烧炉的燃室采用变截面设计、分级给料+气化+燃烧的方式,有效地降低了NO_(x)的初始排放,实际运行安全稳定、排放指标优异,对于实现造纸工业健康可持续发展具有重要的意义。

摘要：完善幼儿园创意活动区域建设,科学开发利用旧材料,把废旧材料运用在美术欣赏、美术绘画、美术编制中,加强园方和家长之间的沟通,支持幼儿主动设计,让幼儿自主学习,这些措施有利于幼儿园教师利用废旧材料更好地展开教学。

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

摘要：加拿大原创媒介理论家麦克卢汉通过研究媒介技术建构了泛媒介论,提出了"媒介即讯息"的著名命题,分析了媒介技术对人类的生活方式以及社会关系的深远影响;每一种新媒介技术都是"人的延伸",电子媒介技术使人类的中枢神经系统得以延伸,有必要去了解、预测和影响塑造我们的媒介技术环境。在以网络媒介为代表的新媒介技术日益替代传统媒介技术的今天,解读麦克卢汉理论,具有重要的理论意义和现实意义。

摘要：木薯收获时含水率约为65%~70%,为了便于储存和运输,必须在短时间内对木薯进行干燥处理。为开发和优化木薯干燥工艺,该文在干燥箱中试验研究了木薯切片厚度、干燥温度对干燥过程的影响。试验结果表明,干燥温度过高,木薯经过高温后易糊化变质,温度太低,则干燥不充分;切片太薄,干燥过程中木薯片会断裂,切片太厚,达到合格含水率所需时间将延长。用Wang and Singh模型关联木薯干燥过程,根据干基含水率曲线确定了木薯干燥过程中的临界含水率为105%。对于一段式木薯干燥工艺,木薯在干燥过程中达到临界含水率时后段干燥速率呈下降趋势,为了避免这一趋势出现而导致干燥效率下降,提出了先高温、后低温的二段式优化干燥方案,确定了各段工艺的参数,为木薯干燥设备的设计提供了必要的依据。