期刊文献+
共找到1,219篇文章
< 1 2 61 >
每页显示 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
基于改进SLIM方法的管制移交人误概率预测
2
作者 黄娟 甘旭升 +1 位作者 吴亚荣 杨芮 《安全与环境学报》 CAS CSCD 北大核心 2023年第12期4417-4424,共8页
基于模糊有序加权平均算子(Fuzzy Ordered Weighted Averaging Operator,FOWA)对成功似然指数法(Success Likelihood Index Methodology,SLIM)进行了改进,实现了对管制移交人误概率实施定量评估的目的。相比SLIM基本方法,改进方法可使... 基于模糊有序加权平均算子(Fuzzy Ordered Weighted Averaging Operator,FOWA)对成功似然指数法(Success Likelihood Index Methodology,SLIM)进行了改进,实现了对管制移交人误概率实施定量评估的目的。相比SLIM基本方法,改进方法可使评估过程更符合人的模糊判断特性,还能显著提升评估效率,在数据处理过程中及时过滤不良的判断信息。通过实际应用中的对比分析可知,虽然两种方法均能得出管制移交人误概率,但改进SLIM方法对专家知识的挖掘更充分。使用Delphi法对管制移交过程中的人误行为触发概率可能性进行排序,排序结果与改进SLIM方法一致度更高,由此验证了改进SLIM方法的优势与可行性。 展开更多
关键词 安全工程 成功似然指数法(slim) 管制移交 人为差错 模糊有序加权平均算子(FOWA) 风险评估
下载PDF
轻量级分组密码算法PFP和SLIM的积分分析
3
作者 刘道瞳 袁征 +1 位作者 魏锦鹏 姜天宇 《密码学报》 CSCD 2023年第3期609-621,共13页
PFP算法和SLIM算法都是基于Feistel结构而设计的轻量级分组密码算法,在软件及硬件上都具有良好的性能,特别适用于资源受限的环境,目前没有对两个算法进行积分分析的相关研究.本文通过分析PFP算法和SLIM算法的结构特点,结合比特可分性的... PFP算法和SLIM算法都是基于Feistel结构而设计的轻量级分组密码算法,在软件及硬件上都具有良好的性能,特别适用于资源受限的环境,目前没有对两个算法进行积分分析的相关研究.本文通过分析PFP算法和SLIM算法的结构特点,结合比特可分性的自动化搜索方法,构建了混合整数线性规划(MILP)模型,通过使用Gurobi优化器求解该模型判断是否存在r轮积分区分器,选用搜索得到的积分区分器对算法进行密钥恢复攻击.首次得到PFP算法的11轮积分区分器,选用搜索得到的10轮积分区分器向后扩展2轮进行12轮密钥恢复攻击,数据复杂度为262.39个选择明文,时间复杂度为2^(63.12)次12轮加密,存储复杂度为2^(40);首次得到SLIM算法的10轮积分区分器,选择9轮积分区分器进行12轮密钥恢复攻击,数据复杂度为231.81个选择明文,时间复杂度为262.42次12轮加密,存储复杂度为2^(40). 展开更多
关键词 PFP算法 slim算法 积分分析 比特可分性 积分区分器 混合整数线性规划
下载PDF
基于APJE-SLIM的海运人因失误概率的确定 被引量:12
4
作者 席永涛 陈伟炯 +1 位作者 夏少生 张晓东 《中国安全科学学报》 CAS CSCD 北大核心 2011年第3期84-89,共6页
安全是海运行业永恒的主题,调查研究表明,人因失误是造成海事的主要原因。为了对海运人因失误进行研究,探讨引起人因失误的行为形成因子(PSF),确定在PSF影响下的人因失误概率。在调查海上避让行为的人因失误和这些失误的行为形成因子的... 安全是海运行业永恒的主题,调查研究表明,人因失误是造成海事的主要原因。为了对海运人因失误进行研究,探讨引起人因失误的行为形成因子(PSF),确定在PSF影响下的人因失误概率。在调查海上避让行为的人因失误和这些失误的行为形成因子的基础上,采用APJE和SLIM相结合的方法对航海人员避让行为中的可靠性进行分析。结果表明,航海人员疲劳与健康程度、知识、经验与培训水平、任务复杂程度、安全管理水平与组织有效性等PSF对人因失误概率有着不同程度的影响,相应提高PSF水平,可极大地减少人因失误概率。利用APJE确定端点绝对失误概率,解决了SLIM方法中难以获得参考点概率的问题,获得了在不同种类不同水平PSF影响下的海运人因失误概率。 展开更多
关键词 海运 失误 行为形成因子(PSF) 人因可靠性 成功似然指数法(slim) 绝对概率判断
下载PDF
基于改进SLIM的高速铁路列车调度员人因失误概率计算方法
5
作者 孙延浩 宋宏智 任禹谋 《铁道运输与经济》 北大核心 2023年第9期125-131,共7页
为有效计算高速铁路列车调度员的人因失误概率,以成功似然指数法(SLIM)为基础,采用二元语义和组合赋权法对SLIM进行改进。该方法从个人因素、设备因素、环境因素和组织因素4个维度出发构建了行为形成因子(PSF)。考虑到PSF的模糊性和不... 为有效计算高速铁路列车调度员的人因失误概率,以成功似然指数法(SLIM)为基础,采用二元语义和组合赋权法对SLIM进行改进。该方法从个人因素、设备因素、环境因素和组织因素4个维度出发构建了行为形成因子(PSF)。考虑到PSF的模糊性和不确定性,利用二元语义对PSF的影响程度进行表征,并采用最优组合赋权法来计算PSF权重,在此基础上计算成功似然指数,进而得出人因失误概率的量化值。选取高速铁路列车调度中常见的3个任务进行实例分析,结果表明改进SLIM方法可以实现人因失误概率的量化计算,识别列车调度员人因失误概率较高的操作,可以为高速铁路列车调度系统的人因风险预测和防范提供参考依据。 展开更多
关键词 列车调度员 人因失误概率 成功似然指数法 二元语义 行为形成因子
下载PDF
B-SLIM课堂教学模式与大学英语教学 被引量:14
6
作者 张华 《齐齐哈尔大学学报(哲学社会科学版)》 2009年第5期132-134,共3页
B-SLIM课堂教学模式是建立在认知论、结构主义与发展主义基础上的成功语言教学模式,并通过大量实证得出学生语言学习需要语言建构与自主学习,因而实现语言习得。文章通过对B-SLIM教学模式的主要内容介绍,结合我国大学英语教学现状分析,... B-SLIM课堂教学模式是建立在认知论、结构主义与发展主义基础上的成功语言教学模式,并通过大量实证得出学生语言学习需要语言建构与自主学习,因而实现语言习得。文章通过对B-SLIM教学模式的主要内容介绍,结合我国大学英语教学现状分析,建议大学英语课堂教学设计应注重发挥学生的认知建构,突出学生学习的自主性;让学生参与教学过程,培养其研究性学习;转变师生角色;教学评价由终结性过渡到形成性评价,最终达到语言教学成功的目的。 展开更多
关键词 B—slim 认知论 建构主义 发展主义 自主性
下载PDF
基于GLSLIM模型的混合推荐算法研究 被引量:1
7
作者 杨海龙 李松林 李卫军 《信息与电脑》 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
BSLIM教学模式的作用与实施探讨 被引量:6
8
作者 贾芝 《广东农工商职业技术学院学报》 2011年第1期29-32,共4页
BSLIM教学模式以认知科学和建构主义为基础,从每个学生的知识和心理实际出发,逐步发展学生的认知结构。它是以教师为主导,学生为主体的成功语言教学模式。该文从BSLIM教学模式的理论建构基础、特点、意义以及在教学中的运用等方面阐述... BSLIM教学模式以认知科学和建构主义为基础,从每个学生的知识和心理实际出发,逐步发展学生的认知结构。它是以教师为主导,学生为主体的成功语言教学模式。该文从BSLIM教学模式的理论建构基础、特点、意义以及在教学中的运用等方面阐述了该模式的优势和突出的教学效果,说明了对我国EFL教学改革的积极作用。 展开更多
关键词 Bslim教学模式 EFL教学改革 认知科学 建构主义
下载PDF
B-SLIM教学模式在大学英语口语教学的应用 被引量:3
9
作者 王颖 《湖北广播电视大学学报》 2014年第9期134-134,共1页
笔者引入B-SLIM教学理论到口语课堂中,设计新的教学思路,通过一学期的实证研究,证明该教学模式在口语教学中有极大优势,有助于培养学生的自主性,提高学生的口语交际能力。
关键词 B—slim教学理论 口语教学 实证研究
下载PDF
B-SLIM教学模式及其对高职英语教学的启示 被引量:4
10
作者 钟卫红 《广西职业技术学院学报》 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
11
作者 张健 《高教论坛》 2014年第3期44-46,共3页
作为一种全新二语言教学模式的B-SLIM语言教学模式,它有着独特的魅力和教学潜力,值得认真地研究和推广。通过介绍B-SLIM教学模式的主要内容,结合高职英语教学的现状、教学手段和教学效果,探讨这一模式教学的有效性,以达到其真正的语言... 作为一种全新二语言教学模式的B-SLIM语言教学模式,它有着独特的魅力和教学潜力,值得认真地研究和推广。通过介绍B-SLIM教学模式的主要内容,结合高职英语教学的现状、教学手段和教学效果,探讨这一模式教学的有效性,以达到其真正的语言教学成功的目的。 展开更多
关键词 高等教育 B-slim 教学模式 运用
下载PDF
基于B-SLIM模式的高校旅游英语专业课堂语境重构研究 被引量:1
12
作者 张华 《广西职业技术学院学报》 2013年第2期23-26,共4页
运用"B-SLIM"模式理论将旅游英语专业的教学目标重构为:以学习者为主体,在教师引导下成功习得语言;创设情境,发挥学习者潜能,培养独立解决问题的能力。课堂语境重构为教学计划和准备、输入、内化、输出和评价五个部分。重构... 运用"B-SLIM"模式理论将旅游英语专业的教学目标重构为:以学习者为主体,在教师引导下成功习得语言;创设情境,发挥学习者潜能,培养独立解决问题的能力。课堂语境重构为教学计划和准备、输入、内化、输出和评价五个部分。重构全方位确立了学生在英语教学活动中的主体地位,能有效将旅游英语教学中"学科本位"模式转变为"能力本位"模式,实现学生语言技能和旅游专业技能相结合。 展开更多
关键词 B—slim模式 旅游英语 语境
下载PDF
B-SLIM教学模式及其对大学英语口语教学的启示 被引量:2
13
作者 王颖 《九江职业技术学院学报》 2013年第4期38-39,共2页
探讨了B-SLIM教学模式的理论基础、教学目标和流程,并提出该模式对我国大学英语口语教学的启示。
关键词 B-slim 口语教学 理论基础 启示
下载PDF
S-correction in very slim CRTs
14
作者 顾伟 杨旻奕 +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
15
作者 苏波 《辽宁农业职业技术学院学报》 2016年第6期20-22,共3页
以B-SLIM理论为基础,在我院教学改革的基础上,对英语口语、听力体验式教学模式进行研究,通过教师创设合适的体验情境,让学生亲自参与教学实践过程,直接通过情境体验建构语言知识、获得交际技能,最终促进英语情境教学改革的可持续发展。
关键词 B-slim理论 体验式教学 听说 情境
下载PDF
B-SLIM教学模式在大学英语课程教学中的应用 被引量:2
16
作者 黄春英 《大学英语教学与研究》 2017年第2期75-78,共4页
B-SLIM教学模式是一种以教师为主导,学生为主体的成功语言教学模式。在国内这种教学模式逐渐受到了重视。文章分析了B-SLIM教学模式在大学英语课程教学中的应用价值,即它能够帮助培养自主型学习者、调动学生的积极性与学习的内在动力、... B-SLIM教学模式是一种以教师为主导,学生为主体的成功语言教学模式。在国内这种教学模式逐渐受到了重视。文章分析了B-SLIM教学模式在大学英语课程教学中的应用价值,即它能够帮助培养自主型学习者、调动学生的积极性与学习的内在动力、提高教学质量。然后介绍了B-SLIM教学模式在大学英语课程教学中的实施策略及应用效果。 展开更多
关键词 B-slim教学模式 大学英语课程 应用
下载PDF
B-SLIM语言教学模式在广西的探索和实践——以岑溪为例 被引量:4
17
作者 庞琳 韦览恩 唐燕艳 《职业时空》 2012年第5期85-88,共4页
对B-SLIM成功语言教学模式进行了概述,根据B-SLIM模式在广西岑溪小学英语教师培训中的探索和实践,探讨了该模式对广西英语教师的指导意义及对广西英语教学的促进。
关键词 B-slim教学模式 探索和实践 建议
下载PDF
B-SLIM教学模式与行动导向教学模式在高职英语教学中的应用 被引量:2
18
作者 卢幼卿 《广西教育》 2013年第43期147-149,共3页
以广西农业职业技术学院为例,探讨B—SLIM教学模式与行动导向教学模式在高职英语教学中的应用。
关键词 B—slim教学模式 行动 导向教学模式 高职 英语教学 应用
下载PDF
B-SLIM教学模式对大学英语教学的启示 被引量:1
19
作者 陆海峡 《重庆电子工程职业学院学报》 2013年第4期155-157,共3页
B-SLIM教学模式是以认知科学、建构主义和发展主义为理论基础的成功语言教学模式,被广泛地应用于母语非英语国家的语言教学,是一种全新的教学模式。B-SLIM教学模式的优点对大学英语教学有一定的启示。
关键词 B-slim教学模式 大学英语教学 启示
下载PDF
教学准备——B-SLIM教学模式中的重要一环 被引量:1
20
作者 黄春英 《玉林师范学院学报》 2013年第6期125-128,共4页
备课及教学准备是B-SLIM教学模式教学环节中的重要一环。它是教师在把握教材、了解学生认知水平和能力及整合各种教学资源的基础上,确定教学思路,对课堂进行预设的一个重要手段,直接关系到教学效果的好坏及教学质量的高低。教师必须精... 备课及教学准备是B-SLIM教学模式教学环节中的重要一环。它是教师在把握教材、了解学生认知水平和能力及整合各种教学资源的基础上,确定教学思路,对课堂进行预设的一个重要手段,直接关系到教学效果的好坏及教学质量的高低。教师必须精心做好每一节课前的备课及教学准备,以期实现有效的课堂教学。 展开更多
关键词 备课及教学准备 B—slim教学模 有效教学
下载PDF
上一页 1 2 61 下一页 到第
使用帮助 返回顶部