全文获取类型
收费全文 | 48篇 |
免费 | 1篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 18篇 |
综合类 | 1篇 |
化学工业 | 1篇 |
机械仪表 | 9篇 |
建筑科学 | 5篇 |
能源动力 | 2篇 |
水利工程 | 1篇 |
无线电 | 5篇 |
一般工业技术 | 2篇 |
原子能技术 | 1篇 |
自动化技术 | 8篇 |
出版年
2024年 | 3篇 |
2023年 | 2篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 2篇 |
2018年 | 3篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2014年 | 3篇 |
2013年 | 6篇 |
2012年 | 1篇 |
2011年 | 5篇 |
2010年 | 3篇 |
2009年 | 11篇 |
2008年 | 3篇 |
2007年 | 1篇 |
1990年 | 1篇 |
1987年 | 1篇 |
1982年 | 1篇 |
排序方式: 共有53条查询结果,搜索用时 0 毫秒
1.
近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助自动定理证明技术,自动地证明验证条件并生成机器可检查的证明项,因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器,并且提出一套证明项构造方法,将其应用于自动定理证明器中可生成Coq可检查的证明. 相似文献
2.
基于Bevington方法对自由衰减曲线进行全谱拟合,并应用于多功能内耗仪自由衰减模式下的高精度内耗测量中。内耗稳定性研究表明:采用该方法测量精度可达±7×10^-6,比振幅法提高近一个量级。特别是在高阻尼情况下,全谱拟合方法得到的内耗测量值精确度相对较高。 相似文献
3.
介绍了供电公司提出的重新修订《功率因数调整电费办法》的必要性、可行性和重新修订的四个基本要素与用电企业提出的改进供电侧电压质量监测方法和制订《电压质量调整电费办法》建议的核心内容。两个《办法》将给电力需求侧无功电压管理增添新的活力,引领电力需求侧无功补偿进入动态无功补偿新时代,促进电力系统安全优质经济运行。 相似文献
4.
介绍了北京市稻香湖景区上庄新闸自动化系统中闸门监控系统、水质监测系统、配电设备系统的结构特点、功能、主要设备的配置以及现场应用问题的处理。该系统利用通信网络技术、计算机技术及多种先进的监测监控设备,将上庄新闸的水情、水质、工情信息有机地结合起来,实现了工程的统一管理和调度,为类似工程的建设提供了参考。 相似文献
5.
分功率因数电能表挂网试运行分析 总被引:1,自引:1,他引:1
常州供电局将分功率因数电能表投入试运行,分别按“平均功率因数”和“功率因数分段”两种调整电费办法计算功率因数调整电费,并进行了对比分析。用分功率因数电能表能考核用户的实时功率因数,可以促进用户采用跟踪无功负荷变化的无功补偿装置。 相似文献
6.
7.
8.
9.
10.
近年来,数据业务高速增长,WLAN网络建设也日益被电信运营商所重视.而传统的WLAN认证方案,每次登陆均需要输入用户名和密码,这给用户带来了诸多不便.为了提升用户体验,业界相继提出了多种解决方案.文章从WLAN认证原理入手,并结合不同的终端类型,对各种WLAN认证方案进行了分析和比较,以期对WLAN网络的下一步建设提供参考. 相似文献