Title: Improving moving block railway system using fuzzy multi-agent specification language
Journal name: International Journal of Innovative Computing Information and Control (ERA 2012 Listed)
ABSTRACT
Railway interlocking system is a distributed, safety, monetary and environmentally critical system and its failure may cause the loss of human life, severe injuries, loss of money and environmental damages. The complexity of this system requires formal modeling and step by step refinement for its construction and development. The formal specification-based languages, such as VDM, Z-notation and RAISE, have been used for its modeling using crisp (two-valued logic) theory. However, due to the continuous and inexact features, like speed, weight and moving block (breaking distance including length of a train), fuzzy distributed multi-agent approaches are required to capture the inexactness and uncertainty present in the existing system. In order to get a fuzzy distributed multi-agent environment, we have extended the Object-Z towards the fuzzy multi-agent specification language (FMASL) using an integration of fuzzy logic, multi-agent systems (MAS) and Object-Z to be applied for the railway interlocking system. Initially, our extended approach is applied for the specification of railway crossing, a critical component of interlocking system. We have supposed that a train is an autonomous intelligent agent and has fuzzy sub-agents: a moving block and a crossing intelligent agents.
[ view entry ] ( 19 views ) | permalink | related link |
( 3.1 / 2491 )MonoDroid brings the Mono VM to Android, enabling .NET developers to write applications for Google's mobile OS. It seems another morganatic marriage, bringing new stuff to extreme programmers...
It will be a burden for cute, little Android-based smartphones.
Anyway, it's only version 1.0 and I have still some remarks on Moonlight "plugin" on Ubuntu Firefox..
[ view entry ] ( 19 views ) | permalink | related link |
( 3 / 2651 )Still trying the nearly-encyclopaedic work to build and enable to online play a Lombard version of Scrabble.
Most complex wordgames like Wabble use a valid word dictionary for check, letter values and distribution and rule set adaptable, according to the multilanguage option considered.
Some early limitation to be accepted, like incomplete conjugation of verbs, following common use and banning uncritical acquisition from foreign languages, including vehicular Italian.
I'm going to adopt Classic Milanese orthography and pronounce rules.
[ view entry ] ( 20 views ) | permalink | related link |
( 3 / 2662 )Yesterday morning my web hosting provider (Aruba) had serious troubles in his server farm, leaving my domain (and many others) in a total blackout including website, blog and mailboxes unreachable.
A short outage reminded me that our virtual "enchanted castle" on Internet is still linked to power supply and trivial hardware
(and that I'd better to make regular backups of all this stuff @ home in a removable media!).
[ view entry ] ( 17 views ) | permalink | related link |
( 3 / 2636 )I've done a general update of my static pages (first group of Links in the right column)
[ view entry ] ( 18 views ) | permalink | related link |
( 3 / 2730 )
Calendar
