基于OWL-S的测试用例生成

提出了一种基于OWL-S(OWL Web Ontology Language for Services)需求模型的测试用例自动生成方法,针对被测系统需求特性产生测试用例,以提高Web服务系统交互测试的自动化程度和效率.测试用例的生成通过3个步骤完成:①对需求特性进行分析,获取与需求特性相关的具体事件集的集合;②对OWL-S描述的应用流程进行搜索,寻找所有与需求特性相关的测试路径;③对测试路径上相关原子过程的IOPE(Inputs,Outputs,Preconditions and Effects)属性及路径条件进行分析,产生相应的测试用例.以金融行业ATM(Automated Teller Machine)示例系统为例对本方法进行了验证,结果表明本方法按要求产生了与需求特性相关的测试用例,覆盖了所有给定的需求特性公式,并有效的检测出被测系统中存在的错误.      

一种低轨道卫星服务区域分配的优化算法

在提供Internet和其他通信服务方面,能够覆盖全球的低轨道卫星网络正变得愈加重要。如何根据地面业务的时空分布不均来设计合理、高效的卫星服务区域分配机制是一个重要的挑战。文章分析了传统机制下卫星网络承载能力和业务分布之间的失配问题,提出了服务区域分配优化问题的数学模型,并据此设计了一种星上实时算法。仿真结果表明,采用该算法后卫星网络业务分配不均衡程度有所减轻,阻塞概率大大降低,网络性能和容量得到了明显改善。     

基于主题模型的结构化Web服务发现机制

提出了基于主题模型(topic model)的结构化Web服务发现机制.利用LDA(Latent Dirichlet Allocation)生成概率模型,将Web服务(Web service)建模为结构化文本文档.一个文档视作主题的概率分布,主题又由关键词的概率分布组成,从而提供基于主题的Web服务检索.同时,利用Web服务的结构化特性,将Web服务描述文档表示为有向无环图,利用n阶谱核测量Web服务文档的相似度,实现Web服务结构化信息的发现.通过实验分析对比,基于主题模型的结构化Web服务发现机制有效提高了Web服务发现的效率和精确率.      

基于Web2.0的区域性服务型网络社区研究

文章阐述了基于Web2.0的社区型网络服务(SNS)功能与技术的有关研究,在此基础上探讨了基于Wiki与SNS相结合的区域性综合服务型网络社区的发展优势,并给出了设计基本框架。     

航空镉镍蓄电池可靠性初步预计探讨

在国外文献对空间蓄电池可靠性预计模型分析的基础上，采用相似分析法引起航空镉镍蓄电池的可靠性初步预计模型，计算方法及简化手段，以便于同类镉镍电池的可靠性初步设计。     

Modularity,reconfigurability, and autonomy for the future in spacecraft: A review

The shape of a spacecraft is transitioning from monolithic, manual, and static to modular, autonomous, and dynamic. Modular Reconfigurable Spacecrafts (MRSs) offer better solutions than traditional monolithic spacecrafts in several aspects, and may become the next generation of spacecraft systems with efficient design, fast deployment, flexible application, and convenient management. This paper reviews the development and technology of MRS from three aspects: Modularity, reconfigurability, and autonomy. Despite the progress of research on MRS, there is still a lack of unified standards and little understanding of related concepts. Based on the understanding of basic concepts, the studies conducted on MRS are reviewed to identify technical requirements and solutions. Aiming at the future development trend of MRS, a novel modular self-reconfigurable spacecraft, referred to as MagicSat, is proposed. Furthermore, the MagicSat system composition, advantages, and application prospects are studied. The enabling technologies and major challenges of MRS are further analyzed in terms of modularization, integrated management, and self-reconfiguration technologies. Finally, the future development trend of MRS technology is predicted, and corresponding suggestions are provided.     

Comprehensive performance review of BDS-3 after one-year official operation

On July 31, 2020, the third generation BeiDou Global Satellite Navigation System (BDS-3) was officially put into service. Here we first reviewed the development history of BDS-3, and described the status of BDS-3 constellation, satellite signals, and ground tracking network. Then we expounded the 10 innovations in which BDS-3 differs from the other global satellite navigation systems. In addition, the latest service performance status of BDS-3 was displayed from a comprehensive perspective. The performance of BDS-3 was analyzed and evaluated from five aspects: constellation performance, observation data quality, spatial signal performance, PNT (Positioning, Navigation, and Timing) service performance, and precision positioning application. We used 14 indices to conduct comprehensive assessment of the BDS-3 service performance. Finally, the main direction of the next development of BDS was prospected.