Parameter Adjustment of a Bio-Inspired Coordination Model for Swarm Robotics Using Evolutionary Optimisation

Airtanah merupakan salah satu faktor penting yang berkontribusi terhadap ketidakstabilan lereng, air akan mengisi pori tanah sehingga tekanan air pori meningkat. Pada tahun 2009 di Pit E, PT. BC khususnya low wall pernah terjadi longsor, tujuan penelitian ini untuk mengetahui besar penurunan muka airtanah (drawdown) serta melakukan simulasi dalam waktu 8 tahun kedepan setelah upaya dewatering pada tahun 2016 dengan menggunakan sistem drain hole yang dipasang secara inclined. Model konseptual daerah penelitian dibangun dengan data pengamatan muka airtanah mula-mula, curah hujan, topografi dan properti hidrogeologi yang ditentukan berdasarkan asumsi teoriritis. Simulasi numerik menggunakan metode beda hingga dilakukan dalam dua skenario yaitu pada tiga IDH aktif dan penambahan tiga IDH di luar model pada akuifer terkekang dengan variasi kedalaman 50 m dan 80 m. Drawdown hasil simulasi kemudian dikalibrasi dengan perhitungan metode Theis. Hasil studi menunjukan nilai drawdown dari perhitungan Theis lebih kecil dari hasil simulasi numerik. Outflow pada pemodelan juga menghasilkan nilai yang lebih besar dari pengamatan di lapangan. Parameter adjustment berupa nilai konduktivitas hidraulik kemudian dilakukan untuk mengetahui pengaruhnya terhadap besar drawdown. Hasilnya menunjukan bahwa nilai konduktivitas hidraulik memiliki pengaruh yang signifikan terhadap perubahan besar drawdown. (Pre-print)Kata kunci: drawdown, confined aquifer, inclined drain hole, dewatering

Download Full-text

A coordination model of pervasive service ecosystems

Science of Computer Programming ◽

10.1016/j.scico.2015.06.003 ◽

2015 ◽

Vol 110 ◽

pp. 3-22 ◽

Cited By ~ 9

Author(s):

Mirko Viroli ◽

Danilo Pianini ◽

Sara Montagna ◽

Graeme Stevenson ◽

Franco Zambonelli

Keyword(s):

Coordination Model ◽

Pervasive Service ◽

Service Ecosystems

Download Full-text

Flocking-Based Self-Organized Aggregation Behavior Method for Swarm Robotics

Iranian Journal of Science and Technology Transactions of Electrical Engineering ◽

10.1007/s40998-021-00442-9 ◽

2021 ◽

Author(s):

Oğuz Misir ◽

Levent Gökrem

Keyword(s):

Swarm Robotics ◽

Aggregation Behavior ◽

Self Organized

Download Full-text

Capturing the swarm intelligence in truckers: The foundation analysis for future swarm robotics in road freight

Swarm and Evolutionary Computation ◽

10.1016/j.swevo.2021.100845 ◽

2021 ◽

Vol 62 ◽

pp. 100845

Author(s):

Mi Gan ◽

Qiujun Qian ◽

Dandan Li ◽

Yi Ai ◽

Xiaobo Liu

Keyword(s):

Swarm Intelligence ◽

Swarm Robotics ◽

Road Freight

Download Full-text

Characterization of error sources in an inertial unit using Allan variance and nonlinear parameter adjustment

Journal of Physics Conference Series ◽

10.1088/1742-6596/1674/1/012004 ◽

2020 ◽

Vol 1674 ◽

pp. 012004

Author(s):

W A Hernandez ◽

J S Castillo-Corredor ◽

J A Ramos-Cifuentes ◽

F Fuentes ◽

L F Castañeda

Keyword(s):

Allan Variance ◽

Nonlinear Parameter ◽

Error Sources ◽

Parameter Adjustment ◽

Inertial Unit

Download Full-text

Evaluation of an interprofessional care coordination model: Benefits to health professions students and the community served

Nursing Outlook ◽

10.1016/j.outlook.2020.09.007 ◽

2020 ◽

Author(s):

Pamela L. Parsons ◽

Patricia W. Slattum ◽

Carla K. Thomas ◽

Jennifer L. Cheng ◽

Danah Alsane ◽

...

Keyword(s):

Care Coordination ◽

Health Professions ◽

Coordination Model ◽

Interprofessional Care

Download Full-text

AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

International Journal of Foundations of Computer Science ◽

10.1142/s0129054101000424 ◽

2001 ◽

Vol 12 (01) ◽

pp. 97-124 ◽

Cited By ~ 2

Author(s):

EDGAR F. A. LEDERER ◽

ROMEO A. DUMITRESCU

Keyword(s):

Programming Language ◽

Error Detection ◽

Program Execution ◽

Good Efficiency ◽

Result Verification ◽

Coordination Model ◽

Functional Specification ◽

Time Result ◽

Run Time

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

Download Full-text