全文获取类型
收费全文 | 88篇 |
免费 | 19篇 |
国内免费 | 7篇 |
专业分类
航空 | 60篇 |
航天技术 | 20篇 |
综合类 | 11篇 |
航天 | 23篇 |
出版年
2024年 | 2篇 |
2023年 | 8篇 |
2022年 | 2篇 |
2021年 | 7篇 |
2020年 | 5篇 |
2019年 | 4篇 |
2018年 | 6篇 |
2017年 | 2篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2014年 | 4篇 |
2013年 | 4篇 |
2012年 | 10篇 |
2011年 | 6篇 |
2010年 | 8篇 |
2009年 | 5篇 |
2008年 | 1篇 |
2007年 | 4篇 |
2006年 | 2篇 |
2005年 | 3篇 |
2004年 | 5篇 |
2003年 | 3篇 |
2002年 | 3篇 |
2001年 | 3篇 |
2000年 | 3篇 |
1999年 | 1篇 |
1997年 | 2篇 |
1996年 | 2篇 |
1995年 | 1篇 |
1994年 | 3篇 |
1988年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有114条查询结果,搜索用时 15 毫秒
101.
102.
基于本体的软件安全性需求建模和验证 总被引:1,自引:0,他引:1
由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性. 相似文献
103.
104.
实时嵌入式软件测试执行引擎的设计与实现 总被引:1,自引:0,他引:1
自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性. 相似文献
105.
空天飞行器盖板式热防护系统(TPS)中存在支架热短路、缝隙辐射热短路问题。用有限元分析软件ABAQUS对这两种情形进行了热分析,结果表明,在再入段典型热载荷下,机体蒙皮各局部的最高温度值相差最大超过100K,机体蒙皮存在局部烧坏的危险。在热防护系统中加入了具有控制热流走向功能的散热片后,结果显示,支架热短路中蒙皮最高温度降低了90.18K,降幅达17.32%,板间缝隙底部最高温度降低了67.97K。在蒙皮局部烧坏危险点上方,散热片很好地控制了热流走向,使热量得到面内方向的分散,机体蒙皮温度分布更加均匀,局部烧坏问题得到了改善。 相似文献
106.
实时嵌入式软件测试输入的可视化建模 总被引:1,自引:0,他引:1
实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行. 相似文献
107.
108.
针对模拟信号采集电路的误差分析,设计了一种充分考虑各级电路误差的最坏情况分析法。主要分析了影响精度和灵敏度的直流误差。忽略传感器、电缆、连接器、PCB寄生电容和任何外部影响/误差,因为这些误差在很大程度上取决于要测量的具体应用或信号。主要分析模拟采集电路中的典型构建模块,如电阻、放大器、模数转换器等。提出了基于反馈因子β的运算放大器误差模型,模型通过反馈因子而获得分析能力,反馈决定了运算放大器在功能和质量方面的性能,通过与开环误差规范的反馈交互实现。对于电阻和模数转换器主要分析其特性误差。采用最坏情况分析法,将可靠性落实到硬件设计中,使得硬件可以长期无故障工作。 相似文献
109.
对基于特征图形匹配的月面精确着陆光学导航方法进行了研究, 包括图像特征点提取、特征图形构建以及特征图形匹配. 利用特征点间相对距离不变的特性, 确立特征点的连通规则, 解决存在平移、旋转和放缩等情况下的图形匹配问题. 利用多幅月面真实图片对算法进行仿真测试, 仿真结果验证了其有效性. 以所提出的特征图形匹配方法为基础, 设计仿真算例对导航方法进行验证, 结果表明, 基于特征图形匹配的光学导航方法可实时确定飞行器的位置和速度信息且精度较高, 是适用于探月飞行器精确着陆导航的有效途径. 相似文献
110.