全文获取类型
收费全文 | 3860篇 |
免费 | 253篇 |
国内免费 | 32篇 |
专业分类
电工技术 | 93篇 |
综合类 | 61篇 |
化学工业 | 1030篇 |
金属工艺 | 111篇 |
机械仪表 | 96篇 |
建筑科学 | 263篇 |
矿业工程 | 16篇 |
能源动力 | 79篇 |
轻工业 | 233篇 |
水利工程 | 26篇 |
石油天然气 | 16篇 |
武器工业 | 16篇 |
无线电 | 357篇 |
一般工业技术 | 767篇 |
冶金工业 | 162篇 |
原子能技术 | 36篇 |
自动化技术 | 783篇 |
出版年
2024年 | 9篇 |
2023年 | 61篇 |
2022年 | 95篇 |
2021年 | 162篇 |
2020年 | 121篇 |
2019年 | 127篇 |
2018年 | 121篇 |
2017年 | 138篇 |
2016年 | 169篇 |
2015年 | 134篇 |
2014年 | 218篇 |
2013年 | 259篇 |
2012年 | 253篇 |
2011年 | 319篇 |
2010年 | 233篇 |
2009年 | 205篇 |
2008年 | 222篇 |
2007年 | 203篇 |
2006年 | 160篇 |
2005年 | 143篇 |
2004年 | 87篇 |
2003年 | 85篇 |
2002年 | 78篇 |
2001年 | 41篇 |
2000年 | 62篇 |
1999年 | 67篇 |
1998年 | 69篇 |
1997年 | 37篇 |
1996年 | 34篇 |
1995年 | 31篇 |
1994年 | 17篇 |
1993年 | 25篇 |
1992年 | 19篇 |
1991年 | 16篇 |
1990年 | 14篇 |
1989年 | 15篇 |
1988年 | 16篇 |
1987年 | 9篇 |
1986年 | 6篇 |
1985年 | 11篇 |
1984年 | 5篇 |
1983年 | 4篇 |
1982年 | 4篇 |
1981年 | 7篇 |
1980年 | 4篇 |
1979年 | 6篇 |
1976年 | 5篇 |
1975年 | 4篇 |
1974年 | 4篇 |
1966年 | 3篇 |
排序方式: 共有4145条查询结果,搜索用时 328 毫秒
111.
We present a new foreign-function interface for SML/NJ. It is based on the idea of data-level interoperability—the ability of ML programs to inspect as well as manipulate C data structures directly.The core component of this work is an encoding of the almost2 complete C type system in ML types. The encoding makes extensive use of a “folklore” typing trick, taking advantage of ML's polymorphism, its type constructors, its abstraction mechanisms, and even functors. A small low-level component which deals with C struct and union declarations as well as program linkage is hidden from the programmer's eye by a simple program-generator tool that translates C declarations to corresponding ML glue code. 相似文献
112.
113.
Visual cryptography and (k,n)-visual secret sharing schemes were introduced by Naor and Shamir (Advances in Cryptology — Eurocrypt 94, Springer, Berlin, 1995, pp. 1–12). A sender wishing to transmit a secret message distributes n transparencies amongst n recipients, where the transparencies contain seemingly random pictures. A (k,n)-scheme achieves the following situation: If any k recipients stack their transparencies together, then a secret message is revealed visually. On the other hand, if only k−1 recipients stack their transparencies, or analyze them by any other means, they are not able to obtain any information about the secret message. The important parameters of a scheme are its contrast, i.e., the clarity with which the message becomes visible, and the number of subpixels needed to encode one pixel of the original picture. Naor and Shamir constructed (k,k)-schemes with contrast 2−(k−1). By an intricate result from Linial (Combinatorica 10 (1990) 349–365), they were also able to prove the optimality of these schemes. They also proved that for all fixed kn, there are (k,n)-schemes with contrast
. For k=2,3,4 the contrast is approximately
and
. In this paper, we show that by solving a simple linear program, one is able to compute exactly the best contrast achievable in any (k,n)-scheme. The solution of the linear program also provides a representation of a corresponding scheme. For small k as well as for k=n, we are able to analytically solve the linear program. For k=2,3,4, we obtain that the optimal contrast is at least
and
. For k=n, we obtain a very simple proof of the optimality of Naor's and Shamir's (k,k)-schemes. In the case k=2, we are able to use a different approach via coding theory which allows us to prove an optimal tradeoff between the contrast and the number of subpixels. 相似文献
114.
The evolution and maintenance of large-scale software systems requires first an understanding of its architecture before delving
into lower-level details. Tools facilitating the architecture comprehension tasks by visualization provide different sets
of configurable, graphical elements to present information to their users. We conducted a controlled experiment that exemplifies
the critical role of such graphical elements when aiming at understanding the architecture. In our setting, a different configuration
of graphical elements had significant influence on program comprehension tasks. In particular, a 63% gain in effectiveness
in architectural analysis tasks was achieved simply by changing the configuration of the graphical elements of the same tool.
Based on the results, we claim that significant effort should be spent on the configuration of architecture visualization
tools and that configurability should be a requirement for such tools.
Jens Knodel is a scientist at the Fraunhofer Institute for Experimental Software Engineering (IESE) in Kaiserslautern, Germany. As an applied researcher in the department “Product Line Architectures” he works in several industrial and research projects in the context of product line engineering and software architectures. His main research interests are architecture compliance checking, software evolution, and architecture reconstruction. Jens Knodel is the architect of the Fraunhofer SAVE tool (the acronym SAVE stands for Software Architecture Evaluation and Visualization). Dirk Muthig heads the division “Software Development” at the Fraunhofer Institute for Experimental Software Engineering (IESE). He has been involved in the definition, development, and transfer of Fraunhofer PuLSE (Product Line Software Engineering) methodology since 1997. Further, he leads the research and technology transfer in the area of “Software and Systems Architecture”. He received a diploma in computer science, as well as a Ph.D., from the Technical University of Kaiserslautern. Matthias Naab is an engineer at the Fraunhofer Institute for Experimental Software Engineering (IESE). He works in the areas of software- and system architectures and product lines. In several industry projects, he was involved in architecture evaluations of large-scale information systems from different industries and customers. To the Fraunhofer SAVE tool, he contributed the visualization component. Matthias Naab received a diploma in computer science from the Technical University of Kaiserslautern in 2005. 相似文献
Matthias Naab (Corresponding author)Email: |
Jens Knodel is a scientist at the Fraunhofer Institute for Experimental Software Engineering (IESE) in Kaiserslautern, Germany. As an applied researcher in the department “Product Line Architectures” he works in several industrial and research projects in the context of product line engineering and software architectures. His main research interests are architecture compliance checking, software evolution, and architecture reconstruction. Jens Knodel is the architect of the Fraunhofer SAVE tool (the acronym SAVE stands for Software Architecture Evaluation and Visualization). Dirk Muthig heads the division “Software Development” at the Fraunhofer Institute for Experimental Software Engineering (IESE). He has been involved in the definition, development, and transfer of Fraunhofer PuLSE (Product Line Software Engineering) methodology since 1997. Further, he leads the research and technology transfer in the area of “Software and Systems Architecture”. He received a diploma in computer science, as well as a Ph.D., from the Technical University of Kaiserslautern. Matthias Naab is an engineer at the Fraunhofer Institute for Experimental Software Engineering (IESE). He works in the areas of software- and system architectures and product lines. In several industry projects, he was involved in architecture evaluations of large-scale information systems from different industries and customers. To the Fraunhofer SAVE tool, he contributed the visualization component. Matthias Naab received a diploma in computer science from the Technical University of Kaiserslautern in 2005. 相似文献
115.
Muscular capabilities and workload of flight attendants for pushing and pulling trolleys aboard aircraft 总被引:2,自引:2,他引:0
Karlheinz Schaub Knut Berg Gabriele Winter Rolf Ellegast Ulrich Glitsch Hans Jürgen Ottersbach Matthias Jger Gerhard Franz 《International Journal of Industrial Ergonomics》2007,37(11-12):883
Increasingly in the recent years, passengers’ services are extended into the ascent and descent flight phases on short distance flights. Trolleys containing the required meal and beverage items are used for these service operations and pushed or pulled along the aisles of the aircraft. Flight attendants reported about increased musculo-skeletal disorders and had been complaining about high physical workload from handling trolleys. In order to ensure acceptable load levels for pushing or pulling operations of trolleys, the physical capabilities of the collective “flight attendants” had been investigated by means of force measurements at maximum voluntary contraction (MVC) level and associated relevant anthropometrical and biometrical data. CEN and ISO standards as well as international and national German methods were used to derive recommended force limits for pushing/pulling operations with respect to the physical capabilities of the target group “flight attendants”. Comparing these recommended limits with the force requirements per shift under various conditions of trolley handlings (inclination of the floor, type and weight of trolley, mode of handling, frequency of operation) showed that especially for higher floor inclinations and trolley weights, flight attendants work (substantially) above recommended limits. It became also apparent that the handling of half-size trolleys is unexpectedly high demanding due to high vertical force components, caused by the unfavorable location of their center of gravity.
Relevance to industry
On short-distance flights, passengers’ services are performed by means of trolleys from the ascent to the descent flight phases. Flight attendants had been complaining about high physical workload. This study offers recommendations on maximum force limits for the handling of trolleys with respect to the muscular capacities and work situations of flight attendants on short-distance flights. 相似文献116.
Physical workload of flight attendants when pushing and pulling trolleys aboard aircraft 总被引:2,自引:2,他引:0
Ulrich Glitsch Hans Jürgen Ottersbach Rolf Ellegast Karlheinz Schaub Gerhard Franz Matthias Jger 《International Journal of Industrial Ergonomics》2007,37(11-12):845
The musculoskeletal loads from moving trolleys aboard aircraft were assessed by observation of trolley handling on planes and by physical workload analyses of pushing and pulling of trolleys in a laboratory set up. Trolley handling by a total of 15 female flight attendants was observed on 10 short- and medium-distance flights in different types of aircraft. About 25 selected flight attendants (22 females; 3 males) of five German airlines took part in the laboratory study, which comprised three-dimensional (3D) measurements of posture and hand forces during pushing and pulling of trolleys in a variety of configurations. From the on-flight observations performed, between 150 and 250 trolley movements can be projected for a work shift. The greatest physical workload is to be expected at the beginning of service: The trolleys are fully laden then, and the cabin floor can still be inclined up to 8°, as the aircraft is still climbing, particularly on short-distance flights. The laboratory investigation revealed that the musculoskeletal workload from pushing and pulling depends essentially on the trolley load and on the gradient of the cabin floor. In addition, the degree of stressing depends significantly on the trolley type, mode of handling and personal dexterity. The up/down force component perpendicular to the direction of motion often achieved considerable amplitudes-in some cases equal to or exceeding the force in the direction of movement. The posture analysis demonstrated that pulling forced the flight attendants to adopt ergonomically unfavourable postures such as pronounced flexion of the back, particularly among female subjects. The highest values for flexion of the back occurred while pulling the half-size trolley. The results demonstrate that female flight attendants are likely to overload themselves if they frequently have to move heavily laden trolleys unaided on an inclined cabin floor.
Relevance to industry
On short distance flights, flight attendants have been complaining increasingly of high physical workload from manoeuvring trolleys. On the basis of the presented data airline companies may improve the trolley handling skills of their flight attendances by practical trainings and may ergonomically optimize the general service procedures aboard aircrafts. 相似文献117.
QuadCover - Surface Parameterization using Branched Coverings 总被引:4,自引:0,他引:4
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2-manifolds, whose parameter lines are guided by a given frame field, for example, by principal curvature frames. The parameter lines are globally continuous and allow a remeshing of the surface into quadrilaterals. The algorithm converts a given frame field into a single vector field on a branched covering of the 2-manifold and generates an integrable vector field by a Hodge decomposition on the covering space. Except for an optional smoothing and alignment of the initial frame field, the algorithm is fully automatic and generates high quality quadrilateral meshes. 相似文献
118.
119.
Metacomputing across intercontinental networks 总被引:1,自引:0,他引:1
S. M. J. M. F. C. Edgar Matthias Michael S. M. 《Future Generation Computer Systems》2001,17(8):911-918
An intercontinental network of supercomputers spanning more than 10 000 miles and running challenging scientific applications was realized at the Supercomputing ’99 (SC99) conference in Portland, OR using PACX-MPI and ATM PVCs. In this paper, we describe how we constructed the heterogeneous cluster of supercomputers, the problems we confronted in terms of multi-architecture and the way several applications handled the specific requirements of a metacomputer. 相似文献
120.
Information agent technology for the Internet: A survey 总被引:8,自引:0,他引:8
Matthias 《Data & Knowledge Engineering》2001,36(3):337-372
The vast amount of heterogeneous information sources available on the Internet demands advanced solutions for acquiring, mediating, and maintaining relevant information for the common user. Intelligent information agents are autonomous computational software entities that are especially meant to (1) provide pro-active resource discovery, (2) resolve information impedance of information consumers and providers, and (3) offer value-added information services and products. These agents are supposed to cope with the difficulties associated with the information overload of the user, preferably just in time.
Based on a systematic classification of intelligent information agents, this paper presents an overview of the basic key enabling technologies needed to build such agents, and respective examples of information agent systems currently deployed on the Internet. 相似文献