收费全文 | 55469篇 |
免费 | 6076篇 |
国内免费 | 2632篇 |
电工技术 | 3683篇 |
技术理论 | 6篇 |
综合类 | 3714篇 |
化学工业 | 8877篇 |
金属工艺 | 3418篇 |
机械仪表 | 3899篇 |
建筑科学 | 4300篇 |
矿业工程 | 1812篇 |
能源动力 | 1749篇 |
轻工业 | 3945篇 |
水利工程 | 1174篇 |
石油天然气 | 2909篇 |
武器工业 | 555篇 |
无线电 | 6400篇 |
一般工业技术 | 6653篇 |
冶金工业 | 2700篇 |
原子能技术 | 847篇 |
自动化技术 | 7536篇 |
2024年 | 668篇 |
2023年 | 1075篇 |
2022年 | 1793篇 |
2021年 | 2432篇 |
2020年 | 1868篇 |
2019年 | 1624篇 |
2018年 | 1830篇 |
2017年 | 1938篇 |
2016年 | 1828篇 |
2015年 | 2407篇 |
2014年 | 2964篇 |
2013年 | 3446篇 |
2012年 | 3943篇 |
2011年 | 4124篇 |
2010年 | 3614篇 |
2009年 | 3466篇 |
2008年 | 3274篇 |
2007年 | 3074篇 |
2006年 | 2906篇 |
2005年 | 2443篇 |
2004年 | 1838篇 |
2003年 | 1662篇 |
2002年 | 1728篇 |
2001年 | 1517篇 |
2000年 | 1220篇 |
1999年 | 1192篇 |
1998年 | 806篇 |
1997年 | 654篇 |
1996年 | 599篇 |
1995年 | 524篇 |
1994年 | 374篇 |
1993年 | 322篇 |
1992年 | 251篇 |
1991年 | 177篇 |
1990年 | 141篇 |
1989年 | 90篇 |
1988年 | 106篇 |
1987年 | 49篇 |
1986年 | 61篇 |
1985年 | 30篇 |
1984年 | 24篇 |
1983年 | 17篇 |
1982年 | 13篇 |
1981年 | 8篇 |
1980年 | 10篇 |
1979年 | 10篇 |
1977年 | 7篇 |
1975年 | 5篇 |
1970年 | 6篇 |
1951年 | 3篇 |
The opaque property plays an important role in the operation of a security-critical system, implying that pre-defined secret information of the system is not able to be inferred through partially observing its behavior. This paper addresses the verification of current-state, initial-state, infinite-step, and K-step opacity of networked discrete event systems modeled by labeled Petri nets, where communication losses and delays are considered. Based on the symbolic technique for the representation of states in Petri nets, an observer and an estimator are designed for the verification of current-state and initial-state opacity, respectively. Then, we propose a structure called an I-observer that is combined with secret states to verify whether a networked discrete event system is infinite-step opaque or K-step opaque. Due to the utilization of symbolic approaches for the state-based opacity verification, the computation of the reachability graphs of labeled Petri nets is avoided, which dramatically reduces the computational overheads stemming from networked discrete event systems.
相似文献为确定合理锯切力能参数,本文应用了弹塑性有限元法求出的计算结果。
我国冶金厂和机械厂拥有数千台锯机,每年要消耗大量的锯片。如唐山市冶金锯片厂这样的专业厂,每年要为上百个厂家提供各种规格的圆盘锯片,其中大直径的热切锯片占有一定的比例。近年来,由于改进了制造工艺,严格质量标准,使锯片质量得到了提高。但由使用的效果看,锯片早期破损的情况仍然发生。因此,进一步摸清锯片的失效原因,寻找其破坏的机理,提高锯片的使用寿命,仍是当前一项重要的工作。 相似文献