状态模和两个变量的环链多项式

State representation is used to discuss the link with two variables， and the estimation of breadth of the two variables(say I and m) is given for S-links.

汇编语言层的系统状态模型构建

操作系统具有规模大、结构复杂的特点,所以设计以及实现过程中的正确性验证难度较大。本文通过汇编语言层的操作系统模块功能模型构建,完成汇编语言层的设计以及验证,实现对汇编语言层设计的正确性验证。以安全可信操作系统为范例,进行了形式化验证。

构网型并网逆变器状态空间建模及稳定性分析

随着“双碳”目标的提出与逐步实施,作为新能源发电单元接入电力网络的重要接口元件的并网逆变器稳定性问题凸显。目前,电网大部分采用跟网型并网逆变器,然而弱电网中跟网型并网逆变器与锁相环、电网间存在耦合,严重影响系统稳定性。构网型并网逆变器在弱电网中较跟网型并网逆变器表现出更强的适应性,但现阶段构网型并网逆变器状态空间模型的相关论述较少,基于状态空间模型的构网型并网逆变器稳定性分析也不够深入。针对这一空缺,首先详细呈现构网型并网逆变器状态空间建模的相关细节,包括功率控制环、电压控制环、时滞环节和LCL滤波环节;然后,复现构网型并网逆变器失稳现象,并基于所提模型开展参与因子分析,验证模型有效性;其次,基于模型对构网型并网逆变器主要环节参数变化引起的失稳问题进行分析;最后,在Matlab/Simulink中搭建改进的IEEE 4节点三相平衡电网系统进行仿真,进一步验证模型有效性和实用性。

基于混合自动机的综合能源系统状态转移空间建模

目前对于综合能源系统的建模,更多从系统输入-输出关系、内部状态与输入输出的关系进行描述,其内部状态在不同阶段的转移过程难以清晰表达。在分布式可再生能源占比大幅度提升后,综合能源系统在不同阶段的运行状态及状态转移过程需要可观可控。为此,提出了基于混合自动机的综合能源系统分阶段状态转移空间建模方法,对综合能源系统内部状态的分阶段转移条件及其转移过程进行精准描述,有利于对综合能源系统内部所有能源生产单元和能源消费单元从启动、运行到停止的全过程进行分阶段管理与优化控制。仿真算例表明,所提模型对综合能源系统分阶段的状态转移轨迹实现了全过程观测,有利于实现全过程分阶段的高效管理与优化控制。

基于多状态建模的独立型微网优化配置

针对风速、光照强度和负荷不确定性对独立型微网优化配置的影响,应用三者的概率密度函数对每个月份构造典型日,利用多状态系统理论对典型日各个时刻风光出力和负荷进行了多状态建模。以经济性和环保性为目标,建立了基于多状态建模的独立型微网多目标优化配置模型,并采用改进的非劣排序遗传算法(NAGA-Ⅱ)对模型进行了求解。最后,针对某一算例分别使用所提出的优化配置方法和已有的基于确定历史场景的优化配置方法进行了仿真计算,通过对仿真结果在若干随机场景下的比较分析,验证了所提优化配置模型和方法的合理性和有效性。

小型风力发电系统最大功率控制扰动法及状态平均建模与分析

为简化结构、降低成本、提高可靠性及实现系统优化运行,提出了包含永磁同步发电机、二极管整流桥及斩波器的小型风力发电系统结构,采用扰动法来实现最大功率控制,利用状态平均法对系统进行建模,导出了相应的静态特性及线性化模型,给出了扰动幅值及频率这两个关键参数的选取原则,通过实验验证了控制策略及分析方法的正确性和可行性。为最大功率控制扰动法在小型风力发电系统中的应用提供了理论依据,具有重要的理论意义及实际应用价值。

CDT生产线的状态建模

彩色显象管(CDT)生产线是先进的自动化流水线,其中的关键部件是屏(Pan el)。对CDT生产线的管理需要采集各个工序中产生的设备数据和员工输入数据以及条形码数据的质量信息。状态建模理论提供了分析对象动态行为的有效方法,状态图可以直观地反映对象的行为。把屏作为对象来看,从它的状态分析中提取的模式适用于多个工序,也可以适用于其他类似的CDT生产线的制造过程。本文在分析CDT生产线的体系结构和应用模式的基础上,运用状态建模的方法对CDT生产线进行了状态建模,并提出了针对CDT生产线的状态模式,为CDT生产线的生产过程改造提供依据,同时也能够准确确定数据采集点,为实现CDT生产线的在线质量管理系统提供了完整的需求分析,并辅助软件设计和代码生成。

搜索引擎广告中广告商状态建模

搜索引擎广告是目前互联网上一种非常成功的商业模式,它已成为搜索引擎公司的主要收入来源并为广告商们提供了许多商机.搜索引擎、广告商和搜索用户构成了搜索引擎广告的3个主要组成部分——搜索引擎提供技术和服务、广告商提供广告内容、用户浏览并点击广告.其中搜索引擎相关技术以及用户行为都有比较多的研究和成型的技术,但对广告商尤其是广告商状态的研究却并不多见.基于此背景,对搜索引擎广告中广告商的状态进行了深入的研究.在方法上按照广告商相关广告的展示次数、点击次数以及广告费用来对其潜在状态进行描述和划分,并使用隐Markov模型对广告商的时序状态进行建模.重点在于将机器学习和数据挖掘的方法应用于广告商的建模之中,并取得了不错的预测正确率.

高精度气动伺服阀的状态空间建模及数字化设计

伺服阀的性能是影响高精度气动精确定位系统性能的决定性因素。为了提高气动系统性能,改善伺服阀的性能至关重要。分析一种新型的高精度气动伺服阀的结构特点,建立其状态空间模型,设计数字控制器并进行仿真。仿真结果表明:该数字控制器是有效的,显著改善了气动伺服阀的动、静态性能。

全状态数字化建模及其在水电机组维护中的应用(英文)

为了减少停机时间和维修费用,水电厂正在逐步从计划检修向状态检修过渡。为了满足状态检修的需要,在三维动态建模技术和分布式物理图网建模技术的基础上提出了水电机组全状态数字化建模的概念并分析了其建模基础、建模步骤、关键技术及建模目标。以水轮机调速系统摇摆式主接力器为例详细描述了全状态数字化建模的实现方法及其在水电机组维护域中的应用情况。全状态数字化模型的实现和应用将促进水电设备运行-维护-管理自动化水平的发展和提高。

新型热轧在线磨辊机状态空间建模及特性分析

简要介绍在线磨辊技术的研究现状和新型热轧在线磨辊机的结构组成,并在利用Adams软件分别构建上架和下架的整机虚拟样机的基础上,建立下架系统的空间状态数学模型和进行下架系统的特性分析。

混响室法欠模状态屏蔽体屏蔽效能测试技术研究

欠模状态下屏蔽壳体内部场分布不均匀,屏蔽效能测量结果与位置相关,因此需要利用探头或单极子天线进行多位置测量,过程繁琐。文中利用长线天线来测量欠模状态下屏蔽壳体屏蔽效能,并与单极子天线测量结果进行比较。在暗室中测量天线自由空间反射系数S 11;在混响室中利用不同天线测量屏蔽壳体的屏蔽效能,并利用S 22分析腔体谐振特性。测量结果表明,长线天线宽频带匹配特性优于单极子天线,测量的屏蔽效能能够更好地反映屏蔽体谐振特性,为屏蔽壳体的屏蔽效能测试评估提供了指南,具有工程应用价值。

弱受端场景下角型链式STATCOM接入HVDC系统的阻抗建模及稳定性分析

为抑制电网换相换流器型高压直流输电(line-commutated converter based high-voltage direct-current,LCC-HVDC)换相失败的发生,静止同步补偿器(static synchronous compensator,STATCOM)在受端系统得到应用。然而随着LCC-HVDC系统的发展及新型电力系统的构建,受端电网呈现弱电网的特征。在弱电网条件下,LCC-HVDC系统、STATCOM与弱受端电网交互作用容易引发谐波振荡。该文采用阻抗分析法分析了含角型链式STATCOM的LCC-HVDC系统与受端电网的交互稳定性问题。首先提出一种改进的LCC交流电流和直流电压计算方式,以避免LCC复杂的换相开关函数的线性化。然后基于谐波状态空间(harmonic state space,HSS)理论,分别推导了LCC-HVDC系统以及角型链式STATCOM的多输入多输出(multi-input multi-output,MIMO)阻抗模型。此外,为了便于阻抗测量和稳定性分析,将MIMO阻抗模型等效转化为单输入单输出(single-input single-output,SISO)阻抗模型,并分析了角型链式STATCOM未接入和接入LCC-HVDC系统下的阻抗特性,揭示了含角型链式STATCOM的LCC-HVDC系统在弱受端电网下振荡的机理。分析表明:LCC-HVDC系统单独运行时受端系统容易在中低频段出现正序谐波振荡,而角型链式STATCOM接入后受端系统容易在中低频段内出现负序谐波振荡。最后,通过仿真验证了分析的正确性。

数化结合 巧立模型——逆否命题在化学平衡状态判断上的应用

给出了一种判断化学平衡状态的数学思维建模方法,从数学原理角度肯定了“变量不变”的判断方法,建构模型教学学生如何判断某物理量是否为变量,有效提高学生判断化学平衡状态的准确率.

复杂装备健康状态评价建模关键技术研究

针对复杂装备健康状态评价建模的课题研究,本文提出了复杂装备对象建模、复杂装备状态检修评价体系建模两大关键技术,最终将这两项关键技术按照复杂装备健康状态评估流程应用在复杂装备健康状态评价模型中,为后续开发复杂装备的健康状态评价系统提出了清晰的技术路径。

混杂系统的一致输入输出对状态稳定性

混杂系统的输入输出对状态稳定性是混杂控制系统领域极富挑战性的课题之一.为了观测混杂系统的状态,本文提出了一类混杂系统的一致输入输出对状态稳定的充分条件,分析了混杂系统的一致输入输出对状态稳定性、光滑Lyapunov函数存在性和状态模估计器存在性三者之间的关系.借助状态模估计器将混杂系统化为受扰动系统,获得了受扰动系统一致输入输出对状态稳定性的结果,并进一步证明了混杂系统的一致输入输出对状态稳定性.

非线性切换系统的输入输出对状态稳定

为观测和估计切换系统状态,该文提出了一类非线性切换系统一致输入输出对状态稳定的充分条件。在一定条件下将切换系统化为受扰动系统。利用受扰动系统一致输入输出对状态稳定的结论,证明了非线性切换系统一致输入输出对状态稳定,存在光滑的李亚普诺夫函数和存在状态模估计器三者之间的等价关系。讨论了切换系统一致输入输出对状态稳定与其它相关稳定性之间的关系。

采用信息熵和组合模型的风电机组异常检测方法

充分利用现有数据采集与监控系统的数据是当前提高风电机组运行可靠性最迅速、有效的方式。首先根据风电场数据采集与监控数据,确定了风电机组状态参数和监测数据的风速范围;其次,建立了分别基于反向传播神经网络和最小二乘支持向量机的单项模型,分析了各单项模型的权重分布,并建立了较优的组合预测模型;最后,引入信息熵的概念对残差数据进行了处理,提出了风电机组状态参数的异常检测方法。验证结果表明,所提方法能准确检测出不同风电机组的发电机轴承温度异常,同时为风电机组的异常识别、故障预警奠定了基础,可为风电场工作人员制定维修策略提供参考信息,具有重要的工程价值。

EMC混响室电磁场模态研究

混响室谐振腔激励的三维电磁场的推导一般采用并矢格林函数的方法,物理意义不太明显。用本征函数迭加的方法推导混响室有源激励的电磁场分布公式,有利于正确建立混响室电磁结构模型,树立正确的物理概念。并根据公式及其推导过程,分析了混响室EMC电磁工作机理,以此将EMC混响室电磁工作状态按模式状况进行了系统地分类,为混响室研究设计提供理论指导。