基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

卫星综合电子系统现状和发展建议

文章首先总结了国内外卫星综合电子系统现状和发展趋势,在充分分析我国航天器对综合电子系统的需求的基础上,提出了我国卫星综合电子系统的发展思路。     

导管弯曲加工工艺规划研究

根据导管结构特点,对导管弯曲加工工艺规划进行了较全面的研究,分析了工艺规划的内容和结构并建立了工艺信息模型。同时,为方便工艺员的设计工作,提出多模式工艺规划,如交互式和检索式工艺规划等。当设计结果存在多种工艺方案时,引入多目标层次分析法和模糊综合评判法,对多种工艺方案进行评价选优。     

大力推进产品化工作 打好火箭百发批产基础

以运载火箭百发批产为契机,在分析产品化工作的目的与意义及产品特点的基础上,开展了产品化工作"十二五"综合策划,提出了产品化工作推进方式、思路和步骤,总结了产品化工作取得的成效,阐述了推进产品化工作面临的风险以及应采取的对策。     

组织管理的系统思维

系统是由相互关联的元素组成的整体。系统思维(Systems Thinking)是一种以整体观点观察事物的方式。基于工程原理和法则的定量化模型方法在管理领域的应用,因为人的动机和行为的复杂性而受到了限制。综合集成是具有系统思维的管理者对现实问题的不同诠释,是认识和解决管理复杂性问题的有效方法。     

欧洲发射星上自主项目-2卫星

“星上自主项目”（PROBA）卫星系列属于欧洲航天局（ESA）的技术验证计划,资金来自通用支持技术计划（GSTP）。该系列卫星是小型、低成本卫星,用于验证新的航天器技术、研究技术、研发方法,同时还可携带科学有效载荷。     

层次分析法在仿真系统可信度评估中的应用

以某仿真试验验证系统为例,在仿真试验验证系统VV&A 工作的基础上,运用层次分析法（A HP）对仿真试验验证系统的可信度进行了评估,得到了量化的可信度评估结果。该方法直观、条理性强、切实可行,具有一定的实际应用价值。     

飞行综合控制系统空战决策方法

控制决策方法是飞机综合控制系统根据空战对策状态、双方的运动及性能参数等信息产生出机动策略的一种数学方法,是飞机综合控制系统决策层数学模型的重要组成。以空战攻防力学准则建立起的捕获临界条件作为评价函数,采用矩阵博弈数学方法求出离散化机动策略。主要内容：相对运动方程的建立;矩阵博弈策略算法;评价函数的建立等。     

无须模板的阵列天线方向图综合设计方法

阵列天线方向图综合通常须选择适当的方向图模板。然而,目前还没有方向图模板选择方案的研究,因此无法保证现有模板的合理性。为避免所预设的方向图模板不可行,本文提出以最小化旁瓣最大值与主瓣最小值的比值为准则,构建方向图综合优化设计问题。该问题的不等式约束是非凸且耦合的。采用罚函数法将不等式约束引入目标函数中,然后设计一个光滑函数来逼近并替代目标函数中不可微部分,从而得到原问题的可微逼近问题,最后使用拉格朗日神经网络法求解逼近问题进而得到原问题的近似解。仿真试验验证了本文所提方法的有效性。