郭莹

作品数：24被引量：50H指数：4
导出分析报告
供职机构：宁夏理工学院更多>>
发文主题：SAT问题高校人工蜂群算法大类招生电气信息更多>>
发文领域：文化科学自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《沈阳师范大学学报（教育科学版）》《北京工业职业技术学院学报》《软件导刊》更多>>
所获基金：中央高校基本科研业务费专项资金国家自然科学基金宁夏高等学校科学技术研究项目宁夏回族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
OBE理念下高校公共课程教学大纲编制模式的构建
《沈阳师范大学学报(教育科学版)》2024年第6期72-77,共6页吴伟 张威 郭莹 王学军 
宁夏回族自治区本科教育教学改革与实践项目(bjg2021091)(bjg2023094);辽宁省研究生教育教学改革项目(LNYJG2024085)。
编制公共课程教学大纲既是确保高校教学质量的主要组成部分,也是保障高校教学规范实施的基本依据,在高等教育教学质量保障体系中占有十分重要的地位。编制科学合理的公共课程教学大纲,是高校建立与完善OBE理念下的高等教育教学质量保障...
关键词：OBE理念 教育教学质量保障体系 高校公共课程 教学大纲构建模式 课程质量评价 
高校打造“金课”的路径探析被引量：3
《广西教育学院学报》2021年第1期157-161,共5页郭莹 杨娅雯 
宁夏教育厅高校科研项目[NGY(2017206),NGY(2020097)]的阶段性成果。
通过系统分析了高校“水课”的成因和影响“金课”建设的关键要素,研究并提出了一条从“学校、专业、课程、环境、教师、学生”全方位打造“金课”的路径。
关键词：高校 金课 路径 
一种ABCSAT算法的启发式初始解策略
《软件导刊》2018年第2期44-46,共3页周金莲 郭莹 
宁夏高校科研项目资助(NGY2015167)
为了改善初始解在解空间中的分布状况,根据SAT问题的变量极性差异约束,提出一种启发式初始解策略,以解决人工蜂群算法求解策略问题。该方法不仅保留了随机思想,而且设置了变量的取值倾向。实验证明,新策略能够进一步节约求解时间和内存...
关键词：布尔可满足性问题 人工蜂群算法 初始解 启发式 
布尔可满足性问题研究综述被引量：2
《软件导刊》2017年第5期204-206,共3页郭莹 
宁夏高校科研项目资助(NGY2015167)
布尔可满足性(简称SAT)问题是研究最广泛的NP-完全(简称NPC)问题之一。编码、预处理和求解算法是SAT问题求解的3个关键技术,近年来涌现了大量成果。SAT问题广泛应用在生产和生活中,SAT求解技术的健壮性和综合性能迫切需要进一步提升。从...
关键词：SAT问题 NP完全问题 编码 预处理 求解算法 
以就业为导向的计算机专业人才培养模式的改革与实践被引量：1
《亚太教育》2016年第30期181-181,共1页王庆月 郭莹 
宁夏教育厅教育教学改革项目资助(宁教高[2012]348号)
本文针对计算机人才培养的社会需求,分析了地方本科高校计算机专业人才培养现状,以宁夏理工学院计算机科学与技术专业为例,提出以就业为导向的人才培养模式的改革思路与探索实践,并初步取得成效。
关键词：就业导向 培养模式 教学改革 
求解SAT问题的算法的研究进展被引量：10
《计算机科学》2016年第3期8-17,共10页郭莹 张长胜 张斌 
宁夏回族自治区自然科学基金资助项目(NZ13265)资助
SAT问题是研究最广泛的NPC问题之一。由于SAT问题本身的特性,除非P=NP,否则不存在最坏情况下多项式阶时间复杂度的SAT求解算法。因此设计出高效快速的SAT求解算法至今仍是研究热点。首先简要介绍了SAT问题;其次从完备算法、不完备算法...
关键词：SAT问题 完备算法 不完备算法 组合算法 
应用技术型IT人才培养模式研究
《教育教学论坛》2014年第43期195-197,共3页王海荣 郭莹 
2012年宁夏教育厅教育教学改革项目(宁教高[2012]348号)
针对IT行业技术更新速度快,高校人才培养滞后的问题,结合应用技术型人才培养模式转型,提出了IT人才多维培养体系。突出以学生为主体的应用型人才培养模式,通过深化校企合作及课外训练平台强化IT专业学生的专业技能、创新意识、自学能力...
关键词：应用技术型 多维培养体系 校企合作 
一种求解SAT问题的动态重启策略
《东北大学学报（自然科学版）》2014年第7期935-938,共4页郭莹 张长胜 张斌 
国家自然科学基金资助项目(61073062;61100090);中央高校基本科研业务费专项资金资助项目(N11024006);宁夏回族自治区自然科学基金资助项目(NZ13265)
为降低冲突驱动子句学习SAT求解器的运行计算成本,从"何时重启"和"何处重启"两个角度入手,提出一种动态启发式重启策略2WSAT.该策略将冲突决策层次和变量重启次数作为反映求解状态的重要参数,及时摆脱错误的求解分支,通过重启后选择更...
关键词：可满足性问题 重启策略 启发式 冲突决策层次 变量重启次数 
一种求解SAT问题的人工蜂群算法被引量：6
《东北大学学报（自然科学版）》2014年第1期29-32,42,共5页郭莹 张长胜 张斌 
国家自然科学基金资助项目(61073062;61100090);中央高校基本科研业务费专项资金资助项目(N11024006)
针对SAT问题,提出一种求解该问题的离散人工蜂群算法——ABCSAT算法,建立了相应的优化算法模型,解决了问题编码和转化、适应度函数、蜜蜂觅食策略、离散操作等关键问题.不同于处理连续优化问题,ABCSAT将适应度函数定义为当前不可满足子...
关键词：可满足性问题 人工蜂群算法 遗传算法 群体智能 启发式策略 
SAT问题求解器重启策略对比分析被引量：2
《小型微型计算机系统》2013年第12期2729-2733,共5页郭莹 张斌 张长胜 
国家教育部少数民族高级骨干人才培养基金项目(教民[2008-8])资助;国家自然科学基金项目(61073062;61100090)资助;东北大学中央高校基本科研业务费项目(N11024006)资助
已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避免重启策略选择的随意性,同时启发设计更好的重启策略,本文选择了具有代表性的7种重启策略,以目前广泛采用...
关键词：可满足性问题 求解器 冲突驱动子句学习 重启策略 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部