全文获取类型
收费全文 | 25391篇 |
免费 | 1831篇 |
国内免费 | 1092篇 |
专业分类
电工技术 | 945篇 |
技术理论 | 7篇 |
综合类 | 2101篇 |
化学工业 | 7690篇 |
金属工艺 | 2806篇 |
机械仪表 | 1375篇 |
建筑科学 | 2730篇 |
矿业工程 | 925篇 |
能源动力 | 746篇 |
轻工业 | 954篇 |
水利工程 | 404篇 |
石油天然气 | 496篇 |
武器工业 | 128篇 |
无线电 | 952篇 |
一般工业技术 | 2516篇 |
冶金工业 | 1313篇 |
原子能技术 | 96篇 |
自动化技术 | 2130篇 |
出版年
2024年 | 106篇 |
2023年 | 370篇 |
2022年 | 626篇 |
2021年 | 749篇 |
2020年 | 845篇 |
2019年 | 644篇 |
2018年 | 624篇 |
2017年 | 619篇 |
2016年 | 675篇 |
2015年 | 742篇 |
2014年 | 1552篇 |
2013年 | 1531篇 |
2012年 | 1745篇 |
2011年 | 1962篇 |
2010年 | 1698篇 |
2009年 | 1485篇 |
2008年 | 1409篇 |
2007年 | 1647篇 |
2006年 | 1654篇 |
2005年 | 1320篇 |
2004年 | 1158篇 |
2003年 | 909篇 |
2002年 | 718篇 |
2001年 | 628篇 |
2000年 | 507篇 |
1999年 | 480篇 |
1998年 | 396篇 |
1997年 | 318篇 |
1996年 | 218篇 |
1995年 | 165篇 |
1994年 | 159篇 |
1993年 | 96篇 |
1992年 | 94篇 |
1991年 | 86篇 |
1990年 | 59篇 |
1989年 | 50篇 |
1988年 | 47篇 |
1987年 | 17篇 |
1986年 | 22篇 |
1985年 | 15篇 |
1983年 | 19篇 |
1981年 | 10篇 |
1980年 | 12篇 |
1966年 | 9篇 |
1964年 | 9篇 |
1961年 | 9篇 |
1959年 | 8篇 |
1957年 | 8篇 |
1956年 | 8篇 |
1955年 | 9篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
41.
42.
Anna Bucalo 《Journal of Logic, Language and Information》1994,3(3):211-232
We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras. 相似文献
43.
王润球 《湖南工业大学学报》1998,(Z1)
从株洲产业结构的现状与特征出发,对如何进一步调整优化株洲的产业结构进行了探讨,提出了调整优化的产业结构的基本方针和对策。 相似文献
44.
本文概述了近期发生的"震网"事件.同时分析了"震网"的特点和行为特征.并根据我国的具体情况给出了安全警示和安全防范建议. 相似文献
45.
为了克服中小型机械企业建立网站的经费不足、功能不全和缺乏安全性等问题,提出了建立通用企业网站的方案。首先通过广泛调研企业的需求,总结和分析了企业信息、客户管理、产品管理、销售与市场管理、物资供应管理、人事管理和安全管理等模块的功能;其次,分析了主要的业务流程和业务重组。 相似文献
46.
董艳 《数码设计:surface》2010,(11):214-215
工业设计是科学和艺术的综合体,创新思维在工业设计中具有十分重要的作用。它不仅决定了产品的外观,甚至还影响着产品的制造和使用过程。我国著名教育家陶行知先生认为,"处处是创造之地""天天是创造之时""人人是创造之人"。中国是制造大国,却不是设计大国。中国设计的原创性产品很少,中国的创新能力也亟待加强。但是随着科技的进步,中国的设计能力也在突飞猛进地发展。可以相信,未来的中国一定会成为一个设计大国。 相似文献
47.
王宝 《数码设计:surface》2010,(9):180-181
工业设计与企业是紧密联系的。因为设计师设计的产品,最终是要批量生产的。在产品的"市场调研-研发-试生产-生产-服务"的整个过程中,工业设计都穿插其中,起着举足轻重的作用。 相似文献
48.
49.
50.
Ian Flood 《Advanced Engineering Informatics》2008,22(1):4-14
The purpose of this paper is to stimulate interest within the civil engineering research community for developing the next generation of applied artificial neural networks. In particular, it identifies what the next generation of these devices needs to achieve, and provides direction in terms of how their development may proceed. An analysis of the current situation indicates that progress in the development of artificial neural network applications has largely stagnated. Suggestions are made for advancing the field to the next level of sophistication and application, using genetic algorithms and related techniques. It is shown that this approach will require the design of some very sophisticated genetic coding mechanisms in order to develop the required higher-order network structures, and will utilize development mechanisms observed in nature such as growth, self-organization, and multi-stage objective functions. The capabilities of such an approach and the way in which they can be achieved are explored with reference to the problems of: (a) determining truck attributes from the strain envelopes they induce in structural members when crossing a bridge, and; (b) developing a decision support system for dynamic control of industrialized manufacturing of houses. 相似文献