全文获取类型
收费全文 | 1704篇 |
免费 | 60篇 |
专业分类
电工技术 | 21篇 |
化学工业 | 252篇 |
金属工艺 | 12篇 |
机械仪表 | 14篇 |
建筑科学 | 115篇 |
能源动力 | 31篇 |
轻工业 | 182篇 |
水利工程 | 31篇 |
石油天然气 | 2篇 |
武器工业 | 1篇 |
无线电 | 76篇 |
一般工业技术 | 253篇 |
冶金工业 | 555篇 |
原子能技术 | 1篇 |
自动化技术 | 218篇 |
出版年
2023年 | 13篇 |
2022年 | 42篇 |
2021年 | 28篇 |
2020年 | 26篇 |
2019年 | 26篇 |
2018年 | 18篇 |
2017年 | 24篇 |
2016年 | 55篇 |
2015年 | 21篇 |
2014年 | 37篇 |
2013年 | 100篇 |
2012年 | 91篇 |
2011年 | 133篇 |
2010年 | 109篇 |
2009年 | 99篇 |
2008年 | 137篇 |
2007年 | 141篇 |
2006年 | 97篇 |
2005年 | 82篇 |
2004年 | 60篇 |
2003年 | 62篇 |
2002年 | 65篇 |
2001年 | 32篇 |
2000年 | 34篇 |
1999年 | 22篇 |
1998年 | 23篇 |
1997年 | 31篇 |
1996年 | 18篇 |
1995年 | 21篇 |
1994年 | 15篇 |
1993年 | 17篇 |
1992年 | 18篇 |
1991年 | 4篇 |
1990年 | 11篇 |
1989年 | 6篇 |
1988年 | 8篇 |
1987年 | 5篇 |
1986年 | 6篇 |
1985年 | 4篇 |
1984年 | 3篇 |
1983年 | 2篇 |
1982年 | 4篇 |
1981年 | 4篇 |
1980年 | 4篇 |
1979年 | 2篇 |
1978年 | 2篇 |
1976年 | 2篇 |
排序方式: 共有1764条查询结果,搜索用时 15 毫秒
41.
In today’s highly competitive environment, a good supply chain relationship is essential for a company to survive and to acquire reasonable profit. While a few large companies may be able to vertically integrate from the design stage to the final distribution of the entire supply chain, most companies can only focus on their specialized functions and to cooperate with upstream or downstream companies. Supplier selection, as a result, is very important for maintaining strategic alliances. The objective of this paper is to develop a fuzzy multiple goal programming (FMGP) model to help downstream companies to select thin film transistor liquid crystal display (TFT-LCD) suppliers for cooperation. Fuzzy analytic hierarchy process (FAHP) is applied first to analyze the importance of multiple factors by incorporating experts’ opinion, and these factors include cost, yield and number of suppliers. Multi-choice goal programming is used next to consider the limits of various resources and to formulate the constraints. From the experimental design and examination, we can testify that the proposed model not only can consider multi-choice goals, decision-making behavior and limit of resources, it can also allocate the purchase among the selected supplier(s). 相似文献
42.
Lori Magruder Holly Leigh Amy Neuenschwander 《International journal of remote sensing》2016,37(22):5365-5387
Since the introduction of space-based altimetry data into the science community, global products associated with elevation and vegetation metrics have been heavily utilized for a variety of ecological applications. Satellite remote sensing enables the collection of global (or near-global), standardized data sets, which can be used in their original form or used as inputs along with other data sets in generating new products. Recent effort has focused on using available data to generate maps of tree heights at a global scale in the service of a better understanding of above ground biomass distribution and its effects on global carbon storage. However, global data sets, while validated at a global scale, often display local and regional variations in accuracy which must be quantified before applying those data sets to smaller scale studies. This work addresses the need for a better understanding of the quality of the Shuttle Radar Topography Mission (SRTM) 90 m digital elevation model and a global 1 km canopy height model in the dense tropical forests of Gabon by using a small-footprint airborne lidar survey and large-footprint, space-based waveform lidar data from teh National Air and Space Administration’s Ice, Cloud, and land Elevation Satellite (ICESat) for validation. As expected, the study found SRTM elevations to be heavily biased by vegetation in this biome, with elevations consistently located within the canopy volume. In addition, the global canopy height model consistently underestimates maximum canopy height at both local and regional scales. 相似文献
43.
The design and implementation of MERMAIDS, a computer-based training system in the domain of emergency command and control, is described. The research investigates the use of cognitive systems engineering and information management tools for modelling and representing training knowledge of emergency system operators. We propose a decision-centric human-computer interface as a new method of supporting computer-based modelling in the domain of emergency systems. Several interacting themes in information management relevant to emergency response planning are discussed. 相似文献
44.
Amy Felty 《Journal of Automated Reasoning》1993,11(1):43-81
We argue that a logic programming language with a higher-order intuitionistic logic as its foundation can be used both to naturally specify and implement tactic-style theorem provers. The language extends traditional logic programming languages by replacing first-order terms with simply-typed -terms, replacing first-order unification with higher-order unification, and allowing implication and universal quantification in queries and the bodies of clauses. Inference rules for a variety of inference systems can be naturally specified in this language. The higher-order features of the language contribute to a concise specification of provisos concerning variable occurrences in formulas and the discharge of assumptions present in many inference systems. Tactics and tacticals, which provide a framework for high-level control over search for proofs, can be directly and naturally implemented in the extended language. This framework serves as a starting point for implementing theorem provers and proof systems that can integrate many diversified operations on formulas and proofs for a variety of logics. We present an extensive set of examples that have been implemented in the higher-order logic programming language Prolog. 相似文献
45.
Combining higher-order abstract syntax and (co)-induction in a logical framework is well known to be problematic. We describe
the theory and the practice of a tool called Hybrid, within Isabelle/HOL and Coq, which aims to address many of these difficulties.
It allows object logics to be represented using higher-order abstract syntax, and reasoned about using tactical theorem proving
and principles of (co)induction. Moreover, it is definitional, which guarantees consistency within a classical type theory.
The idea is to have a de Bruijn representation of λ-terms providing a definitional layer that allows the user to represent object languages using higher-order abstract syntax,
while offering tools for reasoning about them at the higher level. In this paper we describe how to use Hybrid in a multi-level
reasoning fashion, similar in spirit to other systems such as Twelf and Abella. By explicitly referencing provability in a middle layer called a specification logic, we solve the problem of reasoning
by (co)induction in the presence of non-stratifiable hypothetical judgments, which allow very elegant and succinct specifications
of object logic inference rules. We first demonstrate the method on a simple example, formally proving type soundness (subject
reduction) for a fragment of a pure functional language, using a minimal intuitionistic logic as the specification logic.
We then prove an analogous result for a continuation-machine presentation of the operational semantics of the same language,
encoded this time in an ordered linear logic that serves as the specification layer. This example demonstrates the ease with
which we can incorporate new specification logics, and also illustrates a significantly more complex object logic whose encoding
is elegantly expressed using features of the new specification logic. 相似文献
46.
The increasing global distribution of automobiles necessitates that the design of In-vehicle Information Systems (IVIS) is appropriate for the regions to which they are being exported. Differences between regions such as culture, environment and traffic context can influence the needs, usability and acceptance of IVIS. This paper describes two studies aimed at identifying regional differences in IVIS design needs and preferences across drivers from Australia and China to determine the impact of any differences on IVIS design. Using a questionnaire and interaction clinics, the influence of cultural values and driving patterns on drivers' preferences for, and comprehension of, surface- and interaction-level aspects of IVIS interfaces was explored. Similarities and differences were found between the two regional groups in terms of preferences for IVIS input control types and labels and in the comprehension of IVIS functions. Specifically, Chinese drivers preferred symbols and Chinese characters over English words and were less successful (compared to Australians) at comprehending English abbreviations, particularly for complex IVIS functions. Implications in terms of the current trend to introduce Western-styled interfaces into other regions with little or no adaptation are discussed. 相似文献
47.
Charles W. Roeder Gregory MacRae Amy Leland Athena Rospo 《Canadian Metallurgical Quarterly》2005,10(1):69-76
Fatigue cracking occurs at the copes of stringer–floorbeam connections of older, riveted steel bridges. Some cracks are quite long and raise serious questions regarding the remaining fatigue life of the subject bridges. Damage limitation methods (DLMs) have been used to increase the fatigue life of these stringers, but the effectiveness of the DLMs for these riveted connections had never been evaluated by tests. Therefore, tests were conducted to evaluate the fatigue life of coped, riveted stringer–floorbeam connections, and the effectiveness of DLMs. Fatigue cracks in the coped stringer–floorbeam connection were initially developed to establish crack initiation requirements and the rate and extent of crack growth. Once a significant crack was noted, one of several DLMs was applied, and the specimens were retested to determine the effectiveness of the DLM in controlling cracking. These DLMs included the drilled hole, the inserted bolt and the removed rivet methods. The relative effectiveness of the methods is described, and a design procedure is proposed for improving their performance. 相似文献
48.
The authors examined the effect of learning on multiple encounters with sources of social ambiguity in individuals with generalized social phobia (GSP). The authors modified G. B. Simpson and H. Kang's (1994) paradigm and presented prime-target word pairs to individuals with GSP and nonanxious controls (NACs) to prime threat and nonthreat meanings of homographs and examine the effect of this priming on later encounters with that homograph. Consistent with previous research, NACs showed faster response latencies naming a target primed by a homograph with the same meaning activated in two successive trials than naming the same target primed by an unrelated word. Furthermore, NACs showed slower response latencies naming a target when a different meaning of the homograph prime was activated in successive trials than naming a target primed by an unrelated word. GSP participants did not show this pattern in learning a nonthreat meaning of a homograph. These results support the hypothesis that a faulty learning mechanism may be involved in social anxiety. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
49.
Knee C. Raymond; Lonsbary Cynthia; Canevello Amy; Patrick Heather 《Canadian Metallurgical Quarterly》2005,89(6):997
Four studies examined associations between E. L. Deci and R. M. Ryan's (1985, 2000) construct of autonomy, responses to relationship disagreements, and dissatisfaction after conflict. In Study 1, diary data showed that trait autonomy predicted relationship autonomy, which in turn predicted relative satisfaction after disagreements. In Study 2, trait autonomy predicted relationship autonomy, which was associated with less defensive and more understanding responses to conflict. Studies 3 and 4 examined whether one's partner's relationship autonomy uniquely predicted reported and observed behavior during conflict. Autonomous reasons for being in the relationship (of both self and partner) predicted both reported and observed responses to conflict and feelings of satisfaction. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
50.
Meta-analysis was used to aggregate results from studies examining the relationship between intelligence and leadership. One hundred fifty-one independent samples in 96 sources met the criteria for inclusion in the meta-analysis. Results indicated that the corrected correlation between intelligence and leadership is .21 (uncorrected for range restriction) and .27 (corrected for range restriction). Perceptual measures of intelligence showed stronger correlations with leadership than did paper-and-pencil measures of intelligence. Intelligence correlated equally well with objective and perceptual measures of leadership. Additionally, the leader's stress level and the leader's directiveness moderated the intelligence-leadership relationship. Overall, results suggest that the relationship between intelligence and leadership is considerably lower than previously thought. The results also provide meta-analytic support for both implicit leadership theory and cognitive resource theory. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献