教学课程资源库 更多>>

关键词： 建筑设计规范条文   结构化   依存句法分析   自然语言  

摘要： 基于BIM的建筑专业施工图合规性自动审查的关键步骤是将自然语言建筑设计规范条文转换为计算机可理解并执行的格式。为解决人工转译建筑设计规范条文费时、费力且效率低的问题,本文提出了基于依存句法分析的建筑设计规范条文自动结构化方法。借助依存句法分析词语之间的依存关系,利用正则表达式与关键字组合识别词语的语素特征,推导出各类规范条文的判断依据。按照核心词语将规范条文分成四类,设计自动结构化流程,实现规范条文中实体和关系的抽取。最后,通过案例分析对方法程序进行了验证,较高的正确率表明了该方法的有效性,对推进基于BIM的建筑专业施工图合规性自动审查系统的应用具有重要意义。

关键词： 道路桥梁设计   结构化设计   设计应用  

摘要： 道路桥梁工程设计引进利用结构化设计理念和方法,有助于对当前设计资源和设计模块加以整合利用,合理配置,优化改进设计方案,消除设计缺陷,提升设计质量。本文对道路桥梁工程的结构化设计手段和意义进行全面探讨,就结构化设计在道路桥梁工程结构设计中的具体应用、模型构建以及设计原则进行全方位论证,旨在推动结构化设计更好地服务于道路桥梁工程设计,打造优质高效的道路桥梁工程,推动国家交通事业的高质量发展。

关键词： 形式化方法   定理证明   约束求解   符号执行   计算机系统   模糊测试   模型检测   系统安全  

摘要： 随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求解和定理证明是形式化方法中的两大关键技术.在约束求解方面,SAT和SMT求解器已经在学术界和工业界得到了广泛应用,比如SAT求解器用于EDA领域的等价性验证,SMT求解器用于程序验证和白盒模糊测试等.交互式定理证明通过人和计算机之间的交互完成证明,能够验证非常复杂的系统和性质,例如编译器和操作系统的正确性验证.约束求解与定理证明专题关注约束求解和定理证明的理论、技术、工具与应用,包括在EDA、符号执行、模型检测、程序分析与验证、系统安全等领域的应用.

关键词： 结论化思维   问题模型   验证类实验   高阶思维  

摘要： 运用结构化思维构建问题模型,就是把知识点和问题置于学科结构的大背景中,通过典型问题建立相应的模型,引领学生经历先学形式(对照模型解答问题),再提炼思想方法(解读背后的思想理论支撑)的过程,由表及里,深入渗透,积累提升,逐步实现从有形到无形的转变,强化学生的思维建构和输出能力。

关键词： 数学知识体系   学科本质   小学数学   整体分析   义务教育数学课程标准   教学建议   新课标   结构化  

摘要： 《义务教育数学课程标准(2022年版)》(以下简称“新课标”)在“教学建议”中提出:“注重教学内容的结构化。在教学中要重视对教学内容的整体分析,帮助学生建立能体现数学学科本质、对未来学习有支撑意义的结构化的数学知识体系。”结构化虽然第一次在“新课标”中出现,但并不是一个新鲜的名词。

关键词： 小学数学   结构化   延学作业  

摘要： 延学作业作为课堂教学的延续,要关注数学本质,用结构化思维设计作业内容。以学习意义定义作业,让学生经历再补充、再发现、再总结的过程,促进认知结构的优化,培养学习力,彰显学生的学习主体性。教学过程中遵循主体普适性、目标一致性、功能承载性等原则,从关联、整体、整合等方面入手,设计结构化视域下的小学数学延学作业。

关键词： 结构化   古诗文   大单元   实践探索  

摘要： 大单元的结构化设计是把大单元的教学目标、教学内容、任务驱动、评价方案融合成一个整体,通过整合单元目标,实现学习目标结构化;整合教学内容,实现单元内容结构化;设计驱动任务,实现学习过程结构化;制定进阶式评价方案,实现单元评价结构化,从而促进学生核心素养的发展。

关键词： 形式化方法   动态系统学习   安全性   可达性  

摘要： 在动态系统建模问题中,深度学习为建模提供了更便捷和灵活的方法,但其难以解释的特点降低了模型的可靠性。针对具有安全性和可达性的动态系统,提出了一种形式化模型学习方法,将安全性和可达性引入到对目标系统的学习过程中,使模型满足这两个性质。为保证所学系统在定义域上严格满足这两个性质,该方法基于现代控制理论中的Lyapunov方法和Barrier函数设计了可验证的Lyapunov Barrier函数(LBF),通过将其与动态系统联合学习,使得LBF能够为所学系统提供安全性和可达性保障。最后通过求解混合整数线性规划问题验证了模型确实满足相关性质,与DDPG的对比实验展示了这一方法的有效性。

关键词： 云计算   数据中心网络   带宽分配  

摘要： 利用云计算技术构建分层次的数据中心网络体系结构,在互联网接入层接入互联网数据资源,通过核心汇聚层连接高性能路由器与接入交换机,并将接入层传来的数据传输业务接入层的服务器。在业务接入层中设计网络带宽分配方法,利用运营管理层实现数据中心网络体系结构日常维护功能。