您的位置: 专家智库 > >

国家高技术研究发展计划(2007AA01Z189)

作品数:4 被引量:4H指数:1
相关作者:马艳芳陈仪香张敏李海芬汤银才更多>>
相关机构:华东师范大学淮北师范大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金安徽省高校省级自然科学研究项目更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 2篇理学

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇互模拟
  • 1篇加速寿命试验
  • 1篇恒加寿命试验
  • 1篇半拓扑
  • 1篇贝叶斯分析
  • 1篇RESEAR...
  • 1篇WEB_SE...
  • 1篇ATION
  • 1篇BAYES方...
  • 1篇DOMAIN...
  • 1篇GIBBS抽...
  • 1篇MARKOV...
  • 1篇MECHAN...
  • 1篇MULTI-...

机构

  • 3篇华东师范大学
  • 1篇淮北师范大学

作者

  • 2篇陈仪香
  • 2篇马艳芳
  • 1篇张敏
  • 1篇汤银才
  • 1篇李海芬

传媒

  • 1篇模糊系统与数...
  • 1篇系统科学与数...
  • 1篇山东大学学报...
  • 1篇High T...

年份

  • 3篇2011
  • 1篇2009
4 条 记 录,以下是 1-4
排序方式:
完全相容稳定模糊谓词转换器
2009年
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。
马艳芳陈仪香
关键词:DOMAIN理论半拓扑
Research and implementation on multi-dimension trust evaluation method with web service
2011年
Integrating with practical e-commerce application, this paper introduces a novel multi-dimension evaluation method to depict and calculate the trust values. The multi-dimension evaluation metrics include functional and nonfunctional properties and corresponding weights. The continuous measurement values and the Markov chain mechanism are adopted to compute the trust value and detect the malicious behaviors. The current evaluation has larger influence factor on the next transaction behavior. A trust model is implemented with web service which consists of publication, filtrating, calculating and storage center. It is easily extended and the user only defines each property and its weights according to specific requirements, then the trust values are got. In order to conveniently manage and avoid the dead-lock, some constraint rules are proposed. The results show that the method based on multi-dimension can reflect objectively the dynamic change of trust values.
Mao HongyanQi Zhengwei
对数稳定分布加速寿命试验的贝叶斯分析被引量:1
2011年
对数稳定分布与对数正态分布相比具有厚尾等良好的特性,由于没有显式的密度函数,其参数估计有一定的困难.运用Gibbs抽样方法给出了对数稳定分布的Bayes参数估计,与对数正态分布参数估计进行了比较,并应用到恒加寿命试验数据的分析中.模拟研究说明了该方法的有效性,对数稳定分布作为新的寿命分布是合适的.
李海芬汤银才
关键词:BAYES方法恒加寿命试验GIBBS抽样
基于环境的软件正确性形式化描述被引量:3
2011年
软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。
马艳芳张敏陈仪香
关键词:形式化
共1页<1>
聚类工具0