In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

this paper describes the design of a 2x2 micro strip patch antenna array in the frequency of 9.5ghz for radar applications, using substrate integrated waveguide, siw, for feeding network. the micro strip patches are aperture-coupled with the feeding network of siw. the feeding network consisting of a perpendicular coax-to-siw transition and two y-junction power dividers. the antenna is simulate...

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

crosslinked poly(acrylic acid)s were prepared using two types of crosslinker by precipitation polymerization method in a binary organic solvent. n,n’-methylenebisacrylamide (mba) and polyethylene glycol dimethacrylate (pegdma-330) were used as low-molecular weight and long-chain crosslinkers, respectively. the effect of various types of crosslinkers on polymer characteristics (i.e., gel content...

we compare two approaches for a markovian model in flexible manufacturing systems (fmss) using monte carlo simulation. the model which is a development of fazlollahtabar and saidi-mehrabad (2013), considers two features of automated flexible manufacturing systems equipped with automated guided vehicle (agv) namely, the reliability of machines and the reliability of agvs in a multiple agv jobsho...