课程文献中心 更多>>

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

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

关键词： 高中物理   解题   分类讨论思想   应用  

摘要： 解答高中物理习题时,如无法准确判断物体运动参数则需运用分类讨论思想进行分析.运用分类讨论思想解题的关键点在于找到临界参数,从物体运动的临界状态出发构建物理方程求出参数,而后在求出的参数范围内进一步做出判断、推理、计算出结果[1].分类讨论思想对学生的分析问题能力要求较高,不仅需灵活应用物理知识,而且需进行复杂的运算,因此,教学实践中为提高学生运用分类讨论思想解题能力与水平,应结合具体例题,灵活运用多种授课策略,帮助学生理解分类的关键点,把握分类讨论思想应用的细节,积累相关经验.

关键词： 医患关系   他人身体   医患主体性   陌生人社会   熟人社会  

摘要： 医患关系是身体关系,其特殊性体现为主体双方均是通过“他人身体”获得社会位置,且“他人身体”又因社会情境的不同而不同。陌生人社会中,“他人身体”是物的或资本的存在,主体关系“因资而信”;熟人社会中,“他人身体”是人情的存在,主体关系“因熟而信”。构建现代中国医患关系不应遵循西方社会的选择,不能追随以“我”为中心的陌生人伦理,而应客观、辩证地认识到熟人社会中“人情”的积极意义,以“他”或“他人身体”为目的实现超越、提升医学温度、改善医患关系。

关键词： 首席执行官   戛纳   广告  

摘要： 恰如与戛纳狮子国际创意节主席Philip Thomas和首席执行官Simon Cook的交谈时所言,这一次看到来自中国的评审、幼狮选手、媒体以及与会嘉宾重回戛纳现场,本身就是值得庆贺的事情。“中国是非常重要的广告市场,我们关注中国市场的发展动态,同时非常重视中国广告届的声音。”

关键词： 吸收比N   标准光通道有效长度的吸收比N_(s)   光吸收系数K  

摘要： 对某些透射式烟度计测量界面显示的吸收比进行了分辨,无论吸收比值符号是“N”或“N_(s)”,在该界面中,其实质都是“标准光通道有效长度的吸收比值”。分析了换算造成N值测量范围不符合规程要求的原因,并提出正确的判断方法。通过对比国家标准的限值要求,提出计量“N_(s)”的建议。指出JJG 976-2010《透射式烟度计》中,K值示值不一致性计算存在的问题,提出合理建议。有利于检定人员准确理解各指标参数,以正确实施透射式烟度计的检定。

关键词： 论文主题   撰写要求   开场白   论著文章   取得的成绩   理论依据   目的和意义  

摘要： 论著文章的前言是正文第一部分的一段短文,是论文主题的开场白,有称引言、导言、序言。需要体现三个方面的基本内容:(1)本研究工作的相关背景和理论依据。(2)有关本研究的起源、历史及发展现状,包括已取得的成绩和存在的问题。(3)本研究的目的和意义。

关键词： 岗位职责   巡回指导   主题教育   主持会议   启迪智慧   企业改革发展   群策群力   感恩  

摘要： 7月27日,省惠隆公司深入开展“牢记嘱托、感恩奋进、走在前列”大讨论。省委主题教育第十三巡回指导组派员到会指导。公司党委书记、董事长陆宏平主持会议。大讨论以公司党委领导班子成员重点发言、各所属企业班子成员交流发言的形式开展。大家紧密结合主题教育学习成果,全方位联系岗位职责和工作实际,围绕“走在前列的要求是什么”“我们的差距在哪里”“下一步怎么干”等方面,聚焦全面落实“四个走在前”和“四个新”重大任务,对于“走在前列”的内涵和要求作出深刻思考,对于企业改革发展工作中存在的问题和不足作出精准分析,对于下一步工作目标方向和计划措施提出建议想法,达到了碰撞思维、启迪智慧、集思广益、群策群力的效果。

关键词： 振动信号   多特征值   电力变压器   故障检测分析  

摘要： 对振动信号多特征值的电力变压器故障进行分析,要结合实际情况,明确电力变压器出现的直观问题。对某一领域的变压器或特定型号能够进行综合比较,明确各算法的应用范围。为了更好地解决上述问题,文章提出整理对应的电压等级或不同型号变压器,与典型故障下的振动信号完成比对分析。对100HC占比、谐波机电率等进行计算,二者之间的差异包含诊断故障差异性、流程差异性及截断正态分布拟合方法差异性。通过这种针对性的测量方法,最终的准确度可高达95%以上。适用于多特征值的电力变压器故障检测,保障其使用效果。

关键词： 陈鸿寿   曼生壶   工艺史   中兴  

摘要： 清中期以前的紫砂工艺处于一种停滞不前的状态,既缺少新的紫砂壶造型,审美上又缺少古雅气质,屡屡受到时人的批评。陈鸿寿所创制的曼生壶,从工艺和审美的角度改造了紫砂壶,破除繁冗媚俗,复归古法古意,扭转了时风,得到了后世“壶艺中兴”的评价。值得注意的是,砂壶确属微物,是日常生活之最为寻常者。当人们谈论文化浸润日常生活时,多注意人作为社会主体的行为,而对器物较为忽略。其实器物之名与实、形与用,无不受到文化的影响,它是文化的产物,又对文化传统的承续与建构产生作用。

关键词： 市政桥梁工程   装配式技术   BIM技术   特点和优势  

摘要： 随着我国经济的不断发展,为实现双碳目标,我国加大了对建筑业绿色化、工业化、数字化转型力度。通过不断提高市政桥梁工程的建设水平,来促进我国市政工程的低碳发展。本文主要通过对装配式建筑技术在市政桥梁工程中的运用进行分析,主要对当前市政桥梁的发展现状和问题作出探讨,并分析装配式建筑技术在市政桥梁工程中的应用优势及具体应用情况,分析BIM技术在市政桥梁建设中的应用。希望通过笔者的分析,可以为我国建筑行业的转型发展提供帮助。