The paper presents an approach to verification of a multi-agent data analysis algorithm. We base correct simulation of the multi-agent system by a finite integer model. For verification we use model checking tool SPIN. Protocols of agents are written in Promela language and properties of the multiagent data analysis system are expressed in logic LTL. We run several experiments with SPIN and the...

This research was conducted to test user acceptance (agent and base) of SIM3LON system using Technology Acceptance Model (TAM). done by measuring the influence variable Perceived Ease Use, Usefulness Intention use with a likert value 1-5 TAM method. The testing method is R GUI tool generate validity reliability values perform calculations "product moment correlation" data obtained through quest...

The present work is an attempt to model, analyze, and control the flow at the base of an abruptly expanded circular duct by using design of experiments (DOE) and response surface methodology (RSM). Tiny-jets in the form of orifice were positioned at an interval of 900, 6.5 mm from the primary axis of the main jet of the nozzle. Experiments were conducted to measure two responses namely, base pr...

the objective of this study was to investigate the effects of saffron as a natural sunscreen and moisturizer. the pollens of the saffron were dried and powdered in a grinder. the experimental formulations included a homosalate (8%) lotion reference, lotions with 2, 4 and 8% of grinded saffron, and the control lotion base without saffron. the lotions containing saffron were prepared like homosal...

agent-based negotiation is one of the interesting approaches in the field of automated negotiation in the e-commerce world. establishment an automated negotiation needs to develop a mechanism for it and it is obvious that users would accept a mechanism that is reliable alternative for negotiating individual. therefore, the need to developing efficient and reliable agent-based negotiation mechan...

This paper presents a way of constructing a multi-agent nonmonotonic logic from any propositional preference logic (the base logic). The multi-agent logic will \correctly" extend the base logic for each agent, that is, each agent will reason in the base logic, and the reasoning of each agent is independent of each other. If the base logic is propositional circumscription then the extended logic...

A Space Free-Flying Robot (SFFR) includes an actuated base equipped with one or more manipulators to perform on-orbit missions. Distinct from fixed-based manipulators, the spacecraft (base) of a SFFR responds to dynamic reaction forces due to manipulator motions. In order to control such a system, it is essential to consider the dynamic coupling between the manipulators and the base. Explicit d...

In this article, we present generic hierarchical behavior-based architecture model for driving mobile manipulator robots. Two behaviors are of high-level. They constitute the Supervisory agent, which manages the global system. Two others are of intermediate-level and finally one behavior is of low-level. These last ones constitute the Mobile Robot agent and the Manipulator Robot agent controlli...