全文获取类型
收费全文 | 2008篇 |
免费 | 193篇 |
国内免费 | 190篇 |
专业分类
电工技术 | 8篇 |
综合类 | 70篇 |
化学工业 | 21篇 |
金属工艺 | 11篇 |
机械仪表 | 60篇 |
建筑科学 | 55篇 |
矿业工程 | 3篇 |
能源动力 | 8篇 |
轻工业 | 6篇 |
水利工程 | 7篇 |
石油天然气 | 7篇 |
武器工业 | 5篇 |
无线电 | 243篇 |
一般工业技术 | 53篇 |
冶金工业 | 25篇 |
原子能技术 | 5篇 |
自动化技术 | 1804篇 |
出版年
2024年 | 15篇 |
2023年 | 125篇 |
2022年 | 46篇 |
2021年 | 33篇 |
2020年 | 251篇 |
2019年 | 171篇 |
2018年 | 107篇 |
2017年 | 55篇 |
2016年 | 46篇 |
2015年 | 71篇 |
2014年 | 139篇 |
2013年 | 126篇 |
2012年 | 144篇 |
2011年 | 148篇 |
2010年 | 101篇 |
2009年 | 76篇 |
2008年 | 86篇 |
2007年 | 83篇 |
2006年 | 102篇 |
2005年 | 90篇 |
2004年 | 78篇 |
2003年 | 67篇 |
2002年 | 53篇 |
2001年 | 29篇 |
2000年 | 26篇 |
1999年 | 15篇 |
1998年 | 9篇 |
1997年 | 15篇 |
1996年 | 13篇 |
1995年 | 18篇 |
1994年 | 10篇 |
1993年 | 8篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 4篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 3篇 |
1985年 | 4篇 |
1984年 | 1篇 |
1983年 | 5篇 |
1981年 | 3篇 |
1980年 | 1篇 |
1979年 | 2篇 |
1976年 | 1篇 |
1975年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有2391条查询结果,搜索用时 31 毫秒
1.
Massive Open Online Courses (MOOCs) are becoming an essential source of information for both students and teachers. Noticeably, MOOCs have to adapt to the fast development of new technologies; they also have to satisfy the current generation of online students. The current MOOCs’ Management Systems, such as Coursera, Udacity, edX, etc., use content management platforms where content are organized in a hierarchical structure. We envision a new generation of MOOCs that support interpretability with formal semantics by using the SemanticWeb and the online social networks. Semantic technologies support more flexible information management than that offered by the current MOOCs’ platforms. Annotated information about courses, video lectures, assignments, students, teachers, etc., can be composed from heterogeneous sources, including contributions from the communities in the forum space. These annotations, combined with legacy data, build foundations for more efficient information discovery in MOOCs’ platforms. In this article we review various Collaborative Semantic Filtering technologies for building Semantic MOOCs’ management system, then, we present a prototype of a semantic middle-sized platform implemented at Western Kentucky University that answers these aforementioned requirements. 相似文献
2.
Gabriel Wainer 《Software》2002,32(13):1261-1306
The features of a toolkit for modeling and simulation based on the DEVS formalism are presented. The tool is built as a set of independent software pieces running on different platforms. Not only are the main characteristics of the environment presented, a focus on its use is also considered by inclusion of application examples for a variety of problems. Many models can be defined in an automated fashion, simplifying the construction of new models and easing their verification. The use of this formal approach has allowed the development of safe and cost‐effective simulations, significantly reducing development time. Copyright © 2002 John Wiley & Sons, Ltd. 相似文献
3.
李宏伟 《数值计算与计算机应用》2003,24(1):44-52
1.引 言 古典加法Schwarz方法(ASM)对于一般问题收敛很慢,在大多数情况下, ASM只能作为预条件子.另一方面,ASM的并行性能非常好,尤其适合大规模粗粒度并行计算,近年来随着并行机系统及并行计算的兴起,ASM重新受到重视.许多学者研究了怎样提高ASM的收敛速度[1,2,4].他们发现加法Schwarz方法之所以收敛慢是由于在内边界上采用 相似文献
4.
The aim of this paper is to evaluate the use of trace diagrams for analysing collaborative problem solving. The paper describes a study where trace diagrams were used to analyse joint navigation in a virtual environment. Ten pairs of undergraduates worked together on a distributed virtual task to collect five flowers using two bees with each participant controlling one of the bees. This task is used extensively in research on multi-robot systems. The joint navigation of the pairs was analysed using trace diagrams. They showed that more successful pairs divided the task up, showed very little overlap and very little backtracking. Whereas, the less successful pairs, showed no task division, there was significant overlap and extensive backtracking. From this analysis we developed numerical measures of task division, overlap and backtracking. Task division was significantly and negatively related with task performance. Backtracking and overlap were significantly and positively correlated. 相似文献
5.
Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems
are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task
due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology
that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has
been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research
the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language
based on business rules, and a model checker.
Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D.
degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are
on performance analysis and modeling of e-business and distributed systems, and formal methods.
Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte,
Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking).
Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas
Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and
formal methods. Actually his current interests are on software engeneering and project management of IT projects. 相似文献
6.
Emilia Nowaczyk 《Electrical Engineering (Archiv fur Elektrotechnik)》2007,89(5):419-424
The paper presents the results of investigations into several methods of calculating the active power value from current and
voltage signal samples. The accuracy attainable for nonsinusoidal signals whose frequency differs from the nominal one was
determined. A new active power calculation method ensuring accurate results for sampling over two signal periods is proposed.
The method uses a very simple computing algorithm. 相似文献
7.
8.
SHIHongju SHIYongji 《半导体光子学与技术》1998,4(4):197-208,234
The liquid crystal televison spatia light modulator(LCTVSLM)characterized is usable in optical processing applications.e.g.,optical pattern recognition,associative memory,optical computing,correlation detection and optical data processing systems.The array performance and real-time optical correlation applications are reviewed. 相似文献
9.
Numerical simulations of acoustic scattering in the frequency domain based on hybrid methods coupling finite elements and boundary elements are the most suited for dealing with problems involving wave propagation in inhomogeneous media. Furthermore, it is necessary to resort to high performance computing to effectively solve the large size problems. However, the direct coupling yields a linear system with a matrix which is partly dense and partly sparse and thus not adapted to high performance computing. To avoid this difficulty, we present a new iterative method constructed from a non overlapping domain decomposition technique. 相似文献
10.
Gerwin de Haan René Molenaar Michal Koutek Frits H. Post 《Computer Graphics Forum》2007,26(3):695-704
In projection-based Virtual Reality (VR) systems, typically only one headtracked user views stereo images rendered from the correct view position. For other users, who are presented a distorted image, moving with the first user's head motion, it is difficult to correctly view and interact with 3D objects in the virtual environment. In close-range VR systems, such as the Virtual Workbench, distortion effects are especially large because objects are within close range and users are relatively far apart. On these systems, multi-user collaboration proves to be difficult. In this paper, we analyze the problem and describe a novel, easy to implement method to prevent and reduce image distortion and its negative effects on close-range interaction task performance. First, our method combines a shared camera model and view distortion compensation. It minimizes the overall distortion for each user, while important user-personal objects such as interaction cursors, rays and controls remain distortion-free. Second, our method retains co-location for interaction techniques to make interaction more consistent. We performed a user experiment on our Virtual Workbench to analyze user performance under distorted view conditions with and without the use of our method. Our findings demonstrate the negative impact of view distortion on task performance and the positive effect our method introduces. This indicates that our method can enhance the multi-user collaboration experience on close-range, projection-based VR systems. 相似文献