共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
执行机构驱动单元软件的设计与分析 《空间控制技术与应用》2015,41(5):53
介绍执行机构驱动单元软件(ADU)的功能设计和时序设计.从总线消息时序冲突、临界资源访问冲突等方面分析软件外部接口时序设计约束、内部接口时序设计约束的满足性,对时序设计有效性进行验证.软件可靠性设计方面,采用软件失效模式及影响分析(SFMEA)方法识别软件中的关键变量/器件,对其采取单粒子效应防护措施,并验证了措施的有效性. 相似文献
4.
为了适应未来的空间运输发射市场的需求 ,俄罗斯赫鲁尼切夫国家研究与生产空间中心研制了新一代运载火箭——“安加拉” (Angara)系列运载火箭。近年来 ,由于世界航天发射市场呈现了激烈的竞争格局 ,“提高运载火箭的性能与可靠性 ,同时降低研制成本与发射价格”就成了世界上各主要运载火箭制造商们开发新产品的主要设计目标。根据这个目标 ,运载火箭制造商们研制了一系列新型运载火箭。目前正处在研制阶段的有 :波音公司的德尔他 - 4、洛克希德 -马丁公司的宇宙神 - 5、阿里安空间公司的阿里安 - 5改进型运载火箭 ,以及其他一些可重复使用… 相似文献
5.
6.
分析国内外卫星控制系统时序分析与设计方法和方法的现状,阐述了对时序进行数学建模的重要性.提出了针对时序设计过程的数学建模分析方法和时序描述的工作流图方法,通过系统性的时序建模,可求解出时序过程中的所有时间参数,以便用于时序分析和指导时序测试. 相似文献
7.
密码协议的分层安全需求及验证 总被引:5,自引:0,他引:5
将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证. 相似文献
8.
多视场星敏感器工作模式设计 总被引:4,自引:1,他引:4
针对多视场星敏感器的特点设计了两种工作模式:高精度工作模式和高更新率工作模式.中央时序控制器根据指令完成工作模式配置,以相应的时序启动图像采集处理模块.结合工作模式的时序特点,在FPGA(Field Programmable Gate Array)内部设计了3个星点质心提取模块,与各自对应的图像采集模块同步运行,实现了两种工作模式下多视场星图快速质心提取.采用Cypress公司的IBIS5-A-1300作为图像传感器,基于FPGA设计了实验平台,对工作模式配置及数据更新率进行测试.实验结果表明:工作模式可灵活配置和切换,在高更新率工作模式下,星敏感器的数据更新率为传统单视场情况的3倍. 相似文献
9.
分析了实时工业以太网的特点,提出一种时序特性分析系统,该系统硬件部分包括数据侦听器和监听计算机;软件部分是安装在监听计算机上的时序分析仪.数据侦听器是以现场可编程门阵列(FPGA,Field-Programmable Gate Array)为核心的硬件单元,主要功能是捕捉被监听链路上的数据帧,提取并封装原始帧的信息生成一个Probe帧,随后转发原始帧和Probe帧到监听计算机.Probe帧是提出的一种专门用于实时工业以太网时序和功能分析的以太网数据帧.时序分析仪解析Probe帧中封装的信息,按照用户设置进行计算统计后,以图形化的方式显示分析结果.最后,构建基于实时工业以太网EtherCAT的实验系统进行功能验证.实验结果表明,时序特性分析系统能够完成对实时工业以太网数据的在线捕捉和离线分析,并能清晰、直观的显示被监听链路和器件时序特性的解析结果. 相似文献
10.
星基增强系统(SBAS)通过GEO卫星转发SBAS电文实现对GNSS服务性能的提升,以满足民航用户不同飞行阶段的导航需求,因此,合理有效的电文内容及播发时序设计是系统实现高质量服务的重要保证。为提高电文编排的灵活性,避免固定时序填补空余电文引起的播发资源浪费,提出了一种SBAS电文时序动态编排算法,在满足国际标准要求的前提下,综合利用SBAS电文龄期和最大播发间隔实现待播发电文的自动选择。利用NTMF实测数据对当前各主要SBAS的电文进行了特性分析,对所提方法的单双频SBAS电文编排效果进行了评估。结果表明:所提算法可保证电文时序符合国际标准要求,实现了重要电文的优先播发,将空余时隙进行动态分配实现了各类型电文播发间隔的近等比例缩短。与固定时序相比,单频SBAS完好性电文播发间隔缩短约15.0%,首次定位时间缩短约8%,双频SBAS电文首次定位时间缩短约6.5%;与固定时序的BDSBAS B1C电文相比,完好性服务能力提升约14.7%,首次定位时间缩短约16.7%。所提算法有效提升了SBAS电文播发的播发效率,实现了SBAS播发资源的100%有效利用。 相似文献
11.
在两度推迟之后,美国东部时间2006年1月19日14:00(北京时间20日03:00),美国航空航天局(NASA)的"新地平线"(New Horizons)冥王星探测器,终于在佛罗里达州卡纳维拉尔角由美国洛马公司的宇宙神-5重型运载火箭(前所未有的捆绑了5个固体助推器)成功发射升空. 相似文献
12.
13.
针对当前验证工作顶层规划性不强、研制单位与承试单位接口不清晰、验证活动充分性不确定等问题,基于系统工程的民机研制过程,结合验证场景建模,形成以验证需求为核心的验证工作技术流程。承接产品设计需求,开展验证场景利益关联方识别、验证场景活动建模及时序建模研究;定义验证需求的内涵要素,基于模型开展验证需求捕获,形成设计需求到验证方法到验证需求的映射追溯;在此基础上,研究基于验证场景模型的验证计划及验证程序定义方法。结合某型飞机起落架系统案例,形成一套从设计需求到验证需求再到验证程序的完整技术方法。所提技术方法能够充分保证从产品设计需求到验证活动开展的完整追溯,有效促进民机研制验证过程与产品研制有机融合,为民机研制早期对验证活动的规划提供重要借鉴。 相似文献
14.
为了更好利用叠加式双阻尼振荡模型(ABDOM,Accumulative Bi-Damped Oscillation Model)来描述、预测和评估真实软件缺陷发现时序过程,在提出理想软件缺陷发现时序过程范型(ISPSDD,Ideal Sequential Process of Software Defects Discovery)的基础上,对ABDOM中软件缺陷发现阻尼 a 和软件缺陷发现周期阻尼 b 的规范化进行了进一步讨论,提出了软件缺陷发现时序过程质量评价指数 Q ,给出了其典型取值和相关意义,并将其引入ABDOM,最终得到了经过参数规范化和离散化改进后的ABDOM-Qd,并利用一个真实的工程实践项目数据对ABDOM-Qd 进行了验证. 相似文献
15.
16.
激光雷达探测系统需求稳定的单光子源作为定标光源,通过输出波长及功率可量化溯源的微弱光量子信号,对探测系统的探测不确定度进行分析,并对接收与探测系统性能进行评估。针对这一需求设计并研制一种输出激光波长稳定、输出平均光子数从10^(11) s^(-1)量级至10~3 s^(-1)量级的可调谐高稳频微弱激光量子源,并开展了相关测量标定工作。输出的微弱信号光波长稳定在532.269 nm处,功率覆盖79.3 nW至0.34 fW,平均光子数覆盖10^(11) s^(-1)量级至10~3 s^(-1)量级,在10~5 s^(-1)量级的稳定度优于0.6%,能够满足激光雷达系统探测不确定度分析与性能评估等方面的应用需求。 相似文献
17.
18.
随着集成电路的集成度越来越高,芯片的发热量越来越大且其内部温度呈不均匀分布,这会影响关键路径的传播延时,进而影响基于缓冲器插入的关键路径性能.提出了一种考虑芯片热效应布局优化的缓冲器插入时序优化方法,在版图设计的早期估计芯片的热分布和温度分布并且把其应用到版图布局优化和RC延时模型中.同时利用模拟退火算法基于热分布调整并优化布局,最后在最优布局下利用提出的缓冲器插入模型和快速插入算法进行时序优化.仿真结果表明相对于不考虑温度效应布局优化的缓冲器插入方法,缓冲器插入延时优化方法能有效降低最坏延时和缓冲器插入数目,最坏延时比传统方法降低9%~18%,比文献已经提出的最好方法降低5%~7%,缓冲器插入数比其少10~20个. 相似文献
19.
□□2001年7月12日,欧空局(ESA)发射“阿蒂米斯”(Artemis)数据中继技术试验卫星时,因阿里安-5火箭上面级出现故障,该卫星被送入了一条远地点为17528km、近地点为592km的椭圆轨道。卫星在此轨道上不能有效地工作,为此欧空局和卫星业界的专家组成了工作队,实施了一系列创新的控制程序来挽救这颗卫星。事实证明,整个抢救过程中的轨道机动非常成功,而且是很高效的。 在“阿蒂米斯”卫星发射后的几天内,通过使用星上的化学推进剂,该卫星被提升到了31000km高的圆形轨道。此后,又用安装在卫星上成对备份的4台离子发动机使卫星进行了长期连续不断… 相似文献