全文获取类型
收费全文 | 1365篇 |
免费 | 26篇 |
国内免费 | 70篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 3篇 |
2019年 | 1篇 |
2018年 | 1篇 |
2017年 | 14篇 |
2016年 | 18篇 |
2015年 | 15篇 |
2014年 | 116篇 |
2013年 | 39篇 |
2012年 | 50篇 |
2011年 | 166篇 |
2010年 | 133篇 |
2009年 | 142篇 |
2008年 | 142篇 |
2007年 | 135篇 |
2006年 | 59篇 |
2005年 | 61篇 |
2004年 | 65篇 |
2003年 | 55篇 |
2002年 | 36篇 |
2001年 | 35篇 |
2000年 | 32篇 |
1999年 | 20篇 |
1998年 | 19篇 |
1997年 | 13篇 |
1996年 | 14篇 |
1995年 | 10篇 |
1994年 | 16篇 |
1993年 | 17篇 |
1992年 | 16篇 |
1991年 | 10篇 |
1990年 | 5篇 |
1989年 | 1篇 |
排序方式: 共有1461条查询结果,搜索用时 15 毫秒
21.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
22.
本文分析了坦克炮、反坦克炮简易火控系统自动调炮装置的结构特点及调炮误差变化规律,提出了工程上的校准方法及设计要点。 相似文献
23.
24.
25.
论述了综合航空火力控制系统在现代空战中的地位,并对系统及各子系统所完成的任务和他们之间的相互关系作了较为详细的介绍。对系统的模拟仿真原理及其仿真过程作了简要的阐述。此外,对模拟仿真中所需的实验设备也作了简要的介绍。 相似文献
26.
倾斜修正是角速率火控系统研究、设计和生产中的一个重要课题。本文首先明确了几个基本概念,然后给出倾斜修正的计算方案,最后,应用四元数理论解决计算方案的工程实现问题。 相似文献
27.
研究了 S I E M E N S可编程控制器与具有通信功能的直流调速器之间的通信控制,通过对系统的硬件配置、控制方式、通信软件实现介绍,给出了应用 P L C进行直流调速器串行通信监控的方法。 相似文献
28.
高炮火控系统模拟训练及综合评价系统 总被引:4,自引:1,他引:3
提出了一种新型的基于计算机及计算技术的高炮火控系统仿真模拟训练及综合评价系统的设计方案。这一方案不仅注重了系统实现仿真训练的基本功能,同时还利用计算机仿真优势,强调了对训练效果的评估及对训练模式的总结。提出了实时决策支持的新概念 相似文献
29.
30.
黄展骥 《兵团教育学院学报》2001,11(3):30-33
20世纪50年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。2000年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。 相似文献