This paper presents a probabilistic extension of Neighbourhood Logic (NL,[14, 1]). The study of such an extension is motivated by the need to supply the Probabilistic Duration Calculus (PDC, [10, 4]) with a proof system. The relation between the new logic and PDC is similar to that between DC [15] and ITL [12, 3]. We present a complete proof system for the new logic.

The paper presents a model of Biphase Mark Protocols (BMP) using Duration Calculus, which seems to be more general and more intuitive than the others in the literature [9]. With Duration Calculus we can model the behaviour of the bus in a natural way and in more detail. The model makes it possible to specify and verify BMP using PVS/DC− [8] tool. The mechanical verification not only ensures the...

2014 A laser pulse method for diffusivity determination is analysed. The method which permits the measurement of the laser pulse energy distribution as well as its shape is developed. This method can be easily implanted into laser pulse diffusivity set-up and it allows to check periodically the pulse characteristics that is of primary importance for the accuracy of the diffusivity measurements....

We demonstrate power scaling of an Nd:YAG picosecond master oscillator power amplifier system to over 200 W. The ‘z-slab’ amplifier design is a power scalable, edge-pumped zigzag slab amplifier architecture, and it is demonstrated here in two alternative multi-stage implementations at 1064 nm using a picosecond seed laser. In a simple design, an average power of 225 W was generated with up to 4...

We have measured the absolute dissociation probability of SF 6 gas irradiated by CO 2 laser pulses varying in duration from 0.5 nsec to 100 nsec. We find a threshold for dissociation of ~ 1.4 J/cm 2, independent of pulse duration. For fixed energy density, the dissociation probability increases as the pulse duration decreases, but not nearly to the degree expected from theory. We have also dete...

being observed frequently that projects cannot achieve to their plan duration and their budget. utilizing retrospective method is one of the reasons for this problem. in this research two method, earned duration management and risk management, has been used to remove the gap of the plan and the reality; this enable the project to utilize both high accuracy of the first method and prophecy of th...

background and objective: bruising is the most common complications that resulting from subcutaneous heparin injection. it causes the limitation of injection area, anxiety, disruption of body image, refusing treatment in patients and the reduction in patients trust in nurse. although different methods were suggested to lessen these unwanted complications, unfortunately none of them could decrea...

background & aim : primary dysmenorrhea (pd) is the most common genital disease among adults which can disrupt daily activities and reduce quality of life. acupressure was recommended for relief of pd and the aim of this study was to compare the maximum pain intensity (mpi) and duration of pd after acupressure on third liver (liv3) and placebo points. methods & materials : students who were suf...

background: there are few articles studding the factors associated with successful smoking cessation in iranian smokers. the aim of this study is to clarify the association between socio‑demographic factors and smoking behavior, such as number of failed smoking cessation and duration of abstinence in iranian population. methods: a self‑administered questionnaire survey of 673 participants was c...