全文获取类型
收费全文 | 434篇 |
免费 | 80篇 |
国内免费 | 21篇 |
出版年
2024年 | 6篇 |
2023年 | 19篇 |
2022年 | 12篇 |
2021年 | 13篇 |
2020年 | 19篇 |
2019年 | 5篇 |
2018年 | 3篇 |
2017年 | 4篇 |
2016年 | 11篇 |
2015年 | 10篇 |
2014年 | 39篇 |
2013年 | 22篇 |
2012年 | 32篇 |
2011年 | 27篇 |
2010年 | 31篇 |
2009年 | 32篇 |
2008年 | 37篇 |
2007年 | 22篇 |
2006年 | 21篇 |
2005年 | 21篇 |
2004年 | 15篇 |
2003年 | 16篇 |
2002年 | 17篇 |
2001年 | 14篇 |
2000年 | 11篇 |
1999年 | 11篇 |
1998年 | 10篇 |
1997年 | 16篇 |
1996年 | 8篇 |
1995年 | 5篇 |
1994年 | 6篇 |
1993年 | 2篇 |
1992年 | 5篇 |
1991年 | 5篇 |
1990年 | 3篇 |
1989年 | 4篇 |
1988年 | 1篇 |
排序方式: 共有535条查询结果,搜索用时 15 毫秒
191.
192.
193.
194.
时态逻辑形式化描述并发系统性质 总被引:1,自引:0,他引:1
时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例. 相似文献
195.
针对共晶复合陶瓷的微观结构特征,建立了含强约束界面相的有限元模型,模拟了包含片状夹杂共晶复合陶瓷材料的外载应力场分布规律;应用ANSYS的APDL语言进行编程,对材料的损伤过程进行了研究。结果表明材料的破裂由基体损伤决定,随着外载荷的增加,损伤破坏沿界面延伸,并逐渐向基体内部扩展,最终造成基体的断裂。 相似文献
196.
热塑性复合材料结构在高速流场中的颤振行为是可重复使用航天器设计中需要考虑的问题.基于Mindlin厚板理论和Von-Karman大变形理论描述热塑性复合壁板结构大变形,超音速气动力采用活塞气动理论.考虑温度引起的壁板面内热应力和热塑性材料力学性能的改变.根据虚功原理和有限元法推导建立了热塑性复合材料壁板的热颤振模型,进... 相似文献
197.
198.
2005年7月12日,“某军用飞行器结构损伤光电复合抢修系统”研制成功,并顺利通过有关专家鉴定。“某军用飞行器结构操作光电复合推算系统”是国内首台将激光和微弧火花修复技术复合应用于飞机、发动机损伤在线抢修的一种新设备。它应用10米光纤电缆将修复能量传递到损伤部位,对飞机、发动机结构损伤的部位修复提供光电手段。应用该系统可以快速地对损伤部位实施切割、焊接、熔覆、强化等。该系统创造性地在飞机结构抢修领域应用移动式激光加工系统、微弧火花修复技术,为飞机结构战伤抢修开创了一个全新的技术领域,为战伤抢修水平的提高创造了… 相似文献
199.
200.
由于军事系统中存在不同的体制编制和多变的网络结构,并且军事单元能力发挥不稳定,信息延时不确定,因此为完成特定军事任务,系统中会存在诸多OODA过程,以至于难以评估军事系统的效能.针对目前效能评估方法人为定性评估成分较大,或者评估过程忽视军事实体间的相关联系而仅在统计意义上进行评估,将军事系统的不确定性纳入评估体系,基于统计关系学习框架Markov logic以OODA军事策略为基础对不同军事规则进行一阶逻辑建模,并以当前网络态势为先验条件,应用Alchemy工具对表示最终作战效能的原子谓词进行条件概率推理,求得该网络作战效能期望,突出了模型对不确定信息的处理能力.最后研究了军事单元和军事体制对系统效能的影响,实验结果验证了本模型的有效性,表明其具有一定的实践和理论意义. 相似文献