全文获取类型
收费全文 | 73篇 |
免费 | 1篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 18篇 |
金属工艺 | 2篇 |
建筑科学 | 2篇 |
能源动力 | 1篇 |
轻工业 | 4篇 |
水利工程 | 1篇 |
无线电 | 4篇 |
一般工业技术 | 5篇 |
冶金工业 | 6篇 |
自动化技术 | 29篇 |
出版年
2023年 | 2篇 |
2022年 | 1篇 |
2018年 | 2篇 |
2015年 | 2篇 |
2014年 | 1篇 |
2013年 | 4篇 |
2012年 | 1篇 |
2011年 | 9篇 |
2010年 | 3篇 |
2009年 | 2篇 |
2008年 | 3篇 |
2007年 | 1篇 |
2006年 | 4篇 |
2005年 | 4篇 |
2004年 | 1篇 |
2003年 | 2篇 |
2002年 | 2篇 |
2001年 | 2篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 3篇 |
1997年 | 4篇 |
1996年 | 3篇 |
1995年 | 1篇 |
1993年 | 5篇 |
1991年 | 1篇 |
1988年 | 1篇 |
1978年 | 1篇 |
1976年 | 2篇 |
1973年 | 1篇 |
1972年 | 1篇 |
排序方式: 共有74条查询结果,搜索用时 15 毫秒
1.
2.
Raymond Devillers 《Acta Informatica》1995,32(4):313-345
The paper shows how to synthesise S-invariants and S-components for Petri Boxes constructed through general recursions, from S-invariants/S-components of their constituents. The construction is based on the tree-structure of the interface places used to define this operator and extends similar results obtained for the refinement operator. Emphasis is put on deriving coverability results; these results are then used to show that all the nets obtained through refinements and recursions from a family covered by S-components are self-concurrency free, at most 2-safe and exhibit a generalised emptiness property; in particular, this is the case for the nets obtained in the translation of the process algebra of Box expressions.Work done within the Esprit Basic Research Working Group 6067 相似文献
3.
4.
We propose a finite structural translation of possibly recursive π-calculus terms into Petri nets. This is achieved by using high-level nets together with an equivalence on markings in order to model entering into recursive calls, which do not need to be guarded. We view a computing system as consisting of a main program (π-calculus term) together with procedure declarations (recursive definitions of π-calculus identifiers). The control structure of these components is represented using disjoint high-level Petri nets, one for the main program and one for each of the procedure declarations. The program is executed once, while each procedure can be invoked several times (even concurrently), each such invocation being uniquely identified by structured tokens which correspond to the sequence of recursive calls along the execution path leading to that invocation. 相似文献
5.
A semidynamic construction of higher-order voronoi diagrams and its randomized analysis 总被引:3,自引:0,他引:3
Thek-Delaunay tree extends the Delaunay tree introduced in [1], and [2]. It is a hierarchical data structure that allows the semidynamic construction of the higher-order Voronoi diagrams of a finite set ofn points in any dimension. In this paper we prove that a randomized construction of thek-Delaunay tree, and thus of all the orderk Voronoi diagrams, can be done inO(n logn+k
3n) expected time and O(k2n) expected storage in the plane, which is asymptotically optimal for fixedk. Our algorithm extends tod-dimensional space with expected time complexityO(k
(d+1)/2+1
n
(d+1)/2) and space complexityO(k
(d+1)/2
n
(d+1)/2). The algorithm is simple and experimental results are given.This work has been supported in part by the ESPRIT Basic Research Action No. 3075 (ALCOM). 相似文献
6.
7.
Anton Batliner Stefan Steidl Björn Schuller Dino Seppi Thurid Vogt Johannes Wagner Laurence Devillers Laurence Vidrascu Vered Aharonson Loic Kessous Noam Amir 《Computer Speech and Language》2011,25(1):4-28
In this article, we describe and interpret a set of acoustic and linguistic features that characterise emotional/emotion-related user states – confined to the one database processed: four classes in a German corpus of children interacting with a pet robot. To this end, we collected a very large feature vector consisting of more than 4000 features extracted at different sites. We performed extensive feature selection (Sequential Forward Floating Search) for seven acoustic and four linguistic types of features, ending up in a small number of ‘most important’ features which we try to interpret by discussing the impact of different feature and extraction types. We establish different measures of impact and discuss the mutual influence of acoustics and linguistics. 相似文献
8.
On the basis of polarization studies, grain boundary corrosion rate measurements and metallographic results, a corrosion mechanism is advanced which allows for a full explanation of the corrosion behaviour of zin—aluminium alloys. Explanations are provided for the well-known detrimental effects of lead additions, and the beneficial effects of copper and magnesium additions to these alloys. 相似文献
9.
10.
H. Lajili P. Devillers C. Grambin-Lapeyre J. P. Bournazel 《Materials and Structures》2008,41(10):1633-1645
This paper reports on the assessment of durability and long-term performance of a cement matrix subjected to heterotrophic
microbial mediated degradation. In near surface disposal facilities for hazardous and radioactive wastes, microbial activities
may likely, in a long-term perspective threaten the integrity of cement-solidified wastes. To investigate the detrimental
impact of heterotrophic microorganisms on cement matrices, Aspergillus niger reputed as versatile and prevalent fungus in soil flora was selected as candidate. It was shown that this fungus has the
potential of severely degrading ordinary Portland cement pastes through organic acids production. Cement pastes experienced
chemical alterations such as substantial leaching of calcium, and mechanical degradation was evident as highlighted by the
drastic decline in Young’s modulus. Their poor behaviour with respect to heterotrophic biodeterioration and susceptibility
to failure were therefore demonstrated. Consequently, biolixiviation scenario should be seriously considered in order to ensure
safe long-term disposal for cement-solidified wastes.
相似文献
P. DevillersEmail: |