全文获取类型
收费全文 | 250篇 |
免费 | 38篇 |
国内免费 | 21篇 |
出版年
2023年 | 3篇 |
2022年 | 1篇 |
2021年 | 3篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2018年 | 1篇 |
2016年 | 2篇 |
2015年 | 1篇 |
2014年 | 9篇 |
2013年 | 10篇 |
2012年 | 9篇 |
2011年 | 21篇 |
2010年 | 18篇 |
2009年 | 13篇 |
2008年 | 23篇 |
2007年 | 13篇 |
2006年 | 25篇 |
2005年 | 14篇 |
2004年 | 20篇 |
2003年 | 15篇 |
2002年 | 11篇 |
2001年 | 16篇 |
2000年 | 7篇 |
1999年 | 8篇 |
1998年 | 7篇 |
1997年 | 16篇 |
1996年 | 4篇 |
1995年 | 11篇 |
1994年 | 9篇 |
1993年 | 1篇 |
1992年 | 4篇 |
1991年 | 4篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1982年 | 1篇 |
排序方式: 共有309条查询结果,搜索用时 796 毫秒
71.
现有的小行星探测交会轨道研究多集中于二脉冲最优燃料研究,本文则研究了小行星探测多脉冲交会轨道多目标优化问题.基于Lambert交会算法建立了包含地球逃逸轨道和日心转移轨道的多脉冲交会轨道优化模型,以燃料消耗最小和转移时间最短为两个优化目标函数.采用一类典型的多目标进化算法——NSGA -Ⅱ用于Pareto最优解的确定.... 相似文献
72.
对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)... 相似文献
73.
74.
75.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
76.
研究了一种基于神经网络训练修改权值的加权M距离法用于雷达信号的识别,通过仿真试验验证了此法的正确性和有效性,并对试验结果进行了分析和讨论。 相似文献
77.
青少年的健康是国家的财富,更是每一个人健康成长和实现幸福生活的根基。有了健康的体魄,就能为祖国和人民作出更大贡献,拥有更加幸福的生活。当前,我国正处于全面建设小康社会和构建社会主义和谐社会的新阶段,教育和体育事业面临一系列新的历史性课题。怎样培养学生对体育的终身兴趣以及学校体育教育过程、怎样帮助他们养成终身锻炼的习惯,这是现代体育工作者要深入思考和探讨的问题。 相似文献
78.
79.
80.
近年来,随着美国国防部对无人驾驶战斗机的兴趣日益增长,研究无人战斗机已不再是纸上谈兵,而是进入了实质性的计划研究阶段。美国海军有关部门对此进行了专门研究,并启动了一项被称为“高机动致命飞行器”(HMLV)的无人驾驶战斗机的研制计划。 相似文献