Optimality Conditions for Static Programming with Generalized Convexity

The definitions of generalized pseudoconvex,generalized quasiconvex and its stri ctly generalized convexity were presented for the static programming at locally star -shaped set using the concept of right-upper derivative and the concept of sub linear. The sufficient and necessary conditions of the static programming were d erived in terms of a generalized Lemma in this paper. The results obtained are u seful for the further study on the duality of static programming and cover many already known conditions.

An Empirical Application of User-Guided Program Analysis

Although static program analysis methods are frequently employed to enhance software quality,their efficiency in commercial settings is limited by their high false positive rate.The EUGENE tool can effectively lower the false positive rate.However,in continuous integration(CI)environments,the code is always changing,and user feedback from one version of the software cannot be applied to a subsequent version.Additionally,people find it difficult to distinguish between true positives and false positives in the analytical output.In this study,we developed the EUGENE-CI technique to address the CI problem and the EUGENE-rank lightweight heuristic algorithm to rate the reports of the analysis output in accordance with the likelihood that they are true positives.On the three projects ethereum,go-cloud,and kubernetes,we assessed our methodologies.According to the trial findings,EUGENE-CI may drastically reduce false positives while EUGENE-rank can make it much easier for users to identify the real positives among a vast number of reports.We paired our techniques with GoInsight~1 and discovered a vulnerability.We also offered a patch to the community.

Static response analysis of structures with interval parameters using the second-order Taylor series expansion and the DCA for QB

In this paper, based on the second-order Taylor series expansion and the difference of convex functions algo- rithm for quadratic problems with box constraints （the DCA for QB）, a new method is proposed to solve the static response problem of structures with fairly large uncertainties in interval parameters. Although current methods are effective for solving the static response problem of structures with interval parameters with small uncertainties, these methods may fail to estimate the region of the static response of uncertain structures if the uncertainties in the parameters are fairly large. To resolve this problem, first, the general expression of the static response of structures in terms of structural parameters is derived based on the second-order Taylor series expansion. Then the problem of determining the bounds of the static response of uncertain structures is transformed into a series of quadratic problems with box constraints. These quadratic problems with box constraints can be solved using the DCA approach effectively. The numerical examples are given to illustrate the accuracy and the efficiency of the proposed method when comparing with other existing methods.

Sub-optimal fixed-finite-horizon spacecraft configuration control on SE(3)

For achieving the desired configuration of spacecraft at the desired fixed time,a suboptimal fixed-finite-horizon configuration control method on the Lie group SE(3)is developed based on the Model Predictive Static Programming(MPSP).The MPSP technique has been widely used to solve finite-horizon optimal control problems and is known for its high computational efficiency thanks to the closed-form solution,but it cannot be directly applied to systems on SE(3).The methodological innovation in this paper enables that the MPSP technique is extended to the geometric control on SE(3),using the variational principle,the left-invariant properties of Lie groups,and the topology structure of Lie algebra space.Moreover,the energy consumption,which is crucial for spacecraft operations,is considered as the objective function to be optimized in the optimal control formulation.The effectiveness of the designed sub-optimal control method is demonstrated through an online simulation under disturbances and state measurement errors.

An Action Analysis for Combining Partial Evaluation

This paper proposes an action analysis for implementing combining partial evaluation efficiently. By analyzing the results of binding time analysis, on erations, which should be used in the combining partial evaluation, are determined in advance, so that the computation in the combination of specialized programs is reduced effectively.