全文获取类型
收费全文 | 240篇 |
免费 | 17篇 |
国内免费 | 22篇 |
专业分类
电工技术 | 7篇 |
综合类 | 12篇 |
化学工业 | 14篇 |
金属工艺 | 73篇 |
机械仪表 | 10篇 |
建筑科学 | 8篇 |
矿业工程 | 6篇 |
能源动力 | 5篇 |
轻工业 | 21篇 |
水利工程 | 11篇 |
石油天然气 | 4篇 |
无线电 | 19篇 |
一般工业技术 | 42篇 |
冶金工业 | 23篇 |
自动化技术 | 24篇 |
出版年
2024年 | 2篇 |
2023年 | 6篇 |
2022年 | 5篇 |
2021年 | 5篇 |
2020年 | 7篇 |
2019年 | 17篇 |
2018年 | 11篇 |
2017年 | 3篇 |
2016年 | 7篇 |
2015年 | 10篇 |
2014年 | 28篇 |
2013年 | 22篇 |
2012年 | 16篇 |
2011年 | 17篇 |
2010年 | 15篇 |
2009年 | 13篇 |
2008年 | 20篇 |
2007年 | 19篇 |
2006年 | 15篇 |
2005年 | 7篇 |
2004年 | 9篇 |
2003年 | 3篇 |
2002年 | 1篇 |
2001年 | 1篇 |
2000年 | 3篇 |
1999年 | 3篇 |
1998年 | 2篇 |
1997年 | 2篇 |
1995年 | 1篇 |
1994年 | 1篇 |
1993年 | 2篇 |
1992年 | 3篇 |
1990年 | 2篇 |
1985年 | 1篇 |
排序方式: 共有279条查询结果,搜索用时 15 毫秒
1.
轨道交通区域控制器(ZC)是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统(CBTC)的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握,使得形式化方法很难应用到安全需求的验证中去.针对这些问题,提出一种安全需求的自动验证方法,使用半形式化的问题框架方法(PF)来建模和分解安全需求,根据需求模型自动生成安全需求的验证模型和验证性质,在此基础上自动生成验证模型的Scade语言实现,并通过Design Verifier验证器对需求进行组合验证.最后,使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究,实验结果证明了该方法的可行性与有效性,它能自动地将安全需求模型进行组合验证,改善了验证的效率. 相似文献
2.
嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。 相似文献
3.
采用多靶磁控溅射系统,使用AlCrTiZrNb合金靶和Si靶制备了不同Si_3N_4厚度的(AlCrTiZrNb)N/Si_3N_4纳米多层膜,样品基底为单晶硅。通过X射线衍射仪(XRD)、高透射电子显微镜(HRTEM)、扫描电子显微镜(SEM)和纳米压痕仪对样品进行微观组织的表征和力学性能的测量。实验结果表明,随着Si_3N_4层厚度的增加,样品的结晶度和力学性能均先增加后减小,XRD图谱中出现面心立方相结构。在Si_3N_4层厚度为0.5 nm时,(111)衍射峰强度达到最大值。说明薄膜结晶度最强,薄膜的硬度和弹性模量也达到最高值,分别为30.6,298 GPa。通过对样品的横截面的形貌观察,发现当Si_3N_4层厚度为0.5 nm时,多层膜的多层结构生长良好。在(AlCrTiZrNb)N层的模板作用下,Si_3N_4层从非晶态转变为面心立方结构,与(AlCrTiZrNb)N层之间形成共格外延生长结构,(AlCrTiZrNb)N/Si_3N_4纳米多层膜的强化可归因于两调制层之间形成的共格界面。 相似文献
5.
采用自制的复合靶材,通过直流磁控溅射技术,在单晶Si基片上沉积一系列不同Si含量的(AlCrTiZrHf)-Si_x-N高熵薄膜,并依次采用X射线衍射仪(XRD)、扫描电子显微镜(SEM)、高透射电子显微镜(HRTEM)和纳米压痕仪对薄膜进行表征和测试,研究Si含量对其微观结构和力学性能的影响。实验结果显示,(AlCrTiZrHf)N薄膜成柱状晶生长,并具有(111)晶面的择优取向。Si元素的掺入,使得原薄膜的(111)峰消失,(AlCrTiZrHf)-Si_x-N薄膜晶粒得到细化,同时生成网状非晶相,从而形成非晶包裹纳米晶的纳米复合结构。随着Si含量的增加,薄膜力学性能先上升后下降,这种趋势归因于所形成的纳米复合结构,并且当Si含量为8%(体积比)时,薄膜的硬度和弹性模量最高,分别为26.6和250.9 GPa。 相似文献
6.
利用表面机械研磨处理(SMAT)技术在纯Ni上制备一定厚度的纳米晶表层,利用X射线衍射(XRD)和透射电镜(TEM)研究了纳米晶Ni的晶粒生长动力学,计算了描述晶粒生长动力学的时间指数n和晶粒生长激活能Q.研究表明,纳米晶Ni在423~723 K退火时的时间指数n约为0.14.当纳米晶Ni在423 ~523 K退火时,其晶粒生长激活能Q为32.1 kJ/mol,表明在这一温度区间内晶粒生长由晶界和亚晶界的微结构重新排列所控制;当纳米晶Ni在523~723 K退火时,晶粒生长激活能Q为121.3 kJ/mol,表明在这一温度区间内晶粒生长由晶界扩散所控制.TEM观察表明纳米晶Ni在较高温度下退火时出现异常的晶粒长大现象. 相似文献
7.
目标降维算法通过去除冗余的目标达到简化问题规模的目的,为求解高维多目标优化问题提供了一种新的思路和方法.近似解集的几何结构特征和Pareto占优关系从不同侧面反映了多目标优化问题的内在结构特性,而现有算法仅利用其中一种特征分析目标之间的关系,具有较大局限性.本文提出基于稀疏特征选择的目标降维方法,该方法利用近似解集的几何结构特征构建稀疏回归模型,求解高维目标空间映射为低维目标子空间的稀疏投影矩阵,依据此矩阵度量目标的重要性,并利用Pareto占优关系改变程度选择满足误差阈值的目标子集,实现目标降维.通过与其他已有目标降维算法比较,实验结果表明本文提出的降维算法具有较高的准确性,并且受近似解集质量的影响较小. 相似文献
8.
工艺参数对直流溅射沉积CrAlN涂层结构和性能的影响 总被引:1,自引:1,他引:0
采用直流反应磁控溅射的方式,用AlCr合金靶,在高速钢(M2)上沉积CrAlN涂层。采用扫描电镜、X射线衍射、能谱和纳米压痕仪等分析和测量手段,系统研究了Ar/N2气流比、气压和基片温度等工艺参数对CrAlN涂层结构和性能的影响。研究表明,Ar/N2气流比、气压和基片温度对涂层均有较大的影响,当Ar/N2气流比为1、总气压为0.2 Pa、基片温度为300℃时所得涂层性能最好,最高硬度和弹性模量分别为34.8,434.3 GPa。 相似文献
9.
采用化学共沉淀法制备了Cr/Cu复合粉体催化剂,并用化学气象沉淀法(CVD)原位合成CNTs/Cu复合粉末。利用SEM, TEM和Raman光谱分别对其微观形貌和结构进行表征。结果表明:采用化学气相沉淀法,使用10 wt%Cr/Cu 的催化剂,在混合气体(Ar/H2/C2H4) 流量2450/300 mL/min下,于1073 K 温度生长30 min,可以得到优质、结晶良好的 CNTs/Cu 复合粉末 相似文献
10.
形变Cu-Cr原位复合材料中纤维相的热稳定性 总被引:3,自引:1,他引:2
研究不同温度时大变形Cu-15Cr-0.1Zr原位复合材料中Cr纤维的热稳定性,采用扫描电镜和透射电镜观察Cr纤维形态变化,测定Cr纤维的断开直径,并进行数值模拟.并根据模界面分裂模型计算了550~900 ℃时Cr在Cu/Cr界面的界面扩散系数.结果表明:高温条件下纤维的形态由片状到球体化断裂,其过程为,Cr纤维逐步形成空洞、纵向开裂、断开和球化;高温条件下纤维断裂受界面扩散控制. 相似文献