Automated soil profile generation system for the dilatometer test (DMT)
نویسندگان
چکیده
منابع مشابه
Use of the Flat Dilatometer Test (DMT) in geotechnical design
This paper presents an overview of the DMT and of its design applications, in the light of the experience accumulated over the last 20 years. The following applications are discussed: determining common soil parameters, predicting settlements of shallow foundations, compaction control, detecting slip surfaces in clay slopes, predicting the behavior of laterally loaded piles, evaluating sand liq...
متن کاملAUTOMATED LACHMAN TEST FOR OBJECTIVE ASSESSMENT OF THE ACL
This was Presented in 5th International Congress of Iranian Iranian Society of Knee Surgery, Arthroscopy, and Sports Traumatology (ISKAST), 14-17 Feb 2018- Kish, Iran
متن کاملAutomated Test Generation
Testing remains the principal means of verification in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction of test cases, and discuss some of the research challen...
متن کاملToward Automated Test Generation for Engineering Applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditions with counter-examples. From a feasible counterexample test inputs are then generated. Earlier research has demonstrated the usefulness of this approach and revealed its weakness. The major problems of applying this ...
متن کاملAutomated Test Generation for AspectJ Programs
Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ. Automated test generation for AspectJ programs is important for reducing the manual effort in testing AspectJ programs. This position paper proposes Wrasp, a framework for automatic generation of te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Warsaw University of Life Sciences - SGGW. Land Reclamation
سال: 2009
ISSN: 2081-9617,1898-8857
DOI: 10.2478/v10060-008-0055-9