全文获取类型
收费全文 | 1817篇 |
免费 | 49篇 |
国内免费 | 49篇 |
专业分类
电工技术 | 39篇 |
综合类 | 45篇 |
化学工业 | 36篇 |
金属工艺 | 17篇 |
机械仪表 | 38篇 |
建筑科学 | 102篇 |
矿业工程 | 9篇 |
能源动力 | 7篇 |
轻工业 | 32篇 |
水利工程 | 13篇 |
石油天然气 | 18篇 |
武器工业 | 3篇 |
无线电 | 90篇 |
一般工业技术 | 84篇 |
冶金工业 | 11篇 |
原子能技术 | 7篇 |
自动化技术 | 1364篇 |
出版年
2024年 | 4篇 |
2023年 | 5篇 |
2022年 | 12篇 |
2021年 | 19篇 |
2020年 | 11篇 |
2019年 | 12篇 |
2018年 | 16篇 |
2017年 | 30篇 |
2016年 | 35篇 |
2015年 | 34篇 |
2014年 | 85篇 |
2013年 | 88篇 |
2012年 | 75篇 |
2011年 | 103篇 |
2010年 | 77篇 |
2009年 | 99篇 |
2008年 | 127篇 |
2007年 | 129篇 |
2006年 | 138篇 |
2005年 | 105篇 |
2004年 | 82篇 |
2003年 | 95篇 |
2002年 | 76篇 |
2001年 | 46篇 |
2000年 | 64篇 |
1999年 | 30篇 |
1998年 | 42篇 |
1997年 | 28篇 |
1996年 | 29篇 |
1995年 | 36篇 |
1994年 | 32篇 |
1993年 | 17篇 |
1992年 | 22篇 |
1991年 | 20篇 |
1990年 | 13篇 |
1989年 | 10篇 |
1988年 | 5篇 |
1987年 | 6篇 |
1986年 | 5篇 |
1985年 | 7篇 |
1984年 | 5篇 |
1983年 | 6篇 |
1982年 | 7篇 |
1981年 | 4篇 |
1980年 | 5篇 |
1979年 | 8篇 |
1978年 | 5篇 |
1977年 | 2篇 |
1976年 | 3篇 |
1975年 | 1篇 |
排序方式: 共有1915条查询结果,搜索用时 15 毫秒
1.
We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth. 相似文献
2.
Motivated by a study of similar problems stated for factors of words, we study forbidden subwords of a language or a word. A procedure for obtaining the set of all words avoiding a given set of subwords is presented. On the other hand, an algorithm for computing the set of minimal forbidden subwords for a word is given. The case of a two-letter alphabet appears to be particularly interesting and it is considered separately. 相似文献
3.
Cezar Câmpeanu 《Information Processing Letters》2004,92(6):267-274
We define the pattern expressions as an extension of both regular expressions and patterns. We prove several properties of the new family of languages, similar to those of extended regex languages [Câmpeanu et al., Int. J. Found. Comput. Sci. 14 (6) (2003) 1007-1018]. We also define an automata system that recognizes these languages. Differences between regex and pattern expressions are also discussed. 相似文献
4.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
5.
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. 相似文献
6.
Reorganisation and evolution of class hierarchies is important for object-oriented system development and has received considerable attention in the literature. The contributions of this paper are: (1) a formal study of a set of extension relations and transformations on class hierarchies; (2) a presentation of a small set of primitive transformations which form a minimal and complete basis for the extension relations; and (3) an analysis of the impact of these transformations at the object level.The study leads to a better understanding of evolution and reuse of object-oriented software and class hierarchies. It also provides a terminology and a means of classification for design reuse. The theory presented in this paper is based on the Demeter data model, which gives a concise mathematical foundation for classes and their inheritance and part-of relationships. Parts of the theory have been implemented in the Demeter System
TM
C++, a CASE tool for object-oriented design and programming. 相似文献
7.
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. 相似文献
8.
We study deterministic finite automata (DFA) with recursive calls, that is, finite sequences of component DFAs that can call each other recursively. DFAs with recursive calls are akin to recursive state machines and unrestricted hierarchic state machines. We show that they are language equivalent to deterministic pushdown automata (DPDA). 相似文献
9.
财务管理是现代化企业管理的重要组成部分,也是三峡工程管理的重要内容。三峡工程在财务管理上提出了“两个适应”、“三个转变”、“四个树立”的指导思想和理顺财务关系,为搞好财务管理奠定了基础。三峡工程筹集资金是财务部门的首要任务,通过三峡建设基金(增收电费)、落实国家开发银行贷款、发行企业债券和利用外汇储备贷款,形成了以三峡建设基金和国家开发银行贷款为主渠道的资金来源。在财务管理中规范管理行为、提高人员素质、加强电算化管理和会计监督工作是十分重要的。 相似文献
10.
Mike Schofield 《Quality and Reliability Engineering International》1992,8(6):549-555
Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced. 相似文献