Preconditioned Iterative Methods for Algebraic Systems from Multiplicative Half-Quadratic Regularization Image Restorations

Image restoration is often solved by minimizing an energy function consisting of a data-fidelity term and a regularization term.A regularized convex term can usually preserve the image edges well in the restored image.In this paper,we consider a class of convex and edge-preserving regularization functions,i.e.,multiplicative half-quadratic regularizations,and we use the Newton method to solve the correspondingly reduced systems of nonlinear equations.At each Newton iterate,the preconditioned conjugate gradient method,incorporated with a constraint preconditioner,is employed to solve the structured Newton equation that has a symmetric positive definite coefficient matrix. The eigenvalue bounds of the preconditioned matrix are deliberately derived,which can be used to estimate the convergence speed of the preconditioned conjugate gradient method.We use experimental results to demonstrate that this new approach is efficient, and the effect of image restoration is reasonably well.

Programming Logic Modeling and Cross-Program Defect Detection Method for Object-Oriented Code

Code defects can lead to software vulnerability and even produce vulnerability risks.Existing research shows that the code detection technology with text analysis can judge whether object-oriented code files are defective to some extent.However,these detection techniques are mainly based on text features and have weak detection capabilities across programs.Compared with the uncertainty of the code and text caused by the developer’s personalization,the programming language has a stricter logical specification,which reflects the rules and requirements of the language itself and the developer’s potential way of thinking.This article replaces text analysis with programming logic modeling,breaks through the limitation of code text analysis solely relying on the probability of sentence/word occurrence in the code,and proposes an object-oriented language programming logic construction method based on method constraint relationships,selecting features through hypothesis testing ideas,and construct support vector machine classifier to detect class files with defects and reduce the impact of personalized programming on detection methods.In the experiment,some representative Android applications were selected to test and compare the proposed methods.In terms of the accuracy of code defect detection,through cross validation,the proposed method and the existing leading methods all reach an average of more than 90%.In the aspect of cross program detection,the method proposed in this paper is superior to the other two leading methods in accuracy,recall and F1 value.

Application of diflerential constraint method to exact solution of second-grade fluid

A differential constraint method is used to obtain analytical solutions of a second-grade fluid flow. By using the first-order differential constraint condition, exact solutions of Poiseuille flows, jet flows and Couette flows subjected to suction or blowing forces, and planar elongational flows are derived. In addition, two new classes of exact solutions for a second-grade fluid flow are found. The obtained exact solutions show that the non-Newtonian second-grade flow behavior depends not only on the material viscosity but also on the material elasticity. Finally, some boundary value problems are discussed.

THE INTEGRATION METHODS OF VACCO DYNAMICS EQUATION OFNONLINEAR NONHOLONOMIC SYSTEM

This paper presents the integration methods for vacco dynmmies equations of nonlinear nonholononic system,First.vacco dynamies equations are written in the canonical form and the field form.second the gradient methods the single-componentmethods and the field method are used to integrate the dynamics equations of the corresponding holonomic system respectively.And considering the restriction of nonholonomic construint to the initial conditions the solutions of Vacco dynamics cquations of nonlinear nonholonomic system are obtained.

Type Synthesis and Characteristic Analysis of a Family of 2-DOF Rotational Decoupled Parallel Mechanisms

It is widely used for the rotational parallel mechanism in the field of spatial orientation. While owing to the existence of coupling, the forward kinematic solution and the control of the general rotational parallel mechanism are especially difficult. If decoupling can be realized, the kinematic analysis of the mechanism will be very simple. Presently, the research of the parallel mechanism is focused on the inverse solution and structure optimization, and there is a lack of rotation decoupled parallel mechanisms （DPMs）. So this paper proposes a family of 2 degree of freedom （DOF） rotational DPMs based on the four-bar linkage mechanism, and performs a characteristic analysis. This family of DPMs is composed of a moving platform, a fixed base and three limbs. Taking U_RRU SPU DPM as an example, the motion feature of this DPM is analyzed with the constraint screw method, and its mobility is calculated by using the Modified Kutzbach-Grtibler criterion. The inverse and forward displacement problems of the proposed parallel mechanism are solved. The decoupled feature of the proposed parallel mechanism is validated by the deduction of the expression of the Jaeobian matrix. Three kinds of singularity conditions of this DPM are discussed, and the atlases of the output parameter concerning different geometric parameters are plotted with the theory of the physical model of the solution space. The proposition and characteristic analysis of the novel rotational DPMs in this paper should be useful for further research and application of the parallel mechanisms.

Numerical and experimental studies on impact dynamics of a planar flexible multibody system

In this paper a computational methodology on impact dynamics of the flexible multibody system is presented. First, the floating frame of reference approach and nodal coordinates on the basis of finite element formulation are used to describe the kinematics of planar deformable bodies. According to the kinematic description of contact conditions, the contact constraint equations of planar flexible bodies are derived. Based on the varying topology technique the impact dynamic equations for a planar multibody system are established. Then the initial conditions of the equations in each contact stage are determined according to the discontinuity theory in continuum mechanics. The experiments between the aluminum rods are performed to check the correctness of the proposed method. Through the comparison between the numerical and experimental results the proposed method is validated. Experimental results also show that the impulse momentum method cannot accurately predict the complex impact dynamic phenomena and the continuous model may lead to a serious error when used to simulate the impact problems with significant wave propagation effects.

Coordinate scheduling approach for EDS observation tasks and data transmission jobs

Electromagnetic detection satellite（EDS） is a type of Earth observation satellite（EOS）. Satellites observation and data down-link scheduling plays a significant role in improving the efficiency of satellite observation systems. However, the current works mainly focus on the scheduling of imaging satellites, little work focuses on the scheduling of EDSes for its specific requirements.And current works mainly schedule satellite resources and data down-link resources separately, not considering them in a globally optimal perspective. The EDSes and data down-link resources are scheduled in an integrated process and the scheduling result is searched globally. Considering the specific constraints of EDS, a coordinate scheduling model for EDS observation tasks and data transmission jobs is established and an algorithm based on the genetic algorithm is proposed. Furthermore, the convergence of our algorithm is proved. To deal with some specific constraints, a solution repairing algorithm of polynomial computing time is designed. Finally, some experiments are conducted to validate the correctness and practicability of our scheduling algorithms.

Discrete differential evolution algorithm for integer linear bilevel programming problems

A discrete differential evolution algorithm combined with the branch and bound method is developed to solve the integer linear bilevel programming problems, in which both upper level and lower level variables are forced to be integer. An integer coding for upper level variables is adopted, and then a discrete differential evolution algorithm with an improved feasibility-based comparison is developed to directly explore the integer solution at the upper level. For a given upper level integer variable, the lower level integer programming problem is solved by the existing branch and bound algorithm to obtain the optimal integer solution at the lower level. In the same framework of the algorithm, two other constraint handling methods, i.e. the penalty function method and the feasibility-based comparison method are also tested. The experimental results demonstrate that the discrete differential evolution algorithm with different constraint handling methods is effective in finding the global optimal integer solutions, but the improved constraint handling method performs better than two compared constraint handling methods.

Numerical simulation of small section rectangular tube in parallel welding

The welding temperature field and deformation of parallel arrangement small-section rectangular tubes is calculated by using a non-contact model. After comparing the computed results with the experimentally measured results, it shows that there exist big errors when applying this model to the numerical simulation of small-section rectangular tube＇ s welding temperature field and deformation. Based on a simple analysis of the errors, a contact model is presented. The heat transfer and stress analysis between small-section rectangular tubes and clamping fixture are simulated by using direct constraints method, and then the laws of the temperature distribution, which coincide with experiment, are obtained. A further numerical analysis of the stress and deformation are made, it shows that a ＂T＂ shaped stress-field is formed in the vicinity of the weld. As the stress-field departs from the centroid of tubes＇, this leads to the small rectangular tubes not only have a longitudinal deflection, but also have a transverse bending and deformation.

NUMERICAL ANALYSIS OF BIFURCATION BUCKLING FOR ROTATIONALLY PERIODIC STRUCTURES UNDER ROTATIONALLY PERIODIC LOADS

By considering the characteristics of deformation of rotationally periodic structures under rotationally periodic loads, the periodic structure is divided into some identical substructures in this study. The degrees-of-freedom (DOFs) of joint nodes between the neighboring substructures are classified as master and slave ones. The stress and strain conditions of the whole structure are obtained by solving the elastic static equations for only one substructure by introducing the displacement constraints between master and slave DOFs. The complex constraint method is used to get the bifurcation buckling load and mode for the whole rotationally periodic structure by solving the eigenvalue problem for only one substructure without introducing any additional approximation. The finite element (FE) formulation of shell element of relative degrees of freedom (SERDF) in the buckling analysis is derived. Different measures of tackling internal degrees of freedom for different kinds of buckling problems and different stages of numerical analysis are presented. Some numerical examples are given to illustrate the high efficiency and validity of this method.

Aerodynamic optimization of rotor airfoil based on multi-layer hierarchical constraint method

Rotor airfoil design is investigated in this paper. There are many difficulties for this highdimensional multi-objective problem when traditional multi-objective optimization methods are used. Therefore, a multi-layer hierarchical constraint method is proposed by coupling principal component analysis(PCA) dimensionality reduction and e-constraint method to translate the original high-dimensional problem into a bi-objective problem. This paper selects the main design objectives by conducting PCA to the preliminary solution of original problem with consideration of the priority of design objectives. According to the e-constraint method, the design model is established by treating the two top-ranking design goals as objective and others as variable constraints. A series of bi-objective Pareto curves will be obtained by changing the variable constraints, and the favorable solution can be obtained by analyzing Pareto curve spectrum. This method is applied to the rotor airfoil design and makes great improvement in aerodynamic performance. It is shown that the method is convenient and efficient, beyond which, it facilitates decision-making of the highdimensional multi-objective engineering problem.

Robust guidance method with terminal impact angle constraint for autonomous underwater vehicle

Based on robust control design method,a variable structure guidance method is proposed for autonomous underwater vehicle(AUV) during the guiding course with terminal impact angle constraint.Considering the intercept geometry,a sliding mode controller is proposed for controlling the hne of sight angle rate and the impact angle,based on the principle which controls the line of sight angle rate to approach zero and the terminal angle to approach the expected value more quickly as the distance decreases.Simulation results show that,with the application of the proposed method,small miss distance is achieved and the expected impact angle is reached.In addition,the system is robust to the target maneuvering.

ROBUST DESIGN MODELS FOR CUSTOMER-SPECIFIED BOUNDS ON PROCESS PARAMETERS

Robust design (RD) has received much attention from researchers and practitioners for years, and a number of methodologies have been studied in the research community. The majority of existing RD models focus on the minimum variability with a zero bias. However, it is often the case that the customer may specify upper bounds on one of the two process parameters (i.e., the process mean and variance). In this situation, the existing RD models may not work efficiently in incorporating the customer’s needs. To this end, we propose two simple RD models using the ε?constraint feasible region method - one with an upper bound of process bias specified and the other with an upper bound on process variability specified. We then conduct a case study to analyze the effects of upper bounds on each of the process parameters in terms of optimal operating conditions and mean squared error.