吴帅
- 作品数：9 被引量：30H指数：3
- 供职机构：上饶师范学院数学与计算机科学学院更多>>
- 发文基金：江西省教育厅青年科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- B方法规格说明的构造及应用被引量：2
- 2007年
- B方法是一种软件形式化方法,支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化。
- 吴帅杨庆红樊艳芬
- 关键词：B方法抽象机精化
- 《C语言程序设计》的教学改革探讨被引量：3
- 2010年
- 针对地方高校《C语言程序设计》教学过程中存在的问题,提出以学生为主体,以教师为主导的立体式教学模式,和课堂案例启发式教学为主,网络在线教学为辅的教学方法,建立良好的实验体系。改革的重点在于激发学生的学习兴趣,调动学生的学习主动性,提高学生的动手能力。
- 吴帅徐晓晖谭国律胡敏
- 关键词：C语言程序设计立体式教学
- 基于隐马尔可夫模型的中文分词被引量：8
- 2018年
- 中文分词是搜索引擎、机器翻译、情感分析等自然语言处理的基础,分词的准确率和效率对后续的工作有着非常大的影响。目前性能比较好的分词算法是基于统计机器学习的方法,隐马尔可夫模型能够较好地描述词与词之间的前后关系。论述模型实现中文分词的基本原理,并给出模型的Python实现。
- 吴帅潘海珍
- 关键词：隐马尔可夫模型中文分词分词算法PYTHON
- 基于EPSO-RVM的网络入侵检测模型被引量：7
- 2015年
- 为了提高网络入侵检测的正确率,提出一种精英选择策略粒子群算法(EPSO)优化相关向量机(RVM)的网络入侵检测模型(EPSO-RVM)。将相关向量机的参数编码成粒子,将入侵检测正确率作为粒子群搜索的目标,通过粒子群算法对参数优化问题进行求解,并引入精英选择策略增强粒子群算法的全局搜索能力,根据最优参数建立基于RVM的入侵检测模型,采用KDD99数据集对其性能测试,结果表明,相对于对比模型,EPSO-RVM较好地解决了相关向量机参数优化难题,提高了网络入侵检测的正确率。
- 黄亮吴帅谭国律郑军
- 关键词：网络入侵相关向量机参数选择粒子群优化算法
- 非计算机专业《Visual Basic程序设计》课程中若干问题的教学方法被引量：1
- 2014年
- 《VB程序设计》课程是多数高校中非计算机专业学生必修公共计算机基础课程,旨在提高这类学生的计算机应用能力。针对非计算机专业学生的学习特点,总结出符合他们学习特点的教学方法通过图表对比、步骤简化、口诀记忆等教学方法提高教学质量,激发学生的学习兴趣,促进人才培养。
- 胡敏吴帅潘海珍
- 关键词：非计算机专业教学质量
- 形式化方法与可视化模型的结合及其应用被引量：2
- 2011年
- 阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性。为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程。
- 吴帅缪丽君
- 关键词：形式化方法B方法UML
- CDIO理念下非计算机专业VB教学中的改革实践
- 2014年
- 本文从本科院校非计算机专业学生实际情况出发,针对非计算机专业学生的学习特点。结合CDIO理念在教学内容上引入实际案例旅店管理系统,分阶段的演示和讲述实例中所用到的知识点,在教学方法和教学内容的案例的编排引导和讲述等教学形式上进行改革实践,从实际教学中加强非计算机专业学生对VB程序设计的理解和掌握。
- 胡敏贾善德吴帅勉哲
- 关键词：CDIO非计算机专业教学案例VB程序设计
- 用Java语言实现八皇后问题的递归和非递归算法设计被引量：2
- 2007年
- 采用回溯法解决八皇后问题,给出了逻辑结构清晰的递归算法和非递归算法。
- 樊艳芬周琪云吴帅
- 关键词：JAVA递归非递归
- UML模型图到B方法形式规约的转换研究与应用
- 形式化方法(Formal Method)基于严格的数学理论，能产生精确、无二义性的形式规约，为软件开发提供了严格的数学基础，对提高软件的可靠性有着非常显著的作用。形式化方法要求开发者具有良好的数学基础，并使用严格的数学符...
- 吴帅
- 关键词：形式化方法B方法形式规约抽象机类图软件开发
- 文献传递
