全文获取类型
收费全文 | 586篇 |
免费 | 8篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 10篇 |
化学工业 | 65篇 |
金属工艺 | 8篇 |
机械仪表 | 8篇 |
建筑科学 | 43篇 |
矿业工程 | 7篇 |
能源动力 | 21篇 |
轻工业 | 49篇 |
水利工程 | 2篇 |
石油天然气 | 1篇 |
无线电 | 61篇 |
一般工业技术 | 86篇 |
冶金工业 | 114篇 |
原子能技术 | 3篇 |
自动化技术 | 117篇 |
出版年
2023年 | 3篇 |
2022年 | 3篇 |
2021年 | 9篇 |
2020年 | 3篇 |
2019年 | 7篇 |
2018年 | 4篇 |
2017年 | 7篇 |
2016年 | 5篇 |
2015年 | 6篇 |
2014年 | 10篇 |
2013年 | 51篇 |
2012年 | 29篇 |
2011年 | 19篇 |
2010年 | 22篇 |
2009年 | 19篇 |
2008年 | 35篇 |
2007年 | 25篇 |
2006年 | 24篇 |
2005年 | 25篇 |
2004年 | 17篇 |
2003年 | 28篇 |
2002年 | 18篇 |
2001年 | 20篇 |
2000年 | 21篇 |
1999年 | 18篇 |
1998年 | 20篇 |
1997年 | 9篇 |
1996年 | 12篇 |
1995年 | 13篇 |
1994年 | 4篇 |
1993年 | 10篇 |
1992年 | 11篇 |
1991年 | 12篇 |
1990年 | 4篇 |
1989年 | 4篇 |
1988年 | 4篇 |
1986年 | 8篇 |
1985年 | 6篇 |
1984年 | 5篇 |
1981年 | 5篇 |
1979年 | 3篇 |
1977年 | 4篇 |
1974年 | 3篇 |
1941年 | 2篇 |
1940年 | 2篇 |
1909年 | 2篇 |
1906年 | 3篇 |
1904年 | 2篇 |
1902年 | 2篇 |
1898年 | 2篇 |
排序方式: 共有595条查询结果,搜索用时 15 毫秒
521.
522.
Examined consistency and stability of feelings in reports that were completed on 3,512 occasions randomly sampled from the lives of 42 undergraduates. Over a 6-wk period, Ss completed a mood inventory at times indicated by an alarm watch. The stability and consistency of responses depended on the situations, individuals, and responses involved. High degrees of consistency were unusual for single responses, although mean levels of responding tended to be both highly stable and consistent. The consistency and stability of variables covaried, suggesting a connection between the two. Ss who were more consistent across one pair of situations tended to be more consistent across other situational pairs. Results indicate that the question of whether personality consistency exists does not have a simple answer and requires knowledge of the persons, situations, responses, and level of analysis involved. (41 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
523.
524.
In recent years an increasing number of real-world many-dimensional optimisation problems have been identified across the spectrum of research fields. Many popular evolutionary algorithms use non-dominance as a measure for selecting solutions for future generations. The process of sorting populations into non-dominated fronts is usually the controlling order of computational complexity and can be expensive for large populations or for a high number of objectives. This paper presents two novel methods for non-dominated sorting: deductive sort and climbing sort. The two new methods are compared to the fast non-dominated sort of NSGA-II and the non-dominated rank sort of the omni-optimizer. The results demonstrate the improved efficiencies of the deductive sort and the reductions in comparisons that can be made when applying inferred dominance relationships defined in this paper. 相似文献
525.
This paper presents an optimal parallel algorithm for triangulating an arbitrary set ofn points in the plane. The algorithm runs inO(logn) time usingO(n) space andO(n) processors on a Concurrent-Read, Exclusive-Write Parallel RAM model (CREW PRAM). The parallel lower bound on triangulation is (logn) time so the best possible linear speedup has been achieved. A parallel divide-and-conquer technique of subdividing a problem into
subproblems is employed. 相似文献
526.
Verification and optimization of a PLC control schedule 总被引:1,自引:0,他引:1
Ed Brinksma Angelika Mader Ansgar Fehnker 《International Journal on Software Tools for Technology Transfer (STTT)》2002,4(1):21-33
We report on the use of model checking techniques for both the verification of a process control program and the derivation
of optimal control schedules. Most of this work has been carried out as part of a case study for the EU VHS project (Verification
of Hybrid Systems), in which the program for a Programmable Logic Controller (PLC) of an experimental chemical plant had to
be designed and verified. The original intention of our approach was to see how much could be achieved here using the standard
model checking environment of SPIN/Promela. As the symbolic calculations of real-time model checkers can be quite expensive
it is interesting to try and exploit the efficiency of established non-real-time model checkers like SPIN in those cases where
promising work-arounds seem to exist. In our case we handled the relevant real-time properties of the PLC controller using
a time-abstraction technique; for the scheduling we implemented in Promela a so-called variable time advance procedure . To
compare and interpret the results we carried out the same case study with the aid of the real-time model checker Uppaal, enhanced
with facilities for cost-guided state space exploration. Both approaches proved sufficiently powerful to verify the design
of the controller and/or derive (time-)optimal schedules within reasonable time and space requirements.
Published online: 2 October 2002
The work reported here was carried out while the second and third authors were employed by the Computer Science Department
of the University of Nijmegen, Netherlands. The second author was supported by an NWO postdoc grant, the third author by an
NWO PhD grant, and both were supported by the EU LTR project VHS (Project No. 26270). 相似文献
527.
528.
529.
Wim van Leeuwen Chuck Hutchinson Sam Drake Brad Doorn Verne Kaupp Tim Haithcoat Vladislav Likholetov Ed Sheffner Dave Tralli 《Expert systems with applications》2011,38(7):8054-8065
The Office of Global Analysis/International Production Assessment Division (OGA/IPAD) of the United States Department of Agriculture – Foreign Agricultural Service (USDA-FAS) has been assimilating new data and information products from agencies such as the National Aeronautics and Space Administration (NASA) into its operational decision support system (DSS). The FAS mission is to improve monthly estimates of global production of major agricultural commodities and provide US Government senior decision makers and the public the most accurate, timely, and objective assessment of the global food supply situation possible. These estimates are ultimately captured as the US governments’ official assessments of world food supply for the commodity markets and policy makers. The goal of this research was to measure changes in the quality and accuracy of decision support information resulting from the assimilation of new NASA products in the DSS. We gathered both qualitative and quantitative information through questionnaires and interviews to benchmark these changes. We used an interactive project lifecycle risk management tool developed for NASA mission spaceflight design and quality assurance (DDP – Defect Detection and Prevention) to do this. In this case, we used it to (1) quantify the change in DSS Objectives attained after assimilation of new products, and (2) evaluate the effectiveness of various Mitigation options against potential Risks. The change in Objectives attainment was considered the most important benchmarking indicator for examining the effectiveness of the assimilation of NASA products into OGA/IPAD’s DSS. From this research emerged a novel model for benchmarking DSSs that (1) promotes continuity and synergy within and between government agencies, (2) accommodates scientific, operational and architectural dynamics, and (3) facilitates transfer of knowledge among research, management, and decision-making agencies. 相似文献
530.
Ed Wehde 《Computer Fraud & Security》2000,2000(8):6-7
Research firm the Gartner Group has warned that Internet fraud is spiralling out of control with three out of four Web sites being currently vulnerable to attack and predicted that by 2003 the level of Internet fraud will have outstripped credit card fraud. 相似文献