全文获取类型
收费全文 | 2478篇 |
免费 | 602篇 |
国内免费 | 325篇 |
出版年
2024年 | 22篇 |
2023年 | 87篇 |
2022年 | 60篇 |
2021年 | 104篇 |
2020年 | 142篇 |
2019年 | 77篇 |
2018年 | 110篇 |
2017年 | 123篇 |
2016年 | 123篇 |
2015年 | 86篇 |
2014年 | 202篇 |
2013年 | 159篇 |
2012年 | 199篇 |
2011年 | 192篇 |
2010年 | 197篇 |
2009年 | 160篇 |
2008年 | 217篇 |
2007年 | 181篇 |
2006年 | 149篇 |
2005年 | 123篇 |
2004年 | 104篇 |
2003年 | 105篇 |
2002年 | 74篇 |
2001年 | 85篇 |
2000年 | 48篇 |
1999年 | 46篇 |
1998年 | 49篇 |
1997年 | 34篇 |
1996年 | 24篇 |
1995年 | 30篇 |
1994年 | 22篇 |
1993年 | 10篇 |
1992年 | 13篇 |
1991年 | 15篇 |
1990年 | 17篇 |
1989年 | 14篇 |
1988年 | 1篇 |
1987年 | 1篇 |
排序方式: 共有3405条查询结果,搜索用时 15 毫秒
851.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
852.
853.
854.
855.
856.
857.
858.
859.
860.