全文获取类型
收费全文 | 4544篇 |
免费 | 1050篇 |
国内免费 | 316篇 |
专业分类
5910篇 |
出版年
2024年 | 23篇 |
2023年 | 51篇 |
2022年 | 114篇 |
2021年 | 177篇 |
2020年 | 216篇 |
2019年 | 51篇 |
2018年 | 67篇 |
2017年 | 189篇 |
2016年 | 78篇 |
2015年 | 188篇 |
2014年 | 254篇 |
2013年 | 329篇 |
2012年 | 442篇 |
2011年 | 496篇 |
2010年 | 493篇 |
2009年 | 460篇 |
2008年 | 492篇 |
2007年 | 406篇 |
2006年 | 348篇 |
2005年 | 300篇 |
2004年 | 226篇 |
2003年 | 134篇 |
2002年 | 140篇 |
2001年 | 147篇 |
2000年 | 85篇 |
1999年 | 4篇 |
排序方式: 共有5910条查询结果,搜索用时 15 毫秒
851.
852.
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性. 相似文献
853.
854.
855.
856.
857.
858.
859.
线性系统的鲁棒容错控制设计方法 总被引:1,自引:0,他引:1
考虑了线性故障系统的鲁棒容错控制问题。利用状态反馈特征结构配置参数化结果,提出了一种鲁棒容错控制设计方法。该方法将故障系统的鲁棒容错控制问题转化为含有约束的最小化问题。数值算例及其仿真结果验证了所设计方法的简单性和有效性。 相似文献
860.