全文获取类型
收费全文 | 10125篇 |
免费 | 699篇 |
国内免费 | 377篇 |
专业分类
电工技术 | 838篇 |
综合类 | 771篇 |
化学工业 | 1175篇 |
金属工艺 | 729篇 |
机械仪表 | 806篇 |
建筑科学 | 1070篇 |
矿业工程 | 536篇 |
能源动力 | 274篇 |
轻工业 | 822篇 |
水利工程 | 447篇 |
石油天然气 | 602篇 |
武器工业 | 103篇 |
无线电 | 930篇 |
一般工业技术 | 710篇 |
冶金工业 | 395篇 |
原子能技术 | 70篇 |
自动化技术 | 923篇 |
出版年
2024年 | 90篇 |
2023年 | 320篇 |
2022年 | 343篇 |
2021年 | 396篇 |
2020年 | 318篇 |
2019年 | 367篇 |
2018年 | 373篇 |
2017年 | 165篇 |
2016年 | 183篇 |
2015年 | 251篇 |
2014年 | 541篇 |
2013年 | 471篇 |
2012年 | 555篇 |
2011年 | 526篇 |
2010年 | 523篇 |
2009年 | 534篇 |
2008年 | 467篇 |
2007年 | 470篇 |
2006年 | 411篇 |
2005年 | 397篇 |
2004年 | 392篇 |
2003年 | 383篇 |
2002年 | 287篇 |
2001年 | 329篇 |
2000年 | 250篇 |
1999年 | 191篇 |
1998年 | 181篇 |
1997年 | 177篇 |
1996年 | 151篇 |
1995年 | 146篇 |
1994年 | 121篇 |
1993年 | 101篇 |
1992年 | 115篇 |
1991年 | 110篇 |
1990年 | 83篇 |
1989年 | 79篇 |
1988年 | 50篇 |
1987年 | 48篇 |
1986年 | 53篇 |
1985年 | 40篇 |
1984年 | 38篇 |
1983年 | 37篇 |
1982年 | 42篇 |
1981年 | 33篇 |
1980年 | 13篇 |
1979年 | 27篇 |
1977年 | 5篇 |
1965年 | 3篇 |
1959年 | 3篇 |
1957年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
992.
CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking.However,CEGAR-based slicing repeatedly explores the state space handled previously in case a spurious counterexample is found.Inspired by lazy abstraction,we introduce the concept of lazy slicing which eliminates this repeated computation.Lazy slicing is done on-the-fly,and only up to the precision necessary to rule out spurious counterexamples.It identifies a spurious counterexample by concretizing a path fragment other than the full path,which reduces the cost of spurious counterexample decision significantly.Besides,we present an improved over-approximate slicing method to build a more precise slice model.We also provide the proof of the correctness and the termination of lazy slicing,and implement a prototype model checker to verify safety property.Experimental results show that lazy slicing scales to larger systems than CEGAR-based slicing methods. 相似文献
993.
994.
针对自动厚度控制(Automatic Gauge Control, AGC)系统存在外部干扰的鲁棒稳定性问题,根据传统积分滑模和高阶滑模理论,设计基于拟连续高阶滑模控制方法的厚度控制器。利用Lyapunov稳定性理论,证明所设计控制器的稳定性。将该厚度控制器应用在某板带轧机自动厚度控制系统进行仿真,并与传统滑模控制方法进行对比分析。仿真结果表明:该控制器可以在有限时间内实现对期望厚度的稳定跟踪,并有效减小滑模控制的抖振问题,具有强鲁棒性,其控制效果优于传统滑模控制。 相似文献
995.
996.
医学图像三维拼接重建优化技术研究与仿真 总被引:2,自引:0,他引:2
研究医学影像图像的清晰重建问题。器官的不同部位随着病变程度的不同,存在不同的几何畸变,造成图像匹配错误,图像中像素的密度、灰度也存在较大差异,病变器官中的边沿部位会产生几何畸变。传统的医学图像三维拼接重建,由于几何畸变的存在,会造成采集图像中的几何坐标发生畸变性边界冲突,后期三维拼接重建时,坐标的畸变性冲突造成图像清晰度不高等问题。提出了一种CT体像素几何畸变校正的医学图像三维重建算法,通过对几何畸变产生的像素畸变进行补偿修正,消除畸变带来的边沿坐标畸变影响。仿真结果表明,改进方法能够提高拼接后三维图像的清晰度,为图像拼接优化提供了有效的手段。 相似文献
997.
为满足贾鲁河综合治理工程施工期防洪度汛精细化管理的需求,确保工程安全的同时能够充分发挥流域防洪效益,数字孪生技术被应用于在建水利工程施工度汛精准风险分析、预警和防汛预案制定中。数字孪生贾鲁河以自建采集L3级和共享L1和L2级数据为“算据”底板,以模型平台和知识平台为“算法”支撑,以信息化基础设施为“算力”依托,搭建具有预报、预警、预演、预案等“四预”功能的流域防洪应用。在贾鲁河流域基础资料收集及数字化场景搭建和模型构建基础上,以流域降雨量级超100年一遇、约50年一遇、约20年一遇设置了三类预演情景模拟洪水,统计施工期工程存在的漫堤风险、淹没风险、冲刷风险、洪水倒灌风险、桥梁阻水风险、堤外积水风险等六类风险并制定防洪度汛措施。数字孪生贾鲁河确保了工程2022年安全度汛,总结了河道治理工程施工期洪水风险类型和定量评估方法,形成了在建工程复杂环境条件下的地形勘测、洪水模拟、风险预警、应对措施制定的完整解决方案。 相似文献
998.
序列推荐系统可以根据用户和物品交互的时间序列信息,精确预测用户下一次交互物品.现有的序列推荐算法存在用户兴趣过渡拟合的问题,导致推荐内容同质化严重,从而无法实现个性化推荐.基于此,本文提出一种融合知识图谱与注意力机制的个性化序列推荐算法(SR-KGA):首先,引入知识图谱,通过图卷积网络对物品进行嵌入表示;其次,通过自注意力机制和多头注意力机制构建序列到序列(seq2seq)模型,最后,在损失函数中加入多样性正则项;实现用交互序列来预测未来可能交互的物品序列,从而进行推荐.通过在真实的数据集上实验,SR-KGA在保证推荐准确度的同时,提升了推荐列表的多样性,实现了用户个性化推荐. 相似文献
999.
采用Flash+Virtools+PHP+MySQL的构架,通过网络通信控制构建了具有DCS控制的、实时交互功能的虚拟啤酒生产线协同操作系统.该系统通过Virtools与Flash之间的数据通信实现了二维DCS对三维场景的远程控制和数据采集,利用Virtools强大的网络联机引擎实现了使用者对三维场景的协同操作,对Flash和Virtools两平台之间的数据通信和基于Virtools的分布式虚拟现实技术进行了探索,开发的系统时职业教育实训和相关企业岗位培训显示出较高的使用价值. 相似文献
1000.