全文获取类型
收费全文 | 1967篇 |
免费 | 331篇 |
国内免费 | 98篇 |
专业分类
电工技术 | 203篇 |
综合类 | 94篇 |
化学工业 | 325篇 |
金属工艺 | 99篇 |
机械仪表 | 81篇 |
建筑科学 | 103篇 |
矿业工程 | 57篇 |
能源动力 | 64篇 |
轻工业 | 151篇 |
水利工程 | 73篇 |
石油天然气 | 76篇 |
武器工业 | 20篇 |
无线电 | 232篇 |
一般工业技术 | 349篇 |
冶金工业 | 212篇 |
原子能技术 | 32篇 |
自动化技术 | 225篇 |
出版年
2024年 | 32篇 |
2023年 | 106篇 |
2022年 | 161篇 |
2021年 | 252篇 |
2020年 | 152篇 |
2019年 | 108篇 |
2018年 | 125篇 |
2017年 | 120篇 |
2016年 | 77篇 |
2015年 | 80篇 |
2014年 | 71篇 |
2013年 | 106篇 |
2012年 | 62篇 |
2011年 | 66篇 |
2010年 | 74篇 |
2009年 | 56篇 |
2008年 | 42篇 |
2007年 | 34篇 |
2006年 | 41篇 |
2005年 | 28篇 |
2004年 | 31篇 |
2003年 | 29篇 |
2002年 | 29篇 |
2001年 | 18篇 |
2000年 | 22篇 |
1999年 | 22篇 |
1998年 | 69篇 |
1997年 | 43篇 |
1996年 | 29篇 |
1995年 | 37篇 |
1994年 | 20篇 |
1993年 | 18篇 |
1992年 | 16篇 |
1991年 | 12篇 |
1990年 | 13篇 |
1989年 | 16篇 |
1988年 | 10篇 |
1987年 | 16篇 |
1986年 | 8篇 |
1985年 | 21篇 |
1984年 | 10篇 |
1983年 | 9篇 |
1982年 | 9篇 |
1981年 | 7篇 |
1980年 | 8篇 |
1979年 | 7篇 |
1977年 | 9篇 |
1976年 | 12篇 |
1974年 | 7篇 |
1972年 | 6篇 |
排序方式: 共有2396条查询结果,搜索用时 15 毫秒
41.
42.
Almuatasim Alomari Ashok Batra Mohan Aggarwal C. R. Bowen 《Journal of Materials Science: Materials in Electronics》2016,27(10):10020-10030
This paper demonstrates a multi-source energy harvester that is able to utilize simultaneously both piezoelectric and pyroelectric effects in lead magnesium niobate-lead titanate (PMN-PT) single crystal. The paper presents a study of PMN-PT single crystal with a (67:33) composition grown in our laboratory via a vertical gradient freeze method without any flux. The performance of the piezoelectric and pyroelectric energy harvester using unimorph device structure was evaluated via modeling and experiment. The theoretical study was implemented based on a distributed parameter electromechanical model and the modelling procedure was approximated using finite element analysis to predict the electromechanical behavior of the harvester. The maximum power density at a resonance frequency of 50 Hz and optimum resistance of 2 MΩ was 16.7 nW/(g2 cm3) under a 1 g acceleration of vibration. The measured values of electrical output parameters were in good agreement with theoretical and modelling results using MATLAB and COMSOL Multiphysics, respectively. By using the pyroelectric effect along with the piezoelectric effect, the output voltage of the energy harvester was found to be enhanced at the optimum resistance and specific frequency values. It was noticed that the output voltage was increased monotonically with temperature-difference (ΔT) and reaches up to 180 % of its original value under temperature difference of 1.7 °C at a frequency value of 49 Hz. 相似文献
43.
Huibiao Zhu Jifeng He Jing Li Jonathan P. Bowen 《Innovations in Systems and Software Engineering》2011,7(3):209-224
Web services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service
composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling
mechanism. We have considered the operational semantics and denotational semantics for BPEL, where a set of algebraic laws
can be achieved via these two models, respectively. In this paper, we consider the inverse work, deriving the operational
semantics and denotational semantics from algebraic semantics for BPEL. In our model, we introduce four types of typical programs,
by which every program can be expressed as the summation of these four types. Based on the algebraic semantics, the strategy
for deriving the operational semantics is provided and a transition system is derived by strict proof. This can be considered
as the soundness exploration for the operational semantics based on the algebraic semantics. Further, the equivalence between
the derivation strategy and the derived transition system is explored, which can be considered as the completeness of the
operational semantics. Finally, the derivation of the denotational semantics from algebraic semantics is explored, which can
support to reason about more program properties easily. 相似文献
44.
Huibiao Zhu Jifeng He Jing Li Geguang Pu Jonathan P. Bowen 《Innovations in Systems and Software Engineering》2010,6(4):283-298
Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service
composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling
mechanism. The denotational semantics and operational semantics have been explored for BPEL. The two semantic models should
be consistent. This paper considers the linking of these two semantics. Our approach is to derive the denotational semantics
from operational semantics for BPEL, which aims for the consistency of the two models. Moreover, the derivation can be applied
in exploring the program equivalence easily, especially for parallel programs. 相似文献
45.
Formal Versus Agile: Survival of the Fittest 总被引:1,自引:0,他引:1
Many research have focused on new formal methods, integrating formal methods into agile ones, and assessing the agility of formal methods. This paper proves that formal methods can survive in an agile world; they are not obsolete and can be integrated into it. The potential for combining agile and formal methods holds promise. It might not always be an easy partnership, and succeeding will depend on a fruitful interchange of expertise between the two communities. Conducting a realistic trial project using a combined approach with an appropriate formal methods tool in a controlled environment will help assess the effectiveness of such an approach. 相似文献
46.
47.
48.
49.
针对坝体位移时间序列中出现数据跳跃的现象,基于动力学互关因子指数法与云模型理论,提出了一种能准确辨识大坝位移时间序列中动力突变盲点位置的诊断方法,并构建了考虑动力突变盲点的混凝土坝位移安全监控模型。基于不确定性动力系统对大坝位移的演化分析,综合运用相空间重构、云模型及小波分析等数值处理方法,从所辨识数值序列中的动力突变盲点出发,研究了对大坝工作性态转异进行预测诊断的方法。工程实例表明,该方法能找准对应位移的动力突变盲点,可避免动力突变盲点对大坝位移序列的不利影响,提高了大坝位移安全监控模型的可靠性和科学性。 相似文献
50.