有限精度时间自动机的可达性检测

为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号化表示状态空间中的状态集.FPTA只记录时钟变量的整数值及时钟变化的先后次序,从而减小生成的状态空间.在一定的时间约束下,Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测.举例描述了状态空间的生成过程和表示方法.最后,列出部分初步的实验结果,分析了SDS的特点及不足.     

Ada图形用户界面的实现策略

在UNIX环境下实现Ada的图形用户界面一直是一个比较困难的问题。X/Motif Ada Bindings是一个Ada与Motif工具箱的低级接口工具集,它可用于实现Ada的图形用户界面,本文从它的解决方案、体系结构及接口机制等几个方面对此软件包的实现进行了比较深入的研究分析,并基于此软件包和现有操作平台提供了一种高效的Ada GUI实现策略。     

A new reference ionization gauge for vacuum pressure measurement in the range 10−5 to 1 Pa

A new type of reference ionization gauge is described. This gauge is similar to the triode type ionization gauge but has a smaller residual current and better high pressure performance. One version of the new gauge has a nitrogen sensitivity of 0.073 Pa^?1, which is constant to within 1% at pressures up to 0.3 Pa, and a nitrogen pressure equivalent to its residual current of 10^?6 Pa. The long term behaviour of its sensitivity was compared with Bayard-Alpert and triode type ionization gauges over several hundred operating hours. The sensitivity of the new type of gauge changed by less than 0.1% per 100 h while under similar conditions the triodes drifted at rates of up to 0.45% per 100 h and the Bayard-Alpert gauge sensitivities drifted unpredictably, sometimes changing sharply by several percent. A second version of the new gauge showed similar long term behaviour to the triode with a residual current equivalent to a pressure of potentially less than 10^?7 Pa.     

Redox control of exofacial protein thiols/disulfides by protein disulfide isomerase

Protein disulfide isomerase (PDI) facilitates proper folding and disulfide bonding of nascent proteins in the endoplasmic reticulum and is secreted by cells and associates with the cell surface. We examined the consequence of over- or underexpression of PDI in HT1080 fibrosarcoma cells for the redox state of cell-surface protein thiols/disulfides. Overexpression of PDI resulted in 3.6-4. 2-fold enhanced secretion of PDI and 1.5-1.7-fold increase in surface-bound PDI. Antisense-mediated underexpression of PDI caused 38-53% decreased secretion and 10-33% decrease in surface-bound PDI. Using 5,5'-dithio-bis(2-nitrobenzoic acid) to measure surface protein thiols, a 41-50% increase in surface thiols was observed in PDI-overexpressing cells, whereas a 29-33% decrease was observed in underexpressing cells. Surface thiol content was strongly correlated with cellular (r = 0.998) and secreted (r = 0.969) PDI levels. The pattern of exofacial protein thiols was examined by labeling with the membrane-impermeable thiol reactive compound, 3-(N-maleimidylpropionyl)biocytin. Fourteen identifiable proteins on HT1080 cells were labeled with 3-(N-maleimidylpropionyl)biocytin. The intensity of labeling of 11 proteins was increased with overexpression of PDI, whereas the intensity of labeling of 3 of the 11 proteins was clearly decreased with underexpression of PDI. These findings indicated that secreted PDI was controlling the redox state of existing exofacial protein thiols or reactive disulfide bonds.     

Neisseria gonorrhoeae that infect men have lipooligosaccharides with terminal N-acetyllactosamine repeats

Infectious Neisseria gonorrhoeae make relatively large lipooligosaccharides (LOS) that structurally resemble human glycosphingolipids. MS11mkC is an LOS variant of N. gonorrhoeae strain MS11 which was isolated from men at the onset of dysuria (Schneider, H., Griffiss, J. M., Boslego, J. W., Hitchcock, P. J., Zahos, K. M., and Apicella, M. A. (1991) J. Exp. Med. 174, 1601-1605). Delayed extraction matrix-assisted laser desorption and ionization and electrospray ionization mass spectrometry of O-deacylated MS11mkC LOS produced ions consistent with known LOS which have lacto-N-neotetraose (Galbeta1-->4GlcNAcbeta1-->3Galbeta1-->4Glc; paraglobosyl; monoclonal antibodies (mAbs) 1B2(+) and 06B4(+)) and GalNAc-->lacto-N-neotetraose (gangliosyl; mAb 1-1-M+) oligosaccharides. Ion peaks for a larger LOS which also bound mAb 1B2 indicated the addition of a hexose (+162 Da) to gangliosyl LOS or the addition of a hexose and a N-acetylhexosamine (+365 Da) to paraglobosyl LOS. Analysis of HF-treated and O-deacylated LOS revealed three major components present in a phosphoethanolamine (PEA)0 and a PEA1 series. Digestion of MS11mkC LOS by beta-N-acetylhexosaminidase and beta-galactosidase, alone and sequentially, combined with mAb binding patterns, confirmed the presence of a nonreducing terminal repeating LacNAc ((Galbeta1-->4GlcNAc)2) on the largest LOS, rather than a parallel oligosaccharide structure.     

A subpopulation of reactive astrocytes at the immediate site of cerebral cortical injury

Data presented in this paper show that bromhexine and its pharmacologically active metabolite can easily be determined by capillary zone electrophoresis. The composition of the running buffer had a significant effect on the reproducibility of the migration time for which a carrier solution containing 30 mM phosphate buffer (pH 3.0), 5 M urea and 10% (v/v) acetonitrile was used. The method was validated with respect to its response linearity and reproducibility. The method is suitable for the determination of bromhexine and ambroxol in several samples such as pharmaceuticals, urine and serum. Photodiode-array detection permitted the rapid identification of both drugs in the sample analyzed.