全文获取类型
收费全文 | 33883篇 |
免费 | 4325篇 |
国内免费 | 3490篇 |
专业分类
电工技术 | 4520篇 |
技术理论 | 4篇 |
综合类 | 5689篇 |
化学工业 | 732篇 |
金属工艺 | 618篇 |
机械仪表 | 2980篇 |
建筑科学 | 1415篇 |
矿业工程 | 1102篇 |
能源动力 | 814篇 |
轻工业 | 742篇 |
水利工程 | 988篇 |
石油天然气 | 632篇 |
武器工业 | 595篇 |
无线电 | 3220篇 |
一般工业技术 | 1758篇 |
冶金工业 | 483篇 |
原子能技术 | 118篇 |
自动化技术 | 15288篇 |
出版年
2024年 | 101篇 |
2023年 | 322篇 |
2022年 | 566篇 |
2021年 | 653篇 |
2020年 | 847篇 |
2019年 | 822篇 |
2018年 | 774篇 |
2017年 | 919篇 |
2016年 | 1124篇 |
2015年 | 1296篇 |
2014年 | 1959篇 |
2013年 | 2101篇 |
2012年 | 2434篇 |
2011年 | 2810篇 |
2010年 | 2077篇 |
2009年 | 2297篇 |
2008年 | 2435篇 |
2007年 | 2909篇 |
2006年 | 2621篇 |
2005年 | 2227篇 |
2004年 | 1757篇 |
2003年 | 1534篇 |
2002年 | 1249篇 |
2001年 | 1092篇 |
2000年 | 961篇 |
1999年 | 768篇 |
1998年 | 635篇 |
1997年 | 487篇 |
1996年 | 400篇 |
1995年 | 342篇 |
1994年 | 294篇 |
1993年 | 199篇 |
1992年 | 165篇 |
1991年 | 126篇 |
1990年 | 79篇 |
1989年 | 96篇 |
1988年 | 54篇 |
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条查询结果,搜索用时 15 毫秒
181.
分析了目前各种容纳矛盾逻辑系统的不足,提出了正域、反域、不动域的概念,进而发现悖论是逻辑思维领域的不动点,建立了一个容纳矛盾的逻辑系统S,并给出了系统S的语义模型,证明了系统S的元定理.在系统S中,命题演算被分成3个独立的域,正域、反域中所有经典逻辑的定理与演算模式都是有效的;不动域是一个包含矛盾的域,在不动域中,可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较,它不但可以容纳矛盾,并且可以把矛盾解释清晰.以此逻辑系统为基础,可以建立一个容纳矛盾的数学基础. 相似文献
182.
针对具有超大飞行马赫数、超宽飞行包络、飞行环境复杂等特点的高超声速飞行器,提出了基于模糊自适应的高超飞行器高度控制方法,分别设计了高度和速度控制器.针对所设计的控制器,分析了气动干扰力矩、测量噪声、舵机干扰、气动参数不确定性和飞行器模型参数不确定性对飞行器高度控制和速度控制效果的影响,然后又分析了综合考虑以上干扰和不确定性对飞行器高度控制和速度控制效果的影响.仿真结果表明,对各种干扰和不确定性,所设计的控制器速度和高度控制有较好的跟踪性和鲁棒性,达到了满意的效果. 相似文献
183.
Hong ZHU 《Frontiers of Computer Science in China》2012,6(1):40-56
Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro... 相似文献
184.
An adaptive fuzzy decentralized backstepping output-feedback control approach is proposed for a class of nonlinear large-scale systems with completely unknown functions,the interconnections mismatched in control inputs,and without the measurements of the states.Fuzzy logic systems are employed to approximate the unknown nonlinear functions,and an adaptive high-gain observer is developed to estimate the unmeasured states.Using the designed high-gain observer,and combining the fuzzy adaptive control theory with backstepping approach,an adaptive fuzzy decentralized backstepping output-feedback control scheme is developed.It is proved that the proposed control approach can guarantee that all the signals of the closed-loop system are semi-globally uniformly ultimately bounded(SUUB),and that the observer errors and the tracking errors converge to a small neighborhood of the origin by appropriate choice of the design parameters.Finally,a simulation example is provided to show the eectiveness of the proposed approach. 相似文献
185.
186.
187.
188.
How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively. 相似文献
189.
《中国科学:信息科学(英文版)》2012,(1):149-164
It is significant to automatically detect and resolve the incompliance in security policy.Most existing works in this field focus on compliance verification,and few of them provide approaches to automatically correct the incompliant security policies.This paper proposes a novel approach to automatically transform a given security policy into a compliant one.Given security policy Π and delegation policy M declared by logic programs,the approach automatically rewrites Π into a new one ΠM which is compliant with M and is readable by the humans.We prove that the algorithm is sound and complete under noninterference assumption.Formally,we show that the security policy query evaluation algorithm with conflict and unsettlement resolution still works very well on ΠM.The approach is automatic,so it doesn’t require a administrator with excess abilities.In this sense,our proposal can help us to save much manpower resource in security management and improves the security assurance abilities. 相似文献
190.
针对现有背景抑制算法未能有效地抑制背景而导致目标检测率低的问题,提出一种基于模糊自适应共振理论(Fuzzy-ART)进行背景抑制、基于行列k均值(k-means)聚类实现阈值分割的单帧红外弱小目标检测算法.首先依据红外成像原理仿真生成红外弱小目标训练样本;然后采用Fuzzy-ART神经网络建立目标模型,并以此分析各像素点的目标模糊隶属度来抑制背景杂波;最后采用基于行列k-means聚类的自适应阈值分割算法来检测真实目标.实验结果表明,该算法能有效地抑制背景杂波和突显目标,并能有效地提高信噪比检测弱小目标. 相似文献