This article presents a Radial Basis Neural Network (RBNN) based islanding detection technique. Islanding detection and prevention is a mandatory requirement for grid-connected distributed generation (DG) systems. Several methods based on passive and active detection scheme have been proposed. While passive schemes have a large non detection zone (NDZ), concern has been raised on active method ...

Recently, model checking is widely applied to software and hardware verification. It can locate hard-tofind bugs in systems by exhaustively searching executing paths. In this paper, we propose a new software design method that enables us to evaluate the fault tolerance of software behavior at the specification level: we can check software behavior, not only when the hardware and network are in ...

Telemedicine etworks should meet specific Quality of Service (QoS) requirements to guarantee that the users can work with the supported applications in a reliable manner. Therefore it must be verified that network resources satisfy these requirements especially in wireless networks, due to their channel characteristics: Communication over a wireless link often suffers from limited bandwidth, hi...

Simulation offers significant advantages as a basis for academic projects in computer networking. Because many unimportant details can be abstracted away, and also because simulations can be completely repeatable, it is possible to address the same concepts more quickly than is possible with actual networks. At the same time, students who program a protocol for a network simulator come to under...

Software development can be costly and it is important that conndence in a software system be established as early as possible in the design process. Where the software supports communication services, it is essential that the resultant system will operate within certain performance constraints (e.g. response time). This paper gives an overview of work in progress on a collaborative project spo...

The basic structure of a reactor physics laboratory environment simulation software, developed using object modeling technique (OMT), and based on the reactor point kinetic equation, is presented. Also, various capabilities of the simulator in teaching the fundamental concepts of reactor physics are discussed. &#10 In this virtual laboratory, student can perform seven different experiments...

Modelling and simulation can be applied to support Joint Command and Control which involves the interoperability of network-centric systems as well as legacy command and control systems. It is assumed that software will always be the glue between these systems and that a capability is required to demonstrate, support and evaluate interoperability. This paper discusses the layered software archi...

Software development for Wireless Sensor Networks (WSNs) is challenging due to characteristics of sensor nodes and the environment they are deployed in. Testing software in a real WSN testbed allows users to get reliable test results. However, real testbeds become more expensive as the number of sensor nodes in the network grows. Simulation tools are alternatives to real testbeds. They are chea...

Software development for sensor network is made difficult by resource constrained sensor devices, distributed system complexity, communication unreliability, and high labor cost. Simulation, as a useful tool, provides an affordable way to study algorithmic problems with flexibility and controllability. However, in exchange for speed simulation often trades detail that ultimately limits its util...