This paper attempts to establish an evaluating index system of land comprehensive carrying capacity in Xi'an city involving three aspects, such as economic carrying capacity, social carrying capacity, and ecological carrying capacity, combined with the development goals and constraint factors of Xi'an city. Furthermore, we adopted the method of mean-squared deviation weight decision to evaluate...

in this paper, exact solution for two-plane transverse vibration analysis of axial-loaded multi-step timoshenko rotor carrying concentrated masses is presented. each attached element is considered to have both translational and rotational inertia. forward and backward frequencies and corresponding modes are obtained using transfer matrix method (tmm). the effect of the angular velocity of spin,...

Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—who will verify the verifier itself? Foundational proof-carrying code is verification from the smallest possible set of axioms, using the simplest possible verifier and the smallest possible runtime system. I will describe ...

This document is subject to BCP 78 and the IETF Trust’s Legal Provisions Relating to IETF Documents (http://trustee.ietf.org/license-info) in effect on the date of publication of this document. Please review these documents carefully, as they describe your rights and restrictions with respect to this document. Code Components extracted from this document must include Simplified BSD License text...