基于TriMedia处理器的嵌入式PCI网卡的设计与分析

力图通过一个实例来说明如何开发基于TriMedia数字信号处理器的嵌入式网卡驱动程序，并提出了一种在pSoSystem操作系统下开发设备驱动程序的通用方法。     

嵌入式多媒体应用的通用文件系统的分析和设计

随着嵌入式多媒体技术的日趋发展,越来越多的多媒体娱乐设施已经用于家用起居和娱乐场所.文中旨在提出和构建一个通用的、移植性强的、针对嵌入式系统上多媒体应用的文件系统来管理多媒体数据,提高数据的存取效率和存储设备的空间利用率,从而获得良好的视听效果.通过分析FAT文件系统的性能,以及比较在PC机和嵌入式系统上应用的优缺点,并结合多媒体数据本身的特殊性以及嵌入式的具体应用环境,对其进行改进,以实现优越的性能来适应嵌入式多媒体的应用.     

提高工作电压实现变压器绕组直流电阻的快速测量

通过分析变压器绕组直流电阻测量的暂态过程特性、铁心磁滞现象以及剩磁对测量过程的影响,提出提高工作电压实现变压器绕组直流电阻快速测量的方法。现场实例验证该方法可以有效地消除剩磁的不利影响,并能快速准确得到绕组直流电阻的测试结果。     

500kV变压器铁心接地电流异常误判问题的分析与处理

本文中作者介绍了两起由500kV变压器铁心接地设计缺陷引起的接地铜排上产生感应环流,导致分析误判接地电流超标的问题,给出了处理方法及建议。     

500kV油浸倒立式电流互感器末屏故障诊断探析

文章通过对500k V油浸倒立式电流互感器与正立式电流互感器的结构形式进行分析对比,指出两类电流互感器油纸绝缘集中部位不同,开展末屏试验项目发现的故障类型不同。对两起500k V油浸倒立式电流互感器末屏故障进行了分析,介绍了故障情况、检测手段及结果。对试验结果进行了分析和对比,并提出了对于倒立式结构现场试验时应该注意的问题。     

基于暂态功率特性调整无功电流的高电压穿越控制策略

传统的光伏并网逆变器高电压穿越控制策略以削减有功功率为代价提高无功输出,难以平衡网侧电流和直流母线电压、抑制故障切除后电流和电压突变带来的暂态冲击。在分析高电压暂态功率特性的基础上,提出一种维持有功功率输出不变、调整无功电流参考值的高电压穿越控制策略。首先,以小信号模型分析高电压暂态功率特性,得出高电压期间有功功率不变、网侧无功冗余是抑制电压恢复的关键;然后,依据电网电压骤升幅度给出一种估算无功电流参考值的方法;在此基础上,结合有功电流控制,讨论3种不同电网电压骤升幅度下并网逆变器的控制能力,分别给出相应的高电压控制策略;最后,仿真和实验验证了所提控制策略的有效性。     

一起现场安装缺陷引发的500kV变压器油色谱异常分析及排查处理

本文中作者针对某500kV变压器油色谱异常缺陷问题,通过排油内检确定异常为主交高压侧升高座绝缘隔板未安装导致,并提出一种声学成像非侵入式检测技术快速开展同类隐患排查.     

Gödel语言类型系统

G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.详细介绍了G(o)del语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论.     

Goedel语言类型系统

Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。