Methods based on numerical optimization are useful and effective in the design of control systems. This paper describes the design of retarded fractional delay differential systems (RFDDSs) by the method of inequali...Methods based on numerical optimization are useful and effective in the design of control systems. This paper describes the design of retarded fractional delay differential systems (RFDDSs) by the method of inequalities, in which the design problem is formulated so that it is suitable for solution by numerical methods. Zakian's original formulation, which was first proposed in connection with rational systems, is extended to the case of RFDDSs. In making the use of this formulation possible for RFDDSs, the associated stability problems are resolved by using the stability test and the numerical algorithm for computing the abscissa of stability recently developed by the authors. During the design process, the time responses are obtained by a known method for the numerical inversion of Laplace transforms. Two numerical examples are given, where fractional controllers are designed for a time-delay and a heat-conduction plants.展开更多
Transgression networks in metropolitan centers need to supply a large quantity of power in a reliable manner to vital loads that are located within. A transmission network supplying such an important area must have a ...Transgression networks in metropolitan centers need to supply a large quantity of power in a reliable manner to vital loads that are located within. A transmission network supplying such an important area must have a high standard of reliability. Therefore, those transmission systems require a special form of redundancy in order to prevent sustained outages after severe contingencies such as multiple faults. This paper outlines different forms of redundancy, and the fundamental options for designing a metropolitan network based on different forms of redundancy are illustrated. Relative merits and drawbacks of network designs based on each form of redundancy are also shown.展开更多
Today's manufacturing cnvironmem forces manufacturing companies to make as many product variations as possible at affordable costs within a short time. Mass customisation is one of most important technologies for com...Today's manufacturing cnvironmem forces manufacturing companies to make as many product variations as possible at affordable costs within a short time. Mass customisation is one of most important technologies for companies to achieve their objectives. Efforts to mass customisation should be made on two aspects: (1) To modularize products and make them as less differences as possible; (2) To design manufacturing resources and make them provide as many processes variations as possible. This paper reports our recent work on aspect (2), i.e. how to design a reconfignrable manufacturing system (RMS) so that it can be competent to accomplish various processes optimally; Reconfignrable robot system (RRS) is taken as an example. RMS design involves architecture design and configuration design, and configuration design is further divided in design analysis and design synthesis. Axiomatic design theory (ADT) is applied to architecture design, the features and issues of RRS configuration design are discussed, automatic modelling method is developed for design analysis, and concurrent design methodology is presented for design synthesis.展开更多
Due to the importance and role of systems engineering in space mission developments, optimization of Omid's systems engineering as a milestone to its current and future generations is focused. In this regard systems ...Due to the importance and role of systems engineering in space mission developments, optimization of Omid's systems engineering as a milestone to its current and future generations is focused. In this regard systems engineering management organization as the basis of optimization work flow in the conceptual design phase is proposed for improvement. To improve the systems engineering management, an agile enhanced organization chart is developed that defines various system duties. This is a type of concurrent engineering approach that promotes direct communication and data interchange between the team members. Due to the importance of decision making in the conceptual design phase, two design matrices are constructed that portray merits of various design options in terms of improved satellite life as well as specific choices of remote sensing capability for the Omid second generation(Omid-2). Conceptual design optimization is explored considering several structural objectives as well as optimal solar energy absorption utilizing a multiple criteria decision making approach. The Eigenvector method is utilized to formulate the objective function via expert judgment. This approach is robust with respect to designer probable miss-judgment. The optimized version of Omid-2 turned out to be a passive Z-axis spin stabilized satellite made of hexagonal honeycomb configuration with carbon-epoxy side panels and Aluminum bottom plate.展开更多
The design of the pumping stations and the gas injection systems for the inner Chamber and the cryostat on HT-7U superconducting tokamak is described in this paper.
A 'Human-Imitating Intelligent Control Theory' with 'generalized reduction' and 'Human Imitating' concepts as its kernel is proposed. And a world puzzlein the control circles is solved successf...A 'Human-Imitating Intelligent Control Theory' with 'generalized reduction' and 'Human Imitating' concepts as its kernel is proposed. And a world puzzlein the control circles is solved successfully based on this theory. The puzzle is thewell-known 'triple inverted pendulum control' using a SINGLE motor. A human-imitating intelligent technique to control inverted pendulum is here described. The success. ful experimental results show that our control objective can be achieved without a precise mathematical model of the plant. Finally, general principles of designing complexautomatic control systems based on the human-imitating intelligent control theory areconcluded.展开更多
A decentralized variable-structure robust control technique for uncertain large-scale systems is proposed and using the proposed technique. a decentralized robust control system for uncertain flexible space station is...A decentralized variable-structure robust control technique for uncertain large-scale systems is proposed and using the proposed technique. a decentralized robust control system for uncertain flexible space station is designed. The designed robust control system can guarantee the stability and safe operation of space station in a wide range of system parameters variations and highly intensive external disturbances. In addition. because decentralized adaptation laws for the upper bounds of system uncertainties are introduced, the control technique is particularly applicable to the uncertain flexible space station with complex structure whose bounds of system uncertainties can not be determined or vary with time.展开更多
A hybrid approach for fuzzy system design based on clustering and a kind of neurofuzzy networks is proposed. An unsupervised clustering technique is firstly used to determine the number of if-then fuzzy rules and gene...A hybrid approach for fuzzy system design based on clustering and a kind of neurofuzzy networks is proposed. An unsupervised clustering technique is firstly used to determine the number of if-then fuzzy rules and generate an initial fuzzy rule base from the given input-output data. Then, a class of neurofuzzy networks is constructed and its weights are tuned so that the obtained fuzzy rule base has a high accuracy. Finally, two examples of function approximation problems are given to illustrate the effectiveness of the proposed approach.展开更多
To diminish the thermal load, two ways, that is, in-band direct pumping and micro-rod crystal, could be adopted at the same time. The efficiency of LD in-band direct-pumping side surface polished micro-rod Nd:YVO_4 l...To diminish the thermal load, two ways, that is, in-band direct pumping and micro-rod crystal, could be adopted at the same time. The efficiency of LD in-band direct-pumping side surface polished micro-rod Nd:YVO_4 laser is numerically analyzed. By optimizing parameters such as crystal length, laser mode radius, pump beam radius, doping concentration and crystal cross-section size, the overall efficiency can reach over 50%. It is found that with micro-rod crystal implemented in the laser oscillator, high overall efficiency LD in-band direct-pumping Nd:YVO_4 laser could be realized. High efficiency combined with low thermal load makes this laser an outstanding scheme for building high-power Nd:YVO_4 lasers.展开更多
This paper presents a design method of H<sub>2</sub> and H<sub>∞</sub>-feedback control loop for nonlinear smooth gene networks that are in control affine form. Formulaic solution methodology ...This paper presents a design method of H<sub>2</sub> and H<sub>∞</sub>-feedback control loop for nonlinear smooth gene networks that are in control affine form. Formulaic solution methodology for solving the nonlinear partial differential equations, namely the Hamilton-Jacobi-Bellman and Hamilton-Jacobi-Isaacs equations through successive Galerkin’s approximation is implemented and the results are compared. Throughout the implementation, there were several caveats that need to be further resolved for practical applications in general cases. Such issues and the clarification of causes are mathematically established and reviewed.展开更多
This paper presents a solution methodology for H<sub>∞</sub>-feedback control design problem of Heparin controlled blood clotting network under the presence of stochastic noise. The formulaic solution pro...This paper presents a solution methodology for H<sub>∞</sub>-feedback control design problem of Heparin controlled blood clotting network under the presence of stochastic noise. The formulaic solution procedure to solve nonlinear partial differential equation, the Hamilton-Jacobi-Isaacs equation with Successive Galrkin’s Approximation is sketched and validity is proved. According to Lyapunov’s theory, with solutions of the nonlinear PDEs, robust feedback control is designed. To confirm the performance and robustness of the designed controller, numerical and Monte-Carlo simulation results by Simulink software on MATLAB are provided.展开更多
Cyber-physical systems (CPSs) are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdi...Cyber-physical systems (CPSs) are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems, industrial process control, aerospace and automobile engineering, health-care and assisted living, to just name a few. For many of these systems, secure operations are of key con- cerns. In particular, for some safety-critical applications, security is of paramount importance. Diverse motivations and strong incentives exist everywhere and at any time for launching malicious attacks on the CPSs, for example, economic reasons (e.g., by reducing or even not paying electricity charge) and terrorism the purpose of which is apparent.展开更多
This paper presents a robust adaptive state feedback control scheme for a class of parametric-strict-feedback nonlinear systems in the presence of time varying actuator failures. The designed adaptive controller compe...This paper presents a robust adaptive state feedback control scheme for a class of parametric-strict-feedback nonlinear systems in the presence of time varying actuator failures. The designed adaptive controller compensates a general class of actuator failures without any need for explicit fault detection. The parameters, times, and patterns of the considered failures are completely unknown. The proposed controller is constructed based on a backstepping design method. The global boundedness of all the closed-loop signals is guaranteed and the tracking error is proved to converge to a small neighborhood of the origin. The proposed approach is employed for a two-axis positioning stage system as well as an aircraft wing system. The simulation results show the correctness and effectiveness of the proposed robust adaptive actuator failure compensation approach.展开更多
Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, s...Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.展开更多
During the initial stages of software development,the primary goal is to define precise and detailed requirements without concern for software realizations.Security constraints should be introduced then and must be ba...During the initial stages of software development,the primary goal is to define precise and detailed requirements without concern for software realizations.Security constraints should be introduced then and must be based on the semantic aspects of applications,not on their software architectures,as it is the case in most secure development methodologies.In these stages,we need to identify threats as attacker goals and indicate what conceptual security defenses are needed to thwart these goals,without consideration of implementation details.We can consider the effects of threats on the application assets and try to find ways to stop them.These threats should be controlled with abstract security mechanisms that can be realized by abstract security patterns(ASPs),that include only the core functions of these mechanisms,which must be present in every implementation of them.An abstract security pattern describes a conceptual security mechanism that includes functions able to stop or mitigate a threat or comply with a regulation or institutional policy.We describe here the properties of ASPs and present a detailed example.We relate ASPs to each other and to Security Solution Frames,which describe families of related patterns.We show how to include ASPs to secure an application,as well as how to derive concrete patterns from them.Finally,we discuss their practical value,including their use in“security by design”and IoT systems design.展开更多
We show a useful analytical method to design grating compensated dispersion-managed systems. Our method is in good agreement with the numerical results even in the presence of group delay ripples in the chirped fiber ...We show a useful analytical method to design grating compensated dispersion-managed systems. Our method is in good agreement with the numerical results even in the presence of group delay ripples in the chirped fiber gratings.展开更多
A design method of robust observer is proposed for a class of nonlinear systems.The advantages of the designed observer,such as simpler design process, strong robustness and wider scope or application,are indicated.Fi...A design method of robust observer is proposed for a class of nonlinear systems.The advantages of the designed observer,such as simpler design process, strong robustness and wider scope or application,are indicated.Finally,some examples are given to show the efectiveness of the design method.展开更多
When a feedback system has components described by non-rational transfer functions, a standard practice in designing such a system is to replace the non-rational functions with rational approximants and then carry out...When a feedback system has components described by non-rational transfer functions, a standard practice in designing such a system is to replace the non-rational functions with rational approximants and then carry out the design with the approximants by means of a method that copes with rational systems. In order to ensure that the design carried out with the approximants still provides satisfactory results for the original system, a criterion of approximation should be explicitly taken into account in the design formulation. This paper derives such a criterion for multi-input multi-output(MIMO) feedback systems whose design objective is to ensure that the absolute values of every error and every controller output components always stay within prescribed bounds whenever the inputs satisfy certain bounding conditions. The obtained criterion generalizes a known result which was derived for single-input single-output(SISO) systems; furthermore, for a given rational approximant matrix, it is expressed as a set of inequalities that can be solved in practice. Finally, a controller for a binary distillation column is designed by using the criterion in conjunction with the method of inequalities. The numerical results clearly demonstrate that the usefulness of the criterion in obtaining a design solution for the original system.展开更多
SARISTU was a big cooperation project granted by the European Commission,7th Framework Programme,carried out between 2011 and 2015.It dealt with smart aeronautic structures,both morphing and sensored;its main target w...SARISTU was a big cooperation project granted by the European Commission,7th Framework Programme,carried out between 2011 and 2015.It dealt with smart aeronautic structures,both morphing and sensored;its main target was to demonstrate the feasibility of designing,manufacturing and operating in representative environment,instrumented structures.Till now,it represents the major effort carried out within the European Union on the development of adaptive architectures for air systems.Inside that big activity,the realization of an Adaptive Trailing Edge Device(ATED)for wing camber adaptations aimed at compensating the weight reduction following the fuel consumption during cruise was addressed.It made the core of investigations target variable geometry aircraft components together with two other analyses concerning the development of shape-changing winglet and droop nose.ATED activities were conducted by the Italian Aerospace Research Centre(CIRA)in tight cooperation with the University of Napoli,"Federico II",who coordinated a group of 12 different partners from 8 different nations(France,Germany,Greece,the Netherlands,Israel,Spain,Turkey,and Italy).In this paper,an integral synthesis of that work is reported,with a focus on the definition and realization of the components of the presented device.The publication is in fact meant as the first part of a series that is aimed at overviewing the whole adaptive trailing edge development,till wind tunnel tests execution.Such a concise report is a critical and harmonized review of what have been performed by many colleagues spread all over Europe,all of which are duly recalled in the reported bibliography where the reader may access more detailed information and descriptions.In detail,the paper starts with a general introduction of the concept and its aims,to move to the specs definition immediately after.Then,it deals with a short but comprehensive description of the main ATED components:structural skeleton,skin,actuation and sensing systems.It is worth remarking that the paragraph dedicated to the body frame includes some discussion about aeroelastic assessment and manufacture,seen as complementation for a complete assessment of the design constraints.展开更多
The design of complex aerospace systems is a multidisciplinary design optimization(MDO)problem involving the interaction of multiple disciplines.However,because of the necessity of evaluating expensive black-box simul...The design of complex aerospace systems is a multidisciplinary design optimization(MDO)problem involving the interaction of multiple disciplines.However,because of the necessity of evaluating expensive black-box simulations,the enormous computational cost of solving MDO problems in aerospace systems has also become a problem in practice.To resolve this,metamodel-based design optimization techniques have been applied to MDO.With these methods,system models can be rapidly predicted using approximate metamodels to improve the optimization efficiency.This paper presents an overall survey of metamodel-based MDO for aerospace systems.From the perspective of aerospace system design,this paper introduces the fundamental methodology and technology of metamodel-based MDO,including aerospace system MDO problem formulation,metamodeling techniques,state-of-the-art metamodel-based multidisciplinary optimization strategies,and expensive black-box constraint-handling mechanisms.Moreover,various aerospace system examples are presented to illustrate the application of metamodel-based MDOs to practical engineering.The conclusions derived from this work are summarized in the final section of the paper.The survey results are expected to serve as guide and reference for designers involved in metamodel-based MDO in the field of aerospace engineering.展开更多
基金supported by the AUN/SEED-Net collaborative research program.
文摘Methods based on numerical optimization are useful and effective in the design of control systems. This paper describes the design of retarded fractional delay differential systems (RFDDSs) by the method of inequalities, in which the design problem is formulated so that it is suitable for solution by numerical methods. Zakian's original formulation, which was first proposed in connection with rational systems, is extended to the case of RFDDSs. In making the use of this formulation possible for RFDDSs, the associated stability problems are resolved by using the stability test and the numerical algorithm for computing the abscissa of stability recently developed by the authors. During the design process, the time responses are obtained by a known method for the numerical inversion of Laplace transforms. Two numerical examples are given, where fractional controllers are designed for a time-delay and a heat-conduction plants.
文摘Transgression networks in metropolitan centers need to supply a large quantity of power in a reliable manner to vital loads that are located within. A transmission network supplying such an important area must have a high standard of reliability. Therefore, those transmission systems require a special form of redundancy in order to prevent sustained outages after severe contingencies such as multiple faults. This paper outlines different forms of redundancy, and the fundamental options for designing a metropolitan network based on different forms of redundancy are illustrated. Relative merits and drawbacks of network designs based on each form of redundancy are also shown.
文摘Today's manufacturing cnvironmem forces manufacturing companies to make as many product variations as possible at affordable costs within a short time. Mass customisation is one of most important technologies for companies to achieve their objectives. Efforts to mass customisation should be made on two aspects: (1) To modularize products and make them as less differences as possible; (2) To design manufacturing resources and make them provide as many processes variations as possible. This paper reports our recent work on aspect (2), i.e. how to design a reconfignrable manufacturing system (RMS) so that it can be competent to accomplish various processes optimally; Reconfignrable robot system (RRS) is taken as an example. RMS design involves architecture design and configuration design, and configuration design is further divided in design analysis and design synthesis. Axiomatic design theory (ADT) is applied to architecture design, the features and issues of RRS configuration design are discussed, automatic modelling method is developed for design analysis, and concurrent design methodology is presented for design synthesis.
文摘Due to the importance and role of systems engineering in space mission developments, optimization of Omid's systems engineering as a milestone to its current and future generations is focused. In this regard systems engineering management organization as the basis of optimization work flow in the conceptual design phase is proposed for improvement. To improve the systems engineering management, an agile enhanced organization chart is developed that defines various system duties. This is a type of concurrent engineering approach that promotes direct communication and data interchange between the team members. Due to the importance of decision making in the conceptual design phase, two design matrices are constructed that portray merits of various design options in terms of improved satellite life as well as specific choices of remote sensing capability for the Omid second generation(Omid-2). Conceptual design optimization is explored considering several structural objectives as well as optimal solar energy absorption utilizing a multiple criteria decision making approach. The Eigenvector method is utilized to formulate the objective function via expert judgment. This approach is robust with respect to designer probable miss-judgment. The optimized version of Omid-2 turned out to be a passive Z-axis spin stabilized satellite made of hexagonal honeycomb configuration with carbon-epoxy side panels and Aluminum bottom plate.
文摘The design of the pumping stations and the gas injection systems for the inner Chamber and the cryostat on HT-7U superconducting tokamak is described in this paper.
文摘A 'Human-Imitating Intelligent Control Theory' with 'generalized reduction' and 'Human Imitating' concepts as its kernel is proposed. And a world puzzlein the control circles is solved successfully based on this theory. The puzzle is thewell-known 'triple inverted pendulum control' using a SINGLE motor. A human-imitating intelligent technique to control inverted pendulum is here described. The success. ful experimental results show that our control objective can be achieved without a precise mathematical model of the plant. Finally, general principles of designing complexautomatic control systems based on the human-imitating intelligent control theory areconcluded.
文摘A decentralized variable-structure robust control technique for uncertain large-scale systems is proposed and using the proposed technique. a decentralized robust control system for uncertain flexible space station is designed. The designed robust control system can guarantee the stability and safe operation of space station in a wide range of system parameters variations and highly intensive external disturbances. In addition. because decentralized adaptation laws for the upper bounds of system uncertainties are introduced, the control technique is particularly applicable to the uncertain flexible space station with complex structure whose bounds of system uncertainties can not be determined or vary with time.
基金This project was supported by the National Natural Science Foundation of China (60141002).
文摘A hybrid approach for fuzzy system design based on clustering and a kind of neurofuzzy networks is proposed. An unsupervised clustering technique is firstly used to determine the number of if-then fuzzy rules and generate an initial fuzzy rule base from the given input-output data. Then, a class of neurofuzzy networks is constructed and its weights are tuned so that the obtained fuzzy rule base has a high accuracy. Finally, two examples of function approximation problems are given to illustrate the effectiveness of the proposed approach.
文摘To diminish the thermal load, two ways, that is, in-band direct pumping and micro-rod crystal, could be adopted at the same time. The efficiency of LD in-band direct-pumping side surface polished micro-rod Nd:YVO_4 laser is numerically analyzed. By optimizing parameters such as crystal length, laser mode radius, pump beam radius, doping concentration and crystal cross-section size, the overall efficiency can reach over 50%. It is found that with micro-rod crystal implemented in the laser oscillator, high overall efficiency LD in-band direct-pumping Nd:YVO_4 laser could be realized. High efficiency combined with low thermal load makes this laser an outstanding scheme for building high-power Nd:YVO_4 lasers.
文摘This paper presents a design method of H<sub>2</sub> and H<sub>∞</sub>-feedback control loop for nonlinear smooth gene networks that are in control affine form. Formulaic solution methodology for solving the nonlinear partial differential equations, namely the Hamilton-Jacobi-Bellman and Hamilton-Jacobi-Isaacs equations through successive Galerkin’s approximation is implemented and the results are compared. Throughout the implementation, there were several caveats that need to be further resolved for practical applications in general cases. Such issues and the clarification of causes are mathematically established and reviewed.
文摘This paper presents a solution methodology for H<sub>∞</sub>-feedback control design problem of Heparin controlled blood clotting network under the presence of stochastic noise. The formulaic solution procedure to solve nonlinear partial differential equation, the Hamilton-Jacobi-Isaacs equation with Successive Galrkin’s Approximation is sketched and validity is proved. According to Lyapunov’s theory, with solutions of the nonlinear PDEs, robust feedback control is designed. To confirm the performance and robustness of the designed controller, numerical and Monte-Carlo simulation results by Simulink software on MATLAB are provided.
文摘Cyber-physical systems (CPSs) are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems, industrial process control, aerospace and automobile engineering, health-care and assisted living, to just name a few. For many of these systems, secure operations are of key con- cerns. In particular, for some safety-critical applications, security is of paramount importance. Diverse motivations and strong incentives exist everywhere and at any time for launching malicious attacks on the CPSs, for example, economic reasons (e.g., by reducing or even not paying electricity charge) and terrorism the purpose of which is apparent.
基金supported by Esfahan Regional Electric Company(EREC)
文摘This paper presents a robust adaptive state feedback control scheme for a class of parametric-strict-feedback nonlinear systems in the presence of time varying actuator failures. The designed adaptive controller compensates a general class of actuator failures without any need for explicit fault detection. The parameters, times, and patterns of the considered failures are completely unknown. The proposed controller is constructed based on a backstepping design method. The global boundedness of all the closed-loop signals is guaranteed and the tracking error is proved to converge to a small neighborhood of the origin. The proposed approach is employed for a two-axis positioning stage system as well as an aircraft wing system. The simulation results show the correctness and effectiveness of the proposed robust adaptive actuator failure compensation approach.
基金supported by the National Natural Science Foundation of China (No.61304111)National Basic Research Program of China (No. 2014CB744904)Fundamental Research Funds for the Central Universities of China (Nos. YWF-14-KKX-001 and YWF-13-JQCJ)
文摘Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.
基金This work received no external funding,but the National Institute of Informatics of Japan funded the trip of the first and fourth authors to Tokyo to participate in meetings where the idea of this paper was developed.
文摘During the initial stages of software development,the primary goal is to define precise and detailed requirements without concern for software realizations.Security constraints should be introduced then and must be based on the semantic aspects of applications,not on their software architectures,as it is the case in most secure development methodologies.In these stages,we need to identify threats as attacker goals and indicate what conceptual security defenses are needed to thwart these goals,without consideration of implementation details.We can consider the effects of threats on the application assets and try to find ways to stop them.These threats should be controlled with abstract security mechanisms that can be realized by abstract security patterns(ASPs),that include only the core functions of these mechanisms,which must be present in every implementation of them.An abstract security pattern describes a conceptual security mechanism that includes functions able to stop or mitigate a threat or comply with a regulation or institutional policy.We describe here the properties of ASPs and present a detailed example.We relate ASPs to each other and to Security Solution Frames,which describe families of related patterns.We show how to include ASPs to secure an application,as well as how to derive concrete patterns from them.Finally,we discuss their practical value,including their use in“security by design”and IoT systems design.
文摘We show a useful analytical method to design grating compensated dispersion-managed systems. Our method is in good agreement with the numerical results even in the presence of group delay ripples in the chirped fiber gratings.
文摘A design method of robust observer is proposed for a class of nonlinear systems.The advantages of the designed observer,such as simpler design process, strong robustness and wider scope or application,are indicated.Finally,some examples are given to show the efectiveness of the design method.
基金financial support from the honour program of the Department of Electrical Engineering,Faculty of Engineering,Chulalongkorn University
文摘When a feedback system has components described by non-rational transfer functions, a standard practice in designing such a system is to replace the non-rational functions with rational approximants and then carry out the design with the approximants by means of a method that copes with rational systems. In order to ensure that the design carried out with the approximants still provides satisfactory results for the original system, a criterion of approximation should be explicitly taken into account in the design formulation. This paper derives such a criterion for multi-input multi-output(MIMO) feedback systems whose design objective is to ensure that the absolute values of every error and every controller output components always stay within prescribed bounds whenever the inputs satisfy certain bounding conditions. The obtained criterion generalizes a known result which was derived for single-input single-output(SISO) systems; furthermore, for a given rational approximant matrix, it is expressed as a set of inequalities that can be solved in practice. Finally, a controller for a binary distillation column is designed by using the criterion in conjunction with the method of inequalities. The numerical results clearly demonstrate that the usefulness of the criterion in obtaining a design solution for the original system.
基金The research herein reported did gratefully receive funding from Seventh Framework Programme of the European Union(FP7/2007-2013)under Grant Agreement N.284562,SARISTUThe project was prodigiously and effectively coordinated by Piet Christof Woelcken(Airbus)with the support of Michael Papadopoulos(EASN–European Aeronautic Science Network).
文摘SARISTU was a big cooperation project granted by the European Commission,7th Framework Programme,carried out between 2011 and 2015.It dealt with smart aeronautic structures,both morphing and sensored;its main target was to demonstrate the feasibility of designing,manufacturing and operating in representative environment,instrumented structures.Till now,it represents the major effort carried out within the European Union on the development of adaptive architectures for air systems.Inside that big activity,the realization of an Adaptive Trailing Edge Device(ATED)for wing camber adaptations aimed at compensating the weight reduction following the fuel consumption during cruise was addressed.It made the core of investigations target variable geometry aircraft components together with two other analyses concerning the development of shape-changing winglet and droop nose.ATED activities were conducted by the Italian Aerospace Research Centre(CIRA)in tight cooperation with the University of Napoli,"Federico II",who coordinated a group of 12 different partners from 8 different nations(France,Germany,Greece,the Netherlands,Israel,Spain,Turkey,and Italy).In this paper,an integral synthesis of that work is reported,with a focus on the definition and realization of the components of the presented device.The publication is in fact meant as the first part of a series that is aimed at overviewing the whole adaptive trailing edge development,till wind tunnel tests execution.Such a concise report is a critical and harmonized review of what have been performed by many colleagues spread all over Europe,all of which are duly recalled in the reported bibliography where the reader may access more detailed information and descriptions.In detail,the paper starts with a general introduction of the concept and its aims,to move to the specs definition immediately after.Then,it deals with a short but comprehensive description of the main ATED components:structural skeleton,skin,actuation and sensing systems.It is worth remarking that the paragraph dedicated to the body frame includes some discussion about aeroelastic assessment and manufacture,seen as complementation for a complete assessment of the design constraints.
基金This work was supported by the National Natural Science Foundation of China(Nos.52005288 and 51675047)the Aeronautical Science Foundation of China(No.2019ZC072003).
文摘The design of complex aerospace systems is a multidisciplinary design optimization(MDO)problem involving the interaction of multiple disciplines.However,because of the necessity of evaluating expensive black-box simulations,the enormous computational cost of solving MDO problems in aerospace systems has also become a problem in practice.To resolve this,metamodel-based design optimization techniques have been applied to MDO.With these methods,system models can be rapidly predicted using approximate metamodels to improve the optimization efficiency.This paper presents an overall survey of metamodel-based MDO for aerospace systems.From the perspective of aerospace system design,this paper introduces the fundamental methodology and technology of metamodel-based MDO,including aerospace system MDO problem formulation,metamodeling techniques,state-of-the-art metamodel-based multidisciplinary optimization strategies,and expensive black-box constraint-handling mechanisms.Moreover,various aerospace system examples are presented to illustrate the application of metamodel-based MDOs to practical engineering.The conclusions derived from this work are summarized in the final section of the paper.The survey results are expected to serve as guide and reference for designers involved in metamodel-based MDO in the field of aerospace engineering.