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

作品数：4被引量：4H指数：1
导出分析报告
相关作者：马艳芳陈仪香张敏李海芬汤银才更多>>
相关机构：华东师范大学淮北师范大学更多>>
相关期刊：《模糊系统与数学》《系统科学与数学》《山东大学学报（理学版）》《High Technology Letters》更多>>
相关主题：形式化描述形式化互模拟GIBBS抽样BAYES方法更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Research and implementation on multi-dimension trust evaluation method with web service
《High Technology Letters》2011年第3期252-258,共7页Mao Hongyan Qi Zhengwei 
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 an...
关键词：multi-dimension measurement trusting model Markov chain mechanism web service 
基于环境的软件正确性形式化描述被引量：3
《山东大学学报（理学版）》2011年第9期22-27,共6页马艳芳 张敏 陈仪香 
国家自然科学基金项目(90718013);国家高技术研究发展计划(863计划)资助项目(2007AA01Z189);安徽省高等学校省级自然科学研究重点项目(KJ2011A248);上海市高可信计算重点实验室开放课题研究项目
软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之...
关键词：极限 三分之二互模拟 正确性 形式化 
对数稳定分布加速寿命试验的贝叶斯分析被引量：1
《系统科学与数学》2011年第4期448-457,共10页李海芬 汤银才 
国家科技863计划(2007AA01Z189);国家自然科学基金(90718013;10571057);上海市教育发展基金(2007CG58)资助课题
对数稳定分布与对数正态分布相比具有厚尾等良好的特性,由于没有显式的密度函数,其参数估计有一定的困难.运用Gibbs抽样方法给出了对数稳定分布的Bayes参数估计,与对数正态分布参数估计进行了比较,并应用到恒加寿命试验数据的分析中.模...
关键词：对数稳定分布 BAYES方法 恒加寿命试验 GIBBS抽样 
完全相容稳定模糊谓词转换器
《模糊系统与数学》2009年第6期113-125,共13页马艳芳 陈仪香 
国家自然科学基金资助项目(90718013);科技部高技术研究发展计划资助项目(2007AA01Z189);上海市重点学科基金资助项目(B412)
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完...
关键词：DOMAIN理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部