全文获取类型
收费全文 | 565篇 |
免费 | 29篇 |
国内免费 | 42篇 |
出版年
2024年 | 1篇 |
2023年 | 12篇 |
2022年 | 8篇 |
2021年 | 23篇 |
2020年 | 16篇 |
2019年 | 14篇 |
2018年 | 2篇 |
2017年 | 12篇 |
2016年 | 17篇 |
2015年 | 22篇 |
2014年 | 53篇 |
2013年 | 52篇 |
2012年 | 57篇 |
2011年 | 40篇 |
2010年 | 39篇 |
2009年 | 37篇 |
2008年 | 48篇 |
2007年 | 25篇 |
2006年 | 37篇 |
2005年 | 16篇 |
2004年 | 13篇 |
2003年 | 14篇 |
2002年 | 14篇 |
2001年 | 15篇 |
2000年 | 10篇 |
1999年 | 7篇 |
1998年 | 8篇 |
1997年 | 10篇 |
1996年 | 2篇 |
1995年 | 3篇 |
1994年 | 3篇 |
1993年 | 1篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
排序方式: 共有636条查询结果,搜索用时 31 毫秒
612.
613.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 相似文献
614.
用Newton-Euler方法,分析了运动平台的力矢和力矩,建立了统一的六自由度运动平台动力学方程。利用该方程研究了不同载荷分布时六自由度运动平台各液压缸的受力情况,并用Matlab进行了计算。结果表明,不同载荷分布时,某些液压缸的驱动力的最大值成倍增加,变化极为复杂,为六自由度运动平台的设计及控制提供了理论指导。 相似文献
615.
铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求. 相似文献
616.
617.
618.
2000年10月12日美海军"科尔"号导弹驱逐舰(DDG67)在也门的亚丁港停泊和加油时,受到恐怖分子的自杀性攻击,舰体被炸开一个大洞,17名美国水兵被炸死,30多人受伤。这次恐怖袭击是自1987年以来美海军所遭受的最沉重的打击。"科尔"号导弹驱逐舰被炸后,各 相似文献
619.
620.