全文获取类型
收费全文 | 144篇 |
免费 | 24篇 |
国内免费 | 39篇 |
专业分类
航空 | 105篇 |
航天技术 | 51篇 |
综合类 | 17篇 |
航天 | 34篇 |
出版年
2023年 | 3篇 |
2022年 | 7篇 |
2021年 | 6篇 |
2020年 | 4篇 |
2019年 | 2篇 |
2018年 | 6篇 |
2017年 | 4篇 |
2016年 | 11篇 |
2015年 | 7篇 |
2014年 | 9篇 |
2013年 | 7篇 |
2012年 | 9篇 |
2011年 | 11篇 |
2010年 | 15篇 |
2009年 | 12篇 |
2008年 | 10篇 |
2007年 | 12篇 |
2006年 | 6篇 |
2005年 | 8篇 |
2004年 | 9篇 |
2003年 | 4篇 |
2002年 | 5篇 |
2001年 | 2篇 |
2000年 | 3篇 |
1999年 | 4篇 |
1998年 | 8篇 |
1997年 | 5篇 |
1996年 | 3篇 |
1995年 | 3篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 2篇 |
1988年 | 1篇 |
排序方式: 共有207条查询结果,搜索用时 93 毫秒
201.
202.
203.
204.
205.
为了提升新一代航空电子全双工交换以太网(AFDX)网络的传输速率和余度设计可靠性,在AFDX
网络标准的基础上(ARINC 664 p7),建立千兆三余度AFDX 网络的帧管理机制模型并进行了形式化建模,
而且实现了AFDX 网络标准中描述的SkewMax 机制。使用UPPAAL 形式化工具对千兆三余度AFDX 网络帧
管理机制进行形式化验证,验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明,千兆三余度
AFDX 网络帧传输过程中不存在死锁。此外,针对标准AFDX 的冗余管理中一个帧的丢失可能会导致其冗余备
份的丢失的现象,提出在接收端设置一个队列,记录那些比连续帧更晚到达的冗余备份的帧序号,从而减少不
必要的丢帧,提高QoS 和数据完整性。形式化验证的结果可以作为千兆AFDX 网络标准制定和实际应用的参考。 相似文献
206.
SRAM型FPGA容易受到空间辐射环境引起的单粒子翻转效应影响,造成软件在轨故障进而影响任务成败,因此在空间应用时普遍采用三模冗余技术进行设计加固来提高软件可靠性。使用Xilinx TMRTool工具实现SRAM型FPGA的三模冗余是目前流行的三模冗余实现方式,该方式无需额外编写代码,简化了设计师的工作。分析了Xilinx TMRTool对软件网表文件的改变流程和机理,对比了三模冗余处理前后FPGA寄存器的不同布局布线结果,分析了三模冗余工具对寄存器置位和复位的影响,给出了以SRAM型FPGA为核心控制器的产品设计建议。 相似文献
207.