王永丽
- 作品数：34 被引量：43H指数：4
- 供职机构：山东科技大学更多>>
- 发文基金：国家自然科学基金山东省自然科学基金山东省博士后创新项目更多>>
- 相关领域：理学自动化与计算机技术交通运输工程经济管理更多>>
- 谓词逻辑推理中证明方法的判定被引量：1
- 2005年
- 数理逻辑是《离散数学》的难点之一。主要有两个原因,其一是内容比较抽象且方法较独特;其二是题型以证明题居多,大多数证明题涉及到的知识面较广,习题较难。而谓词逻辑是命题逻辑的推广,其灵活性就更大,故很难掌握。本文总结了几种谓词逻辑推理的判定方法和注意事项,以帮助掌握证明题的证明。结合适当的例题讲解,帮助学生进行逻辑思维能力的训练,培养分析问题和解决问题的能力。
- 潘美芹丁志军王永丽
- 关键词：命题逻辑谓词逻辑存在量词全称量词
- 《数值分析》课程教学改革探析被引量：1
- 2011年
- 结合高等学校21世纪人才的培养目标,根据本校的特点及多年的教学经验,对《数值分析》课程的教学改革进行了探讨,分别从教学思想和教学模式、教学内容、教学方法与手段、实践教学与考核方法等方面进行了论述。建立了"问题驱动式"的教学思想,实施了以"案例为主线,实验为指导,融知识传授与能力培养于一体"的教学模式,并针对《数值分析》涉及面广的特点,设计了分层次、分专业、分模块的立体结构式教学。
- 韩丛英王永丽赵茂先贺国平
- 关键词：计算机教学课程教学改革
- 非线性约束优化问题若干不完全求解算法的研究
- 该文由四个部分组成.第1章简单介绍了非线性最优化问题的产生与发展以及不完全求解理论的现状,从而引出我们后面要研究的课题.第2章通过采取一种直流电合策略,把一个局部超线性收敛的不完全SQP算法与广义梯度投影法相结合,给出了...
- 王永丽
- 关键词：广义梯度投影全局收敛性SQP算法
- 文献传递
- 求解一类特殊二次规划问题的分布式牛顿算法被引量：1
- 2015年
- 针对二次规划问题,现有的基于对偶分解和梯度方法的分布式算法由于没有充分利用目标函数的二阶信息,算法并不高效.针对一类特殊二次规划问题提出分布式牛顿算法,算法在计算对偶向量时使用Jacobi迭代,使算法不仅能够分布式执行并且可以并行运算.通过证明Jacobi矩阵的谱半径小于1保证了迭代的收敛性.最后通过数值实验说明分布式牛顿算法在运行时间上的高效性.
- 王永丽王栋贺国平胡运红
- 关键词：分布式JACOBI迭代并行计算
- 求解无约束优化问题的多维滤子信赖域方法
- 2011年
- 无约束优化问题广泛存在于工程、科学计算等领域.本文提出了修正的多维滤子信赖域算法,将信赖域子问题中柯西步的求解独立出来,一旦发现二次模型非凸,便直接采用柯西点作为下一步迭代点.新算法无需考虑迭代产生的非凸点,编程以及全局收敛性的证明过程较为简洁.最终,数值计算结果表明算法的可行性和有效性.
- 孙莉贺国平王永丽
- 关键词：滤子信赖域方法全局收敛性
- 基于有效约束识别技术的一个SSLE算法及其收敛性分析被引量：1
- 2007年
- 基于一个有效约束识别技术,给出了具有不等式约束的非线性最优化问题的一个可行SSLE算法,为获得搜索方向算法的每步迭代只需解两个或三个具有相同系数矩阵的线性方程组。在一定的条件下,算法全局收敛到问题的一个KKT点,没有严格互补条件,在比强二阶充分条件弱的条件下算法具有超线性收敛速度。
- 周长银贺国平王永丽
- 关键词：序列线性方程组算法全局收敛性超线性收敛性
- 求解一般约束优化问题的一个全局收敛的混合不精确SQP算法(英文)被引量：2
- 2008年
- 对于一般约束优化问题,本文通过一种特殊的耦合策略,把一个局部超线性收敛的不精确SQP算法与广义梯度投影法相结合,从而给出了一个混合算法.该算法无需计算拉格朗日函数的海色矩阵,并且在适当的假设下,算法具有全局和局部超线性收敛性.
- 王永丽贺国平张序萍
- 关键词：运筹学全局收敛性超线性收敛性
- 求解界约束优化问题的有效集算法综述被引量：5
- 2012年
- 主要介绍了求解界约束优化问题的有效集方法,包括投影共轭梯度法和有效集识别函数法,讨论了各自的优点和不足.最后,指出了有效集法的研究趋势及应用前景.
- 闫秀娟王永丽贺国平
- 关键词：有效集共轭梯度
- 基于支持向量机的结肠癌信息基因提取被引量：3
- 2012年
- 基于结肠癌基因表达谱数据集,提出了一种信息基因提取的新方法。该方法结合了支持向量机(SVM)、Bhattacharyya距离、递归特征消除(RFE)和快速基于相关性过滤器(FCBF)方法。首先,利用Bhattacharyya距离与SVM-RFE方法结合去除无关基因,然后运用FCBF方法得到信息基因,最后以支持向量机作为分类器对结肠癌样本进行分类识别。实验结果表明,同现有的方法相比,该方法在提取基因数量和准确率上都有明显的优势。
- 李烨王永丽贺国平
- 关键词：结肠癌支持向量机信息基因BHATTACHARYYA距离
- 基于有限差分方法的带式输送机动态特性分析被引量：3
- 2011年
- 把带式输送机的输送带看做黏弹性体的连续系统,以输送带的黏弹性模型为研究对象,基于有限差分方法对该模型进行求解算法的确定。通过这种算法可得到任意加速度输入时输送带的弹性位移。以头部驱动、头部张紧布置形式的带式输送机为例,详细阐述了算法的确定过程以及求解过程。
- 白硕玮李金良王永丽
- 关键词：带式输送机动力学方程有限差分方法
