组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

面向路径的测试数据自动生成工具设计与实现

面向路径的测试数据生成问题是软件测试中一个基本问题.采用遗传算法作为数据优化搜索策略,设计并实现了一个而向路径的测试数据自动生成工具PTDAG,同时对实现过程中的程序插装及驱动程序的编写规则等关键技术进行了分析.实验结果表明,PTDAG在源代码进行捕装后,通过模拟对方法的实际调用产生了一组测试数据,完成一组目标路径的测试数据的自动生成,还可以针对某一条具体的日标路径,得到一个相虚的优化测试数据.     

新型月地空间运输平台概念设计

随着宇航技术的不断发展,月球探索将成为人类的重要活动,地月之间的旅行将变得越来越频繁.但是,目前探索月球的太空旅行费用相当高昂.提出了一种旨在降低地月往返运输成本的新型空间投射-拦截平台概念.它是空间绳系系统、储能系统和空间站系统概念的有机结合.利用该系统有望将现有空间探索能耗水平降低至少一个数量级.阐述了这种新系统的优势及可能遇到的关键技术问题,并初步分析了新系统的可行性.     

文献A Successful Strategy for Satellite Development and Testing点评

文章对美国在1998-2002年执行"快,好,省"采购改革方案期间航天器故障率上升146%的3个原因进行了分析与点评.这3个原因包括:对标准、规范严格遵循的意识下降;航天元器件复合度激增;系统工程管理失控.文章对抑制故障率上升的对策进行归纳,其中最重要的一条是:卫星研制工作必须严谨,一丝不苟地按照相关标准进行(环境)试验.     

空间站信息系统仿真验证平台设计

对空间站信息系统仿真验证平台的设计进行了研究。介绍了信息系统组成架构和工作原理,设计了仿真验证平台方案。给出了总线管理调度及数据融合仿真、高速以太网功能与性能验证、WIFI无线通信仿真验证、基于新架构的数字化仿真,以及信息系统联合仿真的内容、方案和结果。     

带缘板阻尼块涡轮叶片减振特性研究

以某型带缘板阻尼块涡轮叶片为对象,采用二维整体-局部统一滑动模型,编制涡轮叶片振动响应分析程序。在此基础上系统地计算不同参数时带缘板阻尼块叶片的振动响应,分析了正压力、外激励对减振效果的影响。算例分析表明:同一外激励下,存在一最佳正压力可以使系统减振效果比较好;正压力不变时,外激励幅值大小的变化对叶片减振效果有较大影响;另外阻尼块对叶片起到调频作用。     

基于BM3803的1553B总线通信软件设计

在某卫星地面检测设备中使用BM3803处理器来模拟卫星中的总线控制端对远程终端进行检测,构建了比传统的Windows+1553B_PCI板卡方案实时性更强的卫星数据仿真平台。首先向BM3803移植了实时操作系统μC/OS II,设计了适用于BM3803的板级支持包,保证了软件的可在轨更新和任务的实时性,确定了用户任务与硬件高度分离的软件结构。在设计μC/OS II的用户任务时,充分利用BM3803和B61580的校验功能,提高了软件的可靠性。最后令本设计和Windows+1553B_PCI板卡方案完成相同的用户任务,对比可得本设计有更好的实时性,可满足卫星高层通信协议对实时性的要求。     

空间碎片材料检测技术研究

为了对空间碎片材料的成分进行快速检测,分析了空间碎片的来源和构成,并对空间碎片主要成分的国内外检测技术手段进行了详细对比,采用了一种基于LIBS的网络化空间碎片检测方案。该方案具有分析速度快、测量精度和灵敏度高、可多元素同时测量、空间适应性好且无需样品预处理等特点,同时可实现检测流程全自动化和多线程化。     

高空平台通信系统中基于预测的小区切换算法

在平流层的环境中,高空平台(HAPS)的扰动特性严重影响了通信系统的小区切换性能。在平台扰动和终端移动的场景中,基于固定门限的切换算法容易增加不必要的切换次数,切换性能较差。建立HAPS覆盖模型,用户终端根据其速度动态选择切换检测周期,提出基于接收信号强度差分最小均方预测的自适应切换算法,推导了无线链路失败率的上限。仿真结果表明,相比传统固定门限的切换算法,本文算法有效降低了不必要的切换,同时还可将无线链路失败率控制在1%以下,能够适应多种通信场景。     

卫星平台运动对高分辨率光学遥感成像系统影响分析

在高分辨率光学遥感成像过程中,卫星平台的不稳定性将影响相机成像质量。针对该问题,在分析动态降质机理的基础上分别就面阵凝视模式、线阵推扫模式及时间延迟积分（TimeDelayandIntegration,TDI）推扫模式提出了相应的动态成像仿真模型,以此模拟不同情况下的退化结果。以高分辨率遥感相机为对象,开展多种情况下的仿真试验分析。结果表明,同等平台运动条件下,TDI推扫模式下的图像质量下降更明显;分辨率越高,像质对平台振动的响应灵敏度越高。最后结合仿真模型及图像评价参量,建立起空间分辨率与平台颤振指标之间的关系,给出不同空间分辨率下的平台运动误差阈值,为平台振动抑制和补偿提供约束条件。