全文获取类型
收费全文 | 54篇 |
免费 | 1篇 |
专业分类
综合类 | 1篇 |
化学工业 | 1篇 |
金属工艺 | 5篇 |
机械仪表 | 1篇 |
能源动力 | 2篇 |
石油天然气 | 7篇 |
一般工业技术 | 7篇 |
冶金工业 | 1篇 |
原子能技术 | 2篇 |
自动化技术 | 28篇 |
出版年
2014年 | 2篇 |
2011年 | 1篇 |
2009年 | 3篇 |
2008年 | 2篇 |
2007年 | 1篇 |
2006年 | 1篇 |
2005年 | 1篇 |
2002年 | 1篇 |
2001年 | 3篇 |
2000年 | 1篇 |
1998年 | 3篇 |
1997年 | 2篇 |
1996年 | 1篇 |
1995年 | 1篇 |
1993年 | 3篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1985年 | 3篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1980年 | 2篇 |
1979年 | 2篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1974年 | 2篇 |
1972年 | 2篇 |
1971年 | 3篇 |
1970年 | 1篇 |
1969年 | 1篇 |
1968年 | 1篇 |
排序方式: 共有55条查询结果,搜索用时 15 毫秒
1.
Amador F.G. Berman D. Borning A. DeRose T. Finkelstein A. Neville D. Notkin D. Salesin D. Salisbury M. Sherman J. Sun Y. Weld D.S. Winkenbach G. 《Knowledge and Data Engineering, IEEE Transactions on》1993,5(4):611-618
The electronic encyclopedia exploratorium (E3) is a vision of a future computer system-an electronic book describing how thing work. Typical articles in E3 will describe such mechanisms as compression refrigerators, engines, telescopes, and mechanical linkages. Each article will provide simulations, three-dimensional animated graphics that the user can manipulate, laboratory areas that allow a user to modify the device or experiment with related artifacts, and a facility for asking questions and receiving customized, computer-generated English-language explanations. Some of the foundational technology is discussed, focusing on topics in artificial intelligence, graphics, and user interfaces. The initial prototype system and the technical lessons learned from it, as well as the second prototype currently under construction, are described 相似文献
2.
3.
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts 总被引:1,自引:0,他引:1 下载免费PDF全文
Software engineering is broadly discussed as falling far short of expectations. Data and examples are used to justify how
software itself is often poor, how the engineering of software leaves much to be desired, and how research in software engineering
has not made enough progress to help overcome these weaknesses. However, these data and examples are presented and interpreted
in ways that are arguably imbalanced. This imbalance, usually taken at face value, may be distracting the field from making
significant progress towards improving the effective engineering of software, a goal the entire community shares. Research
dichotomies, which tend to pit one approach against another, often subtly hint that there is a best way to engineer software
or a best way to perform research on software. This, too, may be distracting the field from important classes of progress. 相似文献
4.
5.
6.
Hydrogen transport by group 5 metals: Achieving the maximal flux density through a vanadium membrane
V. N. Alimov A. O. Busnyuk M. E. Notkin A. I. Livshits 《Technical Physics Letters》2014,40(3):228-230
Hydrogen transport by 100-μm-thick vanadium and palladium membranes was studied in the pressure range from 1 × 10?8 to 4.5 × 10?1 MPa at a temperature of 400°C. Both sides of the vanadium membrane were covered by 2 μm of palladium (Pd-V-Pd) for facilitating the dissociative absorption and associative desorption of H2 molecules. At low pressures, hydrogen flux densities through vanadium and palladium membranes are nearly the same; at high pressures, the flux through the vanadium membrane becomes 16 times larger than the flux through the palladium membrane and attains a value of 2.4 scc cm?2 s?1. This flux of permeating hydrogen is larger than all values ever observed earlier for membranes made of group 5 metals or any other unsupported metal membranes. 相似文献
7.
The theoretical analysis of reconstruction problem of distributed physical fields in integrating measuring systems has been
carried out. The integrating measuring systems are compared with the systems of direct measuring in rare points of the field.
And the application prospects have been revealed.
The text was submitted by the authors in English. 相似文献
8.
Using tool abstraction to compose systems 总被引:1,自引:0,他引:1
The tool abstraction paradigm, which supports the evolution of large-scale software systems by easing design changes in the system functions, is discussed. Systems that support tool abstraction are structured as a pool of abstract data structures shared by a collection of cooperating `toolies', where each toolie provides a piece of the overall system function. When one toolie updates the shared data, other toolies must be notified: otherwise, cooperating-but-independent toolies may not execute, and the overall system function may be compromised. The KWIC (key word in context) index production system is used to illustrate the idea of tool abstraction. The relationship of tool abstraction to other concepts is examined 相似文献
9.
10.
Implicit invocation [SuN92, GaN91] has become an important architectural style for large-scale system design and evolution.
This paper addresses the lack of specification and verification formalisms for such systems. A formal computational model
for implicit invocation is presented. We develop a verification framework for implicit invocation that is based on Jones'
rely/guarantee reasoning for concurrent systems [Jon83, St?91]. The application of the framework is illustrated with several
examples. The merits and limitations of the rely/guarantee paradigm in the context of implicit invocation systems are also
discussed.
Received August 1997 / Accepted in revised form June 1998 相似文献