基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

针对多个地球静止轨道目标的巡游轨道设计

运行在螺旋巡游轨道上的航天器无需施加控制力就可以长期巡游在指定轨道附近,利用该特点,克服地基目标监视系统的不足,可提高空间目标监视能力.在现有的设计基础之上,改进对地球静止轨道多个目标螺旋巡游轨道的初始轨道设计;通过施加控制提出两种可以对地球静止轨道上多个目标进行绕飞观测的螺旋巡游轨道设计;通过仿真验证,对比二者各自的优势.     

陕西省高校教学名师奖获得者——壮志剑副教授简介

壮志剑,男,1964年出生,西安航空技术高等专科学校计算机工程系教师。1986年毕业于西北工业大学计算机科学系计算机软件专业,副教授,陕西省教学名师,"数据库应用"国家级精品课程负责人。在教学工作方面,壮志剑同志自1986年以来,一直在教学一线从事教     

基于标定场的激光雷达两步标定方法

针对激光雷达大测量范围高精度测角测距问题,提出一种基于标定场的激光雷达两步标定方法.该方法在分析激光雷达测角误差和测距误差的基础上,提出激光雷达误差修正模型.该模型将距离修正从标定模型中分离,首先利用靶标场完成全视场的角度标定,并确定其外部参数,再利用基线场实现距离标定.以降低距离标定参数与角度标定参数之间的耦合性,保证激光雷达角度和距离标定的精度和准确度.实验结果表明方法合理有效,能够实现激光雷达的高精度标定.     

《航天标准化》征稿与征订启事

《航天标准化》,反映航天高科技成果及其应用标准化的综合性科技期刊,面向国内外广大读者。期刊主管单位:航天科技和科工两大集团公司,主办单位:中国航天标准化研究所。一、投稿要求     

《中国空间科学技术》论文撰写基本要求

1论文的特点科技论文是本着科学态度,运用科学的原理和方法,准确的运用概念、判断和推理撰写而成系统的文章。科技论文应具备:创新性、先进性、科学性、实用性和可读性。创新性———指对描述内容区别于其他文献的一种特殊要求,是科技论文的灵魂。他要求论文所揭示的事物现象、属性、特点以及事物运动时所遵循的规律,或者这些属性、特点以及运动的运用,必须是前所未见、首创的,或部分首创的,而不是对他人工作的复述或解释。先进性———指所采用的理论、方式、方法、工具是先进的,符合现代的发展方向。科学性———是指论文的论述具有可信性…     

航空结构件典型不锈钢三维叶轮五轴铣削技术研究

分析一种典型半开式不锈钢三维叶轮的加工工艺过程,设计加工程序、合理选用刀具、控制加工过程以达到满足图纸要求的目的.同时基于NX中加工模块,对于具有典型三维流道特征的零件高效加工、叶片轮廓度及表面质量的保证提出一种解决方法.     

85年北京国际燃气轮机学术讨论会暨展览在京举行

学术讨论会于九月一日至四日在北京科学会堂进行。会议除大会外,分为35场分组会进行报告。中外参加者三百多人,共有论文151篇。这是首次在我国举行的国际燃气轮机会议。     

重点栏目约稿启事

为了适应我校办学定位战略的实施,突出以工科为主,工管经文理多学科协调发展的思路,从2005年第一期开始,本刊对原“设计与分析”栏目进行了调整。根据我校工科专业办学实力的实际情况,兼顾社会各界工程技术精英和各兄弟院校老师的投稿需求,设计与分析栏目将改编为“信息与电子工程”和“机电技术应用”两个栏目。信息与电子工程栏目将主要收录信息技术、通信工程、电子工程、计算机科学技术、网络技术应用、软件技术应用等学科专业的论文。机电技术应用栏目则以发表机械设计与制造、机电一体化、数控技术、自动控制技术、电气技术、汽车运用…