Especially,we set up a timer using time Petri net to model and analysis the non-functional constraints of SECOM,which satisfies the real-time requirement of embedded component software.

Based on a proposed assumption, firstly, an algorithm to capture the implied functional constraints is presented.

An integration model of performance constraint software component;

Robust output feedback control of T-S fuzzy systems with D-region performance constraint;

Local random search PSO (Particle Swarm Optimization) algorithm is presented to improve searching accuracy and accelerate convergence rate in later period,which considers not only the system load equilibrium constraint but also the non-linear constraints in short-term generation optimal dispatch of power stations,such as unit ramp rate and restricted output zone.

Accrording to the analysis and description of the course arrangement and constrait rules,a course arrangement model of non-linear constraint and Multi-object is presented and set up.

In this paper,we discuss the estimation of deviation by discrete algorithm for a kind of semi-infinite multiobjective programming with non-linear constraint and the computational formula are given.