A finite population. multi-queue model is developed for a loop transmission system. Approximate expressions for the state transition matrix and other system variables are derived in recursive forms. I t is also shown that a number of useful system parameters, such as average message response time. average cycle time, and average response time conditioned on message length. can be obtained. The ...

In this chapter, we describe the successful application of ProB on industrial projects realized by Siemens. Siemens are successfully using the B-method to develop software components for zone controller and carbonne controller of CBTC systems. However, the development contains certain assumptions about the actual rail network topology which have to be validated separately in order to ensure saf...

We have investigated the biosynthesis and carbohydrate structure of fibronectin secreted by two rat colon carcinoma cell lines. The cell line Prob yields progressive tumors after s.c. injection in syngeneic BD IX rats while tumors developed by Regb cells disappear after 20 days. No difference was observed in the fibronectin biosynthesis from both cell lines; however, the glycosylation degree wa...

It is shown that for every b > a > 0 and for every two independent identically distributed real random variables X and Y Prob[|X − Y | ≤ b] < (2db/ae − 1)Prob[|X − Y | ≤ a]. This is tight for all admissible pairs a, b. Higher dimensional extensions are also considered.

In concrete applications of probability, statistical investigation gives us knowledge of some probabilities, but we generally want to know many others that are not directly revealed by our data. For instance, we may know prob(P/Q) (the probability of P given Q) and prob(P/R), but what we really want is prob(P/Q&R), and we may not have the data required to assess that directly. The probability c...