Analysis and representation of test cases generated from LOTOS

Cataloged from PDF version of article.This paper presents a method to generate, analyse and represent test cases from protocol specification. The language of temporal ordering specification (LOTOS) is mapped into an extended finite state machine (EFSM). Test cases are generated from EFSM. The generated test cases are modelled as a dependence graph. Predicate slices are used to identify infeasible test cases that must be eliminated. Redundant assignments and predicates in all the feasible test cases are removed by reducing the test case dependence graph. The reduced test case dependence graph is adapted for a local single-layer (LS) architecture. The reduced test cases for the LS architecture are enhanced to represent the tester's behaviour. The dynamic behaviour of the test cases is represented in the form of control graphs by inverting the events, assigning verdicts to the events in the enhanced dependence graph. © 1995

Axially magnetized Dark Energy cosmological model

We investigate the behaviour of the skewness parameters for an anisotropic universe in the framework of General Relativity. Non interacting dark energy is considered in presence of electromagnetic field. A time varying deceleration parameter simulated by a hybrid scale factor is considered. The dynamics of the universe is investigated in presence and absence of magnetic field. The equation of state parameter of dark energy evolves within the range predicted by the observations. Magnetic field is observed to have a substantial effect on the cosmic dynamics and the skewness parameters. The models discussed here end in a big rip and become isotropic at finite time.Comment: 9 pages, 13 figures, Version accepted for publication in Mod. Phys. Lett.

THE EFFECT OF CYTOTOXIC AGENTS ON THE PRIMARY IMMUNE RESPONSE TO LISTERIA MONOCYTOGENES

Four drugs, representing four different categories of cytotoxic agents, were studied for their effect on the immune response to Listeria infection in mice. The development of the host's immune response is revealed by a progressive change in the slope of the bacterial growth curve in spleen and liver. It has its onset at 24 hr in untreated mice, but in the presence of effective immunosuppression the organism multiples uninterruptedly until the animal dies from overwhelming infection. When administered as single injections at the time of infection, cyclophosphamide, vinblastine, and azathioprine all produced an effective immunosuppression, characterized by continuous bacterial multiplication. Methotrexate was also immunosuppressive, but unlike the others its effects were reversible. They could be sustained, however, by further treatment. Studies of the time-response relationship indicated that cyclophosphamide was highly active over a broad time-span ranging from 2 days before infection to 4 days after infection. Vinblastine on the other hand was maximally active when given on the day of infection, while methotrexate had its greatest effect when given 48 hr after infection. These differences indicate that these three drugs act on different cell populations involved in the host's immune response. The effects observed have been discussed in relation to what is known of the modes of action of the drugs tested. An observation of interest was the phenomenon of enhanced immunity in animals treated with cyclophosphamide or vinblastine 7–11 days before, and with methotrexate 4 days before infection; reactive hyperplasia of lymphoid tissue following withdrawal of drug was again advanced as an explanation for the occurrence of this paradoxical effect. The experimental model employed is simple, requiring only routine bacteriological facilities and minimal equipment. It seems to offer a useful means of assessing the immunosuppressive activity of drugs and of determining the time-course of their action; it could also be of value in the screening of anticancer agents

Energy Efficient Clustering Protocols in Cognitive Network for Better CR Performances

Volume 7 Issue 11 (November 201

Vertebral arteries bilaterally passing through stellate (cervicothoracic) ganglion

Vertebral artery is a branch of the first part of subclavian artery. Vertebral artery arising from the aortic arch most commonly presents on the left side. The cervical part of sympathetic trunk is closely related to the vertebral artery in the cervical region. Though lots of variations regarding anomalous origin, course of vertebral artery is reported in the literature, here we present a rare anomaly in which vertebral artery after originating from aortic arch is passing through stellate ganglia and it enters into the transverse foramina of higher cervical vertebra (C5). Such variation should be kept in mind by anaesthetist during stellate ganglion block in order to relieve intractable pain in central nervous system lesion. Surgeons should keep this anomaly in mind during cervical spine surgery otherwise vertebral artery may get injured leading to haemorrhage