全文获取类型
收费全文 | 1661篇 |
免费 | 122篇 |
国内免费 | 110篇 |
专业分类
电工技术 | 28篇 |
综合类 | 272篇 |
化学工业 | 15篇 |
金属工艺 | 2篇 |
机械仪表 | 73篇 |
建筑科学 | 10篇 |
矿业工程 | 4篇 |
能源动力 | 8篇 |
轻工业 | 38篇 |
水利工程 | 2篇 |
石油天然气 | 9篇 |
武器工业 | 6篇 |
无线电 | 90篇 |
一般工业技术 | 103篇 |
冶金工业 | 12篇 |
原子能技术 | 7篇 |
自动化技术 | 1214篇 |
出版年
2024年 | 2篇 |
2023年 | 3篇 |
2022年 | 8篇 |
2021年 | 4篇 |
2020年 | 11篇 |
2019年 | 18篇 |
2018年 | 15篇 |
2017年 | 30篇 |
2016年 | 31篇 |
2015年 | 59篇 |
2014年 | 75篇 |
2013年 | 82篇 |
2012年 | 83篇 |
2011年 | 106篇 |
2010年 | 81篇 |
2009年 | 114篇 |
2008年 | 110篇 |
2007年 | 110篇 |
2006年 | 108篇 |
2005年 | 89篇 |
2004年 | 75篇 |
2003年 | 69篇 |
2002年 | 61篇 |
2001年 | 54篇 |
2000年 | 52篇 |
1999年 | 47篇 |
1998年 | 62篇 |
1997年 | 37篇 |
1996年 | 31篇 |
1995年 | 46篇 |
1994年 | 30篇 |
1993年 | 38篇 |
1992年 | 35篇 |
1991年 | 11篇 |
1990年 | 21篇 |
1989年 | 12篇 |
1988年 | 12篇 |
1987年 | 7篇 |
1986年 | 9篇 |
1985年 | 2篇 |
1984年 | 9篇 |
1983年 | 6篇 |
1982年 | 6篇 |
1981年 | 8篇 |
1980年 | 3篇 |
1979年 | 1篇 |
1978年 | 3篇 |
1977年 | 6篇 |
1976年 | 1篇 |
排序方式: 共有1893条查询结果,搜索用时 515 毫秒
31.
32.
段俊生 《上海轻工业高等专科学校学报》2014,(2):163-166
对加法幂等半环上矩阵幂收敛的条件,以及加法幂等半环和坡代数赋权图路径优化问题与伴随矩阵幂的关系进行了研究,优化问题是在加法诱导的偏序≤下考虑的.特别,证明了对于选择的加法幂等半环E上的n阶赋权图G,如果其伴随矩阵A满足aij=e,且对G的任一基本回路p,权w(p)≤e,e是E的乘法幺元,则An-1的(i,j)分量表示从顶点i到j的所有路径的权在偏序≤下的最大元,且最大元一定在某一基本路径上取得.坡代数赋权图的结果作为特例得到.最后给出了几个应用的实例.说明加法幂等半环赋权图的这类广义路径优化问题仍可用矩阵幂的方法来解. 相似文献
33.
We place the continuous-time orbit problem in P, sharpening the decidability result shown by Hainry [7]. 相似文献
34.
Numerical linear algebra libraries provide many kernels that can be composed to perform complex computations. For a given computation, there is typically a large number of functionally equivalent kernel compositions. Some of these compositions achieve better response times than others for particular data and when executed on a particular computer architecture. Previous research provides methods to enumerate (a subset of) these kernel compositions. In this work, we study the problem of determining the composition that yields the lowest response time. Our approach is based on a response time prediction for each candidate combination. While this prediction could in principle be obtained using analytical and/or empirical performance models, developing accurate such models is known to be challenging. Instead, we define a feature space that captures salient properties of kernel combinations and predict response time using supervised machine learning. We experiment with a standard set of machine learning algorithms and identify an effective algorithm for our kernel composition selection problem. Using this algorithm, our approach widely outperforms the strategy that would consist in always using the simplest kernel composition and is often close to the fastest kernel compositions among those evaluated. We quantify the potential benefit of our approach if it were to be implemented as part of an interactive computational tool. We find that although the potential benefit is substantial, a limiting factor is the kernel composition enumeration overhead. Copyright © 2014 John Wiley & Sons, Ltd. 相似文献
35.
研究了leader有控制输入且followers未知该输入条件下的线性多智能 体一致性跟踪问题.提出两种一致性跟踪算法,证明两种算法在leader到followers存在一棵 有向生成树且follower间拓扑是有向条件下,网络就能跟踪leader的状态.对于第一种算法,节点根 据相邻节点或leader的状态来求解其控制输入,并基于代数Riccati不等式给出 连续情形下算法稳定性条件.第二种算法直接利用相邻节点或leader的状态,使followers在上述网络条件下跟踪leader的状态,同样基于代数Riccati不等式给出算法稳定性条件. 仿真结果验证了算法的有效性. 相似文献
36.
在一些特殊领域中需要建立一定的实验环境对软件性能进行测试,因此实验环境与实际环境之间的近似程度对软件的性能起到关键作用。为建立环境之间的近似度量,在进程代数理论基础上,根据软件与环境的交互程度,利用拓扑度量和论域理论中的偏序关系,建立实验环境之间近似程度的量化模型。根据软件与环境之间的部分交互,建立实验环境之间近似程度的度量模型。通过实例对度量模型进行说明,并证明度量模型的代数性质。 相似文献
37.
借助软集合,提出了格蕴涵代数的软LI-理想的概念,研究了软集运算下的一些诸如交、且等基本性质,并给出了格蕴涵代数的软LI-理想的一些等价刻画。此外,研究了格蕴涵代数的软LI-理想与格蕴涵代数的软格理想之间的关系。得到了格蕴涵代数的软LI-理想像与原像的性质。 相似文献
38.
39.
粗糙集的信息观和代数观是通过不同的方式来定义知识的,两种观点在绝对约简中完全等价,但是在相对约简中,两种观点的关系并不明确。文章研究了两种观点在相对约简中的关系,证明了两种观点在相容决策表中完全相同,而在不相容决策表中,信息观的现有定理存在错误,也就是说信息观不适用于不相容决策表。 相似文献
40.
Recently, Aceto, Fokkink and Ingólfsdóttir proposed an algorithm to turn any sound and ground-complete axiomatisation of any preorder listed in the linear time-branching time spectrum at least as coarse as the ready simulation preorder, into a sound and ground-complete axiomatisation of the corresponding equivalence—its kernel. Moreover, if the former axiomatisation is ω-complete, so is the latter. Subsequently, de Frutos Escrig, Gregorio Rodríguez and Palomino generalised this result, so that the algorithm is applicable to any preorder at least as coarse as the ready simulation preorder, provided it is initials preserving. The current paper shows that the same algorithm applies equally well to weak semantics: the proviso of initials preserving can be replaced by other conditions, such as weak initials preserving and satisfying the second τ-law. This makes it applicable to all 87 preorders surveyed in “the linear time-branching time spectrum II” that are at least as coarse as the ready simulation preorder. We also extend the scope of the algorithm to infinite processes, by adding recursion constants. As an application of both extensions, we provide a ground-complete axiomatisation of the CSP failures equivalence for BCCS processes with divergence. 相似文献