全文获取类型
收费全文 | 424篇 |
免费 | 24篇 |
专业分类
电工技术 | 7篇 |
化学工业 | 110篇 |
金属工艺 | 10篇 |
机械仪表 | 11篇 |
建筑科学 | 7篇 |
能源动力 | 30篇 |
轻工业 | 47篇 |
水利工程 | 1篇 |
石油天然气 | 3篇 |
无线电 | 30篇 |
一般工业技术 | 73篇 |
冶金工业 | 34篇 |
原子能技术 | 2篇 |
自动化技术 | 83篇 |
出版年
2024年 | 1篇 |
2023年 | 13篇 |
2022年 | 13篇 |
2021年 | 16篇 |
2020年 | 17篇 |
2019年 | 18篇 |
2018年 | 24篇 |
2017年 | 13篇 |
2016年 | 14篇 |
2015年 | 7篇 |
2014年 | 27篇 |
2013年 | 37篇 |
2012年 | 33篇 |
2011年 | 42篇 |
2010年 | 14篇 |
2009年 | 21篇 |
2008年 | 19篇 |
2007年 | 18篇 |
2006年 | 17篇 |
2005年 | 14篇 |
2004年 | 6篇 |
2003年 | 9篇 |
2002年 | 7篇 |
2001年 | 6篇 |
2000年 | 1篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 5篇 |
1991年 | 1篇 |
1989年 | 2篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 2篇 |
1985年 | 4篇 |
1984年 | 2篇 |
1981年 | 1篇 |
1980年 | 4篇 |
1979年 | 2篇 |
1978年 | 2篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1975年 | 2篇 |
1973年 | 1篇 |
1970年 | 1篇 |
1969年 | 1篇 |
排序方式: 共有448条查询结果,搜索用时 15 毫秒
1.
Niklas Schlimm Mirko Novakovic Robert Spielmann Tobias Knierim 《Informatik-Spektrum》2007,48(6):251-258
Nicht-funktionale Anforderungen an ein Softwaresystem beschreiben Aspekte, die nicht direkt die Funktionalit?t, wie sie der
Benutzer sieht, betreffen. 相似文献
2.
Andrea Omicini Alessandro Ricci Mirko Viroli 《Electronic Notes in Theoretical Computer Science》2006,150(3):21-36
Human intelligence has evolved along with the use of more and more sophisticated tools, allowing Homo Faber (from Homo Habilis to Homo Sapiens Sapiens) to cope with environment changes, as well as to adapt the environment to his needs. Analogously, in this seminal paper we introduce the notion of Agens Faber, conveying the idea that agent intelligence should not be considered as separated by the agent ability to perceive and affect the environment—and so, that agent intelligence is strictly related to the artefacts that enable, mediate and govern any agent (intelligent) activity.
Along this line, we first discuss the notion of artefact for MAS in general, then we try to devise out the admissible / required / desirable features of an artefact for MAS. We elaborate on the many sorts of possible relations between agents and artefacts, focusing in particular on the issue of the rational exploitation of artefacts, and also rough out a possible taxonomy of artefacts for MAS. 相似文献
3.
4.
One approach for solving Constraint Satisfaction Problems (CSP) (and related Constraint Optimization Problems (COP)) involving integer and Boolean variables is reduction to propositional satisfiability problem (SAT). A number of encodings (e.g., direct, log, support, order) for this purpose exist as well as specific encodings for some constraints that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single encoding that performs well on all classes of problems and there is a need for a system that supports multiple encodings. We present a system that translates specifications of finite linear CSP problems into SAT instances using several well-known encodings, and their combinations. We also present a methodology for selecting a suitable encoding based on simple syntactic features of the input CSP instance. Thorough evaluation has been performed on large publicly available corpora and our encoding selection method improves upon the efficiency of existing encodings and state-of-the-art tools used in comparison. 相似文献
5.
Jan Tobias Krüger Kay-Peter Hoyer Anatolii Andreiev Mirko Schaper Carolin Zinn 《Advanced Engineering Materials》2023,25(3):2201008
In medical technology, implants are used to improve the quality of patients’ lives. The development of materials with adapted properties can further increase the benefit of implants. If implants are only needed temporarily, biodegradable materials are beneficial. In this context, iron-based materials are promising due to their biocompatibility and mechanical properties, but the degradation rate needs to be accelerated. Apart from alloying, the creation of noble phases to cause anodic dissolution of the iron-based matrix is promising. Due to its high electrochemical potential, immiscibility with iron, biocompatibility, and antibacterial properties, silver is suited for the creation of such phases. A suitable technology for processing immiscible material combinations is powder-bed-based procedure like laser beam melting. This procedure offers short exposure times to high temperatures and therefore a limited time for diffusion of alloying elements. As the silver phases remain after the dissolution of the iron matrix, a modification is needed to ensure their degradability. Following this strategy, pure iron with 5 wt% of a degradable silver–calcium–lanthanum alloy is processed via laser beam melting. Investigation of the microstructure yields achievement of the intended microstructure and long-term degradation tests indicates an impact on the degradation, but no increased degradation rate. 相似文献
6.
A key feature for infrastructures providing coordination services is the ability to define the behaviour of coordination abstractions according to the requirements identified at design-time. We take as a representative for this scenario the logic-based language ReSpecT (Reaction Specification Tuples), used to program the reactive behaviour of tuple centres. ReSpecT specifications are at the core of the engineering methodology underlying the TuCSoN infrastructure, and are therefore the “conceptual place” where formal methods can be fruitfully applied to guarantee relevant system properties.In this paper we introduce ReSpecT nets, a formalism that can be used to describe reactive behaviours that can succeed and fail, and that allows for an encoding to Petri nets with inhibitor arcs. ReSpecT nets are introduced to give a core model to a fragment of the ReSpecT language, and to pave the way for devising an analysis methodology including formal verification of safety and liveness properties. In particular, we provide a semantics to ReSpecT specifications through a mapping to ReSpecT nets. The potential of this approach for the analysis of ReSpecT specifications is discussed, presenting initial results for the analysis of safety properties. 相似文献
7.
Matteo Casadei Luca Gardelli Mirko Viroli 《Electronic Notes in Theoretical Computer Science》2007,175(2):59
Recent coordination languages and models are moving towards the application of techniques coming from the research context of complex systems: adaptivity and self-organization are exploited in order to tackle the openness, dynamism and unpredictability of today's distributed systems. In this area, systems are to be described using stochastic models, and simulation is a valuable tool both for analysis and design. Accordingly, in this work we focused on modelling and simulating emergent properties of coordination techniques.We first develop a framework acting as a general-purpose engine for simulating stochastic transition systems, built as a library for the Maude term rewriting system. We then evaluate this tool to a coordination problem called collective sort, where autonomous agents move tuples across different tuple spaces according to local criteria, and resulting in the emergence of the complete clustering property. 相似文献
8.
As a notion dual to Knuth's nested formulas [4], we call a boolean formula
in conjunctive normal formco-nested if its clauses can be linearly ordered (sayC={c
i
;i=1,2, ...,n})so that the graphG
cl
=(XC, {xc
i
;xc
i
or ¬xc
i
} {c
i
c
i+1;i=1, 2, ...,n}) allows a noncrossing drawing in the plane so that the circlec
1,c
2, ...,c
n
bounds the outerface. Our main result is that maximum satisfiability of co-nested formulas can be decided in linear time.Both authors acknowledge a partial support of Ec Cooperative Action IC-1000 (project ALTEC:Algorithms for Future Technologies). 相似文献
9.
H. Buggisch H. Bucka F. Reutter H. G. Hahn F. Kolberg H. Unbehauen M. Biermann M. Ziegner H. Kilger H. Brüggemann H. Regenbogen 《Forschung im Ingenieurwesen》1978,44(6):197-200
Ohne Zusammenfassung 相似文献
10.