全文获取类型
收费全文 | 757篇 |
免费 | 25篇 |
国内免费 | 136篇 |
专业分类
航空 | 437篇 |
航天技术 | 196篇 |
综合类 | 181篇 |
航天 | 104篇 |
出版年
2023年 | 2篇 |
2022年 | 1篇 |
2021年 | 5篇 |
2020年 | 9篇 |
2019年 | 6篇 |
2018年 | 5篇 |
2017年 | 4篇 |
2016年 | 9篇 |
2015年 | 8篇 |
2014年 | 16篇 |
2013年 | 16篇 |
2012年 | 23篇 |
2011年 | 25篇 |
2010年 | 39篇 |
2009年 | 33篇 |
2008年 | 39篇 |
2007年 | 44篇 |
2006年 | 54篇 |
2005年 | 36篇 |
2004年 | 49篇 |
2003年 | 46篇 |
2002年 | 37篇 |
2001年 | 37篇 |
2000年 | 38篇 |
1999年 | 28篇 |
1998年 | 39篇 |
1997年 | 33篇 |
1996年 | 27篇 |
1995年 | 27篇 |
1994年 | 47篇 |
1993年 | 19篇 |
1992年 | 21篇 |
1991年 | 31篇 |
1990年 | 21篇 |
1989年 | 15篇 |
1988年 | 14篇 |
1987年 | 6篇 |
1986年 | 8篇 |
1984年 | 1篇 |
排序方式: 共有918条查询结果,搜索用时 703 毫秒
431.
432.
433.
This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for space-borne commercial- off-the-shelf (COTS) processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer (OBC) of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions. 相似文献
434.
分布式卫星嵌入式计算机系统结构设计方法 总被引:1,自引:0,他引:1
针对分布式卫星的运行环境和任务特点,综合考虑分布式卫星嵌入式计算机系统在可靠性、安全性和实时性方面的要求,提出了一种基于三级容错的主辅式双系统体系结构设计方法。论文分析了分布式卫星的特点和星上嵌入式计算机系统的设计要求,对三级容错设计、主辅式双系统安全设计以及基于可信平台模块(TPM)的辅系统设计进行了详细的阐述。该设计方法已成功应用于地面原理验证系统中,结果表明其可以很好地解决分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题。 相似文献
435.
针对仿真模型可重用性不足的问题,以海空对抗战术仿真为背景,设计了一种基于工厂机制的Air-SeaSim CGF(Computer Generated Forces)仿真模型开发系统.遵循"自底向上"的开发原则,构造了由模型层、对象层、服务层和应用层构成的Air-SeaSim CGF模型系统软件体系结构.基于工厂机制的实体模型设计,对CGF实体进行适当的分解,抽象出满足仿真需求的模型,以组件形式表示,通过定义组件接口实现实体模型的快速组装及其功能的扩展.系统应用效果表明,通过工厂机制开发技术设计的Air-SeaSim CGF实体模型,集成了不同粒度组件的仿真模型,实现了实体模型行为组件在不同兵力模型建立过程中的共享和组合,简化了用户的定义,有利于模型的统一开发. 相似文献
436.
针对目前复杂微结构表面对象中环境光遮挡计算方法效率低下的缺点,提出一种基于屏幕空间的环境光遮挡计算方法.该算法利用离屏渲染技术,只针对视点所见的场景计算环境光遮挡.算法采用2遍渲染处理,第1遍得到场景的深度纹理,第2遍采用计算最大遮挡角度的方法来快速计算出环境光遮挡的大小;结合延迟着色等技术,可以快速绘制出整个场景的环境光遮挡情况.整个绘制算法在图像空间完成,较好地利用了GPU并行计算的特点,可呈现可变形物体在动态场景中的环境光遮挡效果.实验结果表明,与同类算法相比,该算法不需要预处理,环境光遮挡关系判断高效,绘制速度得到了很大的提升. 相似文献
437.
谢雅 《长沙航空职业技术学院学报》2010,10(1):18-20,28
毕业设计是计算机专业学生提高实践能力和达到专业培训目标的重要一环,文章从计算机专业毕业设计的现状和存在的问题出发,从毕业设计指导方法的角度提出建立师生双向选题机制,构建启发性的设计指导思路,建立全面的毕业设计管理机制和严格控制论文质量四个论点,有效辅助教师在指导毕业设计的过程中充分发挥学生的主观能动性,培养学生的创新能力,提高毕业论文的质量,获得良好的毕业设计效果。 相似文献
438.
439.
为了建立适用于飞行模拟机的发动机起动模型,对涡扇类发动机起动过程的建模和仿真方法进行了研究,提出了飞行模拟机起动模型的建模基本原则,以此为指导,基于部件级建模方法建立了主导发动机正常起动动态性能的主要特性模型,并通过构建故障因子建立了典型故障模型,实现了发动机正常起动和起动过程中的故障模拟。正常起动仿真和故障仿真结果与测试数据的对比表明,所建立的正常起动模型正确地反映了发动机在各起动阶段的加速性能,故障模型很好的再现了故障逻辑和故障效应,满足了用于飞行模拟机的发动机起动仿真要求。 相似文献
440.
为解决因中心机异常可能造成的飞行器试验指挥控制失灵问题,研究物理与信息冗余相结合的解决策略,通过规避导致软件系统瘫痪的数据处理周期,自动接收飞行器起飞时间,人机结合判断系统故障等技术,采用异构备份方法,构建了一个具有异常控制机制的中心机系统。当中心机系统异常导致瘫痪故障时,该系统可在数秒内使数据处理功能恢复正常并完成后续任务,抵御中心机系统异常带来的风险,提高了中心机系统的可靠性。 相似文献