全文获取类型
收费全文 | 411篇 |
免费 | 38篇 |
国内免费 | 65篇 |
专业分类
电工技术 | 43篇 |
综合类 | 38篇 |
化学工业 | 29篇 |
金属工艺 | 3篇 |
机械仪表 | 9篇 |
建筑科学 | 45篇 |
矿业工程 | 32篇 |
能源动力 | 4篇 |
轻工业 | 30篇 |
水利工程 | 19篇 |
石油天然气 | 18篇 |
武器工业 | 2篇 |
无线电 | 116篇 |
一般工业技术 | 15篇 |
冶金工业 | 6篇 |
原子能技术 | 13篇 |
自动化技术 | 92篇 |
出版年
2024年 | 2篇 |
2023年 | 8篇 |
2022年 | 12篇 |
2021年 | 5篇 |
2020年 | 12篇 |
2019年 | 16篇 |
2018年 | 11篇 |
2017年 | 14篇 |
2016年 | 6篇 |
2015年 | 17篇 |
2014年 | 18篇 |
2013年 | 23篇 |
2012年 | 29篇 |
2011年 | 31篇 |
2010年 | 29篇 |
2009年 | 38篇 |
2008年 | 44篇 |
2007年 | 30篇 |
2006年 | 18篇 |
2005年 | 16篇 |
2004年 | 22篇 |
2003年 | 18篇 |
2002年 | 10篇 |
2001年 | 14篇 |
2000年 | 10篇 |
1999年 | 8篇 |
1998年 | 8篇 |
1997年 | 13篇 |
1996年 | 5篇 |
1995年 | 3篇 |
1994年 | 5篇 |
1993年 | 6篇 |
1992年 | 1篇 |
1990年 | 1篇 |
1988年 | 2篇 |
1987年 | 4篇 |
1985年 | 1篇 |
1984年 | 2篇 |
1982年 | 2篇 |
排序方式: 共有514条查询结果,搜索用时 15 毫秒
501.
502.
该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言. 相似文献
503.
模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶(L)ukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用“层次化”处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法. 相似文献
504.
模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。 相似文献
505.
本工作对用于测量α粒子的BaF2探测器的时间分辨随温度变化情况进行了实验研究.实验选用退激Y射线能量较高的237Npα源,利用α粒子与退激Y射线的时间关联性得到时间谱,在不改变任何条件的情况下对BaF:晶体加热,加热到设定温度后保持恒温,在BaF:晶体达到热平衡后开始测量时间谱,由该时间谱上读出的半高宽与标准偏差的线性关系得出α粒子的时间分辨随温度变化的情况.测量结果显示,时间分辨随温度变化在目前实验条件下较为明显,这为未来快时间分辨α粒子探测器的选择和优化使用提供了依据. 相似文献
506.
建立以探测器前表面中心和探测器体心为参考原点的两种几何模型,研究了Saint-Gobain Brillan Ce380探测器对~(241)Am、~(133)Ba、~(137)Cs源γ射线在15 cm、25 cm、35 cm处由0~90°范围内入射能量沉积脉冲高度谱,通过源峰探测效率的差异表征角响应的变化。实验结果表明:该探测器对低能γ射线响应随入射角度的增大呈递减趋势,源峰探测效率最大变化约达30%,并随源距离的增加各向异性程度逐渐减弱。此结果可为LaBr_3:Ce探测器检测未知核材料及其剂量水平提供修正参考。 相似文献
507.
508.
509.
差示扫描量热法(DSC)评定豆粕产品质量初探 总被引:4,自引:0,他引:4
本试验研究了差示扫描量热法(DSC)在评价饲用豆粕产品质量中的应用。通过对豆粕变性热焓(△H)的测定,反映了蛋白质的变化程度,可作为衡量豆粕中抗营养因子灭活程度的指标,检测结果与脲酶法相吻合。 相似文献
510.
在S波段3.3 MW脉冲磁控管研制过程中,连续多支磁控管在工作比为1.05‰的条件下工作不足100 h,阳极端盖出现明显的氧化现象,经分析轴向电子轰击端盖产生局部高温是引起磁控管阳极端盖氧化的一个重要原因。本文对阴极发射体端部结构进行改进,仿真分析及实验结果证明了改进后的结构可实现对轴向电子的有效抑制。改进后的磁控管在脉冲电压为47.5 kV、脉冲电流为120 A、脉冲宽度为4.2μs、工作比为1.2‰的条件下,输出脉冲功率大于3.3 MW,磁控管已稳定工作超300 h,阳极端盖无氧化现象发生。实验结果为进一步提升磁控管技术性能及推广应用打下了良好基础。 相似文献