Present General Models of Program System Environment and Logic and Production Relations and Causal Chain