全文获取类型
收费全文 | 127篇 |
免费 | 4篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 4篇 |
综合类 | 8篇 |
化学工业 | 8篇 |
金属工艺 | 3篇 |
机械仪表 | 3篇 |
建筑科学 | 9篇 |
矿业工程 | 2篇 |
能源动力 | 2篇 |
轻工业 | 1篇 |
石油天然气 | 5篇 |
无线电 | 8篇 |
一般工业技术 | 6篇 |
冶金工业 | 21篇 |
自动化技术 | 55篇 |
出版年
2021年 | 2篇 |
2019年 | 1篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2014年 | 2篇 |
2013年 | 4篇 |
2012年 | 2篇 |
2011年 | 5篇 |
2010年 | 3篇 |
2009年 | 3篇 |
2008年 | 5篇 |
2007年 | 4篇 |
2006年 | 3篇 |
2005年 | 8篇 |
2004年 | 3篇 |
2003年 | 4篇 |
2002年 | 3篇 |
2001年 | 4篇 |
2000年 | 4篇 |
1999年 | 9篇 |
1998年 | 4篇 |
1997年 | 11篇 |
1996年 | 5篇 |
1995年 | 8篇 |
1994年 | 6篇 |
1993年 | 5篇 |
1992年 | 1篇 |
1990年 | 2篇 |
1989年 | 2篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1982年 | 1篇 |
1981年 | 3篇 |
1980年 | 3篇 |
1979年 | 2篇 |
1978年 | 1篇 |
1977年 | 3篇 |
1976年 | 1篇 |
1970年 | 1篇 |
排序方式: 共有135条查询结果,搜索用时 31 毫秒
1.
On the ontological expressiveness of information systems analysis and design grammars 总被引:9,自引:0,他引:9
Abstract. Information systems analysis and design (ISAD) methodologies provide facilities for describing existing or conceived real-world systems. These facilities are ontologically expressive if they are capable of describing all real-world phenomena completely and clearly. In this paper we formally examine the notion of the ontological expressiveness of a grammar and discuss some of its implications for the design and use of ISAD methodologies. We identify some generic ways in which ontological expressiveness may be undermined in a grammar and some potential consequences of these violations. We also examine ontological expressiveness within the context of some other desirable features that might be considered in the design of ISAD methodologies. 相似文献
2.
A new unsymmetrical chiral thioindigo dopant 6‐[(R,R)‐2,3‐difluorooct‐1‐yloxy]‐5′‐nitro‐6′‐[(R)‐2‐octyloxy]thioindigo ( 4 ) designed to photoinvert the sign of spontaneous polarization (PS) in a ferroelectric chiral smectic C (SmC*) liquid crystal was prepared using a synthetic approach previously developed in our laboratory. In this new “ambidextrous” design, the (R)‐2‐octyloxy side‐chain is sterically coupled to the thioindigo core and induces a positive PS, whereas the (R,R)‐2,3‐difluorooctyloxy side‐chain is decoupled from the core and induces a larger negative PS. In the trans form, this dopant induces a negative polarization in the SmC host (+)‐4‐(4‐methylhexyloxy)phenyl 4‐decyloxybenzoate ( PhB ). Irradiation of a 1 mol‐% mixture of 4 in PhB at λ = 510 nm caused a sign inversion of PS, from –0.88 to +0.42 nC cm–2 at T – TC = –5 °C, which is consistent with an increase in the polarization power of the coupled 2‐octyloxy/thioindigo unit over that of the 2,3‐difluorooctyloxy unit, due to the increase in transverse dipole moment of the thioindigo core upon trans–cis photoisomerization. The PS sign inversion was confirmed by a surface‐stabilized ferroelectric liquid crystal photoswitching experiment. Spectroscopic measurements on films of the doped liquid crystal mixtures showed that trans–cis photoisomerization is gradually suppressed with increasing dopant mole fraction, possibly as a result of increased dopant aggregation. 相似文献
3.
Philippe Meunier Robert Bruce Findler Paul Steckler Mitchell Wand 《Higher-Order and Symbolic Computation》2005,18(3-4):245-269
A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving
the system of constraints produces a conservative approximation to the program's runtime flow of values.
Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example,
if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract
the relevant component from the abstract representation of the procedure.
In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much
and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis
for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become
too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more
efficient manner. 相似文献
4.
This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. 相似文献
5.
A network of powerful personal computers, linked by a high-speed local area network, is being seen increasingly as an alternative to a traditional centralized time-sharing operating system. The PULSE project is investigating how such a system may be constructed to give the benefits of a self-sufficient personal computer to each user without losing the facilities for communication and sharing of data inherent in centralized systems. In particular, a distributed file system has been built which provides a single global UNIX 1 UNIX is a trademark of Bell Laboratories. -like hierarchy, with a consistent appearance when accessed from any machine. Replicated copies of files are maintained to improve reliability, increase performance, and enable each machine to run stand-alone, albeit with reduced facilities. 相似文献
6.
7.
Michael Wand Alexander Berner Martin Bokeloh Philipp Jenke Arno Fleck Mark Hoffmann Benjamin Maier Dirk Staneker Andreas Schilling Hans-Peter Seidel 《Computers & Graphics》2008,32(2):204-220
This paper describes a new out-of-core multi-resolution data structure for real-time visualization, interactive editing and externally efficient processing of large point clouds. We describe an editing system that makes use of the novel data structure to provide interactive editing and preprocessing tools for large scanner data sets. Using the new data structure, we provide a complete tool chain for 3D scanner data processing, from data preprocessing and filtering to manual touch-up and real-time visualization. In particular, we describe an out-of-core outlier removal and bilateral geometry filtering algorithm, a toolset for interactive selection, painting, transformation, and filtering of huge out-of-core point-cloud data sets and a real-time rendering algorithm, which all use the same data structure as storage backend. The interactive tools work in real-time for small model modifications. For large scale editing operations, we employ a two-resolution approach where editing is planned in real-time and executed in an externally efficient offline computation afterwards. We evaluate our implementation on example data sets of sizes up to 63 GB, demonstrating that the proposed technique can be used effectively in real-world applications. 相似文献
8.
CI Henschke DF Yankelevitz A Wand SD Davis M Shiau 《Canadian Metallurgical Quarterly》1996,34(1):21-31
264 patients with cancer of larynx, 21 female and 234 male, had a testosterone and sex hormone binding globulin (SHBG) before the treatment in serum estimated. Because of dependence of levels of hormones the group of patients was divided into three following groups: "lower than standard", "standard", "higher than standard". The correlation between these groups and sex, age, localization of tumor, organs' advances, stage of morphological malignancy and type of cancer was reported. Anomalous values of testosterone were in male group more frequently reported. Anomalous values of SHBG were similar in male and female groups, but in the female group there was a significant majority of "lower than standard" values reported. The majority of abnormal values of testosterone and SHBG was described in groups of age higher than 50 years. There were no differences in testosterone and SHBG levels in different localization of tumors in larynx. In advanced stage T3 and T4 there were more frequent lower mean values of testosterone levels and higher values of SHBG levels in comparison to T2 stages. In tumors in G1 and G2 stages of histological malignancy higher levels of SHBG and higher mean levels of testosterone. The tumors in stage G3 the hormone levels were lowers were observed. The levels of SHBG in groups of carcinoma planoepitheliale keratodes were in 66% higher than in a group of carcinoma planoepitheliale akeratodes but in both groups the levels of testosterone were nearing the same. In group of patients with larynx cancer the negative correlation between the levels of testosterone and SHBG was not observed. Higher SHBG levels were not always accompanied by lower testosterone levels. 相似文献
9.
钢结构薄层膨胀型防火涂料配方的研制 总被引:4,自引:0,他引:4
着重论述了适用于钢材的薄层膨胀型防火涂料的组成,配方设计及配方研究的试验结果,通过对成膜物质,阻燃体系,填料,助剂的选择,获得最佳配方.按此配方生产的产品各项性能指标均已超过国家现行标准并具有实用价值. 相似文献
10.
本文运用概率分析方法,详细地分析了拥有优先级的Delta网有效存贮器带宽的性能,获得的有效带宽模型基于访存请求均匀分布于各存贮器模块中,结果表明:优先级并不影响整个Delta互连网有效存贮器带宽的性能。计算机模拟的结果也验证了理论分析的有效性。 相似文献