Research on Mixed Logic Dynamic Modeling and Finite Control Set Model Predictive Control of Multi-Inverter Parallel System

Parallel connection of multiple inverters is an important means to solve the expansion,reserve and protection of distributed power generation,such as photovoltaics.In view of the shortcomings of traditional droop control methods such as weak anti-interference ability,low tracking accuracy of inverter output voltage and serious circulation phenomenon,a finite control set model predictive control(FCS-MPC)strategy of microgrid multiinverter parallel system based on Mixed Logical Dynamical(MLD)modeling is proposed.Firstly,the MLD modeling method is introduced logical variables,combining discrete events and continuous events to form an overall differential equation,which makes the modeling more accurate.Then a predictive controller is designed based on the model,and constraints are added to the objective function,which can not only solve the real-time changes of the control system by online optimization,but also effectively obtain a higher tracking accuracy of the inverter output voltage and lower total harmonic distortion rate(Total Harmonics Distortion,THD);and suppress the circulating current between the inverters,to obtain a good dynamic response.Finally,the simulation is carried out onMATLAB/Simulink to verify the correctness of the model and the rationality of the proposed strategy.This paper aims to provide guidance for the design and optimal control of multi-inverter parallel systems.

Dynamic character analysis for the arc welding power source based on fuzzy logic

A lot of experimental methods have been brought forth to assess the dynamic character of the arc welding power source, but up to now, this issue has not been solved very well. In this paper, based on the fuzzy logic reasoning method, a dynamic character assessing model for the arc welding power source was established and used to analyze the dynamic character of the welding power source. Three different types of welding machine have been tested, and the characteristic information of the electrical signals such as re-striking arc voltage, low welding current and so on of the welding process were extracted accurately by using a self-developed welding dynamic arc wavelet analyzer. The experimental results indicate that this model can be used as a new assessing method for the dynamic character of the arc welding power source.

Modeling and Control of a Continuous Stirred Tank Reactor Based on a Mixed Logical Dynamical Model

A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated from the point of hybrid systems.The proposed scheme makes full use of the modeling power of mixed logical dy- namical(MLD)systems to describe the highly nonlinear dynamics and multiple operating points in a unified framework as a hybrid system,and takes advantage of the good control quality of model predictive control(MPC) to design a controller.Thus,this approach avoids oscillation during switching between sub-systems,helps to relieve shaking in transition,and augments the stability robustness of the whole system,and finally achieves optimal(i.e. fast and smooth)transition between operating points.The simulation results demonstrate that the presented ap- proach has a satisfactory performance.

A Dynamic Fuzzy Description Logic

Fuzzy description logics are considered as the logical infrastructure of fuzzy knowledge representation on the semantic Web. To deal with fuzzy and dynamic knowledge on the semantic Web and its applications, a new fuzzy extension of Attribute Language with Complement based on dynamic fuzzy logic called the dynamic fuzzy description logic （DFALC） is presented. The syntax and semantics of DFALC are formally defined, and the forms of axioms and assertions are specified. The DFALC provides more reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using fuzzy description logic FALC to act as logical foundation for the semantic Web. The extended DFALC is more expressive than the existing fuzzy description logics and present more fuzzy information on the semantic Web.

Logic Picture-Based Dynamic Power Estimation for Unit Gate-Delay Model CMOS Circuits

In this research, a fast methodology to calculate the exact value of the average dynamic power consumption for CMOS combinational logic circuits is developed. The delay model used is the unit-delay model where all gates have the same propagation delay. The main advantages of this method over other techniques are its accuracy, as it is deterministic and it requires less computational effort compared to exhaustive simulation approaches. The methodology uses the Logic Pictures concept for obtaining the nodes’ toggle rates. The proposed method is applied to well-known circuits and the results are compared to exhaustive simulation and Monte Carlosimulation methods.

Virtual Reality Simulation of Fuzzy-logic Control during Underwater Dynamic Positioning

在这份报纸，为模拟和用设计环境的 MATLAB 图形用户界面的遥远地操作的车辆(ROV ) 的模糊逻辑的控制的 graphical-user-interface (图形用户界面) 软件被建议。建议 ROV 图形用户界面平台系统地并且交互地允许象系统设计与象 proportional-integral-derivative (PID ) 那样的另外的控制器相比的模糊逻辑的控制那样的控制器和滑动模式控制器(SMC ) 。象海电流那样的外部骚乱能被增加改进建模在实际在水下环境。模仿的结果证明模糊逻辑的控制的位置回答在海水流骚乱下面展出合理性能。

10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System

This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.

Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System

Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.

Active disturbance rejection control on first-order plant

Conventional PI control encounters some problems when dealing with large lag process in the presence of parameter uncertainties.For the typical first-order process,an observerbased linear active disturbance rejection control（LADRC） scheme is presented to cope with the difficulties,and a reduced-order observer scheme is proposed further.Some quantitative dynamic results with regard to non-overshoot characteristics are obtained.Finally,the performance boundaries of LADRC and PI control are explicitly compared with each other,which shows that the former is more superior in most cases.

Adaptive Fuzzy Dynamic Surface Control for Uncertain Nonlinear Systems

In this paper, a robust adaptive fuzzy dynamic surface control for a class of uncertain nonlinear systems is proposed. A novel adaptive fuzzy dynamic surface model is built to approximate the uncertain nonlinear functions by only one fuzzy logic system. The approximation capability of this model is proved and the model is implemented to solve the problem that too many approximators are used in the controller design of uncertain nonlinear systems. The shortage of ＂explosion of complexity＂ in backstepping design procedure is overcome by using the proposed dynamic surface control method. It is proved by constructing appropriate Lyapunov candidates that all signals of closed-loop systems are semi-globally uniformly ultimate bounded. Also, this novel controller stabilizes the states of uncertain nonlinear systems faster than the adaptive sliding mode controller （SMC）. Two simulation examples are provided to illustrate the effectiveness of the control approach proposed in this paper.

A Fuzzy-Neural Network Control of Nonlinear Dynamic Systems

In this paper, an adaptive dynamic control scheme based on a fuzzy neural network is presented, that presents utilizes both feed-forward and feedback controller elements. The former of the two elements comprises a neural network with both identification and control role, and the latter is a fuzzy neural algorithm, which is introduced to provide additional control enhancement. The feedforward controller provides only coarse control, whereas the feedback controller can generate on-line conditional proposition rule automatically to improve the overall control action. These properties make the design very versatile and applicable to a range of industrial applications.

Output Feedback Dynamic Surface Controller Design for Airbreathing Hypersonic Flight Vehicle

This paper addresses issues related to nonlinear robust output feedback controller design for a nonlinear model of airbreathing hypersonic vehicle. The control objective is to realize robust tracking of velocity and altitude in the presence of immeasurable states, uncertainties and varying flight conditions.A novel reduced order fuzzy observer is proposed to estimate the immeasurable states. Based on the information of observer and the measured states, a new robust output feedback controller combining dynamic surface theory and fuzzy logic system is proposed for airbreathing hypersonic vehicle. The closedloop system is proved to be semi-globally uniformly ultimately bounded(SUUB), and the tracking error can be made small enough by choosing proper gains of the controller, filter and observer. Simulation results from the full nonlinear vehicle model illustrate the effectiveness and good performance of the proposed control scheme.

Assessment of buckling-restrained braced frame reliability using an experimental limit-state model and stochastic dynamic analysis

Buckling-restrained braces （BRBs） have recently become popular in the United States for use as primary members of seismic lateral-force-resisting systems. A BRB is a steel brace that does not buckle in compression but instead yields in both tension and compression. Although design guidelines for BRB applications have been developed, systematic procedures for assessing performance and quantifying reliability are still needed. This paper presents an analytical framework for assessing buckling-restrained braced frame （BRBF） reliability when subjected to seismic loads. This framework efficiently quantifies the risk of BRB failure due to low-cycle fatigue fracture of the BRB core. The procedure includes a series of components that： （1） quantify BRB demand in terms of BRB core deformation histories generated through stochastic dynamic analyses; （2） quantify the limit-state of a BRB in terms of its remaining cumulative plastic ductility capacity based on an experimental database; and （3） evaluate the probability of BRB failure, given the quantified demand and capacity, through structural reliability analyses. Parametric studies were conducted to investigate the effects of the seismic load, and characteristics of the BRB and BRBF on the probability of brace failure. In addition, fragility curves （i.e., conditional probabilities of brace failure given ground shaking intensity parameters） were created by the proposed framework. While the framework presented in this paper is applied to the assessment of BRBFs, the modular nature of the framework components allows for application to other structural components and systems.

Entropy of Quantum Dynamical Systems and Sufficient Families in Orthomodular Lattices with Bayessian State

The purpose of the present paper is to study the entropy h_s(Φ) of a quantum dynamical systems Φ=(L,s,φ),where s is a bayessian state on an orthomodular lattice L.Having introduced the notion of entropy hs(φ,)of partition of a Boolean algebra B with respect to a state s and a state preserving homomorphism φ,we prove afew results on that,define the entropy of a dynamical system h_s(Φ),and show its invarianee.The concept of sufficientfamilies is also given and we establish that hs(Φ) comes out to be equal to the supremum of h_s(φ,),where variesover any sufficient family.The present theory has then been extended to the quantum dynamical system ( L,s,φ),whichas an effect of the theory of commutators and Bell inequalities can equivalently be replaced by the dynamical system(B,s_o,φ),where B is a Boolean algebra and so is a state on B.

政治经济学视域下数字新质生产力的形成逻辑与内涵研究

数字技术快速发展,各行业数字化转型不断深化,数字新质生产力正在成为推动经济增长和社会进步的关键力量。为了全面解析数字新质生产力的形成逻辑和丰富内涵,进而推动其发展,本文采用文献分析、理论分析与数理推导的方法,基于马克思主义政治经济学的生产力理论,探讨了社会生产力的历史演进及其发展趋势,深入解读了数字新质生产力的本质及内涵、外延,重点分析其形成逻辑和作用特征。研究结果表明,数字新质生产力的本质是由前沿数字技术创新驱动的,更具包容性、更体现新内涵的先进生产力。数字新质生产力的基本内涵包括劳动者、劳动资料、劳动对象及其优化组合的跃升,外延涉及全要素生产率的提升和产业结构的优化两个核心方面。数字技术革命性突破、生产要素创新性配置以及产业深度转型升级三者的联合作用推动了数字新质生产力的形成,其作用特征表现为高科技、高效能和高质量。文章进一步阐释了数字新质生产力的构成,即以数字技术、数据要素、数字产业化与产业数字化为核心的动力机制与劳动者、劳动资料、劳动对象等生产要素相互渗透,进而提出了数字新质生产力的计算公式,用于评估其影响力。研究表明,数字新质生产力的出现既是对传统马克思主义生产力理论的继承,也是其创新发展,是社会生产力发展进入新阶段的具象表现之一,对数字新质生产力的深入研究,为理解并推动数字经济时代的高质量发展提供了重要视角。

Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization

Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.

应用混合逻辑动态模型预测控制器的磁轴承三电平调制策略

传统磁轴承三电平调制策略在数字控制系统中存在控制延迟问题,影响电流纹波抑制效果。针对上述问题,提出一种基于混合逻辑动态模型预测控制器的磁轴承三电平调制策略。基于混杂系统理论,建立混合逻辑动态模型,统一表征出驱动电路充电、放电和续流工作模态,实现三电平调制;结合模型预测控制理论,将所建立的混合逻辑动态模型作为预测模型,预测磁轴承的控制电流,实现对控制延迟的补偿,并将预测控制电流送入到代价函数中,得出驱动电路的最优控制信号;基于所提调制策略构建了磁轴承控制系统,并与传统调制策略进行对比。仿真结果表明:在轻载扰动工况下,所提调制策略相比于传统三电平滞环调制策略与传统三电平脉冲宽度调制(pulse width modulation,PWM)策略,电流纹波分别降低了49.90%和49.87%;在中载扰动工况下,所提调制策略相比于传统三电平滞环调制策略与传统三电平PWM策略,电流纹波分别降低了49.99%和49.84%;在重载扰动工况下,所提调制策略相比于传统三电平滞环调制策略与传统三电平PWM策略,电流纹波分别降低了50.08%和49.77%。在三电平调制机制的基础上,所提调制策略能够有效补偿一个采样周期的控制延迟,达到降低电流纹波的效果。