国家自然科学基金(90718013)

作品数：7被引量：29H指数：2
导出分析报告
相关作者：汤银才马艳芳陈仪香吴新星侯道燕更多>>
相关机构：华东师范大学淮北师范大学更多>>
相关期刊：《应用概率统计》《华东师范大学学报（自然科学版）》《模糊系统与数学》《系统科学与数学》更多>>
相关主题：Q-过程跳过程QGIBBS抽样WEIBULL分布更多>>
相关领域：理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于软件属性相互影响和重要性的属性权重分配方法被引量：2
《计算机应用研究》2016年第5期1390-1394,共5页张俊 周勇 
国家自然科学基金资助项目(90718013)
为了确定可信度量中的属性权重,提出一种新的软件属性权重的分配方法。对软件属性模型进行分层划分属性,引入软件属性互相影响的概念,结合基于属性相互影响和属性重要性的权重分配方法,从两个层次对属性的权重进行综合预测,最后通过实...
关键词：软件可信性 软件属性 可信属性模型 权重分配 权重影响 
基于环境的软件正确性形式化描述被引量：3
《山东大学学报（理学版）》2011年第9期22-27,共6页马艳芳 张敏 陈仪香 
国家自然科学基金项目(90718013);国家高技术研究发展计划(863计划)资助项目(2007AA01Z189);安徽省高等学校省级自然科学研究重点项目(KJ2011A248);上海市高可信计算重点实验室开放课题研究项目
软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之...
关键词：极限 三分之二互模拟 正确性 形式化 
退化数据分析的EM算法(英文)被引量：2
《华东师范大学学报（自然科学版）》2010年第5期38-48,共11页徐安察 汤银才 
国家自然科学基金(10571057,90718013);华东师范大学2010年优秀博士培养基金(2010049)
提出了用EM算法对产品可靠性进行分析.在退化模型中,当随机效应服从指数族分布时,推导了参数估计的一般公式并且通过模拟评价了随机效应分布选取的敏感性.最后分析了两个实际例子.
关键词：退化数据 随机效应 EM算法 
跳过程的μ-不变测度-含单瞬时态情形
《应用数学学报》2010年第1期26-37,共12页吴新星 
国家自然科学基金(No.90718013)资助项目
μ-不变测度是随机过程中一类重要的测度.首先,本文得到了含有单瞬时态的q-过程存在性定理,并进一步说明了在一些特殊情况下可以只对q-对加条件,定理仍成立.然后,对给了含单瞬时态q-对的μ-不变测度,何时存在q-过程P(t),使得π是P(t)的...
关键词：q-对 Q-过程 瞬时态 μ-不变测度 
完全相容稳定模糊谓词转换器
《模糊系统与数学》2009年第6期113-125,共13页马艳芳 陈仪香 
国家自然科学基金资助项目(90718013);科技部高技术研究发展计划资助项目(2007AA01Z189);上海市重点学科基金资助项目(B412)
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完...
关键词：DOMAIN理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器 
跳过程的μ-不变测度——含吸收态情形
《应用概率统计》2009年第6期649-658,共10页吴新星 
国家自然科学基金项目(90718013)资助
本文对给了全稳定含吸收态的q-对的μ-不变测度,何时存在q-过程P(t),使得π是P(t)的μ-不变测度的问题进行了讨论研究,并给出了两个充要条件.
关键词：q-对 Q-过程 μ-不变测度 吸收态 
三参数Weibull分布参数的Bayes估计被引量：22
《系统科学与数学》2009年第1期109-115,共7页汤银才 侯道燕 
国家自然科学基金项目(10571057);国家自然科学基金重大基础研究项目(90718013);国家高科技研究发展计划(863计划)项目;上海市教育发展基金会项目(2007CG58)资助课题
给出了三参数Weibull分布参数Bayes估计的两种方法,其一基于Laplace数值积分法,其二基于Gibbs抽样方法.模拟例子说明了估计方法的有效性.
关键词：WEIBULL分布 Laplace方法 BAYES估计 自适应抽样 GIBBS抽样 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部