全文获取类型
收费全文 | 22869篇 |
免费 | 794篇 |
国内免费 | 84篇 |
专业分类
电工技术 | 293篇 |
综合类 | 44篇 |
化学工业 | 5146篇 |
金属工艺 | 478篇 |
机械仪表 | 460篇 |
建筑科学 | 1719篇 |
矿业工程 | 160篇 |
能源动力 | 686篇 |
轻工业 | 2135篇 |
水利工程 | 182篇 |
石油天然气 | 56篇 |
武器工业 | 1篇 |
无线电 | 1485篇 |
一般工业技术 | 4162篇 |
冶金工业 | 2769篇 |
原子能技术 | 137篇 |
自动化技术 | 3834篇 |
出版年
2023年 | 152篇 |
2022年 | 308篇 |
2021年 | 534篇 |
2020年 | 312篇 |
2019年 | 327篇 |
2018年 | 493篇 |
2017年 | 426篇 |
2016年 | 530篇 |
2015年 | 479篇 |
2014年 | 689篇 |
2013年 | 1506篇 |
2012年 | 1081篇 |
2011年 | 1518篇 |
2010年 | 1092篇 |
2009年 | 1043篇 |
2008年 | 1265篇 |
2007年 | 1098篇 |
2006年 | 939篇 |
2005年 | 865篇 |
2004年 | 774篇 |
2003年 | 688篇 |
2002年 | 660篇 |
2001年 | 392篇 |
2000年 | 376篇 |
1999年 | 412篇 |
1998年 | 409篇 |
1997年 | 371篇 |
1996年 | 341篇 |
1995年 | 294篇 |
1994年 | 302篇 |
1993年 | 297篇 |
1992年 | 250篇 |
1991年 | 214篇 |
1990年 | 201篇 |
1989年 | 230篇 |
1988年 | 186篇 |
1987年 | 177篇 |
1986年 | 174篇 |
1985年 | 239篇 |
1984年 | 214篇 |
1983年 | 184篇 |
1982年 | 168篇 |
1981年 | 195篇 |
1980年 | 130篇 |
1979年 | 147篇 |
1978年 | 143篇 |
1977年 | 127篇 |
1976年 | 138篇 |
1975年 | 120篇 |
1974年 | 105篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
131.
132.
Peter Demeester Burak Bilgin Patrick De Causmaecker Greet Vanden Berghe 《Journal of Scheduling》2012,15(1):83-103
Many researchers studying examination timetabling problems focus on either benchmark problems or problems from practice encountered
in their institutions. Hyperheuristics are proposed as generic optimisation methods which explore the search space of heuristics
rather than direct solutions. In the present study, the performance of tournament-based hyperheuristics for the exam timetabling
problem are investigated. The target instances include both the Toronto and ITC 2007 benchmarks and the examination timetabling
problem at KAHO Sint-Lieven (Ghent, Belgium). The Toronto and ITC 2007 benchmarks are post-enrolment-based examination timetabling
problems, whereas the KAHO Sint-Lieven case is a curriculum-based examination timetabling problem. We drastically improve
the previous (manually created) solution for the KAHO Sint-Lieven problem by generating a timetable that satisfies all the
hard and soft constraints. We also make improvements on the best known results in the examination timetabling literature for
seven out of thirteen instances for the To ronto benchmarks. The results are competitive with those of the finalists of the
examination timetabling track of the International Timetabling Competition. 相似文献
133.
Trevor Bench-Capon Katie Atkinson Peter McBurney 《Autonomous Agents and Multi-Agent Systems》2012,25(1):183-208
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental
economic studies and we show how our approach explains the results that have been reported from such studies. Our framework
is an argumentation-based one in which the social values promoted or demoted by alternative action options are explicitly
represented. Our particular representation is used to model the Dictator Game and the Ultimatum Game, which are simple interactions
in which it must be decided how a sum of money will be divided between the players in the games. Studies have been conducted
into how humans act in such games and the results are not explained by a decision-model that assumes that the participants
are purely self-interested utility-maximisers. Some studies further suggest that differences in choices made in different
cultures may reflect their day to day behaviour, which can in turn be related to the values of the subjects, and how they
order their values. In this paper we show how these interactions can be modelled in agent systems in a framework that makes
explicit the reasons for the agents’ choices based upon their social values. Our framework is intended for use in situations
where agents are required to be adaptable, for example, where agents may prefer different outcome states in transactions involving
different types of counter-parties. 相似文献
134.
Linh Thao Ly Stefanie Rinderle-Ma Kevin G?ser Peter Dadam 《Information Systems Frontiers》2012,14(2):195-219
Key to broad use of process management systems (PrMS) in practice is their ability to foster and ease the implementation,
execution, monitoring, and adaptation of business processes while still being able to ensure robust and error-free process
enactment. To meet these demands a variety of mechanisms has been developed to prevent errors at the structural level (e.g., deadlocks). In many application domains, however, processes often have to comply with business level rules and
policies (i.e., semantic constraints) as well. Hence, to ensure error-free executions at the semantic level, PrMS need certain control mechanisms for validating
and ensuring the compliance with semantic constraints. In this paper, we discuss fundamental requirements for a comprehensive
support of semantic constraints in PrMS. Moreover, we provide a survey on existing approaches and discuss to what extent they
are able to meet the requirements and which challenges still have to be tackled. In order to tackle the particular challenge
of providing integrated compliance support over the process lifecycle, we introduce the SeaFlows framework. The framework
introduces a behavioural level view on processes which serves a conceptual process representation for constraint specification
approaches. Further, it provides general compliance criteria for static compliance validation but also for dealing with process
changes. Altogether, the SeaFlows framework can serve as formal basis for realizing integrated support of semantic constraints
in PrMS. 相似文献
135.
Till Schümmer Peter Tandler Joerg M. Haake 《Universal Access in the Information Society》2012,11(3):239-258
Meetings are an important form of interaction in business settings. However, meetings are often not held in a way that makes all participants feel engaged. Meeting support systems try to overcome this obstacle by helping meeting participants in the meeting workflow. This paper takes a complementary approach by distinguishing between different perspectives of good meetings: the peopleware perspective, the generic groupware perspective, and the roomware perspective. It is argued that all these perspectives have to be considered simultaneously when heading toward an ideal meeting system design. The paper presents excerpts of a pattern language that empowers users to improve their meeting. Besides this, the pattern language can be considered as a tool for the designer. After showing, how both groups made use of the patterns, the paper finally presents LivingAgendas, a meeting support system that can accompany the meeting participant through the meeting life cycle. 相似文献
136.
The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints using a logic programming approach. These languages are soundly based on a unified framework of formal semantics. In particular, as an instance of this scheme with real arithmetic constraints, the CLP() language facilitates and encourages a concise and declarative style of programming for problems involving a mix of numeric and non-numeric computation.In this paper we illustrate the practical applicability of CLP() with examples of programs to solve electrical engineering problems. This field is particularly rich in problems that are complex and largely numeric, enabling us to demonstrate a number of the unique features of CLP(). A detailed look at some of the more important programming techniques highlights the ability of CLP() to support well-known, powerful techniques from constraint programming. Our thesis is that CLP() is an embodiment of these techniques in a language that is more general, elegant and versatile than the earlier languages, and yet is practical.An earlier version of this paper appeared in the proceedings of the 4th International Conference on Logic Programming, Melbourne, May 1987. Much of this work was carried out while the authors were at Monash University, Melbourne, Australia. 相似文献
137.
Notes that 7 of the 10 top-cited articles in the Psychological Bulletin deal with methodological topics. One of these is the P. M. Bentler and D. G. Bonett (1980) article on the assessment of fit in covariance structure models. Some context is provided on the popularity of this article. In addition, a citation study of methodology articles appearing in the Bulletin since 1978 was carried out. It verified that publications in design, evaluation, measurement, and statistics continue to be important to psychological research. Some thoughts are offered on the role of the journal in making developments in these areas more accessible to psychologists. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
138.
Peter Steffen 《Circuits, Systems, and Signal Processing》1986,5(2):187-210
The concept of smoothing noisy data using appropriate polynomials turns out to be equivalent to the application of suitable nonrecursive digital filters having the following properties: They process the data in such a way that the moments are conserved up to a desired order while the energy of their impulse response is minimum. Flatness constraints of their frequency response at =0 are equivalent to the moment condition. By using orthogonal polynomials, an explicit solution is known from the literature. A second approach which uses a special decomposition also yields closed form solutions. The realization is simplified, especially in the case where a large number of moments is supposed to be conserved. 相似文献
139.
Ståhlkrantz Adam Hedström Peter Sarius Niklas Borgenstam Annika 《Metallurgical and Materials Transactions A》2022,53(9):3418-3427
Metallurgical and Materials Transactions A - Variant pairing in bainite was evaluated in four different commercial low alloy steels with medium to high carbon content. The steels investigated were... 相似文献
140.