林望

作品数:10被引量:28H指数:3
导出分析报告
供职机构:温州大学数学与信息科学学院更多>>
发文主题:混成系统数学实验数学模型研发人员绩效绩效评价更多>>
发文领域:理学自动化与计算机技术文化科学自然科学总论更多>>
发文期刊:《系统科学与数学》《高等数学研究》《数学教学研究》《吉林省教育学院学报》更多>>
所获基金:国家自然科学基金上海市自然科学基金浙江省教育厅科研计划国家重点基础研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于随机障碍验证的随机连续系统安全性验证被引量:1
《计算机应用》2018年第6期1737-1744,1750,共9页沈敏捷 曾振柄 林望 杨争峰 
国家自然科学基金资助项目(61772203;61632015;61561146394);上海市自然科学基金资助项目(17ZR1408300)~~
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方法。首先,介绍了随机连续系统及其安全性验证的相关知识及概念;然后,讨论了如何对于服从几种不同分布的初...
关键词:连续系统 安全性验证 随机微分方程 障碍验证 平方和松弛 
ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具被引量:3
《系统科学与数学》2017年第7期1704-1721,共18页王砺磊 曾霞 林望 陈鑫 杨争峰 
国家重点研发计划项目(2016YFB1000802);国家自然科学基金项目(61632015,61561146394,61602348);上海市自然科学基金项目(17ZR1408300)资助课题
现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复...
关键词:测试用例自动生成 符号执行 多项式系统实根求解 低秩矩量矩阵恢复. 
应用数学创新人才“三位一体”培养模式构建与实践被引量:5
《数学教学研究》2015年第3期21-24,27,共5页王玮明 赵才地 徐安察 连新泽 林望 安荣 郭正光 张笑钦 
温州大学精品资源共享课《数学模型与实验》、系列教改项目《数学与应用数学专业探究性教学模式研究与实践》及应用数学优秀教学团队建设资助项目
加强数学类专业学生创新能力培养是当前高校数学教育改革的重要课题.结合十多年的数学建模教学实践,构建了应用数学创新人才“三位一体”培养模式,即“以《数学模型与实验》课程学习为基础,以大学生数学建模竞赛为契机,以应用数学...
关键词:创新人才培养 应用数学 三位一体 培养模式 数学建模竞赛 数学教育改革 创新能力培养 教学实践 
数学类专业研究性教学模式探索与实践——以《数学模型与实验》课程为例被引量:6
《大学教育》2014年第17期123-125,共3页王玮明 连新泽 林望 赵才地 
温州大学精品资源共享课<数学模型与实验>;系列教改项目<数学与应用数学专业探究性教学模式研究与实践>;应用数学优秀教学团队建设资助项目
研究性教学是以培养学生的创新精神和实践能力为核心的素质教育。在综述研究性教学的基础上,以基于课堂的和基于数学实验的研究性教学为例探讨数学类专业研究性教学模式,指出研究性教学模式是多元的,应根据课程内容而定。这将为数学类...
关键词:数学模型 数学实验 研究性教学 
“数学模型与实验”课程教学改革被引量:2
《吉林省教育学院学报》2014年第11期85-86,共2页王玮明 连新泽 林望 赵才地 
温州大学精品资源共享课"数学模型与实验";系列教改项目"数学与应用数学专业探究性教学模式研究与实践";应用数学优秀教学团队建设资助项目
数学建模与实验技术的系统学习与训练是培养大学生数学素质的最佳方式和有效途径,本文探讨了"数学模型与实验"课程的指导思想、内容设计以及教学方法等,为高校数学教学改革提供参考。
关键词:数学素质 数学模型 数学实验 教学改革 
基于NET4.0的流媒体学习平台的设计与实现
《电脑知识与技术》2014年第2X期1235-1237,共3页倪莎莎 何明昌 许冬悦 林望 
浙江省大学生新苗计划项目(2012R424004);温州大学系列教项目(12jg10A);温州大学"大学生创新创业训练计划"项目(201323);温州大学实验室研究项目(JWS20120612)
分析了智能手机在高校的发展趋势,论述了.NET4.0技术的优越性,阐述了流媒体视频播放的工作原理,给出了流媒体学习平台的数据库表设计,以及流媒体学习平台的主要功能,并提供了流媒体视频播放的关键代码。
关键词:手机 流媒体 视频播放 数据 
基于多面体包含的非线性混成系统可达性分析被引量:1
《计算机应用》2013年第5期1289-1293,共5页邹进 林望 罗勇 曾振柄 
国家自然科学基金资助项目(11001204);国家973计划项目(2011CB302904);浙江省教育厅科研项目(Y201120383);温州大学实验室研究项目(JWS20120612)
针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用...
关键词:混成系统 可达性分析 安全性验证 多面体包含 线性近似 
基于符号数值混合计算的混成系统Lyapunov函数构造
《系统科学与数学》2012年第5期610-625,共16页林望 吴敏 杨争峰 曾振柄 
国家自然科学基金项目(10901055;10801052;91018012;61021004);973项目(2011CB302802);浙江省教育厅科研项目(Y201120383);华东师范大学创新基金项目(78210043)
基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性,首先,为Lyapunov函数预定一个给定次数的多项式模板,则Lyapunov函数构造问题可转化为相应的带参数的多项式优化问...
关键词:混成系统 LYAPUNOV函数 平方和松弛 半正定规划 
线性微分方程的降阶法被引量:2
《高等数学研究》2011年第1期99-101,共3页林望 洪季平 
提出线性微分方程的降阶法.在工科院校高数教材中若采用降阶法可以减少教材的篇幅,缩短教学时间,减轻学习难度.同时,还可利用数学软件求解线性微分方程,使高数教材贴近于现代计算技术.
关键词:线性微分方程 降阶法 教材改革 
研发人员绩效的熵值模糊综合评价模型被引量:8
《温州大学学报(自然科学版)》2008年第4期1-5,共5页林望 王义闹 
将熵值法和模糊综合评判法相结合,建立了熵值模糊综合评价模型.应用该模型对研发人员进行绩效评价,可以有效地解决评价过程中出现的主观性和模糊性问题,从而使评价结果更符合客观实际.
关键词:研发人员 熵值法 模糊评判 绩效评价 
检索报告 对象比较 聚类工具 使用帮助 返回顶部