全文获取类型
收费全文 | 846篇 |
免费 | 47篇 |
国内免费 | 43篇 |
专业分类
电工技术 | 23篇 |
综合类 | 51篇 |
化学工业 | 23篇 |
金属工艺 | 83篇 |
机械仪表 | 20篇 |
建筑科学 | 4篇 |
矿业工程 | 2篇 |
能源动力 | 47篇 |
轻工业 | 10篇 |
石油天然气 | 5篇 |
武器工业 | 3篇 |
无线电 | 89篇 |
一般工业技术 | 28篇 |
冶金工业 | 349篇 |
自动化技术 | 199篇 |
出版年
2024年 | 2篇 |
2023年 | 7篇 |
2022年 | 21篇 |
2021年 | 15篇 |
2020年 | 22篇 |
2019年 | 11篇 |
2018年 | 12篇 |
2017年 | 20篇 |
2016年 | 13篇 |
2015年 | 13篇 |
2014年 | 30篇 |
2013年 | 24篇 |
2012年 | 51篇 |
2011年 | 63篇 |
2010年 | 81篇 |
2009年 | 66篇 |
2008年 | 58篇 |
2007年 | 68篇 |
2006年 | 84篇 |
2005年 | 50篇 |
2004年 | 68篇 |
2003年 | 53篇 |
2002年 | 29篇 |
2001年 | 23篇 |
2000年 | 14篇 |
1999年 | 7篇 |
1998年 | 3篇 |
1997年 | 6篇 |
1996年 | 4篇 |
1995年 | 2篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1992年 | 4篇 |
1991年 | 3篇 |
1990年 | 2篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有936条查询结果,搜索用时 78 毫秒
51.
52.
In this paper we formalise three different views of a virtual shared memory system and show that they are equivalent. The formalisation starts with five basic component processes specified in the language of CSP [Hoa85], which can be adapted as necessary by two operations called labelling and clamping, and are combined in two basic ways: either they are chained, so that the output of one component becomes the input of the next, or they are put in parallel, so that their communications are arbitrarily interleaved. Using the laws of CSP we show that these basic processes and operators satisfy a number of algebraic equivalences, which enable us to prove equivalence of the different models of the memory system by reasoning entirely at the level of processes, instead of at the lower and more complicated level of events. As a result the proofs of equivalence of the different models are purely algebraic and very simple.The specification is intended to provide a general framework for any architecture using an interconnection network, such as the on-chip interconnect between macrocells or the networks of processor nodes connected by bit-serial interconnect which are described in [Jon93]. It addresses architecture independent design issues such as access transparency, connectivity, addressing models and serialisability. By structuring it as a hierarchy of models it is hoped that the treatment of these many issues is made as clear and tractable as possible, whilst the proofs of equivalence ensure consistency.Funded by Esprit Project 7267/ OMI-Standards. 相似文献
53.
使用“通信顺序进程”机制的神经网络仿真 总被引:1,自引:0,他引:1
本文引入了“通信顺序进程”的概念,同时介绍了一种实现环境-RISC结构的Tranputer处理器及Occam并行化编程语言,并阐述了用“通信顺序进程”机制来仿真人工神经网络的方法。 相似文献
54.
Refinement-oriented probability for CSP 总被引:1,自引:1,他引:0
Carroll Morgan Annabelle McIver Karen Seidel J. W. Sanders 《Formal Aspects of Computing》1996,8(6):617-647
Jones and Plotkin give a general construction for forming a probabilistic powerdomain over any directed-complete partial order [Jon90, JoP89]. We apply their technique to the failures/divergences semantic model for Communicating Sequential Processes [Hoa85].The resulting probabilistic model supports a new binary operator, probabilistic choice, and retains all operators of CSP including its two existing forms of choice. An advantage of using the general construction is that it is easy to see which CSP identities remain true in the probabilistic model. A surprising consequence however is that probabilistic choice distributes through all other operators; such algebraic mobility means that the syntactic position of the choice operator gives little information about when the choice actually must occur. That in turn leads to some interesting interaction between probability and nondeterminism.A simple communications protocol is used to illustrate the probabilistic algebra, and several suggestions are made for accommodating and controlling nondeterminism when probability is present.All authors are members of the Programming Research Group; McIver and Seidel are supported by the EPSRC.0 相似文献
55.
0.5 mm间距CSP焊接工艺研究 总被引:1,自引:0,他引:1
随着对各种电子产品,尤其是消费类电子产品的便携性和多功能的追求,CSP等新型封装器件(封装尺寸约为芯片本身尺寸的1.2倍)便应用到这些产品的设计中去。CSP器件的引脚间距有0.8mm、0.75mm、0.65mm、0.5mm等。为了便于以后产品设计和生产的需要,就CSP器件在PWB设计和焊接两方面进行研究,侧重于焊接方面。 相似文献
56.
57.
邯钢薄板坯连铸连轧工艺优化及创新 总被引:4,自引:0,他引:4
详细介绍了邯钢在引进建设薄板坯连铸连轧生产线过程中,实施的工艺优化和创新,以及取得的效果。 相似文献
58.
CSP工艺热轧低碳钢板的强化机制 总被引:5,自引:0,他引:5
采用金相显微镜、H—800透射电镜和正电子湮没方法分析了CSP热轧低碳钢板金相组织、析出物形貌、尺寸、分布及位错密度。结果表明:CSP工艺热轧低碳钢板的晶粒较为细小,约为5.3μm;当累积变形量较小、变形温度较高时,析出物主要在晶界上,数量少见比较粗大,其尺寸大多大于150nm;当累积变形量较大、变形温度较低时,析出物主要在晶内,细小、弥散且数量较多,其尺寸大多为20~100nm,析出物主要为Al_2O_3、MnS或Cu_7S_4;随着累积变形量的增加,位错密度明显增加,终轧后轧件的位错密度约为6.35×10~(14)m~(-2)。晶粒细化、析出物弥散分布及位错密度增加是CSP工艺热轧低碳钢板强度高的决定因素。 相似文献
59.
高密度组装电气互联新技术原理与研究方法 总被引:5,自引:0,他引:5
网络通信技术的高速发展围绕着小、轻、高速和高密度几个方向给IT市场提出了多样化的需求。介绍了高密度组装发展的现状和未来的发展趋势。CSP的研制使组装密度和性能得到提高,达到二维组装密度的极限;三维多芯片组装使组装密度达到一个新的高度,高速性能大大提高,同时力求降低制造成本。21世纪互联技术将继续沿着高密度和高速性方向发展。 相似文献
60.
从2006年微合金钢应用国际研讨会看国际高钢级管线钢的发展动向(一) 总被引:5,自引:2,他引:3
简要报导了"微合金钢在油气工业中的应用国际研讨会"会议概况.纵观大会学术交流的内容,介绍了国际上高钢级管线钢制造工艺的新进展、中小口径X70/X80级ERW钢管的开发、X80钢在陆上长输管道上的应用、海底管道的发展趋势以及X100/X120钢级的开发等方面的最新动向.对进一步推动我国油气管道建设用高钢级管线钢及钢管应用基础研究、生产和使用技术的提高具有很好的借鉴作用. 相似文献