全文获取类型
收费全文 | 2080篇 |
免费 | 92篇 |
国内免费 | 77篇 |
专业分类
电工技术 | 36篇 |
综合类 | 168篇 |
化学工业 | 19篇 |
金属工艺 | 21篇 |
机械仪表 | 131篇 |
建筑科学 | 31篇 |
矿业工程 | 19篇 |
能源动力 | 24篇 |
轻工业 | 22篇 |
水利工程 | 9篇 |
石油天然气 | 41篇 |
武器工业 | 9篇 |
无线电 | 122篇 |
一般工业技术 | 144篇 |
冶金工业 | 16篇 |
原子能技术 | 4篇 |
自动化技术 | 1433篇 |
出版年
2024年 | 6篇 |
2023年 | 30篇 |
2022年 | 35篇 |
2021年 | 27篇 |
2020年 | 26篇 |
2019年 | 48篇 |
2018年 | 29篇 |
2017年 | 62篇 |
2016年 | 67篇 |
2015年 | 68篇 |
2014年 | 89篇 |
2013年 | 125篇 |
2012年 | 113篇 |
2011年 | 153篇 |
2010年 | 98篇 |
2009年 | 161篇 |
2008年 | 120篇 |
2007年 | 113篇 |
2006年 | 106篇 |
2005年 | 81篇 |
2004年 | 80篇 |
2003年 | 90篇 |
2002年 | 63篇 |
2001年 | 40篇 |
2000年 | 48篇 |
1999年 | 32篇 |
1998年 | 38篇 |
1997年 | 36篇 |
1996年 | 38篇 |
1995年 | 37篇 |
1994年 | 29篇 |
1993年 | 38篇 |
1992年 | 19篇 |
1991年 | 19篇 |
1990年 | 11篇 |
1989年 | 12篇 |
1988年 | 8篇 |
1987年 | 6篇 |
1985年 | 3篇 |
1984年 | 4篇 |
1983年 | 5篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1980年 | 4篇 |
1979年 | 6篇 |
1978年 | 4篇 |
1977年 | 3篇 |
1976年 | 5篇 |
1974年 | 2篇 |
1973年 | 2篇 |
排序方式: 共有2249条查询结果,搜索用时 0 毫秒
151.
Theodoros Koutroumanidis Lazaros Iliadis Georgios K. Sylaios 《Environmental Modelling & Software》2006,21(12):1711-1721
Forecasting, using historic time-series data, has become an important tool for fisheries management. ARIMA modeling, Modeling for Optimal Forecasting techniques and Decision Support Systems based on fuzzy mathematics may be used to predict the general trend of a given fish landings time-series with increased reliability and accuracy. The present paper applies these three modeling methods to forecast anchovy fish catches landed in a given port (Thessaloniki, Greece) during 1979–2000 and hake and bonito total fish catches during 1982–2000. The paper attempts to assess the model's accuracy by comparing model results to the actual monthly fish catches of the year 2000. According to the measures of forecasting accuracy established, the best forecasting performance for anchovy was shown by the DSS model (MAPE = 28.06%, RMSE = 76.56, U-statistic = 0.67 and R2 = 0.69). The optimal forecasting technique of genetic modeling improved significantly the forecasting values obtained by the selected ARIMA model. Similarly, the DSS model showed a noteworthy forecasting efficiency for the prediction of hake landings, during the year 2000 (MAPE = 2.88%, RMSE = 13.75, U-statistic = 0.19 and R2 = 0.98), as compared to the other two modeling techniques. Optimal forecasting produced by combined modeling scored better than application of the simple ARIMA model. Overall, DSS results showed that the Fuzzy Expected Intervals methodology could be used as a very reliable tool for short-term predictions of fishery landings. 相似文献
152.
In order to estimate continuously the dynamic location of a car, dead reckoning and absolute sensors are usually merged. The models used for this fusion are non-linear and, therefore, classical tools (such as Bayesian estimation) cannot provide a guaranteed estimation. In some applications, integrity is essential and the ability to guaranty the result is a crucial point. There are bounded-error approaches that are insensitive to non-linearity. In this context, the random errors are only modeled by their maximum bounds. This paper presents a new technique to merge the data of redundant sensors with a guaranteed result based on constraints propagation techniques on real intervals. We have thus developed an approach for the fusion of the two ABS wheel encoders of the rear wheels of a car, a fiber optic gyro and a differential GPS receiver in order to estimate the absolute location of a car. Experimental results show that the precision that one can obtain is acceptable, with a guaranteed result, in comparison with an extended Kalman filter. Moreover, constraints propagation techniques are well adapted to a real-time context. 相似文献
153.
The maximum leaf spanning tree problem is known to be NP-complete. In [M.S. Rahman, M. Kaykobad, Complexities of some interesting problems on spanning trees, Inform. Process. Lett. 94 (2005) 93-97], a variation on this problem was posed. This variation restricts the problem to bipartite graphs and asks, for a fixed integer K, whether or not the graph contains a spanning tree with at least K leaves in one of the partite sets. We show not only that this problem is NP-complete, but that it remains NP-complete for planar bipartite graphs of maximum degree 4. We also consider a generalization of a related decision problem, which is known to be polynomial-time solvable. We show the problem is still polynomial-time solvable when generalized to weighted graphs. 相似文献
154.
On maximum induced matchings in bipartite graphs 总被引:1,自引:0,他引:1
V.V. Lozin 《Information Processing Letters》2002,81(1):7-11
The problem of finding a maximum induced matching is known to be NP-hard in general bipartite graphs. We strengthen this result by reducing the problem to some special classes of bipartite graphs such as bipartite graphs with maximum degree 3 or C4-free bipartite graphs. On the other hand, we describe a new polynomially solvable case for the problem in bipartite graphs which deals with a generalization of bi-complement reducible graphs. 相似文献
155.
A problem of a modal P-regulator synthesis for a linear multivariable dynamical system with uncertain (interval) parameters in state space is considered. The designed regulator has to place all coefficients of the system characteristic polynomial within assigned intervals. We have developed the approach proposed earlier in Dugarova and Smagina (Avtomat. i Telemech. 11 (1990) 176) and proved a direct correlation between interval system controllability and existence of robust modal P-regulator. 相似文献
156.
本文给出下列定理:设G是阶为n≥3的连通无爪图,如果对每对不同的非邻顶点x,y有2|N(x)UN(y)|+d(x)+d(y)≥2n-5,则G是可遍历的. 相似文献
157.
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and the MDG (multiway decision graphs) model checker. Our tool supports abstract datatypes and uninterpreted function symbols available in MDG, allowing the verification of high-level specifications. The hybrid tool, HOL-MDG, is based on an embedding in HOL of the grammar of the hardware modeling language, MDG-HDL, as well as an embedding of the first-order temporal logic Lmdg used to express properties for the MDG model checker. Verification with the hybrid tool is faster and more tractable than using either tools separately. We hence obtain the advantages of both verification paradigms. 相似文献
158.
Two grammatical characterizations of the bounded regular languages are presented: one in terms of graph grammars, the other using string grammars. First it is shown that a class of state graphs recognizing the bounded regular languages can be generated by a particular second-order contextfree graph grammar. Next we call uniquely recursive a right-linear (string) grammar having at most one right-recursive production for each of its nonterminals. It is then established that the class of languages generated by uniquely recursive, sequential right-linear grammars is exactly the bounded regular languages. Some comments on the relationship between string and graph grammars are made. 相似文献
159.
Note on the connectivity of line graphs 总被引:1,自引:0,他引:1
Let G be a connected graph with vertex set V(G), edge set E(G), vertex-connectivity κ(G) and edge-connectivity λ(G).A subset S of E(G) is called a restricted edge-cut if G−S is disconnected and each component contains at least two vertices. The restricted edge-connectivity λ2(G) is the minimum cardinality over all restricted edge-cuts. Clearly λ2(G)?λ(G)?κ(G).In 1969, Chartrand and Stewart have shown that
160.
R.E. Krichevsky 《Information Processing Letters》1982,14(5):238-241
The maximal-cut problem for directed graphs can be defined analogously to that for the undirected case. The undirected problem is known to be NP-complete. We consider two directed variants of the problem. Depending on the definition of the value of a cut, the resulting problem for general directed graphs is either efficiently solvable or NP-complete. We show that the latter version of the problem remains NP-complete when restricted to acyclic directed graphs. Further restriction to directed trees yields an efficiently solvable problem. We present an algorithm solving the problem in time proportional to the size of the input. 相似文献