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

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

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

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

财政部、工信部公示支持34个工业转型升级公共服务平台项目

财政部、工信部近日联合发布公告,公示2012年拟支持公共服务平台项目名单。超深亚微米ESL软硬件协同设计实现平台等34个转型升级公共服务平台榜上有名。     

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

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

潜水兵的“铁人三项”

在东海之滨,驻守着一支水下劲旅。他们常年与水中的鱼儿为伴,和海底的泥沙为伍,他们的名字叫"潜水兵"。部说,宁上山,莫下海。然而,他们却说:"我们的水下生活其实也很有趣。"     

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

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

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

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

兵团传统不能丢

作为一名长期工作生活在团场基层一线的政工人员,我在与职工群众的交流中发现,兵团老一辈留下来的一些好传统已渐渐远离了我们,这让笔者感到困惑和遗憾。以往,土地承包到个人,农忙时,大部分职工会采用互相换工、互相帮忙的形式完成田间作业。而如今,仅40亩身份地却要当"老板",花钱雇工的现象比比皆是,不仅增加了承     

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

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

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

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