王岚
- 作品数：17 被引量：32H指数：4
- 供职机构：江西师范大学计算机信息工程学院更多>>
- 发文基金：江西省高等学校教学改革研究课题江西省自然科学基金国家自然科学基金更多>>
- 相关领域：文化科学自动化与计算机技术生物学更多>>
- 基于ASP.NET 3.5+AJAX在线测试功能的实现被引量：1
- 2008年
- 随着网络的普及,在线测试这一方式在各种测试场合中起着越来越重要的作用。实现在线测试的技术和方法很多,本文给出一种基于ASP.NET+AJAX技术的Web在线测试实现方法。
- 陈小攀王岚
- 关键词：ASP.NETAJAX
- 项目教学模式指导的“数据结构与算法”教学改革被引量：8
- 2008年
- “数据结构与算法”是计算机科学技术专业重要的专业课程，该课程的教与学都有相当的难度。近年来，我们在该课程中引入了项目式教学方法，通过精心设计项目，以软件工程思想指导项目式教学过程，将师范教师教育与专业教育相融合等一系列教学改革，取得了显著的教学成效。本文介绍了我院的这些经验。
- 揭安全李云清杨庆红化志章王岚
- 关键词：数据结构与算法教学改革教学模式
- 基于混合策略的de novo序列拼接算法构造被引量：2
- 2022年
- 在对3种de novo(从头)序列拼接的基本策略进行分析的基础上,该文研究了混合策略序列拼接算法的构造过程,从而整合多个单一策略优点;再利用形式化方法和形式化平台方面的优势,结合领域分析建模和产生式编程的方法,构造了2个基于OLC策略的算法(OLC_assembly_1,OLC_assembly_2)及1个基于DBG策略的算法(DBG_assembly),进一步组装出在(OLC+DBG)→OLC混合模式下的算法(简称ODO算法);最后,从GenBank中选取了3个实验样本,从N50、Contigs number、Coverage等角度,比较了在3个单一策略下的算法和ODO构造算法的拼接结果,分析了coverage depth和k值的变化对拼接结果的影响.实验结果表明:该文实现的ODO算法比单一策略在序列拼接时所产生的结果在N50和Coverage等参数上均有一定的优势.
- 肖存威石海鹤王岚程柏良
- 关键词：产生式编程形式化方法
- 基于强化学习的双生物序列比对优化算法
- 2024年
- 该文设计了一种基于强化学习的双生物序列比对算法—QLalign,构建了序列比对问题的序列决策环境模型.基于Q-Learning算法的核心思想,将QLalign与环境模型进行动作决策-信息反馈的交互训练,不断优化决策的正确率,得到双生物序列比对问题的最优解.与Needleman-Wunsch算法进行了比较实验,验证了QLalign算法的可行性,而且对比结果表明:在相似度高于60%的序列对上,QLalign算法较经典的动态规划算法在效率方面展示出极大的优越性.此外,在QLalign算法训练过程中所记录的次优解可作为序列最优比对候选集,供进一步分析和研究.
- 石海鹤江浪陈名森王岚
- 关键词：生物信息学Q-LEARNING
- 浅谈21世纪的高校计算机基础教育改革
- 信息时代的发展对21世纪高校计算机基础教育提出了新的挑战,本文分析了当前计算机基础教育中存在的一些问题,并针对这些问题从教学目标、师资建设、课程设计、教材内容等方面上进行探讨,提出了自己的建议与改革措施.
- 王岚黄明和
- 关键词：计算机基础教育信息网络教育技术教育改革
- 文献传递
- 数据结构实践教学体系的设计与实施被引量：8
- 2010年
- 数据结构是一门理论性与实践性都很强的课程,数据结构实践教学体系的建设对于学生实践能力和创新能力的培养起着重要的作用。该文结合数据结构课程的特点,从实践内容的设计优化、教学模式和教学手段几个方面出发,探讨了数据结构实践体系的建设思路、建设过程和取得的主要成效。
- 揭安全李云清杨庆红化志章王岚
- 关键词：数据结构实践教学体系教学改革教学模式
- 一种融合结构信息的数学应用题统一解题方法
- 本发明公开了一种融合结构信息的数学应用题统一解题方法，包括如下步骤：首先基于待求解数学应用题和数据集内数学应用题语义嵌入向量的语义依存关系和数值关系，结合对应数学应用题知识点，检索出数据集内与待求解数学应用题具有相同知识...
- 王岚邓正正陈开阳刘祥棋杨兰建陈奥黄琪王明文
- 生物序列比对动态规划算法的统一形式化构造与Isabelle验证
- 2025年
- 序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,甚少涉及算法可信性的研究.从生物序列比对问题的形式化规约出发,通过深入分析问题的性质,刻画问题求解的本质特征,借助形式化方法PAR(partition andrecursion)设计了序列比对动态规划算法的统一构造框架seqAlign;展示了应用该框架构造序列数为3的多序列比对算法的过程,并使用Isabelle定理证明器对构造结果进行形式化验证;利用PAR平台生成了该算法的C++可执行程序,进一步分析了由seqAlign框架机械化构造其他类型序列比对算法的过程.通过严密的规约精化和形式验证,有效地保证了生成算法的可信性;开发的seqAlign框架提供了序列比对问题类的通用求解方案,显著提高了序列比对算法族生成的效率.研究结果在生物序列分析中序列比对问题上的成功应用,从方法学和实践上可为复杂生物信息学领域高可靠算法的构造提供参考.
- 石海鹤蓝孙文刘日明石海鹏王岚钟林辉
- 关键词：PAR方法
- 数据结构实践教学体系的设计与实施
- 数据结构是一门理论性与实践性都很强的课程,数据结构实践教学体系的建设对于学生实践能力和创新能力的培养起着重要的作用.该丈结合数据结构课程的特点,从实践内容的设计优化、教学模式和教学手段几个方面出发,探讨了数据结构实践体系...
- 揭安全李云清杨庆红化志章王岚
- 关键词：数据结构实践教学体系教学改革教学模式
- 文献传递
- 面向对象程序设计课程中自主学习模式的研究与探讨被引量：6
- 2008年
- 本文阐述了面向对象程序设计课程的重要地位，并就如何培养学生的自主学习模式，帮助学生真正掌握面向对象的软件开发技术提出了一些创新的想法。
- 王岚杨庆红李云清揭安全
- 关键词：面向对象教学改革程序设计
