组合铝合金模板在保障性安居工程中的应用

主要介绍了组合铝合金模板的施工技术及其在云南省保障性安居工程中的应用实例。组合铝合金模板作为新一代的建筑模板,可根据的设计图纸和建筑结构施工单位特殊的施工要求进行配模及模板设计。组合铝合金模板代替传统的木模板,施工方便、效率高、可节省材料并降低工程造价,大大提高了施工质量,缩短了工期,有效的减少了项目管理成本。     

从程序思维能力看密码学实验的教学

密码学是信息安全专业的重要基础课程,可用于培养和提高学生的程序思维能力。文章分析传统密码学实验课程教学中存在的不利于培养程序思维能力的因素,介绍如何修改现有密码学实验的课程设置和教学方式,说明教学效果。     

涂层刀具钻削金属基复合材料

为改善金属基复合材料的加工质量,提高加工精度,对表面涂覆金刚石薄层的涂层刀具开展了钻削实验研究。结果表明,与未涂层刀具相比,涂层刀具轴向力小,磨损程度轻,钻孔几何轮廓规则且表面质量好,是钻削加工金属基复合材料的优先首选。     

安全协议的扩展Horn逻辑模型及其验证方法

分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法，针对它们构造不满足安全性质的安全协议反例的不足，提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法，使得能够从安全协议的扩展Horn逻辑模型和修改版本的安全协议验证过程中自动构造不满足安全性质的安全协议反例．在基于函数式编程语言Objective Carol开发的安全协议验证工具SPVT中，实现了上述算法，验证了算法的正确性．     

蛋白质相互作用研究中的计算方法综述

随着分子生物学的研究进入以蛋白质组学为标志的后基因组时代,蛋白质相互作用成为蛋白质组学研究的一个重要主题.因为计算方法代价低和周期短的特点,它被广泛地用来分析相互作用数据从而指导生物学家的实验设计.从蛋白质相互作用网络的构建到分析两个方面综述了蛋白质相互作用研究中的各种计算方法:介绍了通过机器学习方法预测、文本挖掘和评估相互作用的各种技术;特别详细地阐述了相互作用网络的重要参数和典型生物模型,并对运用图论方法分析和计算的各种算法进行了深入的剖析;最后,对蛋白质相互作用的计算研究进行了总结和展望.     

Q2SM: 基于BERT的多领域任务型对话系统状态跟踪算法

基于管道的方法是目前任务型对话系统的主要构建方式,在工业界具有广泛应用,而对话状态跟踪(dialogue state tracking,DST)是任务型对话系统中的核心任务。面对传统的方法在多领域场景下表现较差的问题,该文结合语言模型预训练的最新研究成果,该文提出了一种基于BERT的对话状态跟踪算法Q2SM(query to state model)。该模型的上游使用了基于BERT的句子表征与相似度交互的槽判定模块,下游使用了一种面向对话状态跟踪任务的自定义RNN: DST-RNN。在WOZ 2.0和MultiWOZ 2.0两个数据集上的实验表明,Q2SM相比于之前的最好模型,分别在联合准确率和状态F₁值两个评价指标上提升了1.09%和2.38%。此外,模型消融实验验证了,DST-RNN相比于传统的RNN或LSTM,不仅可以提升评价指标值,还可以加快模型的收敛速度。     

一门新的面向构件语言

作为软件体系结构的重要贡献之一，连接子显式地描述了构件之间的交互．本文认为连接子的重要性值得我们在程序设计语言中加以支持．提出了一门新的面向构件语言SAJ，把构件，端口，连接子等软件体系结构概念引入到SAJ中．连接子与构件在SAJ中都是一阶实体，使得软件体系结构在底层实现中更加显式化，而且能更好地支持构件和连接子的复用．给出了SAJ语言的语法、语义和类型系统，并说明其具有类型安全性．     

用心看世界

“平民”的定义范围较为广泛,小组成员通过赵建波副教授的指导和集体讨论,最终决定在“平民”范畴内选择一类特殊人群,通过对其行为特征和生活方式进行调查研究,来营造适合他们的建筑和环境。当今社会提倡“以人为本,互相关爱”,但在现实生活中,无论从物质方面还是精神方面,我们对弱势人群的照顾并不是十分到位。因此我们认为,应该运用建筑的方式为他们提供关爱,帮助他们克服生理和心理障碍,从而积极地面对社会、面对生活。最终我们将设计对象定为盲人家庭住宅。盲人是一类特殊的社会弱势群体,在我国有4千多万人口,占总人口比例的3%左右。他…     

基于话题自适应的中文微博情感分析

近年来,随着社会网络的迅速兴起,面向社会网络的情感分析技术逐渐成为数据挖掘领域新的研究热点。中文微博以其语言简短、文法灵活的特点,给情感分析的研究工作带来了新的挑战。对数据预处理、情感词典构造、话题元素引入等中文微博情感分析技术进行了系统的研究,提出了给情感词分级的方法以提升情感分析的准确度;同时提出了面向话题的自适应方法以更准确地识别情感词;最后实验结果验证了以上方法的有效性。