A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and allowing them together to form a system. It is called monitoring-oriented programming (MOP), since runtime monitoring is supported and encouraged as a fundamental principle. Monitors are automatically synthesized from fo...

In this paper, the problem under consideration is multiobjective non-linear fractional programming problem involving semilocally convex and related functions. We have discussed the interrelation between the solution sets involving properly efficient solutions of multiobjective fractional programming and corresponding scalar fractional programming problem. Necessary and sufficient optimality...

Sustainability in agricultural is determined by aspects like economy, society and environment. Multi-objective programming (MOP) model has been a widely used tool for studying and analyzing the sustainability of agricultural system. However, optimization models in most applications are forced to use data which is uncertain. Recently, robust optimization has been used as an optimization model th...

In real life, there are a lot of Multi-objective Optimization Problem, which is shorted for MOP in the process of people working in production and economic and engineering activities. These problems are often very complex and nonlinear, and even conflicted with each other. When solving these problems, Multi-objective Optimization, shorted for MOO should be done on these issues. For example, for...

Optimizing the structure of land use is essential to low-carbon sustainable development a region. This article takes Chengdu, typical western China city, as case study. First, carbon emission coefficients are used calculate emissions. Then, based on multi-objective linear programming (MOP), economic priority scenario (S1), (S2), and strengthening (S3) proposed. Finally, future simulation (FLUS)...

Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-specific requirements specification formalisms into the framework by means of logic plug-ins, which essentially comprise monitor synthesis algorithms for properties expressed as formulae. The properties are specified toge...

    Supplier selection,   Multi-objective decision making,   Fuzzy Compromise programming,   Supply chain management,   Quantity discount .   Supplier selection is naturally a complex multi-objective problem including both quantitative and qualitative factors. This paper deals with this issue from a new view point. A quantity discount situation, which plays a role of motivator for buyer, is con...