以太坊中间语言的可执行语义

智能合约是实现各类区块链应用的核心软件程序.近期,以太坊区块链平台（Ethereum）上的智能合约暴露出大量错误和安全隐患,在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结果,智能合约程序语言的形式化必不可少.本工作对以太坊中间语言Yul进行形式化,首次给出了其类型系统和小步操作语义的形式化定义.该语义为可执行语义（executable semantics）,由120个Yul语言程序组成的测试集进行测试.本工作在Isabelle/HOL证明辅助工具中完成,为基于定理证明的智能合约正确性、安全性验证奠定了基础.     

利用Lonworks技术开发家庭智能化系统

本文讨论了家庭智能化问题,并介绍了Lonworks技术及该技术在家庭智能化系统中的应用。     

天津某幼儿园消能减震分析与设计

2021年9月1日施行的《建设工程抗震管理条例》要求位于高烈度设防地区的新建幼儿园应当按照国家有关规定采用隔震、减震等技术，保证发生本区域设防地震时能够满足正常使用要求。对天津市某采用黏滞阻尼器减震的幼儿园进行了详细分析，设置了消能器后楼层剪力和层间位移减小了约20%～30%，说明采用黏滞阻尼器减震以后，幼儿园能满足发生本区域设防地震时正常使用的要求，结构整体、主体结构构件和消能子结构构件均满足设定的抗震性能指标要求，结构抗震性能良好。     

低温等径角挤压制备1050铝合金在磁退火后的均匀延伸率和屈服下降现象

采用低温等径角挤压（cryoECAP）制备了超细晶（UFG）1050铝合金。采用拉伸试验、透射电子显微镜和电子背散射衍射等方法，研究了UFG 1050铝合金在90~210 ℃、无磁场和12 T强磁场下退火4 h后的拉伸行为和显微组织。1050铝合金经cryoECAP退火后，晶粒尺寸为0.70~1.28 μm，极限抗拉伸强度与屈服强度之比小于1.24，均匀延伸率小于2.3%。随着退火温度从90 ℃上升到210 ℃，屈服下降现象变得明显，这是因为在拉伸变形过程中，为了维持所施加的应变速率，可动位错有所减少。均匀延伸率从1.55%下降到0.55%，位错密度从5.6×10¹⁴ m^-2下降到4.2×10¹³ m^-2，大角度晶界含量从63.8%增加到70.8%，使得位错湮灭速率提升，从而导致了应变硬化能力的降低。在90~210 ℃的强磁场退火条件下，低含量的大角度晶界（61.7%~66.2%）可以提供一个较慢的位错湮灭速率，从而导致较高的均匀延伸率（0.64%~1.60%）和更慢的屈服点后的流变应力下降。     

传统民间纸扎工艺类非遗保护标准的研究——以国家纸扎非遗平遥纱阁戏人为例

随着传统民间纸扎工艺从民间日用进入公共文化的深入发展，与民间社会生活密切关联而市场性不明显的原生型传统民间纸扎工艺引起关注，因此提出设置相应保护标准来保护此类工艺的文化本质和艺术价值。本文明确了传统民间纸扎工艺非遗保护的主要研究对象，厘清了反映文化特征本质属性的工艺审美形式是传统民间纸扎工艺保护标准设置的关键问题。以国家纸扎非遗平遥纱阁戏人为例，基于保护实践调研，分析传统民间纸扎工艺非遗保护标准设置的评估因素，拟构相应工艺保护标准范本，以供参考。