全文获取类型
收费全文 | 572篇 |
免费 | 71篇 |
国内免费 | 13篇 |
出版年
2024年 | 3篇 |
2023年 | 8篇 |
2022年 | 12篇 |
2021年 | 34篇 |
2020年 | 22篇 |
2019年 | 11篇 |
2018年 | 1篇 |
2017年 | 8篇 |
2016年 | 19篇 |
2015年 | 18篇 |
2014年 | 32篇 |
2013年 | 50篇 |
2012年 | 33篇 |
2011年 | 33篇 |
2010年 | 37篇 |
2009年 | 22篇 |
2008年 | 42篇 |
2007年 | 32篇 |
2006年 | 29篇 |
2005年 | 22篇 |
2004年 | 19篇 |
2003年 | 21篇 |
2002年 | 12篇 |
2001年 | 25篇 |
2000年 | 22篇 |
1999年 | 17篇 |
1998年 | 10篇 |
1997年 | 9篇 |
1996年 | 15篇 |
1995年 | 11篇 |
1994年 | 9篇 |
1993年 | 5篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 7篇 |
1988年 | 1篇 |
排序方式: 共有656条查询结果,搜索用时 15 毫秒
631.
由我国核电厂运行评估委员会(下简称“评估委员会”)和世界核电营运者协会WANO巴黎中心联合组织的对大亚湾和岭澳核电站的评估活动于9月5日正式开始。 相似文献
632.
为全面、系统、准确地评价重点实 验室研究方向、科研能力和运行效果, 为重点实验窒结构调整和资源优化配 置提供决策参考,增强重点实验室自 主创新研究能力,促进其健康持续发 展,从2003年起,国防科工委启动了 重点实验室定期运行评估。受国防科 工委的委托,新时代咨询工程公司具 体实施了第一轮评估活动。 评估工作于2003年3月开始,至 今年11月结束,在三个年度分批实施。 评估主要从研究方向定位与承担任务 情况、成果水平与应用效果、队伍建设 相似文献
633.
调查分析了雷达天馈线检修现状和存在的诸多影响作战训练的弊病, 采用逆向思维的方式, 论证、设计了便携式米波和分米波雷达天馈线故障快速检测仪, 解决了天馈线检修的“老大难”问题, 带来了较好的军事、经济效益。 相似文献
634.
在关键任务部门中 ,实时双系统的应用越来越广泛。如何保证高的可用度和高的响应时间是它们共同面临的问题。在本文中 ,全面论述了强实时双系统容错技术中的关键问题 ,包括系统结构定义、故障检测、状态切换。实际应用的结果表明 ,方案可以满足应用系统高可靠、强实时的需求 ,取得了良好的效果 相似文献
635.
636.
637.
健康监控技术能够切实提高液体火箭发动机的可靠性,针对液体火箭发动机健康监控中的故障检测问题,提出基于Wasserstein距离的方法,利用液氢液氧火箭发动机地面热试车数据进行验证。该方法的核心思想是利用Wasserstein生成对抗网络模拟正常数据的样本分布,利用其判别器计算测试样本与模拟分布间的Wasserstein距离,进而实现故障检测。结果表明:该方法能够克服故障数据不足的困难,有效检测稳态过程中的故障,没有发生误报警,且对早期异常有较高敏感性;在训练样本较少的情况下,当Wasserstein距离阈值为3σ时对启动过程的早期异常有较高敏感性,取5σ时仍可有效检测启动过程中的故障,误报警率为12.5%。 相似文献
638.
随着系统规模、芯片功耗和链路速率的提升,高性能互连网络的整体故障率也不断上升,传统运维方式将难以为继,给高性能计算系统整体可靠性和可用性带来了巨大挑战。针对网络端口阻塞这类严重网络故障,提出无监督算法的预测模型。该模型从历史信息中挖掘征兆性规律并形成新的特征向量,应用K-means聚类算法对特征向量进行学习归类。在预测时,结合端口当前状态,利用二次指数平滑算法对未来状态进行预测,将得到的新特征向量使用K-means算法预判是否会发生阻塞故障。利用拓扑结构信息,分别对叶交换机和根交换机构建预测子模型,进而提升预测的精确率。结果表明,该预测模型能保持在召回率为88.2%的前提下,达到65.2%的准确率,可为运维人员提供有效的辅助。 相似文献
639.
针对液体火箭发动机试车中,因噪声干扰、不同源信号之间的混叠而造成的信号信噪比低、信号分析和特征提取难度大的问题,提出采用独立分量分析(ICA)法对液体火箭发动机试车信号进行分离,以提高信号的信噪比,并能实时反映各子系统工作过程,为数据分析、特征提取和故障检测与诊断提供可靠的信号。通过对某型液体火箭发动机热试车压强信号进行实例分析,验证了该方法的有效性。 相似文献
640.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 相似文献