首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   986篇
  免费   47篇
  国内免费   23篇
电工技术   35篇
综合类   29篇
化学工业   58篇
金属工艺   20篇
机械仪表   41篇
建筑科学   50篇
矿业工程   19篇
能源动力   58篇
轻工业   10篇
水利工程   9篇
石油天然气   16篇
武器工业   32篇
无线电   193篇
一般工业技术   62篇
冶金工业   22篇
原子能技术   36篇
自动化技术   366篇
  2024年   2篇
  2023年   5篇
  2022年   12篇
  2021年   13篇
  2020年   22篇
  2019年   18篇
  2018年   15篇
  2017年   27篇
  2016年   28篇
  2015年   32篇
  2014年   46篇
  2013年   45篇
  2012年   48篇
  2011年   82篇
  2010年   48篇
  2009年   54篇
  2008年   66篇
  2007年   69篇
  2006年   64篇
  2005年   46篇
  2004年   31篇
  2003年   37篇
  2002年   21篇
  2001年   22篇
  2000年   18篇
  1999年   18篇
  1998年   17篇
  1997年   17篇
  1996年   22篇
  1995年   19篇
  1994年   18篇
  1993年   17篇
  1992年   4篇
  1991年   12篇
  1990年   4篇
  1989年   5篇
  1988年   10篇
  1987年   2篇
  1986年   3篇
  1985年   4篇
  1984年   2篇
  1983年   1篇
  1982年   1篇
  1981年   2篇
  1980年   2篇
  1979年   1篇
  1978年   1篇
  1976年   1篇
  1965年   1篇
  1959年   1篇
排序方式: 共有1056条查询结果,搜索用时 8 毫秒
1.
2.
3.
王日清 《核动力工程》1989,10(4):23-27,42
本文着重介绍了 IAEA 所制定的核电厂运行安全指标,同时也介绍了美国所制定的类似指标。这些指标为定量地评估和比较各国核电厂运行安全提供了可靠的依据。  相似文献   
4.
针对混铁炉使用过程中出现的各种侵蚀状况,设计采用砖砌十浇注复合炉衬结构,特别对前墙拐角和后墙中段等侵蚀快的关键部位作了有针对性的技术改进;在运行管理上,制定推行全新的工艺操作规程,取得了显著的使用效果。  相似文献   
5.
In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.  相似文献   
6.
介绍了超高速电流反馈集成运放电路结构,基本特性以及与电压反馈集成运放在性能上的差异。  相似文献   
7.
There are two aspects to cell formation in flexible manufacturing systems, cell sizing or deciding on the optimum number of machines to be allocated to each cell, and then allocation of specific machines to each cell. Although the latter problem has been investigated extensively there is a paucity of published work on the former. This paper discusses the effects of cell sizing on operational flexibility.Operational flexibility is that aspect of flexibility that enables manufacturing systems to respond with speed and efficiency to changes in the manufacturing environment while maintaining an effective level of control.  相似文献   
8.
王美清 《软件学报》1994,5(4):19-27
带类型的λ-演算是一个逻辑系统,它可以作为程序语言的基础.Plotkin所引进的PCF就是这样一类程序语言.Plotkin构造了PCF的一个模型,然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合.本文利用Scott引进的信息系统概念构造PCF的另一种模型,并证明与这个模型对应的指称语义与操作语义是完全配合的.  相似文献   
9.
10.
介绍一种新的高阻测试方法,可满足对高达1×10^16Ω的测试要求。测试结果显示,对于1×10^13Ω重复误差优于±2%。高阻测试电路通过接口与6809微机配套使用,操作简便,读数直观,便于长时间重复测量。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号