闵兰
- 作品数：23 被引量：214H指数：6
- 供职机构：成都理工大学更多>>
- 发文基金：国家自然科学基金高等学校特色专业建设点项目四川省教育厅青年基金更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 大学数学基础课程思政的教学设计研究——以概率论与数理统计课程思政为例被引量：26
- 2021年
- 课程思政是新时期高校思想政治工作的重要环节,也是实现“三全育人,同向同行”的必要途径.针对概率论与数理统计课程教学中的实际情况,从教学主体、教学理念与目标、教学内容与资源、教学过程、教学手段与方法、教学评价等方面探讨分析课程思政教学设计的逻辑框架,并结合实际教学案例分析课程思政的有效性.
- 闫莉闵兰李为
- 关键词：概率论与数理统计逻辑框架
- 基于不平衡情感分类的Lasso-Lars特征选择方法研究被引量：2
- 2018年
- 基于Lasso回归和支持向量机分类器,首先利用Lasso回归具有变量筛选的特点,过滤部分不重要的特征,然后利用支持向量机分类器做情感提取.在某化妆品品牌的评论数据实验中,利用基础情感词典和领域情感词典构建待选择高维特征集,通过对比特征选择前后的G-means,精确度和召回率等,均取得显著效果.
- 万会芳闵兰舒畅
- 职业教育城乡均衡发展评估指标的统计模型研究被引量：1
- 2011年
- 利用多层次模糊综合评判方法,针对职业教育城乡均衡发展指标体系,构建评估指标的统计模型。该模型能够给出受评地区职业教育城乡均衡发展水平的综合评估指标。模糊综合评判法是一种基于模糊数学的评判方法。该综合评价法根据模糊数学的隶属度理论把定性评价转化为定量评价,即用模糊数学对受到多种因素制约的事物或对象做出一个总体的评价。对影响职业教育城乡均衡发展的各种主要因素分级处理,为了更客观地反映问题,对各级指标因子、模型采取层次分析法来确定各级指标的权重,构造成对比较矩阵,对其中的二级指标给出评判集,得到模糊评判矩阵,最后计算出一级因素的隶属度,给出综合评价指标。
- 闵兰冯俊王维
- 关键词：职业教育
- 算子半群的逼近及其在参数连续马尔科夫链中的应用(英文)被引量：4
- 2003年
- 在Banach空间中,根据生成元得出了算子半群逼近的一个充要条件.同时,把算子半群的逼近理论运用到马尔科夫链,讨论了转移函数的逼近,推广了一些已知结果.
- 赵文强闵兰
- 关键词：BANACH空间算子半群转移函数生成元
- Fuzzy值函数的Sugeno积分的注记被引量：3
- 2005年
- 笔者在四川师范大学学报(自然科学版)1991年第3期上发表的论文“Fuzzy值函数的Sugeno积分“中研究了Sugeno积分的部分性质.在此基础上笔者做了更进一步的研究,给出了Fuzzy值函数序列的一些收敛性质,从而使该类积分具有更广泛的适应性.
- 成和平闵兰
- 关键词：FUZZY值函数
- 确定有限自动机推理的可计算逻辑分析被引量：1
- 2011年
- 针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数。在可计算逻辑中,计算问题是机器和环境博弈的过程。同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢。
- 闵兰刘益陈晓敏
- 关键词：确定有限自动机博弈
- 确定有限自动机的逻辑形式定义被引量：5
- 2008年
- 通过分析确定有限自动机状态转换函数的内在含义,引入有关的原子命题,得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性.
- 刘益闵兰
- 关键词：确定有限自动机命题逻辑
- 基于翻转课堂教学模式下的大学数学微课教学被引量：48
- 2017年
- 2012年,教育部颁布了《教育信息化十年发展规划》,明确提出:借助信息技术能够推动教育现代化发展,并化解我国教育发展中遇到的各种问题,更好把握时代机遇.在当前新时代背景下,以往老套的教学方式已经难以贴合现代教学需求,因此需要及时融入新方法、新技术.而信息技术的进步和发展造就了翻转课堂教学模式,并且逐渐让传统的课堂教学发展成网络教学或者或家庭教学体系,学生不仅仅可以在课堂中获取知识,借助计算机网络也可以对知识学习.而基于翻转课堂教学模式的微课教学,主要是将微课作为教学资源,教学模式为课前学生自主学习和课中知识强化,充分体现了学生的主导地位,顺应了我国信息化教学改革的方向.本文以大学数学为例,就基于翻转课堂教学模式下的大学微课教学进行简单研究.
- 舒畅闵兰万会芳
- 关键词：大学数学
- 正则语言的可递归性
- 2009年
- 根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。
- 闵兰陈晓敏
- 关键词：正则文法确定有限自动机递归可枚举集
- SQL技术在PB应用系统开发中的应用被引量：1
- 2003年
- 分析了静态SQL技术和四种动态SQL技术，并在PB开发数据库应用系统中，采用SELECT语句的动态生成办法和SQL动态执行办法，较好地解决了用户组合查询和动态查询要求，极大地提高了系统的灵活性和适应可变性，本方法在Delphi，VB，ADO．NET数据库应用系统开发中具有一定指导意义。
- 闵兰李生林张力生
- 关键词：SQL技术数据库
