全文获取类型
收费全文 | 51052篇 |
免费 | 4342篇 |
国内免费 | 2173篇 |
专业分类
电工技术 | 2857篇 |
技术理论 | 7篇 |
综合类 | 3262篇 |
化学工业 | 8611篇 |
金属工艺 | 3013篇 |
机械仪表 | 3289篇 |
建筑科学 | 3588篇 |
矿业工程 | 1638篇 |
能源动力 | 1558篇 |
轻工业 | 3206篇 |
水利工程 | 823篇 |
石油天然气 | 3214篇 |
武器工业 | 468篇 |
无线电 | 5920篇 |
一般工业技术 | 6474篇 |
冶金工业 | 2510篇 |
原子能技术 | 720篇 |
自动化技术 | 6409篇 |
出版年
2024年 | 265篇 |
2023年 | 939篇 |
2022年 | 1575篇 |
2021年 | 2234篇 |
2020年 | 1685篇 |
2019年 | 1374篇 |
2018年 | 1570篇 |
2017年 | 1809篇 |
2016年 | 1633篇 |
2015年 | 2095篇 |
2014年 | 2697篇 |
2013年 | 3230篇 |
2012年 | 3375篇 |
2011年 | 3618篇 |
2010年 | 3038篇 |
2009年 | 2898篇 |
2008年 | 2891篇 |
2007年 | 2749篇 |
2006年 | 2630篇 |
2005年 | 2233篇 |
2004年 | 1571篇 |
2003年 | 1365篇 |
2002年 | 1363篇 |
2001年 | 1172篇 |
2000年 | 1185篇 |
1999年 | 1180篇 |
1998年 | 982篇 |
1997年 | 837篇 |
1996年 | 772篇 |
1995年 | 596篇 |
1994年 | 502篇 |
1993年 | 333篇 |
1992年 | 267篇 |
1991年 | 199篇 |
1990年 | 176篇 |
1989年 | 138篇 |
1988年 | 110篇 |
1987年 | 60篇 |
1986年 | 62篇 |
1985年 | 35篇 |
1984年 | 28篇 |
1983年 | 27篇 |
1982年 | 24篇 |
1981年 | 14篇 |
1980年 | 8篇 |
1979年 | 6篇 |
1976年 | 6篇 |
1973年 | 2篇 |
1970年 | 2篇 |
1959年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
71.
This paper examines bidding strategies in a bilateral market in which generating companies submit bids to loads. A load accepts electricity delivery from the generator with the lowest bid at its bid price as long as this price is not higher than the load's willingness to pay. Necessary and sufficient conditions of Nash equilibrium (NE) bidding strategy are derived based on a generic generating cost matrix and the loads' willingness to pay vector. The study shows that in any NE, efficient allocation is achieved. Furthermore, all Nash equilibria are revenue equivalent for the generators. Based on the necessary and sufficient conditions, this problem is formulated as an optimal assignment problem. Network optimization techniques are applied to calculate NE bid prices for the generators 相似文献
72.
P. C. Wang Z. L. Chen X. M. He L. W. Yin S. L. Wen X. Y. Song 《Ferroelectrics Letters Section》1985,4(2):47-51
The microscopic structures of PLZT(7.9/70/30 and x/65/35, x = 7 or 8) ceramics were studied by means of transmission electron microscopy. The presence of micro-regions in PLZTs was first verfied. 相似文献
73.
该文分析了应用袋装炸药装填水孔爆破产生拒爆、"冲天炮"、根底偏高和爆破效果差等问题,然而应用乳化炸药混装车装填水孔可以解决这些问题,并且爆破后具有根底平整、大块率低、毒气少和综合效益高等优点.以三峡永久船闸旁侧泄水箱涵工程和江苏田湾核电站工程为例进行了分析. 相似文献
74.
Analyses of the practical adhesion strengths of the metal/polymer interfaces in electronic packaging
There is a plethora of techniques to measure the adhesion strength of metal/polymer interfaces. However, the practical adhesion
strength, which is the work done in separating the film from the substrate (or one film from another), is very sensitive to
the test methods and the mechanical effects, such as the residual stress, thickness and mechanical properties of the layers,
strain rate, and phase angle. Deriving intrinsic-adhesion properties of the interfaces, which are independent of such parameters,
from the practical adhesion-strength measurements is a formidable task. In the present work, data from the three commonly
used adhesion tests; pull-out, 90°-peel, and T-peel tests are compared with the intrinsic-adhesion properties of the interface,
such as the interface-fracture toughness or the interface-fracture energy, and their implications are discussed. Material
systems analyzed were Cu-based lead frame/epoxy-molding compound (EMC) and Cu/Cr/polyimide. 相似文献
75.
PP-g-MAH对PA6/PP/TLCP三元共混物的增容改性作用 总被引:2,自引:0,他引:2
研究了PP-g-MAH对PA6/PP/TLCP三元共混体系的增容作用以及对共混物流变性能和力学性能的影响。通过共混物的DSC、SEM、POM、流变性能和力学性能测试,结果表明,PP-g-MAH对共混体系有明显的增容作用,共混物的力学性能(拉伸强度和冲击强度)得到提高;由于TLCP的加入,共混物的熔体粘度大大低于PA6的熔体粘度。 相似文献
76.
77.
78.
79.
用真空蒸发法在玻璃和单晶硅片 (10 0 )上制备Zn薄膜 ,然后对Zn薄膜进行氧化、热处理获得纳米ZnO薄膜。对在硅片上制备的Zn薄膜一次性进行高温掺杂、氧化获得纳米ZnO∶P和ZnO∶B薄膜。研究不同氧化、掺杂温度和时间对薄膜结构、电学性能的影响。结果表明 :氧化温度和时间对ZnO薄膜结构影响较大 ,液态源掺P可明显改善纳米ZnO薄膜的导电性能、结构特性和化学组分 相似文献
80.
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. 相似文献