Study on Independent Supervision Function of Design Assurance System

The effective operation of a design assurance system cannot be achieved without the effective performance of the independent supervision function.As one of the core functions of the design assurance system,the purpose of the independent supervision function is to ensure that the system operates within the scope of procedures and manuals.At present,the function of independent supervision is a difficult and confusing issue for various original equipment manufacturers as well as suppliers,and there is an urgent requirement to put forward relevant requirements and form relevant methods.Based on the above mentioned objective,the basic requirements of the independent supervision function of design assurance system were studied,the problems and deficiencies in the organization,staffing,and methods existing in the current independent supervision function were analyzed,the improvement suggestions and measures for the performance of the independent supervision function from the aspects of the organization,staffing,procedures,and suppliers were put forward.The present work and conclusions provide guidance and direction for the effective operation of the design assurance system.

Design of Retarded Fractional Delay Differential Systems Using the Method of Inequalities

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.

Fundamental Options for Designing Transmission Systems Supplying Metropolitan Centers

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.

DESIGN OF RECONFIGURABLE MANUFACTURING SYSTEMS WITH STRONGLY COUPLED NATURE

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.

Systems engineering optimization of Omid-2 in the conceptual design phase

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.

Design of the Pumping Stations and the Gas Puffing Systems for the Superconducting Tokamak HT-7U

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.

Hybrid approach for fuzzy system design

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.

Design of LD in-band direct-pumping side surface polished micro-rod Nd:YVO_4 laser

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.

H2 and H∞-Feedback Control Design for Nonlinear Gene Networks via Successive Galerkin’s Approximation

This paper presents a design method of H2 and H∞-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.

Design and Development of an Innovative System to Stabilize a Windsurf

Research and development within the windsurfing field is comprised purely of previous experience, prototype building and testing on the water. The use of Computer Aided Design （CAD） systems and simulation packages can significantly help in the design and testing phases by optimizing the design before a prototype is built. In the paper, supported by these software tools, the authors show a new patented system, named iDO, developed with the aim to stabilize the windsurf, to allow reducing the initial difficulties that a beginner meets in the learning phase. The design process, from the idea to the manufacturing aspects, with all the technical and technological problems, is described. The validation product was carried out by means of user evaluation questionnaires from sixty-four windsurfing beginners in several countries over world. The results show that the users are significantly satisfied with the product.

HUMAN-IMITATING INTELLIGENT CONTROL AND TRIPLE INVERTED-PENDULUM

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.

DECENTRALIZED ROBUST CONTROL FOR UNCERTAIN FLEXIBLE SPACE STATION

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.

Abstract security patterns and the design of secure systems

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.

Analysis and design of secure cyber-physical systems

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.

An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems

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.

Analytical Method for Designing Grating Compensated Dispersion-Managed Soliton Systems

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.

Robust Observer Design of Nonlinear Systems

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.

H∞-Feedback Control of Heparin-Controlled Blood Clotting Network for Cardiac Surgeries

This paper presents a solution methodology for H∞-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.

Design of Non-rational MIMO Feedback Systems with Inputs and Outputs Satisfying Certain Bounding Conditions by Using Rational Approximants

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:Adaptive Trailing Edge Device(ATED)design process review

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.