Encoderless Five-phase PMa-SynRM Drive System Based on Robust Torque-speed Estimator with Super-twisting Sliding Mode Control

In this paper,a robust torque speed estimator(RTSE)for linear parameter changing(LPC)system is proposed and designed for an encoderless five-phase permanent magnet assisted synchronous reluctance motor(5-phase PMa-SynRM).This estimator is utilized for estimating the rotor speed and the load torque as well as can solve the speed sensor fault problem,as the feedback speed information is obtained directly from the virtual sensor.In addition,this technique is able to enhance the 5-phase PMa-SynRM performance by estimating the load torque for the real time compensation.The stability analysis of the proposed estimator is performed via Schur complement along with Lyapunov analysis.Furthermore,for improving the 5-phase PMa-SynRM performance,five super-twisting sliding mode controllers(ST-SMCs)are employed with providing a robust response without the impacts of high chattering problem.A super-twisting sliding mode speed controller(ST-SMSC)is employed for controlling the PMa-SynRM rotor speed,and four super-twisting sliding mode current controllers(ST-SMCCs)are employed for controlling the 5-phase PMa-SynRM currents.The stability analysis and the experimental results indicate the effectiveness along with feasibility of the proposed RTSE and the ST-SMSC with ST-SMCCs approach for a 750-W 5-phase PMa-SynRM under load disturbance,parameters variations,single open-phase fault,and adjacent two-phase open circuit fault conditions.

SELF-ORGANIZED SEMANTIC FEATURE EVOLUTION FOR AXIOMATIC DESIGN

Aiming at the problem existing in the computer aided design process that how to express the design intents with high-level engineering terminologies, a mechanical product self-organized semantic feature evolution technology for axiomatic design is proposed, so that the constraint relations between mechanical parts could be expressed in a semantic form which is more suitable for designers. By describing the evolution rules for semantic constraint information, the abstract expression of design semantics in mechanical product evolution process is realized and the constraint relations between parts are mapped to the geometric level from the semantic level; With semantic feature relation graph, the abstract semantic description, the semantic relative structure and the semantic constraint information are linked together; And the methods of semantic feature self-organized evolution are classified. Finally, combining a design example of domestic high-speed elevator, how to apply the theory to practical product development is illustrated and this method and its validity is described and verified. According to the study results, the designers are able to represent the design intents at an advanced semantic level in a more intuitional and natural way and the automation, recursion and visualization for mechanical product axiomatic design are also realized.

Method for Functional Design of Axiomatic Design Based on Connections

Axiomatic design（AD） is a popular design method,and satisfying the independence axiom is the basis of AD.However,AD doesn＇t provide methods to decompose functions then keep them independent and to handle coupled design.A few of ways of handling coupled design are mainly passive resolutions when coupled design exists,but not efficient to each product design.Hence,this paper presents an innovative approach to design and decompose functions of complex products based on functional connections,aiming at actively avoiding functional coupling.By contrasting with component networks,four kinds of relations among functions are identified,including spatial,energy,material,and information connection.Then the definitions of these relations and the dominant connection are given.Based on the definitions,the principles of functional decomposition and design are developed,in which each non-leaf function is broken into sub functions centered on its dominant connection with avoidance of functional cross and coupling,and sequentially satisfies the independence axiom.Then the operational flow of the proposed approach is constructed.Determining the dominant connection of a function,decomposing the function into sub functions in terms of the dominant connection and reverse examination and optimization are planed as the core steps in each zigzagging.Input process output（IPO） analysis is introduced to obtain the dominant connection of a function,some rules for examining and optimizing the decomposition results reversely according to oriented object theory are presented as well.An illustrative example about the pouring function of squeeze casting equipments presented demonstrates how to use the proposed approach,and indicates its effectiveness.The proposed approach expands the principles of AD,constructs a guidance policy for independent functional design of complex products based on AD,and can help decrease or actively avoid coupled design and improve design efficiency.

Performance Analysis and Comparison of Two Fault-Tolerant Model Predictive Control Methods for Five-Phase PMSM Drives

Model predictive current control(MPCC)and model predictive torque control(MPTC)are two derivatives of model predictive control.These two control methods have demonstrated their strengths in the fault-tolerant control of multiphase motor drives.To explore the inherent link,the pros and cons of two strategies,the performance analysis and comparative investigation of MPCC and MPTC are conducted through a five-phase permanent magnet synchronous motor with open-phase fault.In MPCC,the currents of fundamental and harmonic subspaces are simultaneously employed and constrained for a combined regulation of the open-circuit fault drive.In MPTC,apart from the torque and the stator flux related to fundamental subspace,the x-y currents are also considered and predicted to achieve the control of harmonic subspace.The principles of two methods are demonstrated in detail and the link is explored in terms of the cost function.Besides,the performance by two methods is experimentally assessed in terms of steady-state,transition,and dynamic tests.Finally,the advantages and disadvantages of each method are concluded.

Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma

The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.

Fault-Tolerant Operation of Five-Phase Permanent Magnet Synchronous Motor with Independent Phase Driving Control

The multi-phase motor drive system with multiple H-bridge power supply has high fault tolerance,which is widely used in aerospace,electric vehicle,ship integrated power system and other fields.In this paper,a fault-tolerant control strategy based on decoupling control and stator current compensation is proposed for the propulsion system of five-phase PMSM with independent neutrals.Firstly,the mathematical model of PMSM is established by using vector space decoupling method;Secondly,a stator current compensation method is adopted to carry out fault-tolerant control after the motor has single-phase and two-phase open-circuit faults and the fault-tolerant control system based on decoupling control is established;Finally,the decoupling control model and the fault-tolerant control of stator current compensation are verified by the simulation and experiment.The simulation and experiment results show that the method can reduce the torque ripple caused by the stator winding open-circuit fault,and the operation performance of the motor under fault condition is significantly improved.

Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V”

The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has continued investigating the extraordinary (paradigm-breaking) hypothesis of formal-axiological interpreting Newton’s mathematical principles of natural philosophy and, thus, has arrived to discrete mathematical modeling a system of formal axiology of nature by extracting and systematical studying its proper algebraic aspect. Along with the proper algebraic machinery, the axiomatic (hypothetic-deductive) method is exploited in this investigation systematically. The research results are the followings. 1) The Third Newton’s Law of mechanics has been modeled by a formal-axiological equation of two-valued algebraic system of metaphysics as formal axiology. (Precise defining the algebraic system is provided.) The formal-axiological equation has been established (and examined) in this algebraic system by accurate computing compositions of relevant evaluation-functions. Precise tabular definitions of the evaluation-functions are given. 2) The wonderful formula representing the Third Newton’s Law (in the relevant physical interpretation of the formal theory Sigma-V) has been derived logically in Sigma-V from the presumption of a-priori-ness of knowledge. A precise axiomatic definition of the nontrivial notion “a-priori-ness of knowledge” is given. The formal derivation is implemented in strict accordance with the rigor standard of D. Hilbert’s formalism;hence, checking the formal derivation submitted in this article is not a difficult task. With respect to proper theoretical physics, the formal inference is a nontrivial scientific novelty which has not been discussed and published elsewhere yet.

Integration of axiomatic design and theory of inventive problem solving for conceptual design

Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.

A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness

The general purpose of the research—systematical clarifying and explicating the too vague proper philosophical concepts of space, void, matter, motion, inertia, for making a logical harmony between them and the corresponding notions of proper physics. The special purpose of the research—invention (construction) of a formal inference of the well-known Newton’s first law of mechanics within a logically formalized axiomatic epistemology system from a set of precisely defined presumptions. For realizing this aim the following work has been done: a two-valued algebraic system of metaphysics as formal axiology has been applied to philosophical epistemology and philosophy of nature;a formal axiomatic theory called Sigma has been applied to physics for realizing the above-indicated special purpose of the research. Thus, constructing a discrete mathematical model of relationship between universal epistemology and philosophy of physics has been done. Research results: The main hitherto not published significantly new nontrivial scientific result of applied investigations presented in this article is a formal inference of the well-known Newton’s first law of mechanics within the formal axiomatic epistemology system Sigma from conjunction of the formal-axiological analog of the proper-law-of-mechanics (which analog is the formal-axiological law of two-valued algebra of metaphysics) and the assumption of a-priori-ness of knowledge. For obtaining this main research result, a set of accessory nontrivial novelties has been used, for instance;a precise algorithmic definition is given for the notion “law of metaphysics” in the algebraic system of metaphysics as formal axiology;a formal-axiological equivalence in the algebraic system is defined precisely. Precise tabular definitions are given for relevant evaluation-functions determined by evaluation-arguments, for example;“movement of (what, whom) x”;“speed of x”;“vector of x”;“velocity of x”;“magnitude of x”;“finiteness (definiteness) of x”;“dynamical closed-ness (isolated-ness) of x”;“constant-ness, immutability, conservation of x”.

Axiomatic Differential Geometry III-3-Its Landscape-Chapter 3: The Old Kingdom of Differential Geometers

The principal objective of this paper is to study the relationship between the old kingdom of differential geometry (the category of smooth manifolds) and its new kingdom (the category of functors on the category of Weil algebras to some smooth category). It is shown that the canonical embedding of the old kingdom into the new kingdom preserves Weil functors.

Comparative Study on Torque Performance of Five-phase Single-Stator and Double-Stator Permanent Magnet Synchronous Motors

This paper compares the torque characteristics of single stator permanent magnet synchronous motor(PMSM)and double-stator PMSM under different split-ratios,air-gap lengths and shaft diameters by finite element method.Firstly,the effects of split-ratio towards the torque characteristics of the two motor structures under different air-gap lengths are researched,the results show that the optimal split-ratios of the two motor structures do not change under different air-gap lengths,and the optimal split-ratio of the double-stator motor is greater than that of single-stator,and the torque of the double-stator motor is greater than that of single-stator motor with arbitrary split-ratio under the same air-gap length;Finally,the effects of the shaft diameter to the torque of the two motor structures are investigated,obtaining that with the increasing of shaft diameter,the electromagnetic torque of the single-stator motor is almost unchanged,however,the torque of the double-stator is gradually reduced,when the shaft diameter reached a certain extent,the electromagnetic torque of the double-stator motor is smaller than that of single-stator motor with the split ratio within a certain range,and the torque/quality ratio of the double-stator motor is smaller than that of single-stator motor with their optimal split ratio separately.

Axiomatic Design of Micro Quartz Rate Sensor

Quartz rate sensors （QRS） made out of one single piece of quartz crystal are inertial devices which can be used for general rate control, stabilization, automotive and aerospace/defense markets, etc. The mechanical design of the QRS has been investigated based on axiomatic design. The axiomatic design matrix of the mechanical structure of Coriolis Vibratory Gyroscopes （CVG） has been proposed. The mechanical function of QRS is divided into three Function Requirements （FR） , i. e. , FR1 is the drive mode, FR2 is the sense mode, FR3 is a coupled connection where the Coriolis force can couple the two modes with a term proportional to the rotational rate. A new QRS which is easy to be fabricated has been put forward. Furthermore, the new QRS indicated that the axiomatic design is a help to functional design of products.

Application of axiomatic approach to coal mine design field

Two design axioms and axiomatic approach were discussed. As an example of application, design process of a new style single prop was illustrated in term of axi- oms.

Analysis of Direct Torque Control for Marine Five-Phase Induction Motor

Based on the principle of direct torque control,a DTC(Direct Torque Control)system with five-phase induction motor has been studied.Providing direct control of stator flux and electromagnetic torque by optimized voltage vector,five-phase induction motor enhances flexibility of the invert states selection by increasing the number of voltage vectors,resulting in more precise control of stator flux and electromagnetic torque.The model of DTC for five-phase induction motor is constructed on equations and the method of approximate circle of torque track is used to conduct the simulation analysis of the system.The simulation results demonstrate that the DTC for five-phase induction motor control has merits of little calculation compared with vector control,simple structure,fast response and greater dynamic performance.

Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions

The present paper submits a result of applying a hitherto unknown logically formalized axiomatic axiology-and-epistemology theory “Sigma+V” to the relativity principle formulated by Galileo Galilei. By this application, the author has continued checking the remarkable (paradigm-breaking) hypothesis that formal-axiological interpreting strictly universal laws of classical theoretical mechanics could have a heuristic value for the theory proper. Along with systematical studying proper algebraic structure of formal axiology of nature, the axiomatic (hypothetic-deductive) method is used in this research as well. The investigation accomplishments are the followings. Galileo Galilei principle of relativity of motion has been represented in a two-valued algebraic system of formal axiology by a wonderful formal-axiological equation which could be called a “formal-axiological analog of Galileo relativity principle”. A precise definition of that algebraic system is given. The remarkable formal-axiological equation has been created (and checked) in that algebraic system by attentive computing relevant compositions of evaluation-functions. Precise definitions of the relevant evaluation-functions are accomplished by tables. The remarkable formula modeling Galileo Galilei principle of relativity of motion (given the appropriate interpretation of the formal theory) has been formally-logically inferred within Sigma+V from a couple of nontrivial assumptions, namely, 1) a precisely defined assumption of a-priori-ness of knowledge, 2) the above-mentioned formal-axiological analog of the relativity principle by Galileo Galilei. A not-manifest but quite exact axiomatic definition of “a-priori-ness of knowledge” is provided. The formal-logical inference is performed in perfect accordance with the mathematical rigor norms formulated within the formalism doctrine by D. Hilbert, therefore, examining the formal deductive inference submitted in the paper can be accomplished easily. Being a nontrivial scientific novelty for proper theoretical physics, hitherto the formal-logical derivation has not been published and discussed elsewhere.

布料包装设备中翻折机构的结构设计与运动分析

为解决中小型染整企业需要机械设备实现布料包装的问题,利用公理化设计理论,根据用户需求解析其布料包装设备中翻折机构的功能要求和结构设计要素。通过耦合设计分析提出符合独立性公理的机构设计方案。选取右侧由曲柄滑块机构与凸轮机构串联而成的六杆机构作为设计对象,利用位移矩阵法得到曲柄滑块机构尺寸,解析滑块位置与曲柄转角的关系。同时,分别选用等速运动规律和正弦加速度运动规律设计推程阶段廓线和回程廓线。此外,对翻折机构进行运动仿真得到翻折板的角位移、角速度和角加速曲线。研究表明,翻折板的运动特性满足设计要求并符合实际需求。

bla_(CMY-2)阳性禽源奇异变形杆菌的多重耐药特征

【目的】研究bla_(CMY-2)阳性禽源奇异变形杆菌的多重耐药特征,并分析菌株CY32全基因组序列结构。【方法】对5株bla_(CMY-2)阳性禽源奇异变形杆菌进行氟苯尼考和质粒介导氟喹诺酮类耐药基因检测、接合试验和bla_(CMY-2)基因的Southern杂交定位,对其中一株菌CY32进行全基因测序和生物信息学分析。【结果】5株奇异变形杆菌携带的bla_(CMY-2)位于染色体,其中,菌株CY12、CY32、S31和S52携带floR,菌株CY12和CY32携带qnrD。CY32的染色体同时含有SXT/R391型整合性接合元件(integrative and conjugative elements,ICEs)(ICEPmiJpn1)和PmGRI1共2种耐药基因岛。ICEs的可变区包含2个串联的复合型转座子(IS10构成),其中一个复合型转座子携带bla_(CMY-2);CY32的PmGRI1耐药岛含有12个耐药基因。与其他奇异变形杆菌携带的PmGRI1相比,多重耐药区差异最大的区域位于Tn21转座子。此外,CY32包含2个质粒,包括携带floR的IncQ质粒和携带qnrD的非接合质粒。奇异变形杆菌CY32携带15个耐药基因,呈现多重耐药的特性。【结论】奇异变形杆菌经基因岛和质粒获得多重耐药,使治疗奇异变形杆菌感染变得更加困难,应加强对动物源奇异变形杆菌耐药性监测。

几类一元模糊代数方程的可解性条件

在取Zadeh算子的模糊空间中讨论3类基本的一元模糊代数方程,给出这3类方程的可解性判别条件;证明第1类方程的解集构成取Zadeh算子模糊空间的凸子格;当方程中的蕴涵算子取→R蕴涵时,第2、3类模糊代数方程的解集构成取Zadeh算子模糊空间的凸子格.

以资产管理价值为导向的南京地铁资产信息体系构建

[目的]城市轨道交通资产形成过程中资产信息传输不畅,不仅存在资产“账实不符”等问题,而且在运营维护阶段,由于信息不可溯源,也为设备维修更换带来难度。对此,须加强资产全寿命期信息管理,构建城市轨道交通资产信息体系,提高城市轨道交通企业资产管理效率。[方法]梳理已有资产管理价值研究,归纳城市轨道交通资产管理价值,并以此为导向,总结既有城市轨道交通资产信息体系的缺陷。在此基础上,结合公理化设计理论,将资产管理价值融入资产全寿命周期动态管理过程,面向资产信息使用者开展需求调研,并纳入信息体系顶层设计。[结果及结论]城市轨道交通资产管理价值为:可靠性、功能性、有效性、可持续性。以南京地铁为研究对象,构建了由资产信息分类体系、编码体系和信息模板组成的城市轨道交通资产顶层信息体系。