Deriving protocol specifications from service specifications written in LOTOS

Summary.  A complete communication system is broken down into a number of protocol layers each of which provides services to the layer above it and uses services provided by its underlying layer. A service specification defines a particular ordering of the operations that a given layer provides to the layer above it. The active elements in each layer are called entities and they use a protocol in order to implement their service definition. On the basis of this relation between the service and protocol concepts we have developed algorithms for deriving protocol entity specifications from a formal service specification. The derived protocol entities ensure the correct ordering of the service primitives by exchanging synchronization messages through an underlying communication medium. This paper presents an extended version of our earlier derivation algorithms. This version of the algorithm can handle all operators and unrestricted process invocation and recursion as defined by basis LOTOS. The correctness of this derivation algorithm is formally proved. Received: January 1992 / Accepted: February 1996     

Clinical features of relative focal hyperfusion in patients with intracerebral hemorrhage detected by contrast-enhanced xenon CT

Optimization of the skeletal muscle contraction during cardiac assist is important to achieve maximal cardiac assist and yet avoid overstimulation that may injure skeletal muscle. Dynamic cardiomyoplasty suffers from lack of an objective, reproducible, and accurate technique to measure skeletal muscle shortening fraction after wrap and training of the muscle. A recruitment curve is considered the best way to select the proper stimulation level to achieve supramaximal contraction without overstimulating the muscle. A fluoroscopic technique of determining latissimus dorsi recruitment curve was evaluated in five goats undergoing dynamic cardiomyoplasty with an anterior cardio-subcutaneous wrap. Two pairs of stainless steel targets (0.5 and 1 cm of diameter) were implanted on each side of the muscle wrap. One pair of sonomicrometer crystals was also implanted. Displacement of the targets was measured under fluoroscopy at five different stimulation levels. Correlation coefficients between targets on the inside surface of the wrap and the sonomicrometer crystals, and targets on the outside surface of the wrap and the sonomicrometer crystals were 0.71 (P < 0.05) and 0.60 (P < 0.05), respectively. Targets on the inside surface of the wrap were more accurate than targets on the outside surface of the wrap for measurement of skeletal muscle shortening fraction and establishment of a recruitment curve. Adverse effects from the targets were not observed.     

Stapes fixation associated with symphalangia

We describe a 10-year-old boy and his 9-year-old sister, both of whom had bilateral hearing loss associated with ankylosis of the proximal interphalangeal joints (symphalangia). They had no other abnormal findings except hearing loss and ankylosis of the joints of some fingers and toes on systemic examination. The cause of conductive hearing loss in both cases was bony fusion between the stapes and the bone of the oval window niche. There were no other anatomical abnormalities in the middle or the external ear. The patients' hearing improved markedly after stapes surgery. Histopathologic examination of the stapes revealed an abnormal zone of ossification near the anterior annular ligament and calcification in the annular ligament, which seemed to be the cause of the stapes fixation.     

Dynamic MR hepatocholangiography with the SIP Fast GRE (saturation inversion projection fast gradient echo) method

The purpose of this study was to assess the utility of dynamic MR hepatocholangiography with the Gd-EOB-DTPA enhanced SIP Fast GRE sequence in the hepatobiliary system. The SIP Fast GRE sequence was used for sequential imaging of the hepatobiliary system with a frame rate of 3 sec in a 256 x 192 matrix. Dynamic sequential acquisition was performed for 51 min before and after the injection of 30 mu mol/kg of Gd-EOB-DTPA in a rabbit. Dynamic images of the hepatobiliary system were obtained in the rabbit study. Dynamic MR hepatocholangiography provides better functional information than conventional MR cholangiography.     

Effect of sodium tauroursodeoxycholate (UR-906) on liver dysfunction in bile duct-ligated rats

We investigated the effect of sodium tauroursodeoxycholate (UR-906) on cholestasis in common bile duct-ligated rats in comparison with the effect of dehydrocholic acid. UR-906 (30-180 mumol/kg) and dehydrocholic acid (180 mumol/kg) were intravenously given once daily for consecutive 20 days in rats and the common bile duct was ligated for the last 10 days. On the next day after the last test drug administration, serum biochemical and plasma hemostatic variables were determined. UR-906 significantly ameliorated the elevation of serum cholesterol, phospholipid, bilirubin and bile acid concentrations in bile duct-ligated rats. UR-906 significantly suppressed the prolongation of plasma prothrombin time and activated partial thromboplastin time. Furthermore, UR-906 significantly suppressed the decreases in plasma coagulation factor II and X activities. However, dehydrocholic acid did not cause significant changes in any of the variables examined in this model. These results suggest that UR-906 has a beneficial effect against cholestasis induced by bile duct ligation in rats and that this drug may be useful in the treatment of clinical cholestatic disorders.     

Clinicopathologic features of submucosal carcinoma of the stomach

A retrospective study of 155 patients with submucosal gastric carcinoma compared the clinicopathologic features with mucosal and muscularis proprial gastric carcinoma. Fifty-seven percent of the patients presented with gastrointestinal symptoms, whereas 36.1% had been detected by mass screening. The incidence of curative resection, lymph node metastasis, and complications were 96.1, 20.6, and 14.8%, respectively. Two patients died of sepsis and pulmonary infarction 30 days post-operatively. Five patients died of recurrent gastric cancer 1-5 years postresection. The overall 5-year survival rate was 90.2%. Recurrence patterns, histologic type, lymph node metastasis, lymphatic and venous infiltration, and growth pattern were similar to those of muscularis proprial carcinoma rather than mucosal carcinoma. Therefore, curative gastrectomy with extended lymphadenectomy (D2) may be feasible for submucosal carcinoma of the stomach.     

A new substitution matrix for protein sequence searches based on contact frequencies in protein structures

The instabilities of the native structures of mutant proteinswith an amino acid exchange are estimated by using the contactenergy and the number of contacts for each type of amino acidpair, which were estimated from 18 192 residue–residuecontacts observed in 42 crystals of globular proteins. Theywere then used to evaluate a transition probability matrix ofcodon substitutions and a log relatedness odds matrix, whichis used as a scoring matrix to measure the similarity betweenprotein sequences. To consider amino acid substitutions in homologousproteins, base mutation rates and the effects of the geneticcode are also taken into account. The average fitness of anamino acid exchange is approximated to be proportional to thestructural stability of the mutant protein, which is then approximatedby the average energy change of the protein native structureexpected for the ammo acid exchange with neglect of the energychange of the denatured state. In global and local homologysearches, this scoring matrix tends to yield significantly higheralignment scores than either the unitary matrix or the geneticcode matrix, and also may yield higher alignment scores fordistantly related protein pairs than MDM78. One of advantagesof this scoring matrix is that the equilibrium frequencies ofcodons and also base mutation rates can be adjusted.