全文获取类型
收费全文 | 33795篇 |
免费 | 1656篇 |
国内免费 | 115篇 |
专业分类
电工技术 | 406篇 |
综合类 | 230篇 |
化学工业 | 6624篇 |
金属工艺 | 669篇 |
机械仪表 | 674篇 |
建筑科学 | 1178篇 |
矿业工程 | 102篇 |
能源动力 | 1117篇 |
轻工业 | 5448篇 |
水利工程 | 285篇 |
石油天然气 | 173篇 |
武器工业 | 6篇 |
无线电 | 2474篇 |
一般工业技术 | 4845篇 |
冶金工业 | 6344篇 |
原子能技术 | 266篇 |
自动化技术 | 4725篇 |
出版年
2023年 | 200篇 |
2022年 | 574篇 |
2021年 | 1068篇 |
2020年 | 713篇 |
2019年 | 802篇 |
2018年 | 920篇 |
2017年 | 962篇 |
2016年 | 968篇 |
2015年 | 739篇 |
2014年 | 1139篇 |
2013年 | 1870篇 |
2012年 | 1678篇 |
2011年 | 2048篇 |
2010年 | 1476篇 |
2009年 | 1535篇 |
2008年 | 1399篇 |
2007年 | 1245篇 |
2006年 | 966篇 |
2005年 | 1013篇 |
2004年 | 1045篇 |
2003年 | 933篇 |
2002年 | 911篇 |
2001年 | 764篇 |
2000年 | 604篇 |
1999年 | 585篇 |
1998年 | 2104篇 |
1997年 | 1368篇 |
1996年 | 958篇 |
1995年 | 638篇 |
1994年 | 502篇 |
1993年 | 550篇 |
1992年 | 239篇 |
1991年 | 304篇 |
1990年 | 237篇 |
1989年 | 210篇 |
1988年 | 214篇 |
1987年 | 165篇 |
1986年 | 165篇 |
1985年 | 187篇 |
1984年 | 133篇 |
1983年 | 96篇 |
1982年 | 124篇 |
1981年 | 122篇 |
1980年 | 117篇 |
1979年 | 92篇 |
1978年 | 78篇 |
1977年 | 144篇 |
1976年 | 226篇 |
1975年 | 84篇 |
1973年 | 51篇 |
排序方式: 共有10000条查询结果,搜索用时 332 毫秒
991.
L. M. Laita E. Roanes-LozanoV. MaojoE. Roanes-MacíasL. de LedesmaL. Laita 《Computers & Mathematics with Applications》2001,42(12):1505-1522
This article presents the development of an expert system for managing medical appropriateness criteria together with an outline of its theoretical foundations. Techniques borrowed from computer algebra (Gröbner bases) are applied to this field of medicine.
The steps of the expert system construction process are as follows. First, the knowledge provided in table format by experts in coronary diseases is translated into a set of production rules of a rule-based expert system (RBES). Kleene's three-valued logic augmented with modal operators is chosen in order to manage uncertainty. 相似文献
992.
Luiz Marcio Cysneiros Julio Cesar Sampaio do Prado Leite Jaime de Melo Sabat Neto 《Requirements Engineering》2001,6(2):97-115
The development of complex information systems calls for conceptual models that describe aspects beyond entities and activities.
In particular, recent research has pointed out that conceptual models need to model goals, in order to capture the intentions
which underlie complex situations within an organisational context. This paper focuses on one class of goals, namely non-functional
requirements (NFR), which need to be captured and analysed from the very early phases of the software development process.
The paper presents a framework for integrating NFRs into the ER and OO models. This framework has been validated by two case
studies, one of which is very large. The results of the case studies suggest that goal modelling during early phases can lead
to a more productive and complete modelling activity. 相似文献
993.
Clarisse Sieckenius de Souza Simone Diniz Junqueira Barbosa Raquel Oliveira Prates 《Knowledge》2001,14(8):461-465
Designing software involves good perception, good reasoning, and a talent to express oneself effectively through programming and interactive languages. Semiotic theories can help HCI designers increase their power to perceive, reason and communicate. By presenting some of the results we have reached with semiotic engineering over the last few years, we suggest that the main contributions of semiotic theory in supporting HCI design are: to provide designers with new perceptions on the process and product of HCI design; to bind together all the stages of software development and use, giving them a unique homogeneous treatment; and to pose innovative questions that extend the frontiers of HCI investigations. 相似文献
994.
Making Workflow Change Acceptable 总被引:1,自引:0,他引:1
Virtual professional communities are supported by network information systems composed from standard Internet tools. To satisfy
the interests of all community members, a user-driven approach to requirements engineering is proposed that produces not only
meaningful but also acceptable specifications. This approach is especially suited for workflow systems that support partially structured, evolving work
processes. To ensure the acceptability, social norms must guide the specification process. The RENISYS specification method
is introduced, which facilitates this process using composition norms as formal representations of social norms. Conceptual
graph theory is used to represent four categories of knowledge definitions: type definitions, state definitions, action norms
and composition norms. It is shown how the composition norms guide the legitimate user-driven specification process by analysing
a case on the development of an electronic law journal. 相似文献
995.
Fernández-Miyakawa ME Dorr R Fernández LE Uzal FA Ibarra C 《Computer methods and programs in biomedicine》2007,85(2):95-100
This paper describes the development of a simple system for measurement of net water movement through biological membrane barriers. The system is based on the detection of a water meniscus inside a polyethylene tube, which reflects the water movement inside one hemichamber of a modified Ussing chamber containing a membrane barrier. The detection device consists of a commercial computer-controlled flat bed scanner and specifically developed software. This system allows one to perform a relatively high number of individual experiments per physical unit. It is a flexible and affordable device, which allows comparatively more information per unit to be obtained than previously described methods. 相似文献
996.
Whereas there is a number of methods and algorithms to learn regular languages, moving up the Chomsky hierarchy is proving
to be a challenging task. Indeed, several theoretical barriers make the class of context-free languages hard to learn. To
tackle these barriers, we choose to change the way we represent these languages. Among the formalisms that allow the definition
of classes of languages, the one of string-rewriting systems (SRS) has outstanding properties. We introduce a new type of
SRS’s, called Delimited SRS (DSRS), that are expressive enough to define, in a uniform way, a noteworthy and non trivial class
of languages that contains all the regular languages,
,
, the parenthesis languages of Dyck, the language of Lukasiewicz, and many others. Moreover, DSRS’s constitute an efficient
(often linear) parsing device for strings, and are thus promising candidates in forthcoming applications of grammatical inference.
In this paper, we pioneer the problem of their learnability. We propose a novel and sound algorithm (called LARS) which identifies a large subclass of them in polynomial time (but not data). We illustrate the execution of our algorithm
through several examples, discuss the position of the class in the Chomsky hierarchy and finally raise some open questions
and research directions.
This work was supported in part by the IST Program of the European Community, under the PASCAL Network of Excellence, IST-2002-506778. This publication only reflects the authors’ views.
Editor: Georgios Paliouras and Yasubumi Sakakibara 相似文献
997.
Observational studies of sitting have shown that, during spontaneous sitting, people adopt a variety of postures. Various researchers have formulated theories to explain why people adopt their sitting postures. Branton (1969) hypothesized that there is continual need for postural stability while sitting. Dempster (1955) stated that additional stability could be obtained through temporarily closing chains of body segments, or, in other words, through decreasing the number of degrees of freedom of the body. The present study elaborates on Dempster's theory. The aim of this study was to determine the influence of the degrees of freedom of the body on postural stability in sitting postures. For 21 different sitting postures, the total number of degrees of freedom was determined. Postural sway, a measure for postural stability, was determined using a 3D motion and position measurement system with ten healthy subjects. This study shows that the mean path length at the level of the second thoracic vertebra (PL0.05), a measure derived from postural sway, increases significantly (p < 0.0001) with an increase of the number of degrees of freedom of the body (DoFB). Closer examination of the data showed that a model taking into account only the degrees of freedom of the lumbar and thoracic spine and pelvis seems to be a better predictor of postural sway than the total number of degrees of freedom of the body. 相似文献
998.
Celina M.H. de Figueiredo Guilherme D. da Fonseca Vinicius G.P. de Sa Jeremy Spinrad 《Algorithmica》2006,46(2):149-180
A homogeneous set is a non-trivial module of a graph, i.e. a non-empty,
non-unitary, proper subset of a graph's vertices such that all its elements
present exactly the same outer neighborhood. Given two graphs
the Homogeneous Set Sandwich Problem (HSSP) asks whether there
exists a sandwich graph
which
has a homogeneous set. In 2001 Tang et al. published
an all-fast
algorithm which was recently proven wrong, so that the HSSP's known upper bound would have been reset
thereafter at the former
determined by Cerioli et al. in 1998. We present, notwithstanding, new deterministic
algorithms which have it established at
We give as
well two even faster
randomized algorithms, whose simplicity might
lend them didactic usefulness. We believe that, besides providing efficient
easy-to-implement procedures to solve it, the study of these new approaches
allows a fairly thorough understanding of the problem. 相似文献
999.
Making decisions can be hard, but it can also be facilitated. Simple heuristics are fast and frugal but nevertheless fairly accurate decision rules that people can use to compensate for their limitations in computational capacity, time, and knowledge when they make decisions [Gigerenzer, G., Todd, P. M., & the ABC Research Group (1999). Simple Heuristics That Make Us Smart. New York: Oxford University Press.]. These heuristics are effective to the extent that they can exploit the structure of information in the environment in which they operate. Specifically, they require knowledge about the predictive value of probabilistic cues. However, it is often difficult to keep track of all the available cues in the environment and how they relate to any relevant criterion. This problem becomes even more critical if compound cues are considered. We submit that knowledge about the causal structure of the environment helps decision makers focus on a manageable subset of cues, thus effectively reducing the potential computational complexity inherent in even relatively simple decision-making tasks. We review experimental evidence that tested this hypothesis and report the results of a simulation study. We conclude that causal knowledge can act as a meta-cue for identifying highly valid cues, either individual or compound, and helps in the estimation of their validities. 相似文献
1000.
分析化学实验成绩评定软件的开发 总被引:1,自引:0,他引:1
介绍了分析化学实验成绩评定软件的主要内容、设计思想及功能 ,该软件采用VisualFoxPro5 0中文版编程 ,可用于分析化学实验成绩的评定。内容包括 :实验数据输入、实验数据修改、实验数据处理、实验结果查询、实验数据打印、修改学生名单等。本软件具有操作简单、使用方便等特点 相似文献