全文获取类型
收费全文 | 269篇 |
免费 | 7篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 45篇 |
金属工艺 | 5篇 |
机械仪表 | 5篇 |
建筑科学 | 18篇 |
矿业工程 | 1篇 |
能源动力 | 8篇 |
轻工业 | 26篇 |
水利工程 | 1篇 |
无线电 | 27篇 |
一般工业技术 | 56篇 |
冶金工业 | 37篇 |
原子能技术 | 2篇 |
自动化技术 | 43篇 |
出版年
2023年 | 1篇 |
2022年 | 6篇 |
2021年 | 8篇 |
2020年 | 6篇 |
2019年 | 4篇 |
2018年 | 7篇 |
2017年 | 7篇 |
2016年 | 6篇 |
2015年 | 5篇 |
2014年 | 5篇 |
2013年 | 22篇 |
2012年 | 11篇 |
2011年 | 20篇 |
2010年 | 13篇 |
2009年 | 16篇 |
2008年 | 9篇 |
2007年 | 13篇 |
2006年 | 8篇 |
2005年 | 12篇 |
2004年 | 7篇 |
2003年 | 5篇 |
2002年 | 9篇 |
2001年 | 7篇 |
2000年 | 5篇 |
1999年 | 8篇 |
1998年 | 11篇 |
1997年 | 14篇 |
1996年 | 6篇 |
1995年 | 7篇 |
1994年 | 3篇 |
1993年 | 6篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 4篇 |
1989年 | 1篇 |
1976年 | 1篇 |
排序方式: 共有276条查询结果,搜索用时 15 毫秒
1.
Role stress has received a lot of research attention in psychological, sociological, and organizational studies over the last several decades. Based on a literature review of about 300 journal articles, this article examines prominent consequences of role stress. Specific focus is on researching differences in relationships between facets of role stress (i.e., role ambiguity, role conflict, and role overload) and frequently cited consequences using techniques of meta-analysis. Findings indicate that each role stress facet has a different relationship with the eight consequences studied. Role stress research can benefit from looking at each facet individually in addition to role stress generally. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
2.
We address the problem of determining the topology and bridge-capacity assignments for a network connecting a number of token rings via source-routing bridges. The objective is to minimize the cost of bridge installations while meeting the network users' performance requirements. The problem is modeled as a mixed 0–1 integer program. A comparison is given between two solution algorithms: a simulated annealing algorithm using the flow-deviation algorithm for each routing subproblem, and a drop algorithm using the simplex method for the same subproblems to provide benchmark solutions. In the former algorithm, the routing subproblem is formulated as a nonlinear program with penalty functions to model node and link capacity constraints, and in the latter as a multicommodity flow model with the same capacity constraints. Computational results show that the simulated-annealing/flow-deviation algorithm produced substantially better solutions than the LP-based drop algorithm. 相似文献
3.
H Isaksson 《Canadian Metallurgical Quarterly》1998,95(28-29):3200-3202
4.
Vladimir Ćurić Joakim Lindblad Nataša Sladoje Hamid Sarve Gunilla Borgefors 《Pattern Analysis & Applications》2014,17(1):141-152
We propose a new distance measure, called Complement weighted sum of minimal distances, between finite sets in ${\mathbb Z }^n$ and evaluate its usefulness for shape registration and matching. In this set distance the contribution of each point of each set is weighted according to its distance to the complement of the set. In this way, outliers and noise contribute less to the new similarity measure. We evaluate the performance of the new set distance for registration of shapes in binary images and compare it to a number of often used set distances found in the literature. The most extensive evaluation uses a set of synthetic 2D images. We also show three examples of real problems: registering a set of 2D images extracted from synchrotron radiation micro-computed tomography (SR $\upmu $ CT) volumes depicting bone implants; the difficult multi-modal registration task of finding the exact location of a 2D slice of a bone implant, as imaged by a light microscope, within a 3D SR $\upmu $ CT volume of the same implant; and finally recognition of handwritten characters. The evaluation shows that our new set distance performs well for all tasks and outperforms the other observed distance measures in most cases. It is therefore useful in many image registration and shape comparison tasks. 相似文献
5.
Refinement algebras are abstract algebras for reasoning about programs in a total correctness framework. We extend a reduct of von Wright’s demonic refinement algebra with two operators for modelling enabledness and termination of programs. We show how the operators can be used for expressing relations between programs and apply the algebra to reasoning about action systems. 相似文献
6.
The specific problems associated with the work on board within the merchant fleet are well known and have over the years been a topic of discussion. The work conditions in the engine room (ER) are demanding due to, e.g. the thermal climate, noise and awkward working postures. The work in the engine control room (ECR) has over recent years undergone major changes, mainly due to the introduction of computers on board. In order to capture the impact these changes had implied, and also to investigate how the work situation has developed, a total of 20 engine officers and engine ratings were interviewed. The interviews were semi-structured and Grounded Theory was used for the data analysis. The aim of the present study was to describe how the engine crew perceive their work situation and working environment on board. Further, the aim was to identify areas for improvements which the engine crew consider especially important for a safe and effective work environment. The result of the study shows that the design of the ECR and ER is crucial for how different tasks are performed. Design which does not support operational procedures and how tasks are performed risk inducing inappropriate behaviour as the crew members’ are compelled to find alternative ways to perform their tasks in order to get the job done. These types of behaviour can induce an increased risk of exposure to hazardous substances and the engine crew members becoming injured. 相似文献
7.
Sarve H Lindblad J Borgefors G Johansson CB 《Computer methods and programs in biomedicine》2011,102(1):25-34
Bone-implant integration is measured in several ways. Traditionally and routinely, 2D histological sections of samples, containing bone and the biomaterial, are stained and analyzed using a light microscope. Such histological section provides detailed cellular information about the bone regeneration in the proximity of the implant. However, this information reflects the integration in only a very small fraction, a 10 μm thick slice, of the sample. In this study, we show that feature values quantified on 2D sections are highly dependent on the orientation and the placement of the section, suggesting that a 3D analysis of the whole sample is of importance for a more complete judgment of the bone structure in the proximity of the implant. We propose features describing the 3D data by extending the features traditionally used for 2D-analysis. We present a method for extracting these features from 3D image data and we measure them on five 3D SRμCT image volumes.We also simulate cuts through the image volume positioned at all possible section positions. These simulations show that the measurement variations due to the orientation of the section around the center line of the implant are about 30%. 相似文献
8.
Abstract Part 1 of this paper analyzes the concepts of institutional capacity building and of integrated water resources management, on the basis of recent publications. The authors, building on the work of others, combine this into a conceptual framework for institutional capacity building in the water resources sector. A matrix approach is developed that allows the analysis of project activities, projects and possibly even complete sector programs. At the same time various aspects of process orientation of projects and programs are distinguished and described. The result is a set of analysis tools specifically oriented towards the evaluation of institutional capacity building projects and programs in the water resources sector. Part 2 presents a number of case studies and shows the application of the set of analysis tools. The same set of tools can also be used for the design of such projects or programs, but this is not covered in the present papers. 相似文献
9.
John Derrick Eerke Boiten Jim Woodcock Joakim von Wright 《Electronic Notes in Theoretical Computer Science》2002,70(3):1-2
This volume contains the Proceedings of the REFINE 2002 workshop. The Workshop was held in Copenhagen, Denmark on July 20 and 21, 2002, as a satellite event to FLoC'02 as an FME-affiliated workshop.Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.The aim of this BCS FACS refinement workshop was to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies.The purpose of the workshop was to provide a forum for discussion of common ground and key differences. Topics of interest included:
- • Simulation techniques
- • Foundations and semantics
- • Case studies (specification and verification)
- • Compositional and modular reasoning
- • Object-orientation
- • Time
- • Specification notations
- • Programming models
- • Verification and tool support
- •
- John Derrick<
- jd1@ukc.ac.uk
, University of Kent, UK.
- •
- Eerke Boiten<
- eab2@ukc.ac.uk
, University of Kent, UK.
- •
- Jim Woodcock<
- jcpw@ukc.ac.uk
, University of Kent, UK.
- •
- Joakim von Wright<
- jockum.wright@abo.fi
, Åbo Akademi University, Finland
10.
It has recently been pointed out that muscle decomposition influence muscle force estimates in musculoskeletal simulations. We show analytically and with numerical simulations that this influence depends on the recruitment criteria. Moreover, we also show that the proper choices of force normalization factors may overcome the issue. Such factors for the minmax and the polynomial criteria are presented. 相似文献