一类特殊复积分的探讨

本文从教学中两个具体的例子出发,总结出一类积分值为零的复积分的特点,并给出理论证明.

一种基于回路分析法的弱环配电网潮流直接算法

配电网潮流计算是配电网络分析的基础。基于回路分析法,推导出了一种计算带弱环网的配电网潮流的有效解法。该算法基于电路基本定律,利用配电网络的道路矩阵和回路矩阵,推导建立了节点电压与注入电流的关系矩阵,使电网节点电压和负荷注入电流满足精确的线性关系,从而有较强的处理回路的能力。同时,在网络结构不变时,该关系矩阵是常数,潮流计算速度较快,并且计算过程清晰简单,便于编程。仿真算例表明,这种算法对于环网系统,不仅不会随系统回路的增多而导致收敛性降低,反而随着系统回路数的增加,其收敛速度得到提高,具有很好的通用性和计算效率。

电容器实时优化投切的最优匹配注入流法

为了提出一种用于电网无功补偿优化的通用的、规范化的解析算法,该文从回路分析法和电路叠加定理等电路的基本原理出发,导出了一个崭新的概念——最优匹配注入流。基于最优匹配注入流,开发出一个用于优化电容器投切的高效算法。该算法可应用于输电网和配电网的电容器优化中,也可应用于发电机和电容器共同参与的电网无功优化。文中提出的算法可对系统有功损耗进行优化的同时消除支路负载越限。整个计算过程包含若干次潮流计算和最优匹配注入流的计算,因而计算效率很高。该算法不仅可以直接应用于电网规划,而且满足实时控制的要求。该文还把电容器优化投切这类组合优化问题转换为一系列的递推电路问题,为求解该类问题提供了一种新的思考方法。另外,最优匹配注入流也可以应用于电容器的安装地点和容量选择的优化问题。

配网潮流回路分析法

该文利用回路分析法分析了面向支路的前推、回推潮流法的数学本质,指出它实质上是回路分析法的一种不完全等价变形,并分析了这种方法对处理多环网系统能力差的原因;从回路分析法出发,推导出了一种对多环网具有很强处理能力的、面向回路的前推、回推法。该方法保持了面向支路的前推、回推潮流法的易于编程实现和计算速度快的特点,且与辐射电网是等价的。这种新的潮流算法的收敛性不受回路多少的影响。文中利用回路分析法,分析了该方法与牛顿法的内在关系,指出了该算法收敛性不如牛顿法,但因其计算量非常少,故仍是一种非常优秀的高效配电系统潮流算法。算例证明,这种算法对于环网系统,其收敛性和计算速度比传统的前推、回推法有显著的提高,并对同一系统,随着环的增多,算法迭代次数显著减少。

基于等效解耦过程的交直流协调控制鲁棒稳定性研究

通过等效解耦过程(effective open-loop process)将多输入多输出系统中的各回路进行解耦,把多变量系统回路方程形式转换为单变量系统回路方程,从而建立起各回路独立控制的数学模型。但在多输入多输出系统中,各回路控制器之间可能存在无法协调的问题,为此,在实现等效解耦过程解耦控制的基础上,基于小增益定理,提出判断交直流系统协调控制鲁棒稳定性的量化指标;且针对发电机PSS附加控制与直流附加控制的协调控制,设计了能够协调运作且抑制低频振荡的发电机PSS附加控制器和直流附加控制器。在PSCAD中进行算例仿真验证了所提判断交直流系统协调控制鲁棒稳定性量化指标的有效性和所设计控制器的实用性。

含PV型分布式电源的弱环配电网三相潮流计算

为实现分布式发电(distributed generation,DG)接入弱环网配电后潮流的有效计算,推导出一种基于回路分析法的三相弱环配电网潮流的改进算法。该算法利用配电网络的道路矩阵和回路矩阵,得到了节点电压、回路电流以及注入电流这3者之间的关联公式,从而使环网处理变简单。同时,在保持PV节点正序电压幅值恒定的前提下,推导一种求解PV节点无功功率增量计算的新方法,并可方便地引入到所提潮流算法中。6母线和69母线测试算例验证了该算法的正确性和良好的收敛性,算法有较强的处理回路的能力,迭代次数随着环的增多而减少,并能在无功功率没有越界的情况下保证PV节点有功功率和电压幅值为预设定值。

链表拓扑环境下基于配网结构特点的多源有环短路计算

在已取得的基于链表拓扑的配网短路计算层等效法的成果基础上,将算法的应用范围扩展至有环网络。算法利用替代定理将有环配电网络进行拆环等效得到若干结构简单的无环树状子网,再对各子网进行基于电源路径的戴维南等效得出短路电压的低阶矩阵方程,从而算出短路电流,并阐述了算法在多点短路和不对称短路下的应用。通过复杂度分析和算例分析体现了算法的高效性、准确性和在多种复杂环境下的通用性。

磁场安培环路定理证明的新方法

大学物理中磁场的安培环路定理是学生重点掌握的内容之一,安培环路定理的证明也是必须要讲解的内容.现有的教材在证明环路不包围电流的情况时多采用圆心角的方法证明,本文给出了两种新的证明方法,此方法借用了环路中包围电流的环路积分结果,方法简单、明了,在国内广泛使用的教材中未见出现此证明方法.

磁场环路积分的等价解环

为解决光学电流互感器(OCT)抵卸磁场干扰与运行可靠性的矛盾问题,在提炼了磁场积分环路的等价解环条件的基础上,提出了磁场积分环路的正交解环法和零和解环法.证明了3个基本的解环定理:正交解环定理、零和解环定理和均匀磁场矩形环路的解环定理.提出的正交解环法和零和解环法可以将安培环路定律等价地推广到非环路情况,并给出了实例.该研究为解决光学电流互感器在电力系统的实际应用中抵御磁场干扰与运行稳定性的矛盾问题奠定了理论基础.

普通物理学中磁场安培环路定理的证明

基于多种稳恒磁场环路定理证明,文中给出了几个比较适用的证明方法。

基于霍尔效应直流电表的设计与制作

基于安培环路定理和霍尔效应,设计制作了一种电流测量装置.该装置利用线性霍尔元件,提供了一种间接测量电流的方法,并对0～20A的直流电流进行了实验验证.实验结果表明：该装置的测量精度满足测量要求.

液压系统半实物仿真平台设计

结合液压系统仿真计算技术和自动化试验技术,构建了液压系统半实物仿真平台,通过仿真计算模拟液压系统的环境参数和控制规律,利用实物模型模拟难以建立数学模型的液压元件。重点介绍了液压系统半实物仿真平台布局结构、仿真模型建立过程以及仿真过程控制系统,并针对某液压起竖系统进行了应用分析。

引力场两个定理的探讨

从引力场是矢量场出发，讨论了引力场的性质，引入了描述引力场的高斯定理和环路定理，得出了相应的微分和积分形式。根据引力场的两个定理，导出了引力势的微分和积分形式。

静电场的空间特性研究

静电场是存在于静止电荷周围空间的特殊物质,它的基本特征是能对电荷施力和对电荷做功或者说静电场具有力的性质和能量的性质;换句话说静电场就是一种特殊空间,它具有分散性与叠加性;静电场与实物物质的最大区别是允许多个场同时占据同一个空间.因此,对静电场的性质描述必须逐点进行,且只有把握了静电场空间中所有点上的力的性质和能量的性质之后才能全面并完备地描述静电场.本文由静电场的空间结构出发逐一揭示静电场在点、线、面、体上的特性和规律,由局域(场点)到整体(场域)全面把握静电场的空间性质及其变化规律.最后由静电场的基本规律导出若干重要定理,深刻揭示静电场的空间特性与规律.

电磁场中两个重要定理的对比研究

高斯定理和安培环路是电磁学中的两个重要定理,通过采用对比研究的方法将定理的证明和定理的应用进行对比研究,找出其相似处,便于更好的掌握电磁学的精髓,运用高斯定理和安培环路定理来解决电磁学中的问题。

类比法在电磁学教学中的应用

从场的描述、对外表现、反映场性质的两个基本定理——高斯定理和环路定理、场的能量等角度,对电磁学中稳恒电场、稳恒磁场进行了类比分析.认为在大学物理教学中恰当地运用类比,不但可以帮助学生理解和记忆知识,对学生认知掌握科学方法也是非常有益的.

形状图理论的定理证明

验证操作易变数据结构的指针程序仍面临很多挑战.数据结构中严重的指针别名显著地复杂化对操作这些结构的程序的推理.为分析和验证操作易变数据结构的指针程序,文中提出了形状图逻辑.形状图是描述程序中静态声明的堆指针变量和动态分配的结构体中指针域变量的指向的一种有向图,能准确表达指针的有效性和指针之间的相等性,可用于判断两个访问表达式是否是别名.形状图逻辑是Hoare逻辑的一种扩展,是一种直接将形状图作为程序中指针断言集的程序逻辑.该文研究形状图的等价理论和蕴含理论以及它们的判定方法和应用.首先,把形状图及其等价规则和蕴含规则分别类比为代数项及其等式规则和重写规则,像研究代数规范的理论那样来研究形状图理论.该文定义了形状图的语法理论和语义理论,定义了形状图重写系统及其终止性、局部合流性和合流性,然后得到基于形状图重写的形状图等价判定和蕴含判定的方法.其次,提出循环不变形状图和递归函数前后形状图的自动推断方法.借助形状图理论的判定方法,该文把一个基于抽象解释的推断循环不变式的一般方法改编成推断循环不变形状图的方法.由于计算终止的递归函数总有非递归的出口,可以先通过非递归路径得到函数的后形状图的初值,然后再在递归路径上迭代求解.从而,可以像推断循环不变形状图那样来推断递归函数的前后形状图.第三,参照Nelson-Oppen框架,提出形状图理论和整数理论组合的一种判定方法.对易变数据结构,除了关心数据结构各节点是否连成预定的形状外,往往还关心数据在这些节点间的排列等特性,它们不能脱离易变数据结构的形状特征而单独验证.为此,所提出的组合判定方法针对这类程序的验证条件的特点,利用程序分析阶段得到的形状图对验证条件的前件中的符号断言按形状图的节点分组;然后运用整数理论为各节点推导出尽可能多的性质;最后才交由定理证明器Z3去自动验证.这种方式有效地避免验证条件证明过程的不终止.基于形状图逻辑以及文中的工作,我们所开发的程序验证系统原型减轻了自动定理证明器的负担,并且能验证易变数据结构上较为复杂的程序,如有序循环双向链表、二叉排序树、伸展树、树堆、二叉平衡树和AA树的插入和删除函数.

基于回路成形的鲁棒增益调度控制器设计

针对目前基于线性变参数系统的增益调度控制设计中存在的控制结构复杂性问题,提出一种基于回路成形的简单且易实现的增益调度控制结构.在此基础上,提出一个鲁棒增益调度控制设计方法.设计过程首先采用补偿器函数使得被控对象奇异值具有期望的形状,以保证被控对象的性能要求,然后利用小增益定理设计一个鲁棒控制器,得到具有良好性能的、结构简单的鲁棒增益调度控制器.最后针对一个化工过程,说明此方法的有效性.*

PAR平台中若干软件构件形式化验证技术研究

PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。

基于贝叶斯定理的势能函数应用于蛋白质结构预测

改进了一种基于贝叶斯定理的S势能函数并应用于对loop结构的测试取得较好结果,证明S势能函数对loop结构预测是可行的和有效的。测定结果说明S势能函数的辨别率高于RAPDF势能函数,对loop结构具有较好的预测能力。