注意力机制量化剪枝优化方法

面向基于注意力机制模型的巨大计算和访存开销问题,研究量化和剪枝协同优化的模型压缩技术,提出针对注意力机制中查询、键、值、概率共四个激活值矩阵的对称线性定点量化方法。同时,提出概率矩阵剪枝方法和渐进式剪枝策略,有效降低剪枝精度损失。在不同数据集上的实验结果表明,针对典型基于注意力机制模型BERT,在较低或者没有精度损失的情况下该优化方法可达到4位或8位定点量化、0.93～0.98的稀疏度,大幅度降低模型计算量,为加速量化稀疏模型的推理奠定良好的基础。     

大学英语分级教学模式下的学习策略培养

大学英语分级教学模式下对学生的学习策略培养非常重要。教师在整个教学过程当中,要研究和掌握学生的语言学习习得过程,研究其学习特点,认知风格,心理特征,加强对学生学习策略的培养和指导,帮助学生积极参与、探索、建构和使用学习策略,为学生掌握学习策略提供条件与平台,使学生自觉运用学习策略自我管理、自我调控、自我评估学习过程和学习效果,不断提高自主学习的能力。     

任务空间概念建模语言初探

通过研究军事专家与系统分析人员的沟通问题,借鉴可视化建模、分层建模和多视图建模的思想,提出了任务空间概念建模语言(MSCML),对MSCML语言的各个建模元素进行了简要的说明.     

如何运用交际教学法活跃语法教学

英语语法教学要根据教材内容补充真实的语言材料,保证输入材料的趣味性。在课堂教学中,围绕一个语言现象设计出各种真实的交际情景,从而避免单调乏味的语法讲解;设计丰富多彩的课堂活动,加强社会交际型练习,活跃课堂气氛,提高学生运用语法知识进行交际的能力;对于学生在课堂活动中出现的错误,应掌握适当的时机,及时纠错,在课堂上建立一种无拘无束的轻松愉快的学习环境。     

外语教学法流派的心理学基础

心理学是作用于一切学科的科学。心理学几乎从一开始就介入了教学法,为外语教学法提供了理论基础,使人们能从更科学的角度研究语言学习的过程和语言学习者的个人因素。近年来对外语教学与学习进行心理学研究的必要性已为更多的人所承认,其结果是心理学与语言教学之间的相互关系得到进一步发展。这意味着必须涉足心理学和心理语言学领域,了解与语言教学有关的理论、概念和研究发现,由此推断并计划运用于语言教学理论,进而理论联系实践,为外语教学提供更现实可靠的心理学依据,为制订合理有效的教学法服务。     

需求开发的WRSPM参考模型研究

针对需求开发过程中涉及到的系统以及各系统之间的关系,提出了需求开发的WRSPM五元素参考模型,对参考模型中元素和元素之间的关系进行了较明确的定义,做出对参考模型的形式化描述。比较分析了将WRSPM参考模型与功能文档描述模型(FDM),并得出了参考模型的特点。     

基于PC机对多总线导航计算机软件开发方法的研究

对基于多总线结构的计算机传统软件开发方式的局限性进行了分析 ,对一种基于IBM PC机为开发平台 ,采用 C语言开发的软件开发方法进行了研究和探讨 .文章对这一方法在使用中所存在的主要问题和解决的主要技术手段作了介绍 .在实际开发过程中 ,该方法已被证明简便、可行、有效 ,这对于类似基于多总线结构的导航计算机的许多计算机的软件开发均有一定的借鉴作用     

全语言思路对大学英语教学的启示

全语言思路是国外语言教学界颇有影响的一种教学理念,上世纪被介绍到我国,但是在大学英语教学方面实践较少。笔者通过对国内外有关文献的综述,给读者介绍了这一思路的基本观点和教学原则,并结合自身的体会,对目前争论激烈的大学英语教学改革提出了一些建议。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

传统建筑语言在现代观演建筑中的运用——以重庆人民大礼堂和美国肯尼迪表演艺术中心为例

多元文化冲击下,中国当代建筑创作更加注重对传统的继承。以重庆人民大礼堂和美国肯尼迪表演艺术中心为例,从建设背景、传统建筑语言的来源与运用手法、传统建筑语言与建筑功能的结合以及传统建筑语言对建构的表达4个方面进行分析,探讨传统建筑语言在现代观演建筑中运用面临的主要问题,以期为当今中国建筑师的设计实践提供参考。