全文获取类型
收费全文 | 2591篇 |
免费 | 223篇 |
国内免费 | 213篇 |
专业分类
电工技术 | 176篇 |
综合类 | 204篇 |
化学工业 | 80篇 |
金属工艺 | 41篇 |
机械仪表 | 131篇 |
建筑科学 | 370篇 |
矿业工程 | 83篇 |
能源动力 | 28篇 |
轻工业 | 21篇 |
水利工程 | 53篇 |
石油天然气 | 41篇 |
武器工业 | 11篇 |
无线电 | 165篇 |
一般工业技术 | 78篇 |
冶金工业 | 85篇 |
原子能技术 | 2篇 |
自动化技术 | 1458篇 |
出版年
2024年 | 3篇 |
2023年 | 15篇 |
2022年 | 42篇 |
2021年 | 36篇 |
2020年 | 52篇 |
2019年 | 27篇 |
2018年 | 40篇 |
2017年 | 54篇 |
2016年 | 53篇 |
2015年 | 89篇 |
2014年 | 153篇 |
2013年 | 120篇 |
2012年 | 165篇 |
2011年 | 206篇 |
2010年 | 174篇 |
2009年 | 174篇 |
2008年 | 198篇 |
2007年 | 253篇 |
2006年 | 219篇 |
2005年 | 213篇 |
2004年 | 138篇 |
2003年 | 127篇 |
2002年 | 123篇 |
2001年 | 53篇 |
2000年 | 67篇 |
1999年 | 57篇 |
1998年 | 43篇 |
1997年 | 20篇 |
1996年 | 22篇 |
1995年 | 16篇 |
1994年 | 15篇 |
1993年 | 11篇 |
1992年 | 11篇 |
1990年 | 2篇 |
1989年 | 5篇 |
1988年 | 2篇 |
1987年 | 4篇 |
1986年 | 3篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 3篇 |
1982年 | 4篇 |
1981年 | 3篇 |
1980年 | 1篇 |
1979年 | 3篇 |
1976年 | 1篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1961年 | 1篇 |
1959年 | 1篇 |
排序方式: 共有3027条查询结果,搜索用时 0 毫秒
1.
2.
The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench. 相似文献
3.
Sven Beyer Christian Jacobi Daniel Kröning Dirk Leinenbach Wolfgang J. Paul 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(4-5):411-430
In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor
with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE
compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification
has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA.
A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional
verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University. 相似文献
4.
高炉冷却壁的检漏及维护,是炼铁工作者十分关心的问题,本文针对邯钢高炉具体情况,探讨了高炉冷却壁漏水的原因,检漏方法,漏水冷却壁的维护及预防措施。 相似文献
5.
门式脚手架在已建高层建筑外装修中的应用 总被引:1,自引:0,他引:1
介绍门式脚手架在已建高层建筑外排栅中的整体搭设和应用实例。 相似文献
6.
Mani Azimi Ching-Tsun Chou Akhilesh Kumar Victor W. Lee Phamndra K. Mannava Seungjoon Park 《Formal Methods in System Design》2003,22(2):109-116
In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects. 相似文献
7.
Martijn Hendriks Barend van den Nieuwelaar Frits Vaandrager 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(6):633-647
For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used
to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in
the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which
confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems.
Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained
using only a single model.
Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/. 相似文献
8.
For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements. 相似文献
9.
姚海滨 《机械制造与自动化》2002,(5):55-57
提出了一种简便通用的快速干涉检查算法.该算法是在机械CAD中,利用合理排序、简化建模、网格图和离散时间表、运动路径简化等方法从而实现快速干涉检查的一种方法. 相似文献
10.
Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems
are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task
due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology
that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has
been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research
the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language
based on business rules, and a model checker.
Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D.
degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are
on performance analysis and modeling of e-business and distributed systems, and formal methods.
Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte,
Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking).
Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas
Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and
formal methods. Actually his current interests are on software engeneering and project management of IT projects. 相似文献