郭莹
- 作品数：23 被引量：47H指数：5
- 供职机构：宁夏理工学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金宁夏高等学校科学技术研究项目更多>>
- 相关领域：文化科学自动化与计算机技术更多>>
- 一种求解SAT问题的动态重启策略
- 2014年
- 为降低冲突驱动子句学习SAT求解器的运行计算成本,从"何时重启"和"何处重启"两个角度入手,提出一种动态启发式重启策略2WSAT.该策略将冲突决策层次和变量重启次数作为反映求解状态的重要参数,及时摆脱错误的求解分支,通过重启后选择更优的决策变量提高求解性能.采用实际应用的基准测试集,与两个流行的求解器进行了对比实验.结果表明,所提出的策略对求解速度、内存占用、冲突发生数、传播次数等关键指标有显著改善.
- 郭莹张长胜张斌
- 当前数据管理技术背景及挑战研究被引量：1
- 2012年
- 数据、计算机硬件、相关技术和应用需求是推动数据管理发展的四大主要动力。对以上四大影响因素的发展变化进行了深入分析,归纳了新一代数据管理面临的主要挑战,提出数据空间将成为新一代数据管理技术的核心。
- 郭莹
- 关键词：数据对象数据管理数据空间
- 基于ASP技术的Web数据库系统的研究与实现被引量：6
- 2007年
- 采用ASP+SQL Server方案,开发出用于商贸管理的数据库系统。
- 王海荣郭莹
- 关键词：B/S结构WEB数据库ADO
- 内涵发展:高校应强化六种教育理念被引量：1
- 2011年
- 注重内涵发展,提高教育教学质量是一个体系性、全局性的问题,其中人才培养模式改革是核心任务,转变和创新教育理念是先决条件。近年来,内涵发展、人才培养模式改革和教育理念创新成为高等教育研究的热点问题。本文对当前高校人才培养模式的现状进行了简要分析,并在此基础上,重点强调了需要转变和创新的几个关键教育理念。
- 郭莹张翠玲
- 关键词：教育理念教育教学质量
- 数据空间关键问题探究
- 2012年
- 数据空间及其管理技术,将成为新一代数据管理技术的核心,成为人们享受信息技术发展带来巨大效益的基础平台。在分析数据空间提出背景的基础上,阐述了对其概念、特点及相关技术的理解和思考,总结了目前的研究现状,提出了未来的研究方向。
- 郭莹
- 关键词：数据管理数据空间
- SAT问题求解器重启策略对比分析被引量：2
- 2013年
- 已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避免重启策略选择的随意性,同时启发设计更好的重启策略,本文选择了具有代表性的7种重启策略,以目前广泛采用的Minisat为基本求解器,在国际SAT2011竞赛中实际应用类基准测试集之上进行了实验对比分析.结果表明:(1)不同重启策略对SAT求解器的求解过程和求解性能影响巨大;(2)在应用类测试集上,几何序列调度策略的平均综合性能优于其他策略;(3)在限定范围内,重启频率越大,求解器综合性能越好;(4)增量变化的重启频率可以克服固定重启频率导致不完备搜索的问题.
- 郭莹张斌张长胜
- 关键词：求解器
- 应用技术型IT人才培养模式研究
- 2014年
- 针对IT行业技术更新速度快,高校人才培养滞后的问题,结合应用技术型人才培养模式转型,提出了IT人才多维培养体系。突出以学生为主体的应用型人才培养模式,通过深化校企合作及课外训练平台强化IT专业学生的专业技能、创新意识、自学能力等综合素质的培养,使其具备适更快应新技术、新知识更新的能力。
- 王海荣郭莹
- 关键词：应用技术型校企合作
- 一种求解SAT问题的人工蜂群算法被引量：6
- 2014年
- 针对SAT问题,提出一种求解该问题的离散人工蜂群算法——ABCSAT算法,建立了相应的优化算法模型,解决了问题编码和转化、适应度函数、蜜蜂觅食策略、离散操作等关键问题.不同于处理连续优化问题,ABCSAT将适应度函数定义为当前不可满足子句数.根据问题的特点设计了多种觅食策略,并利用各子句和变量之间约束关系的启发式信息对各阶段的候选解进行离散操作.最后在标准SATLIB测试集上对提出的算法进行了测试并与相关算法进行了比较,结果验证了ABCSAT算法在中小规模SAT问题上的有效性,表明算法能更加有效地解决该问题.
- 郭莹张长胜张斌
- 关键词：人工蜂群算法遗传算法群体智能
- BPR带给教育信息化的启示
- 2006年
- 20世纪90年代风行的企业管理与经营方式BPR,带给教育信息化一些启示:在信息技术的支撑下,更新传统的教育观念、注重以Process(流程)为再造对象、变革组织机构。当然,也应理性认识到BPR只是解决问题的一种方法,要重视人的因素。
- 徐红梅郭莹
- 关键词：信息化进程企业业务流程教育信息化业务流程重组
- 一种ABCSAT算法的启发式初始解策略
- 2018年
- 为了改善初始解在解空间中的分布状况,根据SAT问题的变量极性差异约束,提出一种启发式初始解策略,以解决人工蜂群算法求解策略问题。该方法不仅保留了随机思想,而且设置了变量的取值倾向。实验证明,新策略能够进一步节约求解时间和内存消耗,提高求解成功率。
- 周金莲郭莹
- 关键词：人工蜂群算法
