摘要：在城市化发展下,建筑工程数量增多,规模日益扩充。虽然建筑工程投资数额明显增多,但是我国在建筑工程建设方面会长期出现超量问题,相关部门没有科学处理,项目后期结算远超出预算,其中成本增加的基本原因就是工程量变动。为了科学处理建筑工程造价问题,从工程变更角度出发,进一步探讨工程变更对建筑工程造价产生的影响,并提出加强建筑工程造价标准化管控的相关措施,以期为相关人员提供参考。

摘要：在异构平台的时代,不同平台之间的数据分享和交换对于无缝的工作流和信息整合变得至关重要。然而,缺乏互操作性和兼容性经常妨碍了数据有效交换。本文提出了一种基于Web自动化概念的跨平台数据交互方法。该方法利用自动化脚本和浏览器自动化工具来模拟人类与Web应用程序的交互,实现自动数据检索、转换和传输,能够实现跨平台的无缝自动化数据交换,取代手工操作并减少人为错误。该方法在数据交换方面提高了效率、准确性和可靠性,增强了总体生产力。此外,该方法具有灵活性和可扩展性,以适应不同的数据交换要求,并支持实时数据同步。

摘要：本实验以食品组学为主线,结合多个食品分析基础实验项目,借助虚拟仿真技术和MS-DIAL、Metabo Analyst分析平台,构建了一个探索黄酒酒龄物质的综合性、研究性实验项目,旨在将传统的食品分析实验与前沿技术相结合,以拓展教学的实验方法,提升学生的创新能力。

摘要：《文学鉴赏》系列课程是天津美术学院面向本科生开设的综合素养类课程。课程在目标设置和教材选择方面,均立足于德育和美育;在改革特点和创新优势方面,具备融合思政元素和艺术元素的独特优势;在结构设计和内容编排方面,课程采用版块划分的形式,方便学生进行整体性把握。由于新文科建设注重跨学科创新,鼓励培养具有较高人文素养的复合应用型人才,因此,在学生平时作业部分增设了艺术作品创作一项,引导学生将秦、汉、唐、宋、元、明、清等朝代文学经典中的文化资源转化为艺术创作的灵感与素材。

摘要：矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难点在于无法形式化地表示n*n矩阵的子矩阵,导致构建余子式组成的矩阵十分困难,因此难以实现伴随矩阵求解逆矩阵形式化;第二种称作高斯约旦初等变换求解法,难点在于构造初等矩阵及其操作函数。若使用Coq归纳结构设计操作函数,即采用行优先填充二维表的思想,将舍弃列维度对二维表的描述信息,使得操作函数分支过多,需要设计复杂的归纳结构,导致后续形式化验证无法进行。文中提出了基于记录的矩阵函数构建法,使用行列两种维度同时描述矩阵,使得构造并证明初等矩阵成为可能,在此基础上实现了在Coq系统中基于高斯约旦消元法的矩阵求逆的形式化工作。以一种代价更小且时间复杂度更低的方式,实现了首个形式化验证下的软件逆矩阵函数库。

摘要：“美丽中国是先进文化的表征、物质文明与精神文明的共建,其内含了美的意义与本质,既突出变美的过程又强调美丽的结果,从价值形态来说,是人对生存与发展的自然环境与社会环境的美好向往,实现了人类中心主义向生态整体主义的价值观转变。”中华戏曲艺术作为中华优秀传统文化的重要组成部分,有着丰富的文化内涵和艺术底蕴,经典戏曲作品更是文学与艺术高度融合的产物,有着深厚的文化价值。

摘要：中华戏曲艺术是一种综合性的艺术形式,涉及文学、表演、音乐、美术等多个领域。而中国的梨园行自古就有文人与名伶之间相互配合的传统,如元代的关汉卿与朱帘秀等。恰恰是这种有趣的文化传统,一方面成就了灿若星河的戏曲佳作,另一方面也使中国的戏曲文学领域得到了极大的发展,实现了文与艺的有机结合。

摘要：传统高校课堂教学存在管理困难、课堂互动方式单一、学生课堂行为难以量化等诸多问题。为解决上述问题,各大高校采用物联网技术设计出智能化、规范化、标准化辅助高校课堂教学的智慧教室系统。本文以郑州理工职业学院信息工程学院的智慧教室系统建设为例,主要从智慧教室功能需求设计、智慧教室分层架构设计、智慧教室核心模块实现等方面着手阐述基于物联网技术的高校智慧教室系统设计,为学院其他专业智慧教室建设提供借鉴,可进一步向智慧校园建设推广。

摘要：空间与构件命名体系是匠师认识与营造一栋建筑的前提。而传统木构建筑由大量木构件通过榫卯连接而成,因此工匠又建立了一套构件定位系统用以确定每个构件的位置,依此设计构件尺寸、榫卯做法,并在制作与组装时进行区分。文章通过对庆元东部匠派营造现场的实地调研,总结了该匠派针对当地建筑特征形成的地域性的空间、构件命名体系与构件定位方法。

摘要：本文基于1929-1938年保俶塔兴修工程相关文献、雷达探测波谱两者的关联整合研究,初步探索保俶塔1933年兴修后封闭塔体的内部结构与形制。经由文献研究,梳理民国时期兴修保俶塔计划图说、筹款过程、施工情况,通过雷达探测波谱分析,验证了此次兴修工程后塔身一至五层、六至七层及顶层可能的内部结构情况,为西湖文化遗产的保护管理提供有益的学术研究依据。