全文获取类型
收费全文 | 1581篇 |
免费 | 44篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 36篇 |
综合类 | 2篇 |
化学工业 | 462篇 |
金属工艺 | 33篇 |
机械仪表 | 15篇 |
建筑科学 | 88篇 |
矿业工程 | 8篇 |
能源动力 | 28篇 |
轻工业 | 254篇 |
水利工程 | 10篇 |
石油天然气 | 1篇 |
无线电 | 69篇 |
一般工业技术 | 223篇 |
冶金工业 | 242篇 |
原子能技术 | 7篇 |
自动化技术 | 149篇 |
出版年
2022年 | 23篇 |
2021年 | 32篇 |
2020年 | 22篇 |
2019年 | 28篇 |
2018年 | 21篇 |
2017年 | 14篇 |
2016年 | 30篇 |
2015年 | 29篇 |
2014年 | 35篇 |
2013年 | 52篇 |
2012年 | 49篇 |
2011年 | 65篇 |
2010年 | 57篇 |
2009年 | 44篇 |
2008年 | 47篇 |
2007年 | 58篇 |
2006年 | 45篇 |
2005年 | 35篇 |
2004年 | 38篇 |
2003年 | 37篇 |
2002年 | 34篇 |
2001年 | 16篇 |
2000年 | 29篇 |
1999年 | 14篇 |
1998年 | 33篇 |
1997年 | 36篇 |
1996年 | 26篇 |
1995年 | 24篇 |
1994年 | 29篇 |
1993年 | 26篇 |
1992年 | 39篇 |
1991年 | 19篇 |
1990年 | 31篇 |
1989年 | 21篇 |
1988年 | 14篇 |
1987年 | 24篇 |
1986年 | 14篇 |
1985年 | 29篇 |
1984年 | 24篇 |
1983年 | 24篇 |
1982年 | 16篇 |
1981年 | 25篇 |
1980年 | 14篇 |
1978年 | 24篇 |
1977年 | 16篇 |
1976年 | 18篇 |
1974年 | 13篇 |
1972年 | 15篇 |
1970年 | 14篇 |
1963年 | 13篇 |
排序方式: 共有1627条查询结果,搜索用时 15 毫秒
111.
This contribution deals with developments in the history of philosophy, logic, and mathematics during the time before and up to the beginning of fuzzy logic. Even though the term “fuzzy” was introduced by Lotfi A. Zadeh in 1964/1965, it should be noted that older concepts of “vagueness” and “haziness” had previously been discussed in philosophy, logic, mathematics, applied sciences, and medicine. This paper delineates some specific paths through the history of the use of these “loose concepts”. Vagueness was avidly discussed in the fields of logic and philosophy during the first decades of the 20th century—particularly in Vienna, at Cambridge and in Warsaw and Lvov. An interesting sequel to these developments can be seen in the work of the Polish physician and medical philosopher Ludwik Fleck.Haziness and fuzziness were concepts of interest in mathematics and engineering during the second half of the 1900s. The logico-philosophical history presented here covers the work of Bertrand Russell, Max Black, and others. The mathematical–technical history deals with the theories founded by Karl Menger and Lotfi Zadeh. Menger's concepts of probabilistic metrics, hazy sets (ensembles flous) and micro-geometry as well as Zadeh's theory of fuzzy sets paved the way for the establishment of soft computing methods using vague concepts that connote the nonexistence of sharp boundaries. 相似文献
112.
113.
114.
115.
Rudolf Berghammer 《Acta Informatica》2008,45(3):211-236
Relation algebra is well suited for dealing with many problems on ordered sets. Introducing lattices via order relations,
this suggests to apply it and tools for its mechanization for lattice-theoretical problems, too. We combine relation algebra
and the BDD-based specific purpose Computer Algebra system RelView to solve some algorithmic problems on orders and lattices and to visualize their solutions. 相似文献
116.
We present relation-algebraic specifications of injective embedding mappings and splittings of partial equivalence relations
and show in each case that the axioms characterize these constructions up to isomorphism, i.e., in an essentially unique way.
Based on the specifications, we develop a relational program for computing splitting and demonstrate some applications. The
examples originate from a relation-algebraic treatment of processes, graph theory, and the decomposition of specific relations. 相似文献
117.
118.
119.
Two major planning problems are encountered when designing a cellular radio network. The initial question is where to locate the base transmitter stations such that full coverage is achieved at low interference. This is relevant for frequency division (FDMA) as well as code division multiple access (CDMA) technology. If the locations of base stations are given, then for an FDMA-system frequencies have to be assigned such that there is a sufficient number of channels per cell available at a low total interference level. Since cell site selection and frequency allocation have mutual influences on each other, the ultimate goal is to deal with both problems in a single design step. The main intention of this paper is to model the above planning issues as linear integer programs, and to discuss solution methods for the corresponding NP-hard problems. According to their increasing complexity we proceed from channel allocation via cell site selection to an integrated single setup. 相似文献
120.