全文获取类型
收费全文 | 9400篇 |
免费 | 970篇 |
国内免费 | 429篇 |
专业分类
电工技术 | 571篇 |
技术理论 | 3篇 |
综合类 | 644篇 |
化学工业 | 1702篇 |
金属工艺 | 573篇 |
机械仪表 | 600篇 |
建筑科学 | 695篇 |
矿业工程 | 284篇 |
能源动力 | 324篇 |
轻工业 | 882篇 |
水利工程 | 216篇 |
石油天然气 | 477篇 |
武器工业 | 102篇 |
无线电 | 1030篇 |
一般工业技术 | 1085篇 |
冶金工业 | 370篇 |
原子能技术 | 95篇 |
自动化技术 | 1146篇 |
出版年
2024年 | 48篇 |
2023年 | 227篇 |
2022年 | 370篇 |
2021年 | 526篇 |
2020年 | 380篇 |
2019年 | 318篇 |
2018年 | 351篇 |
2017年 | 377篇 |
2016年 | 336篇 |
2015年 | 499篇 |
2014年 | 606篇 |
2013年 | 639篇 |
2012年 | 613篇 |
2011年 | 767篇 |
2010年 | 590篇 |
2009年 | 528篇 |
2008年 | 479篇 |
2007年 | 413篇 |
2006年 | 436篇 |
2005年 | 294篇 |
2004年 | 247篇 |
2003年 | 194篇 |
2002年 | 212篇 |
2001年 | 172篇 |
2000年 | 196篇 |
1999年 | 195篇 |
1998年 | 143篇 |
1997年 | 110篇 |
1996年 | 103篇 |
1995年 | 89篇 |
1994年 | 84篇 |
1993年 | 66篇 |
1992年 | 59篇 |
1991年 | 32篇 |
1990年 | 24篇 |
1989年 | 29篇 |
1988年 | 17篇 |
1987年 | 4篇 |
1986年 | 7篇 |
1985年 | 2篇 |
1984年 | 10篇 |
1983年 | 1篇 |
1982年 | 4篇 |
1981年 | 1篇 |
1979年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
81.
多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。 相似文献
82.
This paper deals with Korean-English bilingual videotext recognition for news headline generation. Because videotext contains semantic content information, it can be effectively used for understanding videos. Despite its usefulness, it is a challengeable task to apply text recognition technologies to practical video applications because of the computational complexity and recognition accuracy. In this paper, we propose a novel Korean-English bilingual videotext recognition method to overcome the computational complexity as well as achieve comparable recognition accuracy. To recognize both Korean and English characters effectively, the proposed method employs an elaborate split-merge strategy in which the split segments are merged into characters using the recognition scores. Moreover, it avoids unnecessary computation using geometric features such as squareness and internal gap, and thus its computational overhead is remarkably reduced. Therefore, the proposed method is successfully employed in generating news headlines. The effectiveness and efficiency of the proposed method are verified by extensive experiments on a challenging database containing 51,290 text images (176,884 characters). 相似文献
83.
The generalized fuzzy c-means clustering algorithm with improved fuzzy partition (GFCM) is a novel modified version of the fuzzy c-means clustering algorithm (FCM). GFCM under appropriate parameters can converge more rapidly than FCM. However, it is found that GFCM is sensitive to noise in gray images. In order to overcome GFCM?s sensitivity to noise in the image, a kernel version of GFCM with spatial information is proposed. In this method, first a term about the spatial constraints derived from the image is introduced into the objective function of GFCM, and then the kernel induced distance is adopted to substitute the Euclidean distance in the new objective function. Experimental results show that the proposed method behaves well in segmentation performance and convergence speed for gray images corrupted by noise. 相似文献
84.
认真贯彻落实会议精神切实做好规划计划工作——在全国水利规划计划工作会议上的总结讲话 总被引:1,自引:1,他引:0
经过与会代表的共同努力,为期两天的全国水利规划计划工作会议完成了各项议程。我就会议情况作一简要总结。 相似文献
85.
86.
基于SOC的串联锂离子电池组均衡策略研究 总被引:1,自引:0,他引:1
由于一致性问题的存在,成组电池在可用容量、使用寿命等方面远不及单体电池,电池组的均衡管理对电池的成组使用者有着重要的实际意义.论文就针对锂离子串联电池组的均衡技术进行了研究,首先介绍了电池组一致性问题产生的原因,指出均衡管理的重要意义,分析了锂离子电池组SOC的一致性和基于SOC的均衡策略,详细阐述了基于SOC的均衡技术实现,最终搭建实验平台进行测试,验证了所使用的均衡策略和硬件电路的有效性. 相似文献
87.
88.
89.
设计了一种基于可靠特征集合匹配的内容完整的视频稳定算法。为了避免运动前景上的特征点参与运动估计,由经典的KLT(Kanade-Lucas-Tomasi)算法提取特征点,而后基于特征有效性判定规则对特征点集合进行有效性验证以提高特征点的可靠性。利用通过验证的特征点对全局运动进行估计,得到精确的运动参数并据此对视频图像进行运动补偿。对于运动补偿造成的无定义区,首先计算当前帧的定义区与相邻帧的光流,以此为向导腐蚀无定义区;利用拼接的方法,填充仍为无定义区的像素。实验结果表明该算法对于前景物体运动具有较好的鲁棒性并能够生成内容完整的稳定视频序列。 相似文献
90.
为了解决微机械陀螺仪驱动和检测模态耦合的问题,提出了一种新型的双质量块双线振动结构方案。根据微陀螺的结构和工作原理,对其驱动和检测模态进行了理论分析,给出了简化的动力学方程,并利ANSYS有限元分析软件进行了数值仿真,以验证设计思想的正确性。 相似文献