全文获取类型
收费全文 | 199篇 |
免费 | 12篇 |
国内免费 | 5篇 |
专业分类
电工技术 | 6篇 |
综合类 | 16篇 |
化学工业 | 18篇 |
金属工艺 | 18篇 |
机械仪表 | 20篇 |
建筑科学 | 34篇 |
矿业工程 | 19篇 |
能源动力 | 7篇 |
轻工业 | 17篇 |
水利工程 | 1篇 |
石油天然气 | 10篇 |
无线电 | 15篇 |
一般工业技术 | 11篇 |
冶金工业 | 8篇 |
自动化技术 | 16篇 |
出版年
2024年 | 2篇 |
2023年 | 5篇 |
2022年 | 3篇 |
2021年 | 7篇 |
2020年 | 8篇 |
2019年 | 13篇 |
2018年 | 3篇 |
2017年 | 1篇 |
2016年 | 4篇 |
2015年 | 5篇 |
2014年 | 16篇 |
2013年 | 7篇 |
2012年 | 18篇 |
2011年 | 14篇 |
2010年 | 17篇 |
2009年 | 10篇 |
2008年 | 7篇 |
2007年 | 5篇 |
2006年 | 8篇 |
2005年 | 7篇 |
2004年 | 10篇 |
2003年 | 7篇 |
2002年 | 7篇 |
2001年 | 11篇 |
2000年 | 2篇 |
1999年 | 5篇 |
1998年 | 1篇 |
1997年 | 5篇 |
1996年 | 1篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1961年 | 2篇 |
排序方式: 共有216条查询结果,搜索用时 15 毫秒
51.
52.
512汶川地震使毗邻汶川的都江堰市成为受灾最严重的地区之一.其中向峨小学、向峨中学是成都地区受灾最严重、罹难人数最多的学校.其初中部400多名师生死亡人数高达370多人.除了一幢去年新修建的学生宿舍外,其他建筑几乎全部垮塌.损失极其惨重。 相似文献
53.
一、事故经过
2011年某输气公司天然气燃气管道发生泄漏燃烧事故。当时在距事故发生地1.5km左右的居民听到一声巨响,紧接着又听到像燃放鞭炮一样噼啪作响,呼呼的火声远远都听得见,同时还能看见高达10多米高的火焰和腾空40~50m的烟柱。与此同时,最近的输气站值班人员发现管道压力明显下降, 相似文献
54.
自动机的确定化是将非确定性自动机转换为接收相同语言的确定性自动机,是自动机理论的基本问题之一.ω自动机的确定化是诸多逻辑,如SnS, CTL*,μ演算等,判定过程的基础,同时也是解决无限博弈求解问题的关键,因此对ω自动机确定化的研究具有重要意义.主要关注一类ω自动机——Streett自动机的确定化.非确定性Streett自动机可以转换为等价的确定性Rabin或Parity自动机,在前期工作中已经分别得到了状态复杂度最优以及渐进最优算法,为了验证提出的算法的实际效果,也为了形象地展示确定化过程,开发一款支持Streett自动机确定化的工具是必要的.首先介绍4种不同的Streett确定化结构:μ-Safra tree和H-Safra tree (最优)将Streett确定化为Rabin自动机, compact Streett Safra tree和LIR-H-Safra tree (渐进最优)将Streett确定化为Parity自动机;然后,根据Streett确定化算法,基于开源工具GOAL (graphical tool for omega-automata and logics),实现... 相似文献
55.
56.
王文胜 《南京师范大学学报》2002,2(3):57-58
论述了某邮局悬挂分拣机控制系统的设计与实现,以及可编程控制器(PLC),Intouch组态软件的运用. 相似文献
57.
58.
为提高筒子纱纱笼纱杆偏移程度的自动化检测率,同时解决磨损缺陷纱杆自动定位检测准确率低的问题,提出了一种改进的频率调谐显著性检测算法进行筒子纱纱笼纱杆定位检测。首先,利用纱杆杆头金属面反光的特点和纱杆距离底面较远的特点,利用环形光源局部照射提高目标与背景对比度。然后利用目标位于图像中心附近的先验知识设计了分块加权模板进行改进频率调谐显著性检测算法,计算图像显著度。将显著图像使用最大类间方差法进行自动阈值分割后得到二值图像,并通过形态学滤波剔除明显不是目标的区域,最后通过霍夫变换圆拟合得到最终纱杆杆头位置坐标。现场实验和对比算法表明:改进方法具有抗缺陷能力,同时具有抗光照变化能力,可应用于工厂白天和晚上光线变化场景的任务。 相似文献
59.
无限字自动机的确定化是理论计算机研究重要的一部分,在形式化验证,时序逻辑,模型检测等方面有重要应用.自Büchi自动机提出半个世纪以来,其自动机的确定化算法始终是其中的基础.有别于当初只是在理论上对其大小上下界的探索,利用日新月异的高性能计算机技术不失为一种有效的辅助手段.为了深入研究非确定性Büchi自动机确定化算法的实现过程,我们希望重点研究确定化过程中的索引能否继续被优化的问题,实现了确定化研究工具NB2DR.可以对非确定性Büchi自动机进行高效的确定化,并通过工具提供的分析其确定化过程来达到对其确定化算法改进的目的.通过对生成的确定性无限字自动机的索引的深入分析来探索相关索引的理论.该工具还实现了可以根据需要的Büchi自动机的大小与字母表参数,生成确定化的Rabin自动机族,亦可以反向根据需要的指定索引的大小来生成全部Büchi自动机族,测试生成无限字自动机的等价性等功能. 相似文献