全文获取类型
收费全文 | 3360篇 |
免费 | 630篇 |
国内免费 | 381篇 |
出版年
2024年 | 37篇 |
2023年 | 133篇 |
2022年 | 72篇 |
2021年 | 128篇 |
2020年 | 189篇 |
2019年 | 102篇 |
2018年 | 32篇 |
2017年 | 94篇 |
2016年 | 150篇 |
2015年 | 101篇 |
2014年 | 263篇 |
2013年 | 203篇 |
2012年 | 281篇 |
2011年 | 270篇 |
2010年 | 253篇 |
2009年 | 224篇 |
2008年 | 280篇 |
2007年 | 343篇 |
2006年 | 198篇 |
2005年 | 169篇 |
2004年 | 133篇 |
2003年 | 128篇 |
2002年 | 93篇 |
2001年 | 97篇 |
2000年 | 58篇 |
1999年 | 61篇 |
1998年 | 60篇 |
1997年 | 37篇 |
1996年 | 29篇 |
1995年 | 43篇 |
1994年 | 28篇 |
1993年 | 11篇 |
1992年 | 13篇 |
1991年 | 20篇 |
1990年 | 18篇 |
1989年 | 18篇 |
1988年 | 1篇 |
1987年 | 1篇 |
排序方式: 共有4371条查询结果,搜索用时 453 毫秒
911.
912.
913.
914.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
915.
916.
917.
针对高分辨率遥感影像提出了一种面向像斑的自优化迭代分类算法,基于半监督聚类算法获取训练样本,以支持向量机为核心设计了自优化迭代分类器。使用分型网络演化算法获取像斑,并从中选取少量标记样本;结合标记样本,利用半监督模糊C均值算法对像斑进行聚类,并基于密集度筛选得到训练样本;设计了自优化迭代支持向量机分类算法,对所有像斑进行迭代分类直到满足分类要求,并在分类过程中对近邻分类结果进行统计得到高可信度样本以自主优化训练样本集。基于以上方法分别对武汉市QuickBird和WorldView影像进行分类实验,分类总精度分别达到94.67%与92%,与基于人工选取训练样本情况下进行分类的分类总精度(82%与82.67%)、常规支持向量机分类总精度(87.33%与88%)、最小二乘支持向量机分类总精度(88%与89.33%)相比,精度有明显提升,分类效果较好。 相似文献
918.
针对效用网格下基于优先级因子的工作流时间-费用优化问题,基于工作流的同步完成特征对任务进行分层并提出三种实时调度算法:基于逆向分层的sufferage(BLSuff)、基于逆向分层的min-min(BLMin)及基于逆向分层的min-max(BLMax)。算法设计基于优先级因子的衡量标准对时间与费用同时进行优化,并为任务设置期望完成时间以达到充分利用费用优化空间进行费用优化的目标。实验结果表明这三种算法在各种优先级因子下都能对工作流的执行时间与执行费用进行较好的优化。 相似文献
919.
本文对于在炸药驱动下空气中的二维抛板理论模型,提出了一种具有较普遍意义的简化处理方案。 相似文献
920.
矩阵转置是矩阵运算的基本操作,广泛应用于信号处理、科学计算以及深度学习等各种领域。随着国防科技大学自主研制的飞腾异构多核数字信号处理器(digital signal processor, DSP)在各种领域中的推广应用,对高性能矩阵转置实现提出了强烈需求。针对飞腾异构多核DSP的体系结构特征与矩阵转置操作的特点,提出了一种适配不同数据位宽(8 B、4 B以及2 B)矩阵的并行矩阵转置算法ftmMT。该算法基于DSP中向量处理单元的Load/Store部件实现了向量化,同时基于矩阵分块实现了多个DSP核的并行处理,通过隐式乒乓设计实现了片上向量化转置与片外访存的重叠以及访存性能的大幅提升。实验结果表明,ftmMT能够显著加快矩阵转置操作,与CPU上的开源转置库HPTT相比,可获得高达8.99倍的性能加速。 相似文献