全文获取类型
收费全文 | 142篇 |
免费 | 7篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 1篇 |
化学工业 | 20篇 |
金属工艺 | 2篇 |
机械仪表 | 6篇 |
建筑科学 | 7篇 |
能源动力 | 3篇 |
轻工业 | 10篇 |
石油天然气 | 1篇 |
无线电 | 35篇 |
一般工业技术 | 28篇 |
冶金工业 | 23篇 |
自动化技术 | 17篇 |
出版年
2023年 | 1篇 |
2021年 | 5篇 |
2020年 | 4篇 |
2019年 | 3篇 |
2018年 | 2篇 |
2017年 | 2篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2014年 | 2篇 |
2013年 | 5篇 |
2012年 | 7篇 |
2011年 | 10篇 |
2010年 | 5篇 |
2009年 | 8篇 |
2008年 | 13篇 |
2007年 | 5篇 |
2006年 | 10篇 |
2005年 | 9篇 |
2004年 | 3篇 |
2003年 | 2篇 |
2002年 | 4篇 |
2001年 | 3篇 |
2000年 | 3篇 |
1999年 | 2篇 |
1998年 | 7篇 |
1997年 | 8篇 |
1996年 | 2篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 2篇 |
1992年 | 5篇 |
1991年 | 2篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1982年 | 2篇 |
1979年 | 2篇 |
1978年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有153条查询结果,搜索用时 15 毫秒
1.
Production planning and control (PPC) systems that employ aspects from both make-to-order (MTO) and make-to-stock (MTS) production control are known as hybrid MTS/MTO systems. While both MTO and MTS separately have been studied extensively, their combined use has received less attention. However, the literature on this topic is growing and this paper shows that the review performed in this paper is an important addition to the field. We categorise relevant literature according to a novel taxonomy and show that hybrid MTS/MTO production control can be used in different contexts. In addition, an overview of the modelling techniques and methods used in these papers is provided. Based on the reviewed literature, relevant research questions and directions for future research are identified. Finally, it is shown that hybrid MTS/MTO production control is prevalent in practice by discussing research with industrial applications. The paper contains an overview of research on hybrid MTS/MTO production control to be used as reference for researchers active in the field, and provides managerial insights and directions for future research on this topic. 相似文献
2.
这个综合学校包括一个主建筑,一个体育馆和各种户外设施,朝向一片处在前军事基地上的住宅开发区。整个主建筑沿纵向被一个由顶部采光的回廊从中间分开,由此可以进入两侧的教室,回廊局部变宽的部分构成一个公共空间。这个构想与将城市设计理论运用于建筑内部设计的概念相符合:街道、广场和建筑被看成了建筑内部空间部分。虽然这个建筑从外部看来是个大体块,但内部空间却设计流畅,通道有的通向楼层的各个角落,也有的依着倾斜的地势因势而建。由墙面反射的散射光线加强了内部空间的肃穆和厚重感。在具有宗教感的整体风格下,整个学校的设计和装饰也显得古香古色,如一部宽阔的观光楼梯、两个塔形和壁炉形的建筑构成元素等。不同历史风格建筑的叠加给这个校区带来一种复杂的味道,堪比阿尔多·罗西(Aldo Rossi)的设计或泰辛(Tessin)新理性主义的代表作。 相似文献
3.
n-Butylvinylether sorbed from the vapor phase onto hydrogen mordenite powder has been found to polymerize readily near room temperature. In a polymer sample from this reaction the polymer molecules were found to contain a number average of ten monomer units. The reaction over a considerable time interval followed the relations Qt = k √t + γk = (ap + b)F(H2O) where Qt is the mass uptake (mainly as polymer) at pressure p in time t; k, γ, a and b are coefficients and F(H2O) is a function of the amount of water in the zeolite. The kinetics have been taken to indicate partial control by a diffusion process in which the monomer penetrates a growing layer of polymer formed around each catalyst particle. The monomer migrates to the catalyst-polymer interface and polymerizes at or near the interface. In small quantities water functioned as a cocatalyst, but around 5% weight uptake F(H2O) passed through a maximum. The rate of the reaction appeared to reach a maximum between 28 and 30 °C. A carbonium ion mechanism of polymerization is proposed. 相似文献
4.
Alternating systems are models of computer programs whose behavior is governed by the actions of multiple agents with, potentially, different goals. Examples include control systems, resource schedulers, security protocols, auctions and election mechanisms. Proving properties about such systems has emerged as an important new area of study in formal verification, with the development of logical frameworks such as the alternating temporal logic ATL*. Techniques for model checking ATL* over finite-state systems have been well studied, but many important systems are infinite-state and thus their verification requires, either explicitly or implicitly, some form of deductive reasoning. This paper presents a theoretical framework for the analysis of alternating infinite-state systems. It describes models of computation, of various degrees of generality, and alternating-time logics such as ATL* and its variations. It then develops a proof system that allows to prove arbitrary ATL* properties over these infinite-state models. The proof system is shown to be complete relative to validities in the weakest possible assertion language. The paper then derives auxiliary proof rules and verification diagrams techniques and applies them to security protocols, deriving a new formal proof of fairness of a multi-party contract signing protocol where the model of the protocol and of the properties contains both game-theoretic and infinite-state (parameterized) aspects. 相似文献
5.
As a foundation for action selection and task-sequencing intelligence, the reactive and deliberative subsystems of a hybrid agent can be unified by a single, shared representation of intention. In this paper, we summarize a framework for hybrid dynamical cognitive agents (HDCAs) that incorporates a representation of dynamical intention into both reactive and deliberative structures of a hybrid dynamical system model, and we present methods for learning in these intention-guided agents. The HDCA framework is based on ideas from spreading activation models and belief–desire–intention (BDI) models. Intentions and other cognitive elements are represented as interconnected, continuously varying quantities, employed by both reactive and deliberative processes. HDCA learning methods—such as Hebbian strengthening of links between co-active elements, and belief–intention learning of task-specific relationships—modify interconnections among cognitive elements, extending the benefits of reactive intelligence by enhancing high-level task sequencing without additional reliance on or modification of deliberation. We also present demonstrations of simulated robots that learned geographic and domain-specific task relationships in an office environment. 相似文献
6.
Nikolaj S. Bjørner Anca Browne Michael A. Colón Bernd Finkbeiner Zohar Manna Henny B. Sipma Tomás E. Uribe 《Formal Methods in System Design》2000,16(3):227-270
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction. 相似文献
7.
Henny M. Borsboom Tatjana Claasen-Vujčić Harry J. G. Gaykema Toon Mehlkopf 《Magma (New York, N.Y.)》1997,5(1):33-37
The birdcage resonator is frequently used in conventional MRI because of its excellent attributes. Its use in low-field MRI
is restricted to field strengths higher than, for example, 0.1 T, dependent on the size of the coil. This is because of the
intrinsically low inductance value of the birdcage coils. Furthermore, the sensitivity of the birdcage at low field strengths
is significantly lower when compared to, for example, the solenoid. Both problems can be overcome with the multiturn technique
and a novel wound birdcage coil. The quadrature mode wound birdcage coil presented in this paper can be used at frequencies
as low as 100 kHz. Its sensitivity is also increased when compared to the conventional strip-ring birdcage. Homogeneity effective
volume, and methods to increase the resonator bandwidth to match the signal bandwidth are left intact. The latter is a typical
low-field problem. 相似文献
8.
9.
Bernd Finkbeiner Sriram Sankaranarayanan Henny Sipma 《Electronic Notes in Theoretical Computer Science》2002,70(4)
By collecting statistics over runtime executions of a program we can answer complex queries, such as “what is the average number of packet retransmissions” in a communication protocol, or “how often does process P1 enter the critical section while process P2 waits” in a mutual exclusion algorithm. We present an extension to linear-time temporal logic that combines the temporal specification with the collection of statistical data. By translating formulas of this language to alternating automata we obtain a simple and efficient query evaluation algorithm. We illustrate our approach with examples and experimental results. 相似文献
10.