软件可靠性的Markov链Bayes指数模型

在充分地考虑了软件排错过程特点的基础上,将JM模型中"完全排错"的假设改为不完全排错",使之更符合实际.给出了Markov链的Bayes指数模型.利用Gibbs抽样法给出参数的Bayes估计的计算方法,以及预测分布和平均故障间隔的时间长度计算公式.

PearsonⅦ型分布均值参数置信估计的改进

为提高PearsonⅦ型分布均值参数估计的精度,构造一个以θ的改进估计δα(X)为中心的置信估计Cδα,通过比较Cδα与通常的置信估计C0X的体积和覆盖率,证明了Cδα与C0X的体积相等但Cδα的覆盖率高于C0X,从而得到Cδα优于C0X的结论.

基于机器学习的SAR图像目标识别方法研究

为了提高SAR(合成孔径雷达)图像的目标识别能力,提出基于机器学习的目标识别技术。该技术以马尔可夫网络为体系,从大量的例子中学习并获得网络参数,利用贝叶斯信任传播机制为原图像找到理想的后验概率,从而生成一个边缘信息丰富的结果图。

一类大系统模糊随机多目标决策的建模与求解方法

本文提出和建立了一类大系统模糊随机多目标决策（ＦＳＭＯＤＭ）模型，讨论了模糊事件的模糊概率的若干基本性质．在此基础上，将ＦＳＭＯＤＭ模型转化为清晰的多目标决策模型，并给出了递阶分解协调求解方法．把该模型应用到大连市水资源与经济发展规划研究中取得了令人满意的结果．

关于A-拓扑的2x一些基数函数

本文赋予超空间2X一种新的拓扑(A-拓扑),证明了此空间的一些基数函数不等式的成立,从而推广了文[1]的一些结果。

大连商品交易所市场有效性检验

成熟的社会主义市场经济需要规范和完善的商品期货市场。只有规范和完善的市场，它才能起到分散风险、稳定现货市场、价格发现、套期保值等作用。市场规范和完善是市场有效的基础，市场有效是市场规范和完善的体现。因而，评价一个市场是否规范、成熟，是否有利于经济的发展，市场是否有效是一个重要标志。美、英等国的实证研究表明，它们的期货市场是弱型有效市场。本文从市场有效性这个侧面，对大连商品交易所的市场走势用实证方法进行研究，反映我国商品期货市场的现状及其在市场经济发展中所起的作用，以期为政府制定规范发展期货市场的政策。

指数分布族均值参数置信估计的改进

本文为提高p≥ 3的指数分布族均值参数置信估计的精度 ,构造了一个以θ的改进估计δa (X)为中心的置信估计Cδa ,通过比较Cδa 与通常的置信估计C0X 的体积和覆盖率 ,证明了Cδa 与C0X 的体积相同 ,但Cδa 的覆盖率高于C0X,从而得到Cδa 优于C0X

软件系统序贯验后加权检验模型

本文用Bayes动态模型检验软件可靠性.模型失效间隔时间长度服从Weibull分布;利用主观信息和客观信息逐步修正先验分布.利用Gibb方法计算后验样本,利用序贯验后加权检验系统的稳定性和失效率.最后在系统稳定的条件下,给出失效率的序贯验后加权的结尾检验的两类错误上界.