复杂地电断面正演——沿直立岩层走向布极的电测深装置

多层垂直岩层纵向电测深和水平岩层电测深的已知解具有本质相同的电阻率转换函数。据此,通过对地电断面作适当剖分与组合,利用已知水平岩层视电阻率测深数字滤波理论及等值性原理,快速计算水平岩层覆盖下垂直岩层的视电阻率纵向测深曲线。     

福建电网在线稳定控制系统中对华东电网实时动态等值的研究

福建电网的在线稳定控制系统进行稳定计算时需要华东电网的实时动态等值模型.文章首先确定了华东电网等值系统的网络结构,保留了关键的线路和节点,将同调机群等值为相应机组.通过研究等值系统参数和实际系统变量之间的变化规律,提出了在实际运行中根据采集到的信息对等值系统参数进行实时修正的方法.计算结果表明,采用文中方法得到的等值系统能比较准确地模拟实际系统并反映电网运行方式的变化,从而更有效地利用联络线的输电能力.     

地区电网外网等值自动生成系统的开发与应用

外网等值模型必须跟踪外网运行方式的变化以确保地调EMS应用软件的计算精度.为提高地区电网EMS应用软件的实用性,作者开发了自适应的外网等值自动生成系统.该系统利用IEC61970 CIM(Common Information Model)标准从省调EMS系统读取电网模型和实时数据,然后自动为地区电网生成外网等值模型,并按IEC61970 CIS/CORBA(Component Interface Specification/Common Object Request Broker Architecture)规范通过广域网将外网等值模型发送至各地区电网,供地区电网EMS/DTS应用软件使用.该系统的外网模型可灵活定制,可在外网中自动生成或人工指定缓冲网,以满足等值精度和计算速度的要求.该系统实时自动运行,可随时为地区电网提供外网等值模型和相应的实时数据,大大提高了地区电网EMS/DTS应用软件计算结果的正确性.     

REI法在动态等值中的应用与改进

为简化大规模电力系统离线暂态稳定分析时所用同调等值法所作的动态等值过程,将静态等值常用的REI等值法的思想应用于同调等值过程,把同调发电机、负荷看作与外部系统传输功率方向相反的有源节点,用相同方法对其合并化简,并用最小二乘法优化等值网络线路参数。网络潮流的PSASP计算结果表明,联络线上传输功率等值前后误差很小,满足网络等值要求。该法有很好的准确性,并已应用于华中电网稳定性控制的研究中。     

基于扩散映射理论的谱聚类算法的风电场机群划分

针对地形复杂或布局不规则的风电场,将谱聚类方法应用于风电场机群划分,提出了一种风电场的机群分类方法.该方法以风电机组具有相同或相近运行点为机组分群原则,应用基于扩散映射理论的谱聚类算法对风电场各机组的实测运行数据进行聚类分析,找到风电机组之间动态运行过程的相似性,从而实现对风电场内所有风电机组的聚类划分.通过算例仿真验证了所提出的机群划分方法的有效性.     

面向等价性验证的锁存器匹配算法

为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分. ISCAS89电路实验结果表明,该算法与模拟和自动测试矢量生成等方法相比,在运行时间、占用内存和匹配精度等方面均体现出有效性,可用于处理较大规模的时序电路验证问题.     

加法可逆半环上的Fuzzy同余

定义了加法可逆半环上的Fuzzy同余关系，讨论了带有Fuzzy同余关系的加法可逆半环S的性质。证明得出：如果S是一个带有Fuzzy同余关系μ的加法可逆半环，则S关于μ的Fuzzy同余类做成一个加法可逆半环。给出了带有Fuzzy同余关系的加法可逆半环的同态性质。     

基于模糊聚类分析中布尔矩阵法的一种改进算法

为避免布尔矩阵法中当截矩阵不是等价矩阵时需要对布尔矩阵重新构造才能实现分类,引入了分类对象间相似比的概念,引进了聚类分析中的布尔矩阵法.实例证明,与传统的几种分类方法的分类结果相比,改进算法得出的分类结果比较符合实际情况,更易让人接受和理解.     

用布尔可满足性验证逻辑电路的等价性

提出了使用布尔可满足性来验证数字电路的等价性验证方法.这一验证方法把每个电路抽象成一个有限状态机,为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言问题.改进了Tseitin变换方法,用于把电路约束问题变换成合取范式公式.用先进的布尔可满足性求解器zChaff判定积机所生成的布尔公式的可满足性.事例电路验证说明了该方法的有效性.     

从英汉习语看中西文化差异

习语是某一语言在使用过程中形成的独特的固定的表达方式.通过研究英语和汉语中的成语、习语的语言特点,分析了两种语言在文化上面的差异及影响差异的因素,包括自然环境、生产活动、历史传统等.因此在跨文化交际和翻译实践中要重视文化差异,实现两种语言的文化对等.