全文获取类型
收费全文 | 26784篇 |
免费 | 766篇 |
国内免费 | 560篇 |
专业分类
电工技术 | 811篇 |
技术理论 | 2篇 |
综合类 | 1079篇 |
化学工业 | 2258篇 |
金属工艺 | 1509篇 |
机械仪表 | 3235篇 |
建筑科学 | 5187篇 |
矿业工程 | 534篇 |
能源动力 | 791篇 |
轻工业 | 1351篇 |
水利工程 | 313篇 |
石油天然气 | 729篇 |
武器工业 | 145篇 |
无线电 | 1603篇 |
一般工业技术 | 2119篇 |
冶金工业 | 865篇 |
原子能技术 | 226篇 |
自动化技术 | 5353篇 |
出版年
2024年 | 36篇 |
2023年 | 184篇 |
2022年 | 283篇 |
2021年 | 431篇 |
2020年 | 432篇 |
2019年 | 295篇 |
2018年 | 364篇 |
2017年 | 400篇 |
2016年 | 566篇 |
2015年 | 654篇 |
2014年 | 1299篇 |
2013年 | 1414篇 |
2012年 | 1656篇 |
2011年 | 1859篇 |
2010年 | 1401篇 |
2009年 | 1418篇 |
2008年 | 1223篇 |
2007年 | 1605篇 |
2006年 | 1652篇 |
2005年 | 1525篇 |
2004年 | 1320篇 |
2003年 | 1349篇 |
2002年 | 1131篇 |
2001年 | 865篇 |
2000年 | 816篇 |
1999年 | 771篇 |
1998年 | 655篇 |
1997年 | 497篇 |
1996年 | 422篇 |
1995年 | 368篇 |
1994年 | 275篇 |
1993年 | 223篇 |
1992年 | 168篇 |
1991年 | 125篇 |
1990年 | 80篇 |
1989年 | 83篇 |
1988年 | 57篇 |
1987年 | 35篇 |
1986年 | 23篇 |
1985年 | 32篇 |
1984年 | 34篇 |
1983年 | 21篇 |
1982年 | 13篇 |
1981年 | 9篇 |
1980年 | 7篇 |
1979年 | 9篇 |
1978年 | 5篇 |
1976年 | 8篇 |
1975年 | 4篇 |
1971年 | 3篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
61.
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. 相似文献
62.
63.
In this note we present a proof to the conjecture given in the above paper, and therefore establish the equivalence of characterizations of fixed modes for the general case. 相似文献
64.
用微分电容法研究质子辐照HCl氧化物铝栅MOS结构诱导的界面陷阱,栅氧化层在1 160℃很干燥的、含0~10%HCl的气氛中热生长而成,质子辐照能量为120~300keV,注入总剂量范围为8×10~(13)~1×10~(16)p/cm~2。结果表明,辐照诱导的界面陷阱能级密度随质子能量、剂量增加而增加。然而,氧化层中掺入6%HCl时,辐照诱导的界面陷阱明显减少。这样,已能有效地改变MOS器件的抗辐照性能。实验结果可用H~+二级过程解释。 相似文献
65.
简易高性能纳秒脉冲发生器 总被引:2,自引:0,他引:2
为了实现电子散射飞行时间谱仪电子束的脉冲化及产生时一幅变换器的启动或停止信号。我们利用开关晶体管的雪崩特性研制了一个性能好,成本低的纳秒脉冲发生器。该发生器输出上升时间好于Ins,幅度达10V的负尖脉冲,用作时一幅变换器的启动或停止信号;也输出上升时间约3ns,幅度5-30V连续可调和宽度5-230ns可调的正脉冲,用作电子束脉冲化的调制信号,脉冲重复率为150×10^3s^-1。它可广泛用于类似 相似文献
66.
传统的CAD/CAM系统由于设计思想本身的局限性,其内部只能达到一种松散的基于数据交换的低水平的集成,产品的设计方法也不符合工程技术人员的设计思路。本文提出了基于全耦合的单一数据模型的并行CAD/CAM系统设计思想,使得CAD/CAM系统内部达到以数据共享为基础的高度集成。并行CAD/CAM系统充分体现了工程技术人员的思维方式及产品设计过程的反复性和协调性。此外,文中还提出广义参数化设计的新概念,它与特征设计方法的有机结合保证了产品模型的完整性和产品设计过程的同步性。特征共享是实现CAD和CAM集成的关键因素。并行CAD/CAM系统应用面向对象软件设计思想,实现了复杂数据模型的内部封装,并为数据模型和功能模块之间提供简单直观的界面。面向对象设计方法是开发并行CAD/CAM系统的有效手段。 相似文献
67.
对原有的冶金矿山设计和生产不同能耗指标,提出统一为一个指标体系的设想,并提出了指标体系的计算公式以及各系数的选取意见。 相似文献
68.
文章介绍法中两国合作开发的微电子电路计算机辅助教育系统中的两部分,重点陈述其中的辅助测试虚拟仪器和专用实验芯片,期望对电子测试领域的教育工作者和科技工作者有所启发。 相似文献
69.
70.
Menberu Lulu 《Quality Engineering》2003,16(1):105-111
Quality and reliability design practitioners have utilized Taguchi's methodology of matrix experimentation to generate computer simulation data for characterizing performance variation of product designs. However, the sampling strategy employed renders computer implementation of matrix experimentation cumbersome and statistically invalid. Weaknesses of this approach also include sample size limitation and overestimation of performance variation. An alternative approach that combines Monte Carlo simulation with the strategies of independent sampling across runs and correlated sampling between runs is presented. An application case study shows that the proposed approach constitutes an improvement on the matrix approach with respect to statistical validity and estimation accuracy. 相似文献