全文获取类型
收费全文 | 92篇 |
免费 | 6篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 55篇 |
综合类 | 5篇 |
化学工业 | 5篇 |
金属工艺 | 6篇 |
机械仪表 | 2篇 |
建筑科学 | 6篇 |
矿业工程 | 2篇 |
能源动力 | 1篇 |
轻工业 | 3篇 |
水利工程 | 2篇 |
无线电 | 4篇 |
一般工业技术 | 1篇 |
冶金工业 | 1篇 |
自动化技术 | 9篇 |
出版年
2023年 | 11篇 |
2022年 | 6篇 |
2021年 | 12篇 |
2020年 | 4篇 |
2019年 | 4篇 |
2018年 | 14篇 |
2017年 | 4篇 |
2016年 | 4篇 |
2015年 | 5篇 |
2014年 | 3篇 |
2013年 | 10篇 |
2012年 | 6篇 |
2011年 | 7篇 |
2010年 | 3篇 |
2009年 | 5篇 |
2008年 | 2篇 |
2005年 | 1篇 |
1999年 | 1篇 |
排序方式: 共有102条查询结果,搜索用时 0 毫秒
1.
分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLIDdata、SLIDdata的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约... 相似文献
2.
国际上已开发出多种混合式高压直流断路器,并完成工程应用,其在多端和直流电网应用前景广阔。短路电流开断能力是直流断路器的核心性能,而直流开断过程同时存在大电流、高电压和强能量,造成在试验室中等效复现开断应力极为困难。国际上至今尚未形成统一的等效开断试验标准,试验容量与等效性关系也缺少理论研究和定量分析。该文基于混合式直流断路器开断原理,提取开断过程分阶段等效应力,揭示试验容量与等效性数学关系,奠定试验电路参数设计及等效分析的理论基础。进一步提出双频电流源合成开断试验方法,完成关键等效应力数学解析与试验电路参数最优设计,开展试验应力仿真验证及等效性对比分析。研究表明,双频电流源合成等效试验方法可实现混合式直流断路器开断电应力全等效,技术经济性良好,对开断试验装置开发及标准制定具有指导意义。 相似文献
3.
高冲 《南昌工程学院学报》2013,(2):66-69
莫砺锋先生的《杜甫评传》是《中国思想家评传丛书》之一种。该书在继承前人成果后自创新说,围绕"思想"这一宗旨,贯穿整部著作的叙述。通过阅读《杜甫评传》发现其在对杜甫与传统文化的关系,对杜诗的解读及对历史人物的评价方面都有其独到之处。 相似文献
4.
主支路电流转移开关是混合式高压直流断路器的核心部件,其转移电流的成功将直接影响断路器开断功能,为实现其在断路器中高效可靠工作,该文对电流转移开关核心性能进行研究。采用定性分析结合定量计算的方法,分析电流耐受、电压耐受、转移能量和可用率等性能的影响因素,并依据张北±500kV柔性直流电网技术要求,设计500kV混合式断路器主支路电流转移开关参数,研制全尺寸样机,并对样机进行性能测试,测试结果表明设计方法满足要求,验证所提方法的科学性和合理性。 相似文献
5.
在半桥型模块化多电平换流器联合混合式高压直流断路器构建的柔性直流电网中,直流断路器特征参数与直流系统配置参数之间存在紧密关联。特征参数是系统能力投射到断路器上的外在表现,一方面反映系统的出力水平,另一方面反映断路器承受最苛刻整机应力能力。特征参数提取是实现混合式高压直流断路器在柔性直流电网中工程应用的理论基础。该文在对混合式高压直流断路器应用、原理、工况理论分析的基础上,提取混合式高压直流断路器五种特征参数,并揭示各参数之间的数学联系,论证各特征参数的具体影响。建立的系统级混合式高压直流断路器PSCAD/EMTDC运行数字仿真电路验证了特征参数提取与其影响效果的正确性。实施的200k V断路器整机分断试验结果验证仿真电路和数学分析的准确性。该文结论能够有效指导混合式高压直流断路器的设计与应用。 相似文献
6.
7.
运行试验是保证柔性直流换流阀安全可靠运行的重要手段。该文分析了模块化多电平换流阀在柔性高压直流输电系统中的运行特性;在此基础上,提出了一种H桥型运行试验拓扑结构。建立了试验拓扑的交直流等效电路,从功率平衡角度,建立了拓扑的数学模型,详细阐述了其运行机理。搭建了运行试验平台,并对±500 k V/3000 MW的换流阀进行运行试验,试验结果验证了所提运行试验拓扑的正确性、有效性。 相似文献
8.
为追求更高的传输效率,特高压直流输电技术在我国长距离传输清洁能源方面的作用日益显著,哈密南—郑州±800 kV/5 000 A特高压直流输电工程的额定容量为8 000 MW,是目前世界上已投运的容量最大的特高压直流输电工程之一。换流阀作为其关键设备,在电能的交直流转换中至关重要,因此,在投运前必须进行仔细设计和严格试验,以确保其安全可靠运行。详细介绍了哈密南—郑州特高压直流输电工程采用的A5000型换流阀的设计与型式试验,包括电气回路、散热系统、机械结构的设计,试验电路以及试验的实施。试验结果表明所有的试验项目满足IEC 60700-1标准和工程技术规范的要求,验证了A5000换流阀应用于该工程的合理性。 相似文献
9.
10.
直流断路器分断试验为运行试验中最为核心的部分,其有效性直接关乎直流断路器电气性能的验证。该文针对柔性直流电网用混合式高压直流断路器分断试验展开研究,目的在于提出具有工程可行性的分断试验方法和试验参数。首先,在对混合式高压直流断路器原理和工况分析的基础上,揭示了混合式高压直流断路器整机应力特性;然后,在应力提取的基础上,提出了LC电源试验电路以及参数;最后,通过200 k V断路器整机短路电流分断试验验证了试验电路和试验方法的准确性。实验结果可为混合式高压直流断路器试验系统设计提供参考。 相似文献