ANALISA ALAT PERMAINAN EDUKATIF ANAK

Abstrak: Alat permainan edukatif memiliki manfaat penting dalam perkembangan kognitif anak, keterampilan motorik, dan kebugaran anak. Desain dan pembuatan yang dilakukan di Laboratorium Pendidikan Teknik Mesin Universitas Palangka Raya perlu dianalisis untuk mengetahui sejauh mana alat ini berguna. Hal pertama yang harus dilakukan adalah mempelajari literatur dan kemudian mengidentifikasi variabel penelitian yang bertujuan mendapatkan gambaran tentang apa yang dibutuhkan pengguna. Dari hasil kuesioner awal, tiga variabel diperoleh, yaitu desain, permainan mudah, dan keamanan. Data penelitian lebih lanjut yang telah diperoleh dengan nilai indeks dari produk yang diperoleh adalah 94,83%.   Abstract: Educational game tools have important benefits in a child's cognitive development, motor skills, and children's fitness. The design and manufacturing done at the Mechanical Engineering Education Laboratory of Palangka Raya University needs to be analyzed to find out how far the tool is useful. The first thing to do is to study the literature and then identify research variables aimed at getting a picture of what the user needs. From the results of the initial questionnaire, three variables were obtained, namely design, easy game and safety. Further research data that have been obtained with an index value of the products obtained are 94.83%

On a Notion of Relevance

International audienc

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

Compliance, Functional Safety and Fault Detection by Formal Methods

International audienceWith the increasing complexity of today's cars functional safety and compliance guarantees are more and more dicult to obtain. During the life time of a vehicle the detection of malfunctioning non-mechanical components requires meanwhile more attention than the maintenance of its mechanical counterparts. A full fledged formal verification of the overall car is not realistic and even hard to obtain for single non-trivial components such as assistant systems. Furthermore, it does not support fault detection at run time. We suggest an approach towards formal safety, compliance and fault detection at run time via an auditor. The auditor is automatically fed out of the engineering and production process by a suitable abstract specification and respective model of the car and can detect then detect violations and faulty components