基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

聚碳硅烷纤维成形过程的稳定性研究

通过改变不同的熔融纺丝工艺研究了聚碳硅烷纤维熔融纺丝时纺丝稳定性的影响因素。研究表明:提高介质温度到180～200℃、采用向下的环形吹风、控制成形区气流的大小与流向、纺程控制在90cm左右、加强集束与控制外部条件的稳定性等有利于提高纺丝稳定性。     

《海军工程大学学报》征稿简则

《海军工程大学学报》是由海军工程大学主办的学术类科技期刊,双月刊,公开发行,为《中国权威学术期刊》《中国科技核心期刊》《中文综合性科学技术类核心期刊》,除被国内主要数据库收录外,还被美国     

侵彻靶板过程中刚体过载特征提取方法

针对引信动态环境非常复杂各种振动非常丰富,侵彻加速度信号含有许多瞬变成分,是非平稳时变信号,采用局部均值分解算法自适应的对侵彻加速度信号进行分解,从而提取加速度信号刚体过载特征和加速度信号频率分布特性,有效准确地对信号机理进行分析.为了使得侵彻特征更加明显,利用半正弦波形作为匹配波形,采用匹配相关算法得到侵彻过程层穿越的特征信号,更有效实时地进行层识别或者空穴识别.     

《海军工程大学学报》征稿简则

《海军工程大学学报》是由海军工程大学主办的学术类科技期刊,双月刊,公开发行,为《中国权威学术期刊》《中国科技核心期刊》《中文综合性科学技术类核心期刊》,除被国内主要数据库收录外,还被美国《化学文摘》、美国《剑桥科学文摘》、英国《科学文摘》、日本《科学技术文献速报》等国际检索机构收录。主要刊载本校在船舶与海洋工程、动力工程与工程热物     

Dirac方程组的解与R3,1中具有平行平均曲率向量场的类时曲面

在研究R3,1中具有平行平均曲率向量场的类时曲面的局部性质时,研究它的分类以及构造曲面的方法是其中的重要部分。探讨通过Dirac方程组的解或一个可积系统的解来构造R3,1中这类曲面的方法。     

舰艇编队综合作战能力评估的模糊聚类分析

评估舰艇编队综合作战能力强弱的模糊聚类分析涉及编队对海作战能力、编队反潜作战能力、编队防空作战能力、编队电子战能力、编队指挥控制能力和编队战场适应能力等因素.以若干舰艇编队为研究对象,对因素指标进行标准量化.据标准化数据用指数相似系数法计算样本间的相似关系,最后根据各样本与基准样本相聚类或分离进行量化分析,判断各舰艇编队综合作战能力的强弱次序.     

对数正态分布的维修时间均值检验方法

针对许多装备维修时间服从或近似服从对数正态分布,从对数方差已知或未知两种角度,在控制单方或双方风险的基础上,提出了维修时间均值的检验方法,并通过实例验证了检验方法的实用性。     

多源信息的验前分布融合方法研究

验前分布的获取和表示是B ayes理论应用中的一个关键问题。针对目前多源验前信息融合中存在的过分依赖专家信息的问题,提出了一种基于第2类极大似然估计原理(M L-II)确定验前分布权重的方法,该方法将现场试验数据看作是由其边缘分布产生的样本,然后根据不同验前分布下现场样本似然性的大小来确定其在验前分布融合中的作用,并以此进一步确定不同验前分布的权重因子。最后通过算例证明了该方法比基于专家信息的融合方法更为合理和有效。     

基于互冲突量和自冲突量分析的证据聚类方法

从证据自身的描述形式出发,充分利用证据之间的冲突程度,对证据的聚类问题进行系统的分析。在对证据互冲突量和自冲突量进行详细定义的基础上,建立了证据聚类准则,进而提出了基于互冲突量和自冲突量的证据聚类方法。该方法具有良好的处理效果,且计算复杂度小,便于编程实现,是一种简便实用的快速聚类方法。实例验证了方法的有效性和可行性。