全文获取类型
收费全文 | 9138篇 |
免费 | 683篇 |
国内免费 | 20篇 |
专业分类
电工技术 | 101篇 |
综合类 | 6篇 |
化学工业 | 2350篇 |
金属工艺 | 269篇 |
机械仪表 | 292篇 |
建筑科学 | 331篇 |
矿业工程 | 40篇 |
能源动力 | 231篇 |
轻工业 | 1152篇 |
水利工程 | 65篇 |
石油天然气 | 28篇 |
武器工业 | 1篇 |
无线电 | 727篇 |
一般工业技术 | 1886篇 |
冶金工业 | 619篇 |
原子能技术 | 68篇 |
自动化技术 | 1675篇 |
出版年
2023年 | 137篇 |
2022年 | 176篇 |
2021年 | 349篇 |
2020年 | 278篇 |
2019年 | 303篇 |
2018年 | 444篇 |
2017年 | 448篇 |
2016年 | 509篇 |
2015年 | 357篇 |
2014年 | 473篇 |
2013年 | 809篇 |
2012年 | 580篇 |
2011年 | 674篇 |
2010年 | 533篇 |
2009年 | 481篇 |
2008年 | 426篇 |
2007年 | 313篇 |
2006年 | 196篇 |
2005年 | 204篇 |
2004年 | 152篇 |
2003年 | 151篇 |
2002年 | 140篇 |
2001年 | 107篇 |
2000年 | 94篇 |
1999年 | 94篇 |
1998年 | 144篇 |
1997年 | 122篇 |
1996年 | 124篇 |
1995年 | 59篇 |
1994年 | 78篇 |
1993年 | 79篇 |
1992年 | 55篇 |
1991年 | 48篇 |
1990年 | 37篇 |
1989年 | 30篇 |
1988年 | 28篇 |
1987年 | 33篇 |
1986年 | 23篇 |
1985年 | 43篇 |
1984年 | 50篇 |
1983年 | 40篇 |
1982年 | 41篇 |
1981年 | 35篇 |
1980年 | 25篇 |
1979年 | 31篇 |
1977年 | 42篇 |
1976年 | 44篇 |
1975年 | 26篇 |
1974年 | 22篇 |
1973年 | 31篇 |
排序方式: 共有9841条查询结果,搜索用时 15 毫秒
101.
Ana Carolina Lorena André C. P. L. F. de Carvalho João M. P. Gama 《Artificial Intelligence Review》2008,30(1-4):19-37
Several real problems involve the classification of data into categories or classes. Given a data set containing data whose classes are known, Machine Learning algorithms can be employed for the induction of a classifier able to predict the class of new data from the same domain, performing the desired discrimination. Some learning techniques are originally conceived for the solution of problems with only two classes, also named binary classification problems. However, many problems require the discrimination of examples into more than two categories or classes. This paper presents a survey on the main strategies for the generalization of binary classifiers to problems with more than two classes, known as multiclass classification problems. The focus is on strategies that decompose the original multiclass problem into multiple binary subtasks, whose outputs are combined to obtain the final prediction. 相似文献
102.
Elizabeth Carvalho Adérito Marcos Maribel Yasmina Santos Jo?o Espregueira-Mendes 《Computer Graphics and Applications, IEEE》2008,28(5):16-21
A cartographic-oriented model uses algebraic map operations to perform spatial analysis of medical data relative to the human body. A prototype system uses 3D visualization techniques to deliver analysis results. A prototype implementation suggests the model might provide the basis for a medical application tool that introduces new information insight. 相似文献
103.
Despite the assumption that the integration of ICT influences the entire school system, research focusing on ICT in schools is generally limited to the study of variables at class level. In contrast to these studies, the present research explores ICT integration from a school improvement approach. More particularly, it examines the local school policy with respect to ICT integration from both the principal’s perspective and perceptions of teachers. Furthermore, it studies the relationship between school policies and the actual use of ICT in the classroom. To answer the research questions, a representative sample of 53 primary school principals was interviewed. In addition, the interview data were supplemented with survey data of 574 teachers from the same 53 schools. What emerged from the analyses was that school-related policies, such as an ICT plan, ICT support and ICT training have a significant effect on class use of ICT. In addition, the findings from the interviews indicate that school policies are often underdeveloped and underutilised. The discussion section focuses on challenges to improve the potential of an ICT school policy. 相似文献
104.
ISA100自动化用无线系统旨在统一工业无线技术。以下叙述了来自200多家公司的600名成员是如何合作实现这一目标的。 相似文献
105.
Recent trends in manufacturing and health care move these two work systems closer together from a system ergonomics point of view. Individual treatment of products, especially patients, by specialists in a distributed environment demand information technology (IT)‐based support suitable for complex systems. IT‐based support of processes in complex systems is difficult due to the lack of standard processes. IT support also means to rethink processes to use efficiency potentials. Close cooperation of users and software developers is needed to increase the ergonomic quality of the system. Therefore, suitable tools are needed: UML is available as the standard industry modeling language, Zope/Plone as the quasi‐standard for content management systems, SimPy as an object‐oriented simulation tool for event‐triggered processes, and ACT‐R as a powerful cognitive architecture for simulation of human information processes. The integration of these tools enables system‐ergonomic support of processes in the complex work system as well as of the development and deployment process. It is the base of an integral system‐ergonomic approach for IT‐based process management. Knowledge gained during process analysis either enters models or leads to the extension and adaptation of the tool chain. The models serve as basis for discussion among system ergonomists, programmers, and specialists from the work system. Further, they are understood by simulation and process support tools. Transcoding efforts between humans with different professional backgrounds and machines are reduced, and the flexibility demanded by complex systems is met. © 2008 Wiley Periodicals, Inc. 相似文献
106.
Mark Liffiton Maher Mneimneh Inês Lynce Zaher Andraus João Marques-Silva Karem Sakallah 《Constraints》2009,14(4):415-442
Explaining the causes of infeasibility of Boolean formulas has practical applications in numerous fields, such as artificial
intelligence (repairing inconsistent knowledge bases), formal verification (abstraction refinement and unbounded model checking),
and electronic design (diagnosing and correcting infeasibility). Minimal unsatisfiable subformulas (MUSes) provide useful
insights into the causes of infeasibility. An unsatisfiable formula often has many MUSes. Based on the application domain,
however, MUSes with specific properties might be of interest. In this paper, we tackle the problem of finding a smallest-cardinality
MUS (SMUS) of a given formula. An SMUS provides a succinct explanation of infeasibility and is valuable for applications that
are heavily affected by the size of the explanation. We present (1) a baseline algorithm for finding an SMUS, founded on earlier
work for finding all MUSes, and (2) a new branch-and-bound algorithm called Digger that computes a strong lower bound on the size of an SMUS and splits the problem into more tractable subformulas in a recursive
search tree. Using two benchmark suites, we experimentally compare Digger to the baseline algorithm and to an existing incomplete genetic algorithm approach. Digger is shown to be faster in nearly all cases. It is also able to solve far more instances within a given runtime limit than
either of the other approaches. 相似文献
107.
Information flow control (IFC) checks whether a program can leak secret data to public ports, or whether critical computations
can be influenced from outside. But many IFC analyses are imprecise, as they are flow-insensitive, context-insensitive, or
object-insensitive; resulting in false alarms. We argue that IFC must better exploit modern program analysis technology, and
present an approach based on program dependence graphs (PDG). PDGs have been developed over the last 20 years as a standard
device to represent information flow in a program, and today can handle realistic programs. In particular, our dependence
graph generator for full Java bytecode is used as the basis for an IFC implementation which is more precise and needs less
annotations than traditional approaches. We explain PDGs for sequential and multi-threaded programs, and explain precision
gains due to flow-, context-, and object-sensitivity. We then augment PDGs with a lattice of security levels and introduce
the flow equations for IFC. We describe algorithms for flow computation in detail and prove their correctness. We then extend
flow equations to handle declassification, and prove that our algorithm respects monotonicity of release. Finally, examples
demonstrate that our implementation can check realistic sequential programs in full Java bytecode. 相似文献
108.
109.
S. Košina S. Balúch J. Annus M. Omastová J. Krištín 《Journal of Materials Science》1994,29(13):3403-3407
The electrical conductivity and morphology of thick (up to 3 mm) porous polypyrrole (PPy) layers produced electrochemically from pyrrole in acetonitrile (ACN) solutions have been studied. The electrical conductivity of pressed porous layers ranges from 1 to 10 Scm–1, which is about one order of magnitude less than that in films which were prepared under similar conditions but without PnClCr. Analysis of the temperature dependence of conductivity has confirmed the major role of hopping in relation to tunnelling in charge transport inside the PPy layers even at lower temperatures. Scanning electron microscopy (SEM) showed a globular structure, which is different from the usual cauliflower-like structure of PPy films prepared without any oxidizing agent. Globular particles of about 1–3 m diameter have been found under a thin smooth crust on the electrode side of the sample. Globular particles form linked chain-like or larger round formations poorly filling the space. Closely packed fibrils of about 20 nm diameter and over 100 nm in length were found inside the aggregates. 相似文献
110.
The cross-correlation function between two light fields is recorded with the help of a new device. The proposed correlator exhibits ultrashort time resolution. The optical path difference between the two interfering beams does not have to be known with interferometric precision. The experimental dynamic range proved to be as large as 10(5). The device features imaging capabilities that could be applied to the analysis of two-dimensional images with ultrashort time resolution. 相似文献