一种基于组合覆盖的黑盒测试用例自动生成方法

给出了一种黑盒测试用例的自动生成方法,该方法基于组合覆盖测试,能够在保证测试质量的同时有效地减少测试用例的数目和测试成本,提高测试效率。本文给出了这种用例生成方法的算法,说明了其有效性,并介绍了该方法软件原型的实现。     

基于自适应连续蚁群算法的卫星星座设计(英文)

蚁群算法是一种解决多变量问题的新型启发式仿生算法。本文分析了卫星对地面的覆盖条件,提出用——/(n 1)重覆盖率来评价星座的覆盖性能,建立了以覆盖性能为目标函数的卫星星座参数优化模型。采用蚁群算法对卫星星座参数进行优化,为星座优化问题提供了一种新方法。在连续蚁群算法的基础上对算法进行改进,提出蚂蚁种群数量的自适应准则,有效的提高了搜索范围与收敛速度。通过仿真表明,与其他方法相比,蚁群算法在星座参数优化有着明显的效率。     

基于DO一178B的结构覆盖分析研究

结构覆盖分析（SCA）是基于DO一178B的软件验证的重要组成部分。由于DO一178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以及对DO一178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法。在多个软件国际合作项目中的实际应用表明,的研究成果满足DO一178B结构覆盖分析的要求。     

全覆盖气膜孔阵列方式对冷却特性的影响

运用标准k-ε湍流模型对不同吹风比下正菱形、长菱形和超长菱形三种气膜孔阵列方式的多孔全覆盖气膜冷却的气膜出流流场特性、气膜绝热冷却效率和气膜综合冷却效率进行了数值模拟对比研究.结果表明:气膜孔阵列超长菱形排布是较优的排布方案,在该排布方式下,气膜出流向主流的穿透相对较弱,气膜沿展向的覆盖率也较高,因而气膜绝热冷却效率相对最高;气膜孔排布方式对气膜综合冷却效率的影响规律与气膜绝热冷却效率的基本一致,超长菱形排布仍然是较优的排布方案.      

高分子纳和合材料研究进展

综述了高分子纳米复合材料的发展研究现状,将高分子纳米复合材料的制备方法四大类：纳米单元与高分子直接共混（内含纳米单元的制备及其表面改性方法）;在高分子基体中原位生成纳米单元;在纳米单元存在下单体分子原位聚合生成高分子及纳米单元和高分子同时生成。介绍了高分子纲伙复合材料的表征技术及其应用前景。     

高分子纳米复合材料研究进展(II)--高分子纳米复合材料的结构和性能

综述了高分子纳米复合材料的发展研究现状,包括纳米粒子的结构和性能,及其在聚合物基体中聚集形成高次结构的特征和协同性能     

EEA树脂形状记忆特性工艺参数的研究

通过对以过氧化二异丙苯（ＤＣＰ）为交联剂的乙烯－丙烯酸乙酯共聚物（ＥＥＡ）体系的研究，发现交联时间、拉伸时间等６项因素对形状回复率产生很大的影响。形状记忆高分子（ＳＭＰ）是一种新型 的功能高分子材料，在航空、机械、化工、建筑等领域具有广泛的用途。ＳＭＰ在一定的条件下成形出某种形状的制件后，可再次成形得到第二种形状的制件，在加热等外部刺激手段下制件形状可以回复到初始形状，即高分子“记忆”着原先形状。与形状记忆合金（ＳＭＡ）相比，ＳＭＰ不仅具有变形量大、易加工、形状响应温度便于调整，保温、绝缘性能好…     

英DMC-2卫星将于2008年提供更高分辨率成像服务

据报道，英国DMC国际成像公司计划于2008年发射一颗高清光学成像卫星（DMC-2），利用直接的下行链路，向地面用户提供持续的陆地级成像。DMC-2卫星是一低成本地球观测（EO）卫星，质量仅120kg，将携带一较高分辨率（22m）的DMC成像仪，成像仪成像范围660km。该增强型微卫星具有频繁的广域覆盖能力，可每日回访、持续成像，并实时向地面站传输数据。     

新型耐温导电性高分子复合材料的研究

酚酞型聚芳醚砜是一种高性能工程塑料,由它与碳纤维和炭黑复合制成的导电复合材料具有优良的导电性能和耐热性能。本文对这种复合材料的组成与电阻率关系、阻温关系、伏安特性及电热特性等基本的电学性能进行了探讨。     

浅谈DO-178C中附加代码验证目标的实现

DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。