全文获取类型
收费全文 | 228篇 |
免费 | 29篇 |
国内免费 | 13篇 |
出版年
2024年 | 4篇 |
2023年 | 15篇 |
2022年 | 4篇 |
2021年 | 5篇 |
2020年 | 6篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2015年 | 6篇 |
2014年 | 23篇 |
2013年 | 9篇 |
2012年 | 11篇 |
2011年 | 11篇 |
2010年 | 11篇 |
2009年 | 15篇 |
2008年 | 16篇 |
2007年 | 19篇 |
2006年 | 11篇 |
2005年 | 11篇 |
2004年 | 6篇 |
2003年 | 12篇 |
2002年 | 7篇 |
2001年 | 6篇 |
2000年 | 8篇 |
1999年 | 8篇 |
1998年 | 9篇 |
1997年 | 6篇 |
1996年 | 6篇 |
1995年 | 1篇 |
1994年 | 3篇 |
1993年 | 3篇 |
1992年 | 6篇 |
1991年 | 3篇 |
1989年 | 3篇 |
1988年 | 1篇 |
排序方式: 共有270条查询结果,搜索用时 15 毫秒
1.
稳像式坦克火控系统的几个总体技术问题 总被引:1,自引:0,他引:1
从火控系统的总体角度出发,对稳像式坦克火控系统行进间射击的几个技术问题进行了分析,供火控系统总体设计时参考. 相似文献
2.
提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Herbrand解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。 相似文献
3.
军队物资部门资本金制度的建立是对军队物资资金管理模式、核算模式的一次重大改革,它是物资工作“适应市场、保障战场”的必然选择。它明晰了军队物资部门产权关系、依法确认了军队是物资部门唯一投资主体,调整和理顺了军队物资部门的资金结构,深化了军队物资工作改革。 相似文献
4.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
5.
张光成 《军械工程学院学报》1991,(3)
理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。 相似文献
6.
当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。 相似文献
7.
8.
9.
10.
本刊消息记者李克强报道经总政领导批准,10月22日至23日,总参动员部、总政群工办在安徽省合肥市组织召开第十四届全军民兵刊物评比会议。全军8家民兵刊物主编、各军区军兵种群工部门领导和获奖作品的作者代表参加了会议。两年一次的全军民兵刊物评比会议,主要是总结全军国防后备力量宣传工作,交流各刊物的办刊经验,评比刊物宣传优秀作品。会议指出,近年来,各民兵杂志社坚持高举旗帜、围绕大局,紧贴中心、聚焦 相似文献