软件Markov测试的使用链及测试充分性研究

基于有限Markov链理论，形式化的描述了软件统计测试，提出了一种频率计数算法，它能够同时解决软件Markov，测试中存在的两个难题：1．建立精确的使用链(或用户剖面)；2．确定满足测试充分性的最优用例数。算例表明该算法是十分有效的。     

舰载软件在不确定操作剖面下的可靠性评定

针对舰载软件的高可靠性特点讨论了在软件可靠性评估中研究操作剖面不确定性的必要性。在软件分域测试时，建立不确定操作剖面下的软件可靠性评估模型。当测试结果无失效时，利用序求解软件可靠度的精确置信限。对于不确定问题使用网格分析法，将其转化为在确定性问题下进行分析。最后通过实例将本方法得到的结果与文献[6]中方法得到的结果进行比较。     

一种测试性验证数据评估软件的设计研究

针对目前测试性验证数据处理工作繁琐复杂,测试性验证软件相对较少的现状,提出了一个数据处理的新模型,设计了测试性验证数据评估软件,重点对测试性验证试验流程、软件数据处理流程、软件功能设计、数据库设计以及数据抽样技术进行了研究,最后进行了实例分析,结果表明该模型能够用软件实现,并完成测试性验证数据评估,具有一定的实用性和参考价值.     

一种测试性验证数据评估软件的设计研究

针对目前测试性验证数据处理工作繁琐复杂,测试性验证软件相对较少的现状,提出了一个数据处理的新模型,设计了测试性验证数据评估软件,重点对测试性验证试验流程、软件数据处理流程、软件功能设计、数据库设计以及数据抽样技术进行了研究,最后进行了实例分析,结果表明该模型能够用软件实现,并完成测试性验证数据评估,具有一定的实用性和参考价值。     

码头结构应力测试与靠泊能力评估

针对华德石化15万吨级油码头工程实例，依据船舶靠泊和拖轮加载应力测试成果，结合码头结构理论计算，本文对码头结构受力状态进行了分析和研究，并从实测和计算校核两方面论证了该码头提高靠泊能力的可行性。希望该项目对类似的码头改扩建工程有适当的借鉴作用和积极的实践意义。     

测试成熟度模型及其评估算法

测试能力成熟度模型(TMM)是衡量测试过程成熟度的模型。对TMM进行了概述,给出TMM评估模型及其符号表示,用类C语言描述判断测试成熟度等级的算法。     

船舶领域面向对象软件的测试

介绍广义测试的概念,通过对统一模型语言（UML）在面向对象软件生命周期中作用的分析,提出UML辅助面向对象软件进行广义测试的思想,针对面向对象软件的特点,介绍面向对象软件测试层次。     

船舶通信软件的可靠性评估

船舶通信软件的可靠性与多种因素有关,同时具有多种变化特点,当前采用单一方法无法对船舶通信软件的可靠性进行客观、科学评估,导致船舶通信软件的可靠性评估偏差比较大,为了提高船舶通信软件可靠性评估的准确性,设计了基于组合模型的船舶通信软件可靠性评估方法。首先分析船舶通信软件可靠性评估进展,建立船舶通信软件可靠性评估指标,然后采用灰色模型对船舶通信软件可靠性进行评估,并采用多项式神经网络进行船舶通信软件可靠性评估,最后两者的船舶通信软件可靠性评估模型进行科学融合,输出船舶通信软件可靠性评估结果,并进行船舶通信软件可靠性评估仿真分析。组合模型的船舶通信软件可靠性评估正确率要高于单一灰色模型和多项式神经网络的评估正确率,船舶通信软件可靠性评估结果更加客观,为船舶通信软件可靠性研究提供一种新的方法。     

高职院校航海英语测试与评估的现状与对策

摘要：为使全国海船船员英语评估能测试出船员真实的英语运用能力,使培养出的船员能满足STCW公约马尼拉修正案对船员英语能力的要求,从测试的信度和效度出发,分析当前航海英语测试和评估的现状,指出听力与会话评估中存在的问题,并提出解决对策。     

基于多信号模型的舰船电子装备测试性分析和评估

针对舰艇电子装备测试性设计特点,结合一种简单而有效的系统建模表示方法多信号模型,提出采用一种基于多信号模型的舰艇电子装备的测试性分析和评估方法.并以某型舰船电子装备为例,应用TEAMS软件平台,从系统的多信号模型建立、测试性分析和测试性诊断能力评估三个方面介绍了舰船电子装备的测试性分析与评估技术应用,为对舰船电子设备进行测试性设计指标进行评估探索了一种有效的技术途径.     

基于马尔可夫链的港口民营化过程模拟及预测

介绍了目前港口民营化概况,阐述了港口要素构成及特征与民营化目标模式,着重介绍了马尔可夫链的基本原理及其方法与港口民营化微观过程模拟,如何用马尔可夫链进行进口模式演进趋势预测等。     

基于VXI总线的测试软件的软件测试与可靠性评估

随着科学技术的飞速发展,软件的应用越来越广泛,其功能越来越强大,复杂性也越来越高,从而大大增加了软件测试与可靠性评估的难度。当前基于VXI总线的测试软件使用广泛,为保证此类测试软件的质量,有必要针对此类测试软件的软件测试与可靠性评估方法进行专门的研究。     

基于灰色马尔科夫过程的船舶推进轴系可靠性分析

为了对船舶推进轴系进行可靠性评估,提出了基于灰色马尔科夫过程的船舶推进轴系可靠性评估模型。该方法将船舶推进轴系分为若干个子系统,根据各个子系统在不同状态下的统计数据,将马尔科夫过程与灰色系统理论相结合,建立了船舶推进轴系可靠性评估模型。通过对实际船舶推进轴系可靠性指标的计算和对比,验证了该模型的正确性,从而为制定船舶推进轴系的维修策略提供了理论支持。     

Cantor 型非齐次马氏链强极限定理的研究

研究了对任意Cantor型非齐次马氏链普遍成立的一类强大数定理。证明中利用条件期望以及马氏性的概念,采用测度的网微分法并运用纯分析运算得出结论。作为推论,得到随机变量序列已有的经典强大数定律以及对任意随机变量序列普遍成立的强大数定律。     

关于Bethe树上马氏链场普遍成立的一类强律

研究了Bethe树TB,2上马氏链场普遍成立的强极限定理。作为推论得到了TB,2树上状态频率和状态序偶频率的一类强极限定理。推广了已有的一些结论。证明中采用了一种研究马尔可夫链场的较新颖的分析方法。     

基于马尔可夫决策过程的火力目标匹配模型研究

通过分析了马尔可夫决策过程应用于火力目标匹配的可行性,建立了基于马尔可夫决策过程的火力目标匹配模型,并通过具体例子进行计算、分析和评估,证明了该决策过程的科学性和可行性。     

基于马尔可夫过程的舵机控制系统可靠性分析

应用马尔可夫过程对船舶液压舵机控制系统可靠性数学模型进行建模,并通过元器件计数法计算出各个组件的失效率,得出舵机自动控制系统的可用度,为获得系统的可靠性和故障诊断提供参考。     

某型军用电子产品的可靠性强化试验

以某型军用电子产品的可靠性强化试验(HALT)为研究对象,分析了传统可靠性环境模拟试验的弊端,介绍了可靠性强化试验的特性、目的、优点及发展现状,通过实际的可靠性强化试验阐述了试验剖面设计及被试验产品工作极限的确定方法,并给出试验结论,为同类产品的可靠性设计提供了依据。