期刊文献+
共找到1,258篇文章
< 1 2 63 >
每页显示 20 50 100
一种SysML到SLIM模型的自动构造方法
1
作者 郭沣慧 胡军 +2 位作者 王立松 肖曦 谷青范 《小型微型计算机系统》 CSCD 北大核心 2024年第9期2235-2243,共9页
近年来,基于模型的安全性分析(MBSA)是复杂系统建模与分析领域备受关注的分析方法.由于系统架构建模语言SysML缺少形式化的语义语法,不支持MBSA方法,而SLIM语言具备形式化语义和语法,支持安全性分析,所以本文提出了一种基于ATL(ATLAS Tr... 近年来,基于模型的安全性分析(MBSA)是复杂系统建模与分析领域备受关注的分析方法.由于系统架构建模语言SysML缺少形式化的语义语法,不支持MBSA方法,而SLIM语言具备形式化语义和语法,支持安全性分析,所以本文提出了一种基于ATL(ATLAS Transformation Language)的SysML模型到SLIM模型的自动构造方法SysML2SLIM.首先,搭建系统的SysML模型并导出为XMI文件格式,根据SysML规约文档以及SLIM的BNF范式构建元模型,并建立模型元素映射规则;其次,设计源模型文件处理算法,在保留必要标签信息的情况下,获得规范的SysML源模型文件;接下来,根据元素映射规则利用ATL编写转换规则文件,调用ATL引擎完成构造;然后,给出模型转换的正确性证明的推导;此外,对集成SysML2SLIM方法的工具MSAT进行介绍;最后,对航天器中的电池传感器系统进行分析,验证了自动构造方法的有效性. 展开更多
关键词 SYSML slim 模型转换 ATL
在线阅读 下载PDF
Geological Context of the SLIM Landing Site 被引量:1
2
作者 Yichen Wang Zhiyong Xiao +2 位作者 Pei Ma Hanxing Ouyang Wei Cao 《Journal of Earth Science》 SCIE CAS CSCD 2024年第2期708-711,共4页
INTRODUCTION Japan’s first successful lunar landing mission,Smart Lander for Investigating Moon(SLIM),was landed on the Moon on January 19th,2024.SLIM made a precise landing within 100 m of the targeted landing zone(... INTRODUCTION Japan’s first successful lunar landing mission,Smart Lander for Investigating Moon(SLIM),was landed on the Moon on January 19th,2024.SLIM made a precise landing within 100 m of the targeted landing zone(central coordinates 13.316°S,25.251°E),which is located around the Shioli crater(D=270 m,central coordinates as 13.33°S,25.23°E)in the southwestern ejecta of the Theophilus crater(D=98.6 km,central coordinates as 11.45°S,26.28°E). 展开更多
关键词 SOUTHWESTERN COORDINATES slim
原文传递
基于APJE-SLIM的海运人因失误概率的确定 被引量:13
3
作者 席永涛 陈伟炯 +1 位作者 夏少生 张晓东 《中国安全科学学报》 CAS CSCD 北大核心 2011年第3期84-89,共6页
安全是海运行业永恒的主题,调查研究表明,人因失误是造成海事的主要原因。为了对海运人因失误进行研究,探讨引起人因失误的行为形成因子(PSF),确定在PSF影响下的人因失误概率。在调查海上避让行为的人因失误和这些失误的行为形成因子的... 安全是海运行业永恒的主题,调查研究表明,人因失误是造成海事的主要原因。为了对海运人因失误进行研究,探讨引起人因失误的行为形成因子(PSF),确定在PSF影响下的人因失误概率。在调查海上避让行为的人因失误和这些失误的行为形成因子的基础上,采用APJE和SLIM相结合的方法对航海人员避让行为中的可靠性进行分析。结果表明,航海人员疲劳与健康程度、知识、经验与培训水平、任务复杂程度、安全管理水平与组织有效性等PSF对人因失误概率有着不同程度的影响,相应提高PSF水平,可极大地减少人因失误概率。利用APJE确定端点绝对失误概率,解决了SLIM方法中难以获得参考点概率的问题,获得了在不同种类不同水平PSF影响下的海运人因失误概率。 展开更多
关键词 海运 失误 行为形成因子(PSF) 人因可靠性 成功似然指数法(slim) 绝对概率判断
原文传递
基于GLSLIM模型的混合推荐算法研究 被引量:1
4
作者 杨海龙 李松林 李卫军 《信息与电脑》 2017年第20期77-80,共4页
GLSLIM模型(Global and Local SLIM)是基于SLIM模型(Sparse Linear Methods)并优于SLIM模型的推荐算法。它将GLOBAL模型和LOCAL模型结合,GLOBAL模型用来捕获物品在所有用户之间的相似性,LOCAL模型用来获取物品在某个用户子集中的相似性... GLSLIM模型(Global and Local SLIM)是基于SLIM模型(Sparse Linear Methods)并优于SLIM模型的推荐算法。它将GLOBAL模型和LOCAL模型结合,GLOBAL模型用来捕获物品在所有用户之间的相似性,LOCAL模型用来获取物品在某个用户子集中的相似性,通过两种模型的结合可以进一步优化用户的个性化推荐。但该算法存在天然缺陷,就是被用户评价或购买过的物品之间的相似度才可以被学习到,没有被购买过的物品之间的相似度为0。这将导致用户购买过的相似物品才有机会被推荐,相似度为0的物品无法推荐给用户。为了改善这种情况,利用一种PLSA模型解决这个问题,基于两种模型的组合进行协同过滤推荐。实验结果表明,虽然推荐结果的准确性略微降低,但是能挖掘用户的潜在兴趣。 展开更多
关键词 slim模型 GLslim模型 协同过滤 PLSA模型
在线阅读 下载PDF
B-SLIM课堂教学模式与大学英语教学 被引量:14
5
作者 张华 《齐齐哈尔大学学报(哲学社会科学版)》 2009年第5期132-134,共3页
B-SLIM课堂教学模式是建立在认知论、结构主义与发展主义基础上的成功语言教学模式,并通过大量实证得出学生语言学习需要语言建构与自主学习,因而实现语言习得。文章通过对B-SLIM教学模式的主要内容介绍,结合我国大学英语教学现状分析,... B-SLIM课堂教学模式是建立在认知论、结构主义与发展主义基础上的成功语言教学模式,并通过大量实证得出学生语言学习需要语言建构与自主学习,因而实现语言习得。文章通过对B-SLIM教学模式的主要内容介绍,结合我国大学英语教学现状分析,建议大学英语课堂教学设计应注重发挥学生的认知建构,突出学生学习的自主性;让学生参与教学过程,培养其研究性学习;转变师生角色;教学评价由终结性过渡到形成性评价,最终达到语言教学成功的目的。 展开更多
关键词 B—slim 认知论 建构主义 发展主义 自主性
在线阅读 下载PDF
B-SLIM教学模式理论基础与优势探析 被引量:8
6
作者 贾芝 《广西民族大学学报(哲学社会科学版)》 CSSCI 北大核心 2011年第6期182-186,共5页
B-SLIM教学模式被誉为是指导21世纪语言教学改革的理论模式,它是集认知科学、建构主义和发展主义理论优势为一体,以教育学、心理学和哲学理论中的精髓思想为基础,借鉴语言教学中的各种特色外语教学法的优势而建成的成功语言教学模式。
关键词 B-slim教学模式 认知科学 建构主义 发展主义
原文传递
BSLIM教学模式的作用与实施探讨 被引量:6
7
作者 贾芝 《广东农工商职业技术学院学报》 2011年第1期29-32,共4页
BSLIM教学模式以认知科学和建构主义为基础,从每个学生的知识和心理实际出发,逐步发展学生的认知结构。它是以教师为主导,学生为主体的成功语言教学模式。该文从BSLIM教学模式的理论建构基础、特点、意义以及在教学中的运用等方面阐述... BSLIM教学模式以认知科学和建构主义为基础,从每个学生的知识和心理实际出发,逐步发展学生的认知结构。它是以教师为主导,学生为主体的成功语言教学模式。该文从BSLIM教学模式的理论建构基础、特点、意义以及在教学中的运用等方面阐述了该模式的优势和突出的教学效果,说明了对我国EFL教学改革的积极作用。 展开更多
关键词 Bslim教学模式 EFL教学改革 认知科学 建构主义
在线阅读 下载PDF
B-SLIM教学模式在大学英语口语教学的应用 被引量:3
8
作者 王颖 《湖北广播电视大学学报》 2014年第9期134-134,共1页
笔者引入B-SLIM教学理论到口语课堂中,设计新的教学思路,通过一学期的实证研究,证明该教学模式在口语教学中有极大优势,有助于培养学生的自主性,提高学生的口语交际能力。
关键词 B—slim教学理论 口语教学 实证研究
在线阅读 下载PDF
B-SLIM教学模式及其对高职英语教学的启示 被引量:4
9
作者 钟卫红 《广西职业技术学院学报》 2009年第3期39-43,共5页
B-SLIM教学模式是由加拿大阿尔伯塔大学Bilash博士提出并创建的二语教学模式,该教学模式的理论依据是认知科学(Cognitive Science)、建构主义(Constructivism)和发展主义(Developmentalism)。高职英语教学需要探索新的教学模式以适应社... B-SLIM教学模式是由加拿大阿尔伯塔大学Bilash博士提出并创建的二语教学模式,该教学模式的理论依据是认知科学(Cognitive Science)、建构主义(Constructivism)和发展主义(Developmentalism)。高职英语教学需要探索新的教学模式以适应社会发展的新需要,培养具备较高英语综合应用能力的人才。本文阐述了B-SLIM教学模式的理论依据、教学目标和教学环节,并提出了该教学模式对高职英语教学的启示。 展开更多
关键词 B-slim 理论依据 高职英语教学 启示
在线阅读 下载PDF
国际化背景下高职英语B-SLIM教学模式的运用与思考 被引量:3
10
作者 张健 《高教论坛》 2014年第3期44-46,共3页
作为一种全新二语言教学模式的B-SLIM语言教学模式,它有着独特的魅力和教学潜力,值得认真地研究和推广。通过介绍B-SLIM教学模式的主要内容,结合高职英语教学的现状、教学手段和教学效果,探讨这一模式教学的有效性,以达到其真正的语言... 作为一种全新二语言教学模式的B-SLIM语言教学模式,它有着独特的魅力和教学潜力,值得认真地研究和推广。通过介绍B-SLIM教学模式的主要内容,结合高职英语教学的现状、教学手段和教学效果,探讨这一模式教学的有效性,以达到其真正的语言教学成功的目的。 展开更多
关键词 高等教育 B-slim 教学模式 运用
在线阅读 下载PDF
B-SLIM教学模式及其对大学英语口语教学的启示 被引量:2
11
作者 王颖 《九江职业技术学院学报》 2013年第4期38-39,共2页
探讨了B-SLIM教学模式的理论基础、教学目标和流程,并提出该模式对我国大学英语口语教学的启示。
关键词 B-slim 口语教学 理论基础 启示
在线阅读 下载PDF
基于B-SLIM模式的高校旅游英语专业课堂语境重构研究 被引量:1
12
作者 张华 《广西职业技术学院学报》 2013年第2期23-26,共4页
运用"B-SLIM"模式理论将旅游英语专业的教学目标重构为:以学习者为主体,在教师引导下成功习得语言;创设情境,发挥学习者潜能,培养独立解决问题的能力。课堂语境重构为教学计划和准备、输入、内化、输出和评价五个部分。重构... 运用"B-SLIM"模式理论将旅游英语专业的教学目标重构为:以学习者为主体,在教师引导下成功习得语言;创设情境,发挥学习者潜能,培养独立解决问题的能力。课堂语境重构为教学计划和准备、输入、内化、输出和评价五个部分。重构全方位确立了学生在英语教学活动中的主体地位,能有效将旅游英语教学中"学科本位"模式转变为"能力本位"模式,实现学生语言技能和旅游专业技能相结合。 展开更多
关键词 B—slim模式 旅游英语 语境
在线阅读 下载PDF
S-correction in very slim CRTs
13
作者 顾伟 杨旻奕 +2 位作者 赵红平 杨晓伟 雷威 《Journal of Southeast University(English Edition)》 EI CAS 2005年第3期272-276,共5页
To correct the S-distortion in large deflection angle cathode-ray tubes (CRTs),ideal deflection current waveforms are proposed to realize S-correction.Analysis was done for homogenous and non-homogenous magnetic fie... To correct the S-distortion in large deflection angle cathode-ray tubes (CRTs),ideal deflection current waveforms are proposed to realize S-correction.Analysis was done for homogenous and non-homogenous magnetic fields, plane and curved screen.For the convenience of circuit design,high order sine waveforms are used to approach the ideal deflection current.After optimization,the deflection current is acceptably close to the ideal one,for a deflection angle range from 90° up to 140°.Harmonic current rank rises to four as the deflection angle reaches 140°.A ladder-type driving circuit to realize these sine wave series is also presented.Simulation and experiments prove the proposed method can correct the S-distortion in a very slim CRT. 展开更多
关键词 S-correction very slim cathode-ray tube (CRT) high order sine wave
在线阅读 下载PDF
基于B-SLIM理论的高职英语听说体验式教学模式的应用 被引量:2
14
作者 苏波 《辽宁农业职业技术学院学报》 2016年第6期20-22,共3页
以B-SLIM理论为基础,在我院教学改革的基础上,对英语口语、听力体验式教学模式进行研究,通过教师创设合适的体验情境,让学生亲自参与教学实践过程,直接通过情境体验建构语言知识、获得交际技能,最终促进英语情境教学改革的可持续发展。
关键词 B-slim理论 体验式教学 听说 情境
在线阅读 下载PDF
B-SLIM教学模式在大学英语课程教学中的应用 被引量:2
15
作者 黄春英 《大学英语教学与研究》 2017年第2期75-78,共4页
B-SLIM教学模式是一种以教师为主导,学生为主体的成功语言教学模式。在国内这种教学模式逐渐受到了重视。文章分析了B-SLIM教学模式在大学英语课程教学中的应用价值,即它能够帮助培养自主型学习者、调动学生的积极性与学习的内在动力、... B-SLIM教学模式是一种以教师为主导,学生为主体的成功语言教学模式。在国内这种教学模式逐渐受到了重视。文章分析了B-SLIM教学模式在大学英语课程教学中的应用价值,即它能够帮助培养自主型学习者、调动学生的积极性与学习的内在动力、提高教学质量。然后介绍了B-SLIM教学模式在大学英语课程教学中的实施策略及应用效果。 展开更多
关键词 B-slim教学模式 大学英语课程 应用
在线阅读 下载PDF
B-SLIM语言教学模式在广西的探索和实践——以岑溪为例 被引量:4
16
作者 庞琳 韦览恩 唐燕艳 《职业时空》 2012年第5期85-88,共4页
对B-SLIM成功语言教学模式进行了概述,根据B-SLIM模式在广西岑溪小学英语教师培训中的探索和实践,探讨了该模式对广西英语教师的指导意义及对广西英语教学的促进。
关键词 B-slim教学模式 探索和实践 建议
在线阅读 下载PDF
B-SLIM教学模式与行动导向教学模式在高职英语教学中的应用 被引量:2
17
作者 卢幼卿 《广西教育》 2013年第43期147-149,共3页
以广西农业职业技术学院为例,探讨B—SLIM教学模式与行动导向教学模式在高职英语教学中的应用。
关键词 B—slim教学模式 行动 导向教学模式 高职 英语教学 应用
在线阅读 下载PDF
B-SLIM教学模式对大学英语教学的启示 被引量:1
18
作者 陆海峡 《重庆电子工程职业学院学报》 2013年第4期155-157,共3页
B-SLIM教学模式是以认知科学、建构主义和发展主义为理论基础的成功语言教学模式,被广泛地应用于母语非英语国家的语言教学,是一种全新的教学模式。B-SLIM教学模式的优点对大学英语教学有一定的启示。
关键词 B-slim教学模式 大学英语教学 启示
在线阅读 下载PDF
教学准备——B-SLIM教学模式中的重要一环 被引量:1
19
作者 黄春英 《玉林师范学院学报》 2013年第6期125-128,共4页
备课及教学准备是B-SLIM教学模式教学环节中的重要一环。它是教师在把握教材、了解学生认知水平和能力及整合各种教学资源的基础上,确定教学思路,对课堂进行预设的一个重要手段,直接关系到教学效果的好坏及教学质量的高低。教师必须精... 备课及教学准备是B-SLIM教学模式教学环节中的重要一环。它是教师在把握教材、了解学生认知水平和能力及整合各种教学资源的基础上,确定教学思路,对课堂进行预设的一个重要手段,直接关系到教学效果的好坏及教学质量的高低。教师必须精心做好每一节课前的备课及教学准备,以期实现有效的课堂教学。 展开更多
关键词 备课及教学准备 B—slim教学模 有效教学
在线阅读 下载PDF
机械操作人员可靠性的SLIM法计算及改进 被引量:1
20
作者 刘朝英 《建设机械技术与管理》 1995年第5期31-32,共2页
影响机械设备工作能力的重要因素之一是人机系统的可靠性,它包括两方面因素,即机器可靠性和操作人员可靠性。机器可靠性具有硬件特征,通常在机器制造完成后即基本确定,属固有可靠性,正常使用保养中虽存在变化,但波动较小,并且可靠性数... 影响机械设备工作能力的重要因素之一是人机系统的可靠性,它包括两方面因素,即机器可靠性和操作人员可靠性。机器可靠性具有硬件特征,通常在机器制造完成后即基本确定,属固有可靠性,正常使用保养中虽存在变化,但波动较小,并且可靠性数据较易确定。而人员操作可靠性却具有很大随意性,同一台机械,不同人操纵,反映的人机系统可靠性却可能差别很大。因此,有必要对操作人员可靠性进行估算,并给以量化确定。 展开更多
关键词 人机系统 slim 操作人员 可靠性 计算
在线阅读 下载PDF
上一页 1 2 63 下一页 到第
使用帮助 返回顶部