公共文化服务平台

共 11 条记录，以下是 1-8

全选清除导出

排序方式：

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

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

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

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

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

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

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

基于符号数值混合计算的混成系统可信分析与验证研究: 混成系统作为信息-物理融合系统的数学模型,是指一类包含连续动态系统和离散事件系统、两者又相互作用的复杂动力系统.混成系统中连续变量和离散事件间相互作用的特性使得混成系统的分析与验证变得十分困难,研究结果的正确性也难以保证...; 林望; 关键词：混成系统稳定性分析吸引域估计; 文献传递

全选清除导出

共1页<1>

林望