全文获取类型
收费全文 | 148篇 |
免费 | 13篇 |
国内免费 | 11篇 |
专业分类
电工技术 | 9篇 |
综合类 | 9篇 |
化学工业 | 14篇 |
金属工艺 | 10篇 |
机械仪表 | 10篇 |
建筑科学 | 20篇 |
矿业工程 | 9篇 |
能源动力 | 4篇 |
轻工业 | 22篇 |
水利工程 | 3篇 |
石油天然气 | 6篇 |
武器工业 | 2篇 |
无线电 | 8篇 |
一般工业技术 | 8篇 |
冶金工业 | 5篇 |
自动化技术 | 33篇 |
出版年
2024年 | 2篇 |
2023年 | 16篇 |
2022年 | 14篇 |
2021年 | 10篇 |
2020年 | 10篇 |
2019年 | 12篇 |
2018年 | 16篇 |
2017年 | 7篇 |
2016年 | 6篇 |
2015年 | 5篇 |
2014年 | 8篇 |
2013年 | 3篇 |
2012年 | 8篇 |
2011年 | 4篇 |
2010年 | 6篇 |
2009年 | 10篇 |
2008年 | 3篇 |
2007年 | 6篇 |
2006年 | 3篇 |
2005年 | 1篇 |
2004年 | 1篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2000年 | 1篇 |
1999年 | 6篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1995年 | 2篇 |
1994年 | 2篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1985年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有172条查询结果,搜索用时 15 毫秒
22.
23.
随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向. 相似文献
24.
陈瑞龙陈新黄波洪亮李林瞳 《无线电工程》2020,(6):499-503
空空通信机装置于目标飞行器与追踪飞行器上,用来建立2个飞行器之间的双向通信链路。简要介绍了目标端空空通信机的基本工作原理及组成,分析了目标端空空通信机的电磁兼容试验要求及与电磁兼容设计相关的电性能指标要求。针对目标端空空通信机电磁兼容设计中需重点关注的结构设计、腔体效应、布线布局及带外抑制等方面,进行了理论分析和仿真计算。在目标端空空通信机设计初期,利用电磁兼容分析和仿真计算结果指导电磁兼容设计,实现了目标端空空通信机的自兼容和互兼容。 相似文献
25.
为了满足曲线的设计要求,针对六次Said-Ball曲线不能调整曲线形状的不足,一个含有双形状参数的六次多项式基函数被给出,探讨了所构造的基函数的性质。基于该基函数定义了带有双形状参数的六次Said-Ball扩展曲线,分析了2段扩展曲线连续拼接应满足的条件。在给定控制多边形的情况下,通过改变形状参数值,可以调整曲线形状,增强了曲线的表达能力,弥补了六次Said-Ball曲线不能调整曲线形状的不足。该方法是不仅实用而且有效,在计算机辅助几何设计中可以得到广泛地应用。 相似文献
26.
27.
28.
本文主要对一种基于SNMP的网络拓扑发现策略进行了探讨。首先介绍了SNMP协议在网络拓扑发现应用中的优点;其次,介绍了网络拓扑发现的优点;再次,对传统SNMP的网络拓扑发现策略进行了分析并指出了其中的不足;最后提出了改进建议。 相似文献
29.
30.
针对类Java的面向对象语言mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了mJava语言和Micro-Dalvik的操作语义.从mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将mJava语言程序中的本地变量名转换为相应的序号,得到一个中间语言程序,再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序.在给出中间语言的操作语义后,构造了mJava语言程序与编译后的中间语言程序的语义保持定理并证明,以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明.整个形式化编译验证在定理证明助手Isabelle/HOL中进行了机器检测.mJava语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象,是我们兼顾语言的真实性和形式化的清晰性的结果.但是,所有形式化的语义严格遵从语言规范中的定义,并与Dalvik VM的实现保持一致,从这种意义上讲,该编译器并不是一个实验性质的假想编译器,而是有其实用意义的. 相似文献