全文获取类型
收费全文 | 285篇 |
免费 | 23篇 |
国内免费 | 13篇 |
专业分类
电工技术 | 29篇 |
综合类 | 25篇 |
化学工业 | 34篇 |
金属工艺 | 14篇 |
机械仪表 | 19篇 |
建筑科学 | 18篇 |
矿业工程 | 11篇 |
能源动力 | 3篇 |
轻工业 | 29篇 |
水利工程 | 15篇 |
石油天然气 | 8篇 |
武器工业 | 1篇 |
无线电 | 19篇 |
一般工业技术 | 17篇 |
冶金工业 | 6篇 |
原子能技术 | 8篇 |
自动化技术 | 65篇 |
出版年
2024年 | 5篇 |
2023年 | 20篇 |
2022年 | 15篇 |
2021年 | 14篇 |
2020年 | 16篇 |
2019年 | 15篇 |
2018年 | 19篇 |
2017年 | 11篇 |
2016年 | 14篇 |
2015年 | 11篇 |
2014年 | 12篇 |
2013年 | 12篇 |
2012年 | 14篇 |
2011年 | 7篇 |
2010年 | 12篇 |
2009年 | 17篇 |
2008年 | 4篇 |
2007年 | 20篇 |
2006年 | 19篇 |
2005年 | 20篇 |
2004年 | 4篇 |
2003年 | 2篇 |
2002年 | 2篇 |
2001年 | 3篇 |
2000年 | 2篇 |
1999年 | 6篇 |
1998年 | 7篇 |
1997年 | 2篇 |
1996年 | 7篇 |
1995年 | 1篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1990年 | 1篇 |
1988年 | 2篇 |
1987年 | 2篇 |
排序方式: 共有321条查询结果,搜索用时 15 毫秒
1.
黄松爱 《中国信息技术教育》2009,(13):78-81
在日本,对"信息教育"的讨论是从20世纪80年代初开始的,到目前为止,已经经历了近30年.在高中作为必修课程设置信息课,则是在1999年3月29日公布的高中<学习指导要领>中提出的,全面实施是在2002年.2008年,日本又进行了新一轮的<学习指导要领>修订工作.2008年12月22日,日本文部科学省公布了新的<学习指导要领>,其中对高中信息学科进行了修改. 相似文献
2.
针对现有电力光传输网评估方法考虑方面单一、主观性占比多等问题,提出了一种电力光传输网运行状态评估方法。首先从设备、光缆和系统3个维度选取指标,从网络规模、运行质量和管理因素3个方面建立评估指标体系,设计重叠信息分析法对评估指标体系进行优化。其次改进基于区间模糊层次分析法和熵权法的主客观组合权重赋值法计算指标权重。然后设计基于模糊综合评价法、效用函数法、可拓耦合评价法以及组合评估方法的运行状态评估算法评估光传输网运行状态。通过真实实例分析,验证了该方法能够更加全面、客观地评估光传输网的运行状态,辨识电力光传输网薄弱环节,为运维、检修和规划建设提供参考。 相似文献
3.
自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,本文从交通法规出发,根据自动驾驶系统安全需求,提出交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征.其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景.然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言(CCSL)作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出具体的转换方法.最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性. 相似文献
4.
屏蔽电动机核主泵(简称屏蔽电机主泵)是第三代核电站压水堆核电站一回路的核心设备。屏蔽电机主泵由泵和屏蔽电机两个部分组成,屏蔽电机的转子完全被冷却剂浸没,形成了典型的间隙环流。相关研究表明,大长径比下间隙环流会给转子系统带来显著的负刚度效应,从而影响转子系统的稳定。本文以密封间隙为研究对象,利用全三维动网格技术,研究了长径比连续变化下的间隙环流流场,对大长径比下转子产生负刚度效应的原因进行了深入分析。研究表明,全三维动网格技术计算出的动特性系数与试验结果吻合度较高,负刚度效应是进口端流场的正向支撑作用与出口端流场反向支撑作用共同决定的结果。 相似文献
5.
随着信息化程度的不断提高以及人们对软件需求的扩大,软件的复杂性也已经远远地超出了以前的水平,大大地增加了软件设计和开发的难度.以软件复杂性为出发点,介绍了主成分分析法(PCA)的基本思想、原理和主要作用,分析了主成分分析法在软件静态测试中的应用价值与可行性,最后通过一个具体的软件进行了详细的算例分析,获得了较好的效果,帮助软件开发人员和测试人员在静态分析中识别复杂性和风险性比较高的函数和模块起到了很好的作用. 相似文献
6.
7.
公共设施选址需要权衡公平性和效益性,免费设施需要覆盖所有的需求点,而收费设施则以效用最大化为目标。引入Huff重力模型,在最大覆盖选址模型基础上考虑了收费设施的效用最大化,建立预算约束下考虑消费水平的公共设施选址与设计模型,根据该问题的特点,使用遗传算法进行求解。以武汉市某区为例对模型进行了案例研究,分析了预算约束、需求变化及消费水平变化对最优解的影响。 相似文献
8.
在北京正负电子对撞机重大改造工程(BEPCⅡ)中,为能有效地利用现有的CAMAC设备,研究提出采用VME模块作为CAMAC串行驱动器(SerialDriver),与CAMAC机箱连成串行通道系统,通过CAMAC机箱控制器对CAMACI/O功能插件进行控制操作,实现对输运线磁铁电源的远程控制。文章描述与实现这一方案相关的CAMACI/O驱动程序和应用软件的开发与调试。该样机系统的研制成功解决了BEPCⅡ控制系统研发中的关键技术。 相似文献
9.
10.