国家自然科学基金(90718013)
- 作品数：7 被引量：33H指数：2
- 相关作者：汤银才马艳芳陈仪香吴新星侯道燕更多>>
- 相关机构：华东师范大学淮北师范大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划上海市教育发展基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 跳过程的μ-不变测度-含单瞬时态情形
- 2010年
- μ-不变测度是随机过程中一类重要的测度.首先,本文得到了含有单瞬时态的q-过程存在性定理,并进一步说明了在一些特殊情况下可以只对q-对加条件,定理仍成立.然后,对给了含单瞬时态q-对的μ-不变测度,何时存在q-过程P(t),使得π是P(t)的μ-不变测度的问题进行了讨论研究,并给出了一个充分条件.
- 吴新星
- 关键词：Q-过程瞬时态
- 一种基于软件属性相互影响和重要性的属性权重分配方法被引量：2
- 2016年
- 为了确定可信度量中的属性权重,提出一种新的软件属性权重的分配方法。对软件属性模型进行分层划分属性,引入软件属性互相影响的概念,结合基于属性相互影响和属性重要性的权重分配方法,从两个层次对属性的权重进行综合预测,最后通过实际的例子对软件属性权重进行量化的分析,详细描述了该方法的具体过程。提出的软件属性权重的分配方法是一个通用的方法,对于各种软件可信度量中的属性权重可以进行相应的分析,在可信度量中软件属性权重的确定上有一定的实际意义和作了积极的探索。
- 张俊周勇
- 三参数Weibull分布参数的Bayes估计被引量：26
- 2009年
- 给出了三参数Weibull分布参数Bayes估计的两种方法,其一基于Laplace数值积分法,其二基于Gibbs抽样方法.模拟例子说明了估计方法的有效性.
- 汤银才侯道燕
- 关键词：WEIBULL分布BAYES估计自适应抽样GIBBS抽样
- 退化数据分析的EM算法(英文)被引量：2
- 2010年
- 提出了用EM算法对产品可靠性进行分析.在退化模型中,当随机效应服从指数族分布时,推导了参数估计的一般公式并且通过模拟评价了随机效应分布选取的敏感性.最后分析了两个实际例子.
- 徐安察汤银才
- 关键词：退化数据EM算法
- 完全相容稳定模糊谓词转换器
- 2009年
- 谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。
- 马艳芳陈仪香
- 关键词：DOMAIN理论半拓扑
- 基于环境的软件正确性形式化描述被引量：3
- 2011年
- 软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。
- 马艳芳张敏陈仪香
- 关键词：形式化
- 跳过程的μ-不变测度——含吸收态情形
- 2009年
- 本文对给了全稳定含吸收态的q-对的μ-不变测度,何时存在q-过程P(t),使得π是P(t)的μ-不变测度的问题进行了讨论研究,并给出了两个充要条件.
- 吴新星
- 关键词：Q-过程
