Performance verification of impact machines for testing plastics

Performance Verification of Impact Machines for Testing Plastics

National Institute of Standards and Technology, Boulder, Colorado 80303 Valid comparison of impact test energies reported by various organizations and over time depends on consistent performance of impact test machines. This paper investigates the influence of various specimen and test parameters on impact energies in the 1 J to 2 J range for both Charpy V-notch and Izod procedures, leading tow...

assessment of the park- ang damage index for performance levels of rc moment resisting frames

چکیده هدف اصلی از طراحی لرزه ای تامین ایمنی جانی در هنگام وقوع زلزله و تعمیر پذیر بودن سازه خسارت دیده، پس از وقوع زلزله است. تجربه زلزله های اخیر نشان داده است که ساختمان های طراحی شده با آیین نامه های مبتنی بر نیرو از نظر محدود نمودن خسارت وارده بر سازه دقت لازم را ندارند. این امر سبب پیدایش نسل جدید آیین نامه های مبتنی بر عملکرد شده است. در این آیین نامه ها بر اساس تغییرشکل های غیرارتجاعی ...

Design Verification and Functional Testing of FiniteState Machines

The design of a finite state machine can be verified by simulating all its state transitions. Typically, state transitions involve many don’t care inputs that must be fully expanded for an exhaustive functional ver%fication. However, b y exploiting the knowledge about the design structure it is shown that only a f e w vectors f rom the fully expanded set suf ice f o r both design verification a...

Testing Finite-State Machines: State Identification and Verification

Designing Voting Machines for Verification

We provide techniques to help vendors, independent testing agencies, and others verify critical security properties in direct recording electronic (DRE) voting machines. We rely on specific hardware functionality, isolation, and architectural decision to allow one to easily verify these critical security properties; we believe our techniques will help us verify other properties as well. Verific...