您的位置: 专家智库 > >

浙江省教育科学规划课题(JB036)

作品数:3 被引量:1H指数:1
相关作者:高俊李长云陈暄韩冰陈小芳更多>>
相关机构:湖南工业大学浙江工业职业技术学院浙江广厦建设职业技术学院更多>>
发文基金:浙江省教育科学规划课题绍兴市教育科学规划课题中国博士后科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇学习速率
  • 1篇院校
  • 1篇软件体系结构
  • 1篇体系结构
  • 1篇状态机
  • 1篇网构软件
  • 1篇网络
  • 1篇领域本体
  • 1篇激励函数
  • 1篇高职
  • 1篇高职院校
  • 1篇函数
  • 1篇改进BP网络
  • 1篇本体
  • 1篇抽象状态机
  • 1篇QOS
  • 1篇自调整

机构

  • 2篇湖南工业大学
  • 2篇浙江工业职业...
  • 1篇浙江广厦建设...

作者

  • 2篇李长云
  • 2篇高俊
  • 1篇陈暄
  • 1篇杜艳明
  • 1篇陈小芳
  • 1篇韩冰

传媒

  • 2篇计算机应用研...
  • 1篇计算机光盘软...

年份

  • 1篇2013
  • 2篇2012
3 条 记 录,以下是 1-3
排序方式:
改进BP网络在高职院校教学质量评测中的应用
2013年
随着信息技术的高速发展和高职院校对教学质量的不断重视,对高职院校的教学质量的评测已经受到广大专家学者的关注。本文针对目前高职院校的现状,提出了一种基于高职院校质量评测的改进BP神经网络模型。该模型在传统BP神经网络模型的基础上,对学习率进行了优化,并加入了动量项,克服局部极小值,还提出了自调整学习速率,最后对激励函数进行了改进和优化。模型仿真结果表明,根据改进后的BP神经网络建立的高职院校教学质量评测模型性能良好,值得推广使用。
陈小芳
关键词:改进BP网络
一种网构软件体系结构中的纵横验证机制被引量:1
2012年
如何在开放、动态、复杂的Internet环境下开发网构软件是软件技术领域一个挑战性课题。从网构软件整个生命周期入手,对网构软件的形式化模型,在简单介绍抽象状态机(ASM)的基础理论之后,刻画了网构软件的构件模型,并对构件模型进行了基于ASM的形式化描述,在此基础上,将粗粒度抽象构件的精化问题转换为求解构件组合方案的问题,并在体系结构元层,提出一种双向验证方法对不同抽象程度的组合方案进行横向和纵向的验证,以保证目标系统的正确性和求精过程的正确性。以上形式化建模和双向验证方法尽可能地避免和消除了软件设计早期的错误。通过系统实验验证可以看出,该方法对网构软件的开发具有一定指导意义。
陈暄高俊李长云
关键词:形式化验证软件体系结构抽象状态机
基于领域本体和QoS的服务选取方法
2012年
针对如何在众多Web服务中找到满足功能需求的服务,又如何在多个相似服务和多个组合方案中寻求最优目标,提出一种基于领域本体概念和决策理论的服务选取方法。该方法首先借助领域本体概念,根据输入输出参数的语义找到满足功能需求的服务,在多个相似服务和多组合方案选择上,通过对各QoS属性综合决策评估出最优解。最后通过实验验证了该方法的有效性和可行性。
杜艳明高俊李长云韩冰
关键词:领域本体
共1页<1>
聚类工具0