全文获取类型
收费全文 | 344篇 |
免费 | 46篇 |
国内免费 | 50篇 |
专业分类
航空 | 251篇 |
航天技术 | 57篇 |
综合类 | 59篇 |
航天 | 73篇 |
出版年
2024年 | 2篇 |
2023年 | 4篇 |
2022年 | 4篇 |
2021年 | 12篇 |
2020年 | 13篇 |
2019年 | 8篇 |
2018年 | 7篇 |
2017年 | 11篇 |
2016年 | 14篇 |
2015年 | 9篇 |
2014年 | 22篇 |
2013年 | 18篇 |
2012年 | 18篇 |
2011年 | 24篇 |
2010年 | 13篇 |
2009年 | 16篇 |
2008年 | 24篇 |
2007年 | 19篇 |
2006年 | 15篇 |
2005年 | 24篇 |
2004年 | 32篇 |
2003年 | 20篇 |
2002年 | 20篇 |
2001年 | 11篇 |
2000年 | 10篇 |
1999年 | 9篇 |
1998年 | 2篇 |
1997年 | 8篇 |
1996年 | 7篇 |
1995年 | 2篇 |
1994年 | 5篇 |
1993年 | 2篇 |
1992年 | 5篇 |
1991年 | 8篇 |
1990年 | 9篇 |
1989年 | 3篇 |
1988年 | 5篇 |
1987年 | 3篇 |
1986年 | 2篇 |
排序方式: 共有440条查询结果,搜索用时 0 毫秒
171.
针对国内航空公司的维修生产管理,分析了维修计划的编制流程,建立了相应的整数规划数学模型,该模型采用维修停场损失、维修加班费用和维修外包费用的和作为目标函数,可用于混合机型机队的定检维修计划的制定。同时分析研究了粒子群优化算法,并采用该算法对模型进行求解。数据仿真结果表明,建立的模型和求解算法切实可行。 相似文献
172.
173.
处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明:文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。 相似文献
174.
175.
针对电磁发射中高速运动的电枢与导轨间多物理场耦合计算及时间状态量连续传递问题,采用时间步进耦合算法构建多物理场耦合仿真框架,基于瞬态电磁分析、热传导与有限元方法开发出适用于轨道电磁发射的电磁、热、力多物理场瞬态耦合数值计算程序。并以典型轨道电磁炮为例,建立电磁、热、力三维有限元数值模型,采用单脉冲大电流为激励加载源,动态仿真分析轨道电磁发射中电枢与导轨电流密度、磁感应强度、焦耳热、电磁力等时间状态量的分布。计算结果直观反映出速度趋肤效应等物理现象,同时可方便获取电磁发射中多物理场随空间域和时间域变化的瞬态数据,为电磁发射装置的设计、优化及评估提供仿真计算支撑。 相似文献
176.
单片机控制的三坐标测量装置 总被引:1,自引:0,他引:1
介绍1种用8098单片机控制的三坐标测量装置。该测量装置用客栅传感器作位移检测元件,依靠系统的控制软件能直接利用实物模型或样件自动编制数控加工程序,并配有与其它微型计算机通讯的接口。系统运行稳定,有较好的性能价格比。 相似文献
177.
多型腔零件加工区域的自动识别和刀轨生成 总被引:2,自引:1,他引:2
谢叻 《南京航空航天大学学报》1998,30(4):419-424
从工程实际应用出发,提出并解决了二维平面多型胺零件的型腔区域的自组织别问题:即仅依靠型腔轮廓环和岛屿轮廓环的几何信息,不需要知道哪 个轮廓环是型腔轮廓环,哪 个轮廓环是岛屿轮廓环,也不需要知道哪 几个轮廓环合在一起构成一个型腔。 相似文献
178.
模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查. 相似文献
179.
赵先仲 《华北航天工业学院学报》2008,(4):1-3
本文通过第1象限直线插补实例说明了用C语言调用汇编语言程序的实现步骤和方法。在本例中既使用了屏幕动态显示运动轨迹,也发出了电机控制信号。 相似文献
180.
介绍了TMS320C64XX的性能特点,给出了其程序开发流程,详细讨论了软件开发中常用的优化方法,这些方法有一定的工程应用价值。 相似文献