公共文化服务平台

林望: 作品数：11 被引量：28H指数：3; 供职机构：温州大学数学与信息科学学院更多>>; 发文基金：国家自然科学基金上海市自然科学基金浙江省教育厅科研计划更多>>; 相关领域：理学自动化与计算机技术文化科学自然科学总论更多>>

合作作者

数学类专业研究性教学模式探索与实践——以《数学模型与实验》课程为例被引量：6: 2014年; 研究性教学是以培养学生的创新精神和实践能力为核心的素质教育。在综述研究性教学的基础上,以基于课堂的和基于数学实验的研究性教学为例探讨数学类专业研究性教学模式,指出研究性教学模式是多元的,应根据课程内容而定。这将为数学类专业教育教学改革提供参考。; 王玮明连新泽林望赵才地; 关键词：数学模型数学实验研究性教学

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具被引量：3: 2017年; 现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.; 王砺磊曾霞林望陈鑫陈鑫; 关键词：测试用例自动生成

基于符号数值混合计算的混成系统Lyapunov函数构造: 2012年; 基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性,首先,为Lyapunov函数预定一个给定次数的多项式模板,则Lyapunov函数构造问题可转化为相应的带参数的多项式优化问题,然后运用平方和松弛方法求得一个近似的数值多项式Lyapunov函数,再应用高斯-牛顿精化和有理向量恢复将数值多项式转化为验证的有理多项式Lyapunov函数.; 林望吴敏杨争峰曾振柄; 关键词：混成系统 LYAPUNOV函数

线性微分方程的降阶法被引量：2: 2011年; 提出线性微分方程的降阶法.在工科院校高数教材中若采用降阶法可以减少教材的篇幅,缩短教学时间,减轻学习难度.同时,还可利用数学软件求解线性微分方程,使高数教材贴近于现代计算技术.; 林望洪季平; 关键词：线性微分方程降阶法教材改革

应用数学创新人才“三位一体”培养模式构建与实践被引量：5: 2015年; 加强数学类专业学生创新能力培养是当前高校数学教育改革的重要课题．结合十多年的数学建模教学实践，构建了应用数学创新人才“三位一体”培养模式，即“以《数学模型与实验》课程学习为基础，以大学生数学建模竞赛为契机，以应用数学创新实践为目的”模式．实践证明，“三位一体”模式是高校开展应用数学创新人才培养的有效途径．; 王玮明赵才地徐安察连新泽林望安荣郭正光张笑钦; 关键词：应用数学数学建模竞赛数学教育改革创新能力培养教学实践

基于随机障碍验证的随机连续系统安全性验证被引量：1: 2018年; 针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方法。首先,介绍了随机连续系统及其安全性验证的相关知识及概念;然后,讨论了如何对于服从几种不同分布的初始变量确定初始状态集,并根据选定的初始状态集使用随机障碍验证的方法将安全性验证问题转化为多项式优化问题;最后,运用平方和松弛方法将问题转化为平方和规划问题,并利用SOSTOOLS工具求得安全性概率的下界。理论分析以及实验结果表明,所提方法具有多项式时间的复杂度,能有效地给出随机连续系统在无界时间内的安全性概率的下界。; 沈敏捷曾振柄林望杨争峰; 关键词：随机微分方程

基于多面体包含的非线性混成系统可达性分析被引量：1: 2013年; 针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用验证工具SpaceEx求得原非线性混成系统的过近似可达集,并应用于验证系统的安全性。; 邹进林望罗勇曾振柄; 关键词：混成系统可达性分析

研发人员绩效的熵值模糊综合评价模型被引量：8: 2008年; 将熵值法和模糊综合评判法相结合,建立了熵值模糊综合评价模型.应用该模型对研发人员进行绩效评价,可以有效地解决评价过程中出现的主观性和模糊性问题,从而使评价结果更符合客观实际.; 林望王义闹; 关键词：熵值法绩效评价

基于NET4.0的流媒体学习平台的设计与实现: 2014年; 分析了智能手机在高校的发展趋势,论述了.NET4.0技术的优越性,阐述了流媒体视频播放的工作原理,给出了流媒体学习平台的数据库表设计,以及流媒体学习平台的主要功能,并提供了流媒体视频播放的关键代码。; 倪莎莎何明昌许冬悦林望; 关键词：手机流媒体视频播放

“数学模型与实验”课程教学改革被引量：2: 2014年; 数学建模与实验技术的系统学习与训练是培养大学生数学素质的最佳方式和有效途径,本文探讨了"数学模型与实验"课程的指导思想、内容设计以及教学方法等,为高校数学教学改革提供参考。; 王玮明连新泽林望赵才地; 关键词：数学素质数学模型数学实验教学改革