全文获取类型
收费全文 | 2715篇 |
免费 | 287篇 |
国内免费 | 157篇 |
学科分类
工业技术 | 3159篇 |
出版年
2024年 | 17篇 |
2023年 | 60篇 |
2022年 | 91篇 |
2021年 | 59篇 |
2020年 | 90篇 |
2019年 | 124篇 |
2018年 | 118篇 |
2017年 | 47篇 |
2016年 | 70篇 |
2015年 | 97篇 |
2014年 | 188篇 |
2013年 | 157篇 |
2012年 | 172篇 |
2011年 | 163篇 |
2010年 | 134篇 |
2009年 | 158篇 |
2008年 | 185篇 |
2007年 | 256篇 |
2006年 | 261篇 |
2005年 | 183篇 |
2004年 | 97篇 |
2003年 | 103篇 |
2002年 | 50篇 |
2001年 | 45篇 |
2000年 | 60篇 |
1999年 | 42篇 |
1998年 | 29篇 |
1997年 | 22篇 |
1996年 | 23篇 |
1995年 | 9篇 |
1994年 | 18篇 |
1993年 | 7篇 |
1992年 | 5篇 |
1991年 | 3篇 |
1990年 | 2篇 |
1989年 | 5篇 |
1988年 | 3篇 |
1984年 | 2篇 |
1980年 | 1篇 |
1959年 | 2篇 |
1951年 | 1篇 |
排序方式: 共有3159条查询结果,搜索用时 109 毫秒
81.
82.
83.
基于程序正确性的演算方法 总被引:1,自引:1,他引:0
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法.针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法.对最弱前置谓词变换法的过程进行分析,确定了最弱前置谓词算法的准确性.将最弱前置谓词应用到公理化方法中,即把最弱前置谓词变换法求出的前置谓词作为公理化方法的前置条件.通过一个具体实例,详细说明了其验证过程,并证明了该方法的有效性. 相似文献
84.
针对模糊互补判断矩阵的一致性修正问题,指出了模糊互补判断矩阵一致性修正方法的不足.从模糊一致矩阵传统定义出发,讨论了检验模糊判断矩阵是否满足完全一致性的方法,推导出模糊一致性指标,并给出了模糊判断矩阵一致性改进的方法.从理论上分析了该算法的可行性.这种算法不仅简便实用,而且为专家对原始判断信息进行针对性修正提供了参考依据.
相似文献85.
针对属性权重完全未知且属性值为三角模糊数的多属性决策问题,提出一种基于线性规划和模糊向量投影的决策方法.该方法基于加权属性值离差最大化建立一个线性规划模型,通过求解此模型得到属性的权重,计算各方案的加权属性值在模糊正理想点和负理想点上的投影,进而计算相对贴近度,并据此对方案进行排序.最后,通过算例说明了模型及方法的可行性和有效性.
相似文献86.
动态描述逻辑的可拓集合扩展 总被引:1,自引:0,他引:1
通过对可拓集合与经典集合、模糊集合的分析比较,说明可拓集合的特点和优点,用可拓集合代替经典集合或模糊集合作为动态描述逻辑DDL的集合论基础,对DDL进行扩展,生成了一种新的描述逻辑DDES,并给出了DDLES中概念、关系和实例的描述形式以及它们的语义解释,最后对传统描述逻辑ALC、模糊DDL和DDES中的Abox形式进行了比较. 相似文献
87.
冲突检测和解决是访问控制授权中的重要问题.对这些问题的探索我们通过研究方法比较进行.首先研究基于逻辑程序的一种授权系统规范,然后通过一个保健部门的典型问题来分析基于传统优先和组织结构的两种冲突解决方案,最后提出基于逻辑程序LPOD(带有序析取的逻辑程序)的针对高水平授权规范中异常冲突的一种解决方法. 相似文献
88.
89.
钢材在生产的过程中很容易产生裂纹、斑点等缺陷,而目前对于所产生缺陷的检测技术还不是很成熟。为了实现对工业钢材生产过程中所产生的钢材缺陷进行实时鲁棒检测,以YOLOv5为基础,引入了结构重参数化方法,建立了Re-YOLOv5工业钢材缺陷检测模型。在该模型中,将YOLOv5的Neck层与Head层合并为Head层,用作预测,并且加入RepVGG模块和卷积层,输出预测结果。Backbone用作特征提取,可以在改善模型推理速度的同时提高检测准确率。同时,采用改进后的空间金字塔池化模块SPP*对候选框进行分类和修正,以获取多尺度特征信息,并引入了有助于模型加深的CCBL模块。在公开的NEU-DET钢材缺陷图片数据集上进行测试,提出的模型的检测精度可达77.8%,与基线模型YOLOv5s相比,实现了6%的精度提升,且单幅图片的推理时间仅为8.9 ms,满足工业生产实时性需求。此外,该模型所占内存较小,便于部署到工业设备中。 相似文献
90.