王海燕
- 作品数：35 被引量：51H指数：4
- 供职机构：吉林师范大学计算机学院更多>>
- 发文基金：国家自然科学基金博士科研启动基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术文化科学理学电子电信更多>>
- Dom/ddeg自主分支辅助决策约束求解被引量：4
- 2014年
- 基于自主分支约束求解方法,提出一种新的自主分支辅助决策约束求解算法AUTOdom/ddeg,并在标准测试库Benchmarks上进行对比实验.实验结果表明,AUTOdom/ddeg算法能显著提高求解效率.
- 王海燕李闯张良董延华
- 主引导分区信息表人工恢复的实现被引量：1
- 2008年
- 本文以主引导的结构为基础,提供了一种手工恢复主引导分区信息表的方法,意在无备份的情况下也能对主引导中分区信息表进行恢复.同时以实例详细的介绍了整个恢复过程,语言通俗流畅,具有很强的实用性和可操作性.
- 王海燕范钦志宫豪
- 关键词：MBR分区信息表
- 高校图书馆数字资源利用存在的问题和优化管理举措被引量：5
- 2013年
- 伴随着经济和教育的发展,各大高校的图书馆建设速度也逐渐加快,在此过程中,各个地区的图书馆都不同程度的购买了丰富的数字资源,但是,相对于传统的资源而言,数字资源具有自己独特的方面,数字资源的使用条件和使用环境都受到了一定的限制,虽然近些年各大高校都在鼓励加强对数字资源的利用,但是,依然存在着很多问题,利用效率不高,数字资源闲置,重复率较高,资源浪费情况严重,加强对数字资源的优化管理,提高数字资源的利用效率具有十分重要的意义。笔者将结合其中存在的问题,探究其优化管理措施。
- 王海燕
- 关键词：数字资源
- 基于C++的小型约束求解器
- 2013年
- 通过约束求解的原理介绍一个利用C++语言开发的小型约束求解器Simsolver.主要阐述了约束求解的重要意义,并详细说明了约束求解的模块划分、属性和方法的设定及其具体实现.
- 王海燕欧阳丹彤张永刚杨明明
- 关键词：C++约束满足问题
- 基于DBMS的应用软件设计被引量：1
- 2010年
- 以DBMS为基础,介绍一个应用软件的开发过程,旨在介绍怎样以数据库为核心进行应用软件的设计.
- 王海燕李政石景峰
- 关键词：DBMS应用软件数据库
- 结合Python的分析化学参数提取自动化被引量：2
- 2018年
- 针对理论化学研究中提取参数效率较低的问题,借助Python中列表生成技术和线程模拟技术,提出一种Wfn^(auto)算法,并使用该算法对几类代表性wfn文件进行测试.测试结果表明,Wfn^(auto)算法可显著提高分析化学参数的提取效率.
- 王海燕崔文超崔文超李闯
- 关键词：自动化PYTHON分析化学
- 基于VF的个人通讯录管理器
- 2008年
- 介绍一个用Visual FoxPro9.0开发的软件—个人通讯录管理器。
- 王海燕李政
- 关键词：VISUALFOXPRO通讯录管理器
- 3G时代高校图书馆的变化与挑战被引量：1
- 2012年
- 3G的到来给我们生活带来了巨大改变。本文对3G技术给高校图书馆带来的变化,以及高校图书馆在3G技术面前所面临的挑战,进行了阐述。
- 王海燕
- 关键词：3G信息服务
- 高校图书馆超市化服务与管理研究综述
- 2014年
- 高校图书馆超市化服务与管理是图书馆领域的创新模式之一。本文对近几年国内相关领域的研究成果进行了回顾式梳理研讨,如图书馆超市化的原因分析、模式研究、实施利弊等,以期对该领域未来的研究提供参考。
- 王海燕
- 关键词：超市化管理图书馆
- 结合look-ahead值排序的自适应分支求解算法被引量：1
- 2013年
- 基于新近提出的自适应分支约束求解框架,结合look-ahead值启发式,提出一种新的约束求解算法AdaptBranchLVO。为验证算法效率,在标准测试库上进行了充分对比实验。结果表明,新提出算法在效率上明显优于已有的自适应分支求解算法。
- 王海燕欧阳丹彤张永刚张良
- 关键词：约束满足问题
