从发展历程的回顾出发,结合当前技术趋势,分析了后续运载火箭电气系统的集成设计思路,提出了以箭上云为特征的新型运载火箭综合电子系统设计构想,阐述了箭上云的概念与内涵,展望了技术发展方向与未来的应用场景.以箭上云为特征的体系架构能够满足下一代运载火箭电气系统使用需求,支撑后续智能飞行、智能协同的扩展,提升运载火箭的使用效能及智能水平.

作为嵌入式软件领域的一个重要发展方向,基于模型驱动的软件开发方法越来越受到开发人员重视.SCADE作为一种较为成熟的模型驱动开发工具,已得到了一定的应用,但其是否对各种建模场景均适用还有待研究.本文对利用SCADE建立图像处理算法模型进行了尝试,针对Sobel算法,设计了正确的算法模型,并对模型进行分析,总结了相应的优化方案.经过实验验证,优化方案可有效地提升程序执行效率.

如今人们对信息的需求越来越广泛,知识也逐渐成为企业竞争的资本.企业虽有丰富的知识储备,但大部分分散在个人电脑和头脑里,缺乏有效的管理,导致员工获取知识难,知识复用率低.如何从多个领域获取信息与数据,并对其进行整合成为需要解决的一个重要问题.因此,越来越多的企业选择建立自己的知识管理系统,这对于提高工作效率、缩短产品设计和开发周期、提升企业竞争力具有重要意义.

随着科技的进步,航天领域产生、存在着大量的信息,如文档、代码、案例、多媒体等.如何管理这些信息并使之为正常的工作服务就成为了现实中面临的一个问题.为了解决该问题,知识组织应运而生,它的目标是管理相关领域的信息,并分析总结成为知识,以便满足工作人员的需要.知识组织的主要任务是要对企业级的知识资源进行全面和充分的开发以及有效的利用,充分获取、生产、传播和保存,利用集体智慧实现知识创新,获取行业竞争优势.因为传统的知识组织方法缺乏统一的知识模型,容易造成用户的误解,而存储形式的不同也不利于知识的共享和交流,影响了查全率和查准率.为了解决这些问题,将本体引入知识组织中,基于本体的知识组织是提高知识共享性、互操作性、可维护性和可复用性的一个有效途径.

提出了应用工作流逻辑网（WL N et）进行软件安全性分析的新方法。介绍了运用WL N et对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL N et结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL N et能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。