全文获取类型
收费全文 | 2554篇 |
免费 | 236篇 |
国内免费 | 205篇 |
专业分类
电工技术 | 175篇 |
综合类 | 204篇 |
化学工业 | 80篇 |
金属工艺 | 41篇 |
机械仪表 | 131篇 |
建筑科学 | 370篇 |
矿业工程 | 83篇 |
能源动力 | 28篇 |
轻工业 | 21篇 |
水利工程 | 53篇 |
石油天然气 | 41篇 |
武器工业 | 11篇 |
无线电 | 163篇 |
一般工业技术 | 78篇 |
冶金工业 | 85篇 |
原子能技术 | 2篇 |
自动化技术 | 1429篇 |
出版年
2024年 | 2篇 |
2023年 | 14篇 |
2022年 | 41篇 |
2021年 | 36篇 |
2020年 | 51篇 |
2019年 | 27篇 |
2018年 | 38篇 |
2017年 | 50篇 |
2016年 | 49篇 |
2015年 | 88篇 |
2014年 | 152篇 |
2013年 | 119篇 |
2012年 | 165篇 |
2011年 | 205篇 |
2010年 | 172篇 |
2009年 | 172篇 |
2008年 | 198篇 |
2007年 | 253篇 |
2006年 | 219篇 |
2005年 | 213篇 |
2004年 | 137篇 |
2003年 | 125篇 |
2002年 | 121篇 |
2001年 | 53篇 |
2000年 | 66篇 |
1999年 | 55篇 |
1998年 | 43篇 |
1997年 | 18篇 |
1996年 | 22篇 |
1995年 | 16篇 |
1994年 | 15篇 |
1993年 | 11篇 |
1992年 | 11篇 |
1990年 | 2篇 |
1989年 | 5篇 |
1988年 | 2篇 |
1987年 | 4篇 |
1986年 | 3篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 3篇 |
1982年 | 4篇 |
1981年 | 3篇 |
1980年 | 1篇 |
1979年 | 3篇 |
1976年 | 1篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1961年 | 1篇 |
1959年 | 1篇 |
排序方式: 共有2995条查询结果,搜索用时 15 毫秒
1.
本文主要总结了新冠疫情期间作者的电磁场理论课程在线教学经验。对比分析了录播和直播的优缺点后,选择录播教学方式。基于超星网络教学平台,展示了录播网络教学的具体措施,包括网上答疑和学习效果检查以及在线批改作业等。给出了网络教学可以为线下教学继续使用的方法和手段,为疫情结束后的正常教学提供了新的网络教学补充措施。 相似文献
2.
3.
4.
Verification recently has become a challenging topic for business process languages. Verification techniques like model checking allow to ensure that a process complies with domain-specific requirements, prior to the execution. To execute full-state verification techniques like model checking, the state space of the process needs to be constructed. This tends to increase exponentially with the size of the process schema, or it can even be infinite. We address this issue by means of requirements-specific reduction techniques, i.e., reducing the size of the state space without changing the result of the verification. We present an approach that, for a given requirement the system must fulfill, identifies the tasks relevant for the verification. Our approach then uses these relevant tasks for a reduction that confines the process to regions of interest for the verification. To evaluate our new technique, we use real-world industrial processes and requirements. Mainly because these processes make heavy use of parallelization, full-state-search verification algorithms are not able to verify them. With our reduction in turn, even complex processes with many parallel branches can be verified in less than 10 s. 相似文献
5.
Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities. 相似文献
6.
Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC+). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC+ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC+ model into an ARCTL model and CTLKC+ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC+ to another logic of action called GCTL1, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up. 相似文献
7.
8.
用计算机管理是企业中降低能源消耗乃至物质消耗的有效手段。文中分析了对能源消耗的考核方法和数学模型 ,并编制了计算程序 相似文献
9.
国内外人造金刚石技术条件之比较 总被引:2,自引:0,他引:2
主要对国内人造金刚石的技术条件和国外人造金刚石的技术条件作对比,对它们的检验方法和优缺点进行比较,最后提出合理的检验项目和相应的检验方法。 相似文献
10.