全文获取类型
收费全文 | 618篇 |
免费 | 88篇 |
国内免费 | 33篇 |
专业分类
739篇 |
出版年
2024年 | 4篇 |
2023年 | 13篇 |
2022年 | 16篇 |
2021年 | 16篇 |
2020年 | 14篇 |
2019年 | 8篇 |
2018年 | 1篇 |
2017年 | 12篇 |
2016年 | 23篇 |
2015年 | 25篇 |
2014年 | 52篇 |
2013年 | 33篇 |
2012年 | 39篇 |
2011年 | 42篇 |
2010年 | 44篇 |
2009年 | 35篇 |
2008年 | 41篇 |
2007年 | 34篇 |
2006年 | 29篇 |
2005年 | 36篇 |
2004年 | 24篇 |
2003年 | 24篇 |
2002年 | 31篇 |
2001年 | 37篇 |
2000年 | 19篇 |
1999年 | 17篇 |
1998年 | 14篇 |
1997年 | 7篇 |
1996年 | 9篇 |
1995年 | 10篇 |
1994年 | 14篇 |
1993年 | 2篇 |
1992年 | 8篇 |
1991年 | 1篇 |
1990年 | 4篇 |
1989年 | 1篇 |
排序方式: 共有739条查询结果,搜索用时 15 毫秒
1.
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性. 相似文献
2.
基于最小维修策略的多阶段任务成功性仿真模型 总被引:1,自引:2,他引:1
基于最小维修策略,给出了一种新的多阶段任务成功性仿真模型.该模型可以对多阶段任务中部件的失效维修过程进行仿真,从而计算出多阶段任务的成功概率,并对任务成功率关于备件的敏感性进行分析.仿真结果表明了该模型的正确性和易用性. 相似文献
3.
刘捷 《武警工程学院学报》2010,(6):48-49,52
藏区地基处理中如果能采用戈壁土作为换填材料,可以较好的解决该地区地基加固费用高的问题。结合某新建工程,对换填戈壁土方法进行经济适用性评价,结果表明该方法经济合理,可以推广应用。 相似文献
4.
5.
反馈系统强镇定的区间算法 总被引:1,自引:2,他引:1
反馈系统强镇定不改变受控系统的传递零点 ,而受控系统的传递零点影响反馈系统跟踪参考信号和扰动抑制等能力 ;反馈系统可否强镇定还与两个受控系统是否可同时镇定有密切关系 .给出了判定和计算受控系统强镇定的一种新的算法———区间算法 .这种算法是一种大范围求解方法 ,能同时求出受控系统的全部零点 . 相似文献
6.
7.
设X为实一致光滑Banach空间 ,A :X→X为Lipschitz强增生算子 ,设L≥ 1和k∈( 0 ,1)分别为A的Lipschitz常数与强增生常数。设 {tn}n≥ 0 为 ( 0 ,1]中的实数列满足条件 :(i)tn→ 0 (n→∞ ) ;(ii)∑∞n =0 tn=∞ , f∈X , x0 ∈X ,迭代地定义序列 {xn}n≥ 0如下 :( ) xn 1 =xn-tn(Axn- f) ,n≥ 0 .则 {xn}n≥ 0 强收敛于方程Ax =f的唯一解 ,而且对充分大的n≥n0 ,‖Axn- f‖ ≤ exp{-k∑n- 1j=n0tj}‖Axn0 - f‖ 一个相关的结果研究含强伪压缩映象的方程Tx =x的构造可解性。 相似文献
8.
9.
10.
2011年2月4日,诺思罗普·格鲁曼公司为美国海军研制的X-47B航母舰载无人战斗机样机首飞成功,标志着"无人战斗机-演示"(UCAS-D)发展项目取得重大突破。X-47B的首次飞行总共持续了29分钟,最大飞行高度达到了1500米,完成了标准速度下的绕圈飞行测试。X-47B试飞的成功为"无人战斗机-演示"项目向海军舰载无人战斗机(N-UCAS)研制的过渡奠定了重要的基础,并将最终推动美国航母及舰载机联队的转型。美国海军希望,通过舰载无人战斗机超远的航程、强大的自持力和高度的隐身性,使航母及舰载机形成全球机动和远程持久的打击体系,以应对21世纪的威胁。 相似文献