全文获取类型
收费全文 | 34137篇 |
免费 | 4380篇 |
国内免费 | 3529篇 |
专业分类
电工技术 | 4525篇 |
技术理论 | 4篇 |
综合类 | 5703篇 |
化学工业 | 733篇 |
金属工艺 | 619篇 |
机械仪表 | 2980篇 |
建筑科学 | 1417篇 |
矿业工程 | 1121篇 |
能源动力 | 822篇 |
轻工业 | 790篇 |
水利工程 | 990篇 |
石油天然气 | 633篇 |
武器工业 | 598篇 |
无线电 | 3259篇 |
一般工业技术 | 1779篇 |
冶金工业 | 581篇 |
原子能技术 | 118篇 |
自动化技术 | 15374篇 |
出版年
2024年 | 137篇 |
2023年 | 341篇 |
2022年 | 578篇 |
2021年 | 664篇 |
2020年 | 876篇 |
2019年 | 846篇 |
2018年 | 801篇 |
2017年 | 942篇 |
2016年 | 1144篇 |
2015年 | 1308篇 |
2014年 | 1976篇 |
2013年 | 2120篇 |
2012年 | 2447篇 |
2011年 | 2813篇 |
2010年 | 2083篇 |
2009年 | 2301篇 |
2008年 | 2445篇 |
2007年 | 2918篇 |
2006年 | 2625篇 |
2005年 | 2228篇 |
2004年 | 1760篇 |
2003年 | 1540篇 |
2002年 | 1251篇 |
2001年 | 1095篇 |
2000年 | 963篇 |
1999年 | 770篇 |
1998年 | 641篇 |
1997年 | 493篇 |
1996年 | 404篇 |
1995年 | 346篇 |
1994年 | 300篇 |
1993年 | 201篇 |
1992年 | 165篇 |
1991年 | 127篇 |
1990年 | 80篇 |
1989年 | 96篇 |
1988年 | 55篇 |
1987年 | 35篇 |
1986年 | 25篇 |
1985年 | 21篇 |
1984年 | 14篇 |
1983年 | 24篇 |
1982年 | 12篇 |
1981年 | 5篇 |
1980年 | 6篇 |
1979年 | 5篇 |
1978年 | 3篇 |
1977年 | 6篇 |
1973年 | 3篇 |
1957年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 6 毫秒
991.
L. Di Lascio 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2001,5(6):434-439
In this paper Beth–Smullyan's tableaux method is extended to the fuzzy propositional logic. The fuzzy tableaux method is
based on the concepts of t-truth and extended graded formula. As in classical logic, it is a refutation procedure. A closed
fuzzy tableau beginning with the extended graded formula [r, A] asserting that this is not t-true, is a tableau proof of the
graded formula (A, r). The theorems of soundness, completeness, and decidability are proved. 相似文献
992.
993.
994.
Similarity relations in concept lattices 总被引:6,自引:0,他引:6
995.
基于资源优化的QoS路径选择模糊算法 总被引:6,自引:0,他引:6
文中讨论了在IP网络中支持QoS路径时优化网络资源的模糊方法,对QoS路径选择中出现的多目标路径费用函数进行了合理的描述。该方法综合考虑了径路中的带宽、时延和路径条数,从初选出来的若干条路径中选择更安全,又节约网络资源的路径。仿真结果表明,模糊算法既兼容普通方法,又比普通方法更合理。同时,模糊方法计算简单迅速,用VLSI(very large scale integration)硬件很容易实现。 相似文献
996.
目前国内有关智能自动化技术的应用比较少。因此 ,介绍平板玻璃智能自动化系统的原理 ,并结合浮法玻璃的生产工艺进一步介绍了此系统在玻璃生产过程的具体应用 ,旨在为智能自动化技术在玻璃生产中推广应用而抛砖引玉 相似文献
997.
Nikolaj S. Bjørner Anca Browne Michael A. Colón Bernd Finkbeiner Zohar Manna Henny B. Sipma Tomás E. Uribe 《Formal Methods in System Design》2000,16(3):227-270
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction. 相似文献
998.
有限构模器的扩展及其在形式化方法中的应用 总被引:2,自引:0,他引:2
规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。 相似文献
999.
Shuliang Li 《Decision Support Systems》2000,27(4)
In this paper, the development of a hybrid intelligent system for developing marketing strategy is described. The hybrid system has been developed to: provide a logical process for strategic analysis; support group assessment of strategic marketing factors; help the coupling of strategic analysis with managerial intuition and judgement; help managers deal with uncertainty and fuzziness; and produce intelligent advice on setting marketing strategy. In this system, the strengths of expert systems, fuzzy logic and artificial neural networks (ANNs) are combined to support the process of marketing strategy development. Moreover, the advantages of Porter's five forces model and the directional policy matrices (DPM) are also integrated to assist strategic analysis. In the paper, the software architecture of the hybrid system is discussed in details. Particularly, the group assessment support module, the fuzzification of strategic factors, and the fuzzy reasoning for setting marketing strategy are addressed. In addition, the empirical field work on evaluating the hybrid system is also summarised. The empirical evidence indicates that the hybrid intelligent system is helpful and useful in supporting the development of marketing strategy. 相似文献
1000.
Industrial Robot Navigation and Obstacle Avoidance Employing Fuzzy Logic 总被引:10,自引:0,他引:10
This paper proposes a novel conceptual approach based on fuzzy logic to solve the local navigation and obstacle avoidance problem for industrial 3-dof robotic manipulators. The proposed system is divided into separate fuzzy units, which control individually each manipulator link. The fuzzy rule-base of each unit combines a repelling influence, which is related to the distance between the manipulator and the nearby obstacles, with the attracting influence produced by the angular difference, between the actual and the final manipulator configuration, to generate a new actuating command for each link. It can be considered as an on-line local navigation method for the generation of instantaneous collision-free trajectories. The strategy has been successfully applied to manipulators in different simulated workspace environments providing collision-free paths. Some of the simulation results obtained are included. 相似文献