您的位置: 专家智库 > >

周远

作品数:7 被引量:16H指数:3
供职机构:浙江理工大学更多>>
发文基金:国家自然科学基金全国教育科学规划课题全国高等学校教学研究中心立项课题更多>>
相关领域:自动化与计算机技术文化科学轻工技术与工程理学更多>>

文献类型

  • 4篇期刊文章
  • 2篇专利
  • 1篇学位论文

领域

  • 3篇自动化与计算...
  • 1篇轻工技术与工...
  • 1篇文化科学
  • 1篇理学

主题

  • 2篇形式化
  • 2篇形式化建模
  • 2篇频谱
  • 2篇自适
  • 2篇自适应
  • 2篇PETRI网
  • 1篇大学数学
  • 1篇预期值
  • 1篇日志
  • 1篇日志文件
  • 1篇软件系统
  • 1篇实效
  • 1篇数学
  • 1篇数学课
  • 1篇数学课程
  • 1篇死锁
  • 1篇切换
  • 1篇切换模糊系统
  • 1篇群算法
  • 1篇子群

机构

  • 7篇浙江理工大学
  • 1篇华东师范大学

作者

  • 7篇周远
  • 4篇丁佐华
  • 2篇杨晓燕
  • 1篇张建明
  • 1篇徐婷
  • 1篇徐映红
  • 1篇高雪芬
  • 1篇徐定华

传媒

  • 2篇软件学报
  • 1篇纺织学报
  • 1篇高等数学研究

年份

  • 5篇2015
  • 1篇2013
  • 1篇2012
7 条 记 录,以下是 1-7
排序方式:
基于在线故障定位及自主适应提高软件可靠性被引量:3
2015年
可靠性是衡量软件质量的一个重要指标.在线预测和提高软件可靠性是一个重要的研究课题.目前大多数在线预测和提高软件可靠性的方法具有如下弱点:不能预测软件不同时段的可靠性,且不能定位导致可靠性下降的组件.针对服务组合软件系统,提出在线提高可靠性的方法.通过观测端口失效数据,预测在线系统在不同时段的可靠性.当预测到的可靠性低于预期时,则采用改进的基于频谱的错误定位方法,定位出导致问题的故障组件,再通过添加新组件或替换故障组件的方法对软件系统重新配置,从而在线自动提高软件系统可靠性.使用在线商店的事例来说明方法的有效性.
杨晓燕周远丁佐华
关键词:自适应算法
大学与高中数学课程衔接问题再探被引量:8
2012年
以大学中将用到的数学知识为出发点,编制测试卷,研究大学一年级新生对于这些基础知识的掌握程度,从而分析其在大学数学学习中可能会遇到的衔接问题,并针对测试结果所反映出的问题,给出相应的教学建议.
高雪芬周远张建明
关键词:大学数学衔接
购物系统的在线可靠性预测和提高方法
本发明公开了一种购物系统的在线可靠性预测和提高方法,在该方法中,系统的可靠性采用时间序列分析模型ARIMA进行预测,可靠性的提高通过对错误组件进行定位并重配置来实现,具体包括如下步骤:(1)配置日志文件,收集系统实时运行...
丁佐华杨晓燕徐婷周远
文献传递
结合粒子群算法的一类双层纺织材料厚度设计反问题被引量:2
2013年
为给纺织材料的功能性设计提供理论支持和科学解释,基于低温环境下纺织材料热湿传递稳态模型,研究一类双层纺织材料厚度设计反问题。首先给出一个双层纺织材料热湿传递稳态模型及相应的边界条件,该模型是关于温度和湿度的耦合常微分方程组,通过解耦可化为两点初边值问题,并采用有限差分法求解;然后根据服装热湿舒适性要求,将纺织材料内层厚度看成一个未知量,提出了一类双层纺织材料厚度设计反问题,并将该反问题归结为一个具有最小二乘解的优化问题;最后采用粒子群算法求解该优化问题。结果表明,双层纺织材料厚度设计反问题是合理的,粒子群算法能有效地解决该反问题,该算法具有鲁棒性。
周远徐映红徐定华
关键词:纺织材料厚度设计反问题粒子群算法
基于程序不变量计算软件可靠性被引量:3
2015年
现有的计算软件可靠性的方法采用测试的输入/输出结果,但这些数据并不能真实地反映软件内部的真实行为,如测试中会出现假性正确的情况以及测试不能显示一个输入有多个错误的输出情况.试图通过程序不变量来计算软件的可靠性,程序不变量可以描述程序的性质.首先选取测试用例集,动态地获取程序不变量,再从这些不变量中提取失效数据,最后,基于Nelson模型计算软件的可靠性.作为实验,对西门子程序包计算软件的可靠性.采用随机、分支覆盖和分块覆盖这3种不同的测试方法得到程序不变量,据此计算程序的可靠性.为了检查结果的可行性,采用传统方法计算这些软件的可靠性.两种可靠性比较后显示:它们的差别很小,而且不依赖于对测试方法的选择.通过进一步的方差分析得知,用所提出的方法计算的可靠性比用现有的方法计算的可靠性具有更小的波动,即更平稳.因此,前者更接近系统的真实可靠性.结论说明,可用程序不变量来计算软件的可靠性.
周远丁佐华
关键词:测试用例集程序不变量
基于Petri网和常微分方程组的并发系统死锁分析方法
本发明公开了一种基于Petri网和常微分方程组的并发系统死锁分析方法,包括如下步骤:(1)根据系统结构构建并发系统的离散Petri网模型;(2)根据所得的离散Petri网模型,为每个变迁分配一个实施速率,从而构建对应的连...
丁佐华周远
文献传递
自适应软件系统的建模与验证
自适应软件系统能够根据自身需求和环境的变化自动改变自己的行为。此时,在软件运行时,运行环境的变化将产生新的需求,而传统软件模型是对固定的需求进行建模,因此它无法适应这些新的需求。我们必须对自适应软件建立新的模型,它们能够...
周远
关键词:切换模糊系统形式化建模
文献传递
共1页<1>
聚类工具0