全文获取类型
收费全文 | 9024篇 |
免费 | 442篇 |
国内免费 | 584篇 |
专业分类
电工技术 | 363篇 |
综合类 | 452篇 |
化学工业 | 156篇 |
金属工艺 | 215篇 |
机械仪表 | 500篇 |
建筑科学 | 211篇 |
矿业工程 | 121篇 |
能源动力 | 62篇 |
轻工业 | 58篇 |
水利工程 | 28篇 |
石油天然气 | 70篇 |
武器工业 | 63篇 |
无线电 | 1514篇 |
一般工业技术 | 263篇 |
冶金工业 | 70篇 |
原子能技术 | 61篇 |
自动化技术 | 5843篇 |
出版年
2024年 | 16篇 |
2023年 | 57篇 |
2022年 | 115篇 |
2021年 | 178篇 |
2020年 | 199篇 |
2019年 | 177篇 |
2018年 | 174篇 |
2017年 | 243篇 |
2016年 | 290篇 |
2015年 | 310篇 |
2014年 | 513篇 |
2013年 | 410篇 |
2012年 | 500篇 |
2011年 | 675篇 |
2010年 | 455篇 |
2009年 | 394篇 |
2008年 | 486篇 |
2007年 | 590篇 |
2006年 | 547篇 |
2005年 | 549篇 |
2004年 | 439篇 |
2003年 | 518篇 |
2002年 | 396篇 |
2001年 | 297篇 |
2000年 | 283篇 |
1999年 | 238篇 |
1998年 | 172篇 |
1997年 | 121篇 |
1996年 | 135篇 |
1995年 | 96篇 |
1994年 | 79篇 |
1993年 | 72篇 |
1992年 | 57篇 |
1991年 | 40篇 |
1990年 | 23篇 |
1989年 | 23篇 |
1988年 | 21篇 |
1987年 | 20篇 |
1986年 | 15篇 |
1985年 | 20篇 |
1984年 | 18篇 |
1983年 | 21篇 |
1982年 | 16篇 |
1981年 | 15篇 |
1979年 | 8篇 |
1978年 | 8篇 |
1977年 | 4篇 |
1976年 | 5篇 |
1975年 | 3篇 |
1974年 | 3篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
31.
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. 相似文献
32.
Mixture-proportioning of high-performance concrete 总被引:6,自引:0,他引:6
The paper presents a new approach to design concrete mixtures. It is based upon a set of models relating composition and engineering properties of concrete, to be implemented into software, linked with a material database. The principles underlying the various models are summarized, most of which focus on the granular structure of fresh/hardened concrete. A global approach to concrete is promoted, where performance specifications can be formulated in terms of fresh concrete (yield stress, plastic viscosity, slump and air content), hardening concrete (adiabatic temperature rise and autogenous shrinkage) and hardened concrete (compressive strength at any age, tensile strength, elastic modulus, creep and shrinkage). This approach is illustrated through the design of a special high-shrinkage high-performance concrete (HPC) for road application. To date, durability is lacking in the model and requires further research. 相似文献
33.
NGN问题及其发展策略考虑 总被引:1,自引:0,他引:1
本文在分析讨论NGN的背景,目前存在的争议基础上,结合中国国情,重点对NGN框架目标进行了展望并提出了发展策略考虑。 相似文献
34.
CASE与MIS的开发 总被引:1,自引:0,他引:1
本文介绍CASE技术的基本思想与构成,CASE工具在MIS开发中的作用,概要介绍国内流行的CASE产品并对其作出评述。 相似文献
35.
Liljana Gavrilovska 《Wireless Personal Communications》2006,37(3-4):271-290
Wireless ad hoc networks are temporary formed, infrastructureless networks. Due to the unstable channel conditions and network connectivity, their characteristics impose serious challenges in front of network designers. The layering approach to network design does not fit the ad hoc environment well. Therefore, various cross-layering approaches, where protocol layers actively interact, exchange inherent layer information and fine tune their parameters according to the network status are becoming increasingly popular. This paper presents an in-depth analysis of the latest cross-layering approaches for wireless ad hoc networks supported by several examples. A special emphasis is put on the link and network layer related cross-layer designs. Several link adaptation and efficient service discovery schemes are elaborated through analytical and simulation studies. Their performance shows the potentials of the cross-layering for boosting system characteristics in wireless ad hoc networks.
Liljana Gavrilovska currently holds a position of full professor at Faculty of Electrical Engineering, University “St. Cyril and Metodij” – Skopje, Macedonia. She is chief of Telecommunications Laboratory and teaches undergraduate courses in telecommunication networks, data transmission and switching and traffic theory, and graduate courses in wireless, mobile and personal networks, teletraffic engineering and planning, and broadband multiservices networks. In 2000 she joined the Center for PersonKommunikation, Aalborg University, Denmark, as a visiting professor and during 2001--2002 she held a position of associate research professor at the same university. Currently she holds a part-time position of associated research professor with Center for Teleinfrastructur (CTIF). Prof. Gavrilovska was involved in several EU (ACTS ASAP, IST PACWOMAN, MAGNET, TEMPUS) and national/international projects. She published numerous conference and journal papers and participated in several workshops. At the moment she is working on the book “Ad Hoc Networking Towards Seamless Communications” together with prof. R. Prasad. Her research interests include wireless and personal area networks, ad hoc networking, networking protocols, traffic analysis, QoS, and optimization techniques. She is a senior member of IEEE and serves as a Chair of Macedonian Communication Chapter. 相似文献
36.
To provide responsive information services in a ubiquitous computing environment, service software and system development are indispensable. A component-based ubiquitous information system with a JAIN (Java APIs for Integrated Networks) platform to achieve seamless transmissions and reach-everywhere communications was designed in our research. In this development, numerous ubiquitous service modules were identified: location management, roaming, mobile IP and WAP networking. These component-based network modules were constructed using a component composition language with component specification and interface definition, running on top of a distributed service architecture using a JAIN platform to distribute the ubiquitous information services to mobile users. Two applications, Wireless-Application-Protocol (WAP) Mail and Video-on-Demand (VoD) services, show that the JAIN-like platform with the developed networking components effectively fills the gap for application developers between mobile appliances and various kinds of ubiquitous information services. 相似文献
37.
适用于仿真工业控制系统的软件包 总被引:2,自引:0,他引:2
本文提出的仿真软件包具有丰富的数学运算功能、控制算法功能、逻辑运算功能及图形编辑能力.软件包结构上充分体现了模块化的设计思想,而在功能及组态方法上又十分类似于分散控制系统相应的功能。使用该软件包,可方便地对各种典型的工业控制系统特别是由微处理机组成的分散控制系统进行仿真研究。 相似文献
38.
介绍了一种甚低频低码率数字通信系统的实现方案,该方案中的软件采用混合编程的方法,硬件则用DSP实现,文章给出了整个系统的DSP软硬件调试方法,并通过调试结果表明该方案具有很好的可行性和实时性。 相似文献
39.
40.
Les Hatton Andy Wright Stuart Smith Gregg Parkes Paddy Bennett Robert Laws 《Software》1988,18(4):301-329
The portability of software has become a major commercial issue in recent times. Such portability does not come easily, as few if any computer languages are really portable in practice. An additional complicating factor, especially in the commercial environment, is that the resulting software must be efficient. This paper describes the design and successful implementation of a 500,000+ line portable FORTRAN 77 package for the processing of seismic data. The package exhibits demonstrably high efficiency on a wide variety of machines from minicomputers to the largest supercomputers. Experiences gained during this exercise throw much light on the integration of the various thought processes which occur during the software engineering cycle, especially the notion of locality. 相似文献