correlation between breeding value of crude milk (cm) and energy-corrected milk (ecm) was studied based on a total of 774,013 test day records belongs to 88,456 first-parity holsteins dairy cattle calving during 1997-2009 in 165 herds (from six provinces). genetic analysis of the traits was carried out by a fixed regression test day model. in the model, effects of herd, calving year, production...

Deterioration models are important and essential part of any Pavement Management System (PMS). These models are used to predict future pavement situation based on existence condition, parameters causing deterioration and implications of various maintenance and rehabilitation policies on pavement. The majority of these models are based on roughness which is one of the most important indices in p...

in static scheduling problem, where there is no change in situation, the challenge is that the large problems can be solved in a short time. in this paper, the static scheduling problem of automated guided vehicles in container terminal is solved by the network simplex algorithm (nsa). the algorithm is based on graph model and their performances are at least 100 times faster than traditional si...

In this paper, we develop a capacitated location-covering model considering interval values for demand and service parameters. We also consider flexibility on distance standard for covering demand nodes by the servers. We use the satisfaction degree to represent the constraint of service capacity. The proposed model belongs to the class of mixed integer programming models. Our model can be redu...

in this paper, stabilization conditions and controller design for a class of nonlinear systems are proposed. the proposed method is based on the nonlinear feedback, quadratic lyapunov function and heuristic slack matrices definition. these slack matrices in null products are derived using the properties of the system dynamics. based on the lyapunov stability theorem and sum of squares (sos) dec...

The μ-Calculus of D.Kozen (1983) is a very powerful propositional program logic with fixpoints. It is widely used for specification and verification. Model checking is a very popular automatic approach for verification of specifications of finite state systems. The most efficient algorithms that have been developed so far for model checking the μ-Calculus in finite state systems have exponentia...