全文获取类型
收费全文 | 36148篇 |
免费 | 2579篇 |
国内免费 | 2053篇 |
专业分类
电工技术 | 1243篇 |
综合类 | 1966篇 |
化学工业 | 12301篇 |
金属工艺 | 3590篇 |
机械仪表 | 961篇 |
建筑科学 | 2965篇 |
矿业工程 | 491篇 |
能源动力 | 1092篇 |
轻工业 | 1568篇 |
水利工程 | 96篇 |
石油天然气 | 1257篇 |
武器工业 | 293篇 |
无线电 | 3213篇 |
一般工业技术 | 5148篇 |
冶金工业 | 1440篇 |
原子能技术 | 662篇 |
自动化技术 | 2494篇 |
出版年
2024年 | 111篇 |
2023年 | 529篇 |
2022年 | 1183篇 |
2021年 | 1185篇 |
2020年 | 985篇 |
2019年 | 873篇 |
2018年 | 747篇 |
2017年 | 1016篇 |
2016年 | 1279篇 |
2015年 | 1242篇 |
2014年 | 1679篇 |
2013年 | 1883篇 |
2012年 | 2081篇 |
2011年 | 2734篇 |
2010年 | 1992篇 |
2009年 | 2461篇 |
2008年 | 1915篇 |
2007年 | 2377篇 |
2006年 | 2205篇 |
2005年 | 1763篇 |
2004年 | 1471篇 |
2003年 | 1479篇 |
2002年 | 1203篇 |
2001年 | 932篇 |
2000年 | 849篇 |
1999年 | 686篇 |
1998年 | 527篇 |
1997年 | 374篇 |
1996年 | 340篇 |
1995年 | 284篇 |
1994年 | 258篇 |
1993年 | 228篇 |
1992年 | 204篇 |
1991年 | 175篇 |
1990年 | 150篇 |
1989年 | 116篇 |
1988年 | 92篇 |
1987年 | 94篇 |
1986年 | 107篇 |
1985年 | 103篇 |
1984年 | 90篇 |
1983年 | 76篇 |
1982年 | 76篇 |
1981年 | 85篇 |
1980年 | 77篇 |
1978年 | 72篇 |
1977年 | 73篇 |
1976年 | 88篇 |
1975年 | 86篇 |
1974年 | 70篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
One of the early results concerning the asynchronous π-calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) π-calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether the above encodings preserve De Nicola and Hennessy’s testing semantics. In this sense, it turns out that, under some general conditions, no encoding of the output prefix is able to preserve the must testing. This negative result is due to (a) the non-atomicity of the sequences of steps which are necessary in the asynchronous π-calculus to mimic synchronous communication, and (b) testing semantics’ sensitivity to divergence. 相似文献
992.
基于译文的英汉双语句子自动对齐 总被引:1,自引:0,他引:1
本文利用英汉互译译文间的内在联系,提出了基于译文的方法,通过使用一部翻译较完整的词典作为桥梁,将英汉句子间的对应关系连结起来,根据英语文本中的单词,在词典中找其对应的译文,并以译文到汉语句子中去匹配,根据评价函数和动态规划算法找到对齐句对,实验结果证明这种对齐方法消除了基于长度做法中错误蔓延的情况。并且普遍适用于任何文本,它大大地提高了对齐的精度,其效果是令人满意的。 相似文献
993.
利用计算机进行设计各种字形修饰效果一直是计算机图形学的重要内容之一.本文给出了在轮廓字表面上构造网格点,基于这些网格点进行Delaunay三角剖分,并转换为3-4网格,最后在网格上实现编织带修饰效果的具体实现方法.其中3-4网格由良构的四边形单元和少量辅助三角形单元构成,在其上实现了较好的编织带修饰的效果. 相似文献
994.
995.
An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory levels and distribution into account. An integer linear model is proposed as a compact problem specification but it cannot be solved to optimality for large instances. Instead of using a classical two-phase approach (production planning and then route construction for each day), metaheuristics that simultaneously tackle production and routing decisions are developed: a GRASP (greedy randomized adaptive search procedure) and two improved versions using either a reactive mechanism or a path-relinking process. These algorithms are evaluated on 90 randomly generated instances with 50, 100 and 200 customers and 20 periods. The results confirm the interest of integrating production and distribution decisions, compared to classical two-phase methods. Moreover, reaction and path-relinking give better results than the GRASP alone. 相似文献
996.
Real-time 2D to 3D video conversion 总被引:1,自引:0,他引:1
Ianir Ideses Leonid P. Yaroslavsky Barak Fishbain 《Journal of Real-Time Image Processing》2007,2(1):3-9
We present a real-time implementation of 2D to 3D video conversion using compressed video. In our method, compressed 2D video
is analyzed by extracting motion vectors. Using the motion vector maps, depth maps are built for each frame and the frames
are segmented to provide object-wise depth ordering. These data are then used to synthesize stereo pairs. 3D video synthesized
in this fashion can be viewed using any stereoscopic display. In our implementation, anaglyph projection was selected as the
3D visualization method, because it is mostly suited to standard displays.
相似文献
Ianir IdesesEmail: |
997.
This paper presents a performance analysis of nonlinear periodically time-varying discrete controllers acting upon a linear time-invariant discrete plant. Time-invariant controllers are distinguished from strictly periodically time-varying controllers. For a given nonlinear periodic controller, a time-invariant controller is constructed. Necessary and sufficient conditions are given under which the time-invariant controller gives strictly better control performance than the time-invariant controller from which it was obtained, for the attenuation of lp exogenous disturbances and the robust stabilization of lp unstructured perturbations, for all p[1,∞]. 相似文献
998.
Seong S. Chae Janice L. DuBien William D. Warde 《Computational statistics & data analysis》2006,50(12):3531-3546
Distributional and asymptotic results on the moment of Rand's Ck statistic were derived by DuBien and Warde [1981. Some distributional results concerning a comparative statistic used in cluster analysis. ASA Proceedings of the Social Statistics Section, 309–313.]. Based on those results, a method to predict the number of clusters is suggested by applying various agglomerative clustering algorithms. In the procedure, the methods using different indexes are examined and compared based on the concept of agreement (or, disagreement) between clusterings generated by different clustering algorithms on the set of data. Our method having practical generality works better than the other methods and assigns statistical meaning to Ck values in determining the number of clusters from the comparison. 相似文献
999.
We give simple, self-contained proofs of the basic hardness results for the classes W[t] of the weft hierarchy. We extend these proofs to higher levels of the hierarchy and illuminate the distinctions among its classes. The anti-monotone collapse at W[1,s] and the normalization of weft-t formulas arise as by-products of the proofs. 相似文献
1000.