基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

九孔鲍血细胞的研究

采用May Grunwald-Giemsa染色法研究九孔鲍(Haliotis diversicolor supertexa)血细胞的显微结构,根据细胞大小和核质比将九孔鲍血细胞分为3类:大细胞、中等细胞和小细胞.血细胞密度为(8.32±4.76)×106/mL,大细胞、中等细胞和小细胞分别占血细胞总数的3.6%、91.7%和4.7%.透射电镜下血细胞可分为两类:颗粒细胞对应于光镜下的大细胞和中等细胞;无颗粒细胞对应于光镜下的小细胞.用细胞化学的方法证明九孔鲍血细胞中含有多糖、酸性磷酸酶、非特异性酯酶和过氧化物酶,它们的阳性率分别为57.3%、95.2%、86.3%、6.7%;但是根据血细胞的这几种成分不能区分血细胞的类型.     

离心机永磁轴承仿真系统自动化建模研究与实现

根据离心机转子系统的工作原理,用一种新型的永磁轴承替代传统的滚动轴承.在离心机磁轴承试验仿真系统的结构模块中,采用尺寸驱动的方法,利用VB语言,对三维软件SolidWorks进行二次开发,永磁轴承的模型可以通过用户界面操作自动建立.这对永磁轴承的推广应用、系列化开发具有重要的意义.     

行进间跟踪轴线稳定技术

研究自行火炮行进间载体牵连给跟踪带来的扰动问题,采用补偿的方法抑制这种扰动.即采用开环前馈控制与跟踪闭环部分相结合的控制方法,取得了很好的控制效果.从扰动的机理入手,利用可测参量,对扰动部分进行线性化,并给出了补偿信号的解析式.用Matlab Simulink进行了仿真,仿真结果表明所提出的方法能够使载体的扰动造成的误差明显减少.其优点在于能够在不改变原有控制系统结构的情况下,实现有载体扰动时的跟踪轴线稳定.     

毛细管区带电泳法对不同表面特征大肠杆菌的快速表征

采用毛细管区带电泳法对肠毒素大肠杆菌的 3种亚型 (E .coliK99、987P和K88) ,进行以细菌细胞为单位的快速表征 ,探讨了不同表面特征的细菌细胞在电泳图上的差异 .结果表明 ,在相同电泳条件下 (0 0 2 5mol/LNa2 CO3 -NaHCO3 (pH9.9)缓冲液 ,检测电压 14 .1kV ,检测波长 2 10nm) ,E .coliK99、987P和K99的细胞分别具有单一、稳定 (RSD≤ 0 9% )的特征谱峰 ;细菌细胞经去菌毛鞭毛处理及甲醛灭活处理 ,电泳行为差异显著 ,且不同处理方法之间的变化具有一致性 .     

一种适用于履带式小型机器人的双流转向传动机构

遥控小型机器人由于具有携带方便、适应性强、成本低廉等特点 ,正得到军事、公安、消防等领域的日益重视 ,为此设计了一种适用于履带运动机构的电动双流转向传动方案 ,经试验效果良好 .     

盐度对龟足胚胎及幼虫发育的影响

叙述了盐度对体外培育的龟足胚胎及幼虫发育的影响 .水温 2 5± 1℃时 ,胚胎发育的适宜盐度范围为 1 5 .33～ 4 1 .78;最适盐度为 2 1 .38～ 2 8.5 5 .幼虫发育耐盐上限为 4 1 .78,下限为 2 1 .38;最适盐度为 2 8.5 5～ 35 .1 6     

半黎曼空间形式的极大类空叶状结构

设Ｆ是半黎曼空间形式Ｎｎ＋ｐｐ（ｃ）上的余维ｐ的极大类空叶状结构，如果标准度量是类丛的，则ｃ≥０，如果Ｆ的叶子还是完备的，则Ｆ是全测地叶状结构     

A naturally occurring MTA1 variant sequesters oestrogen receptor-alpha in the cytoplasm

Oestrogen receptor (ER) is a good prognostic marker for the treatment of breast cancers. Upregulation of metastatic tumour antigen 1 (MTA1) is associated with the invasiveness and metastatic potential of several human cancers and acts as a co-repressor of nuclear ER-alpha. Here we identify a naturally occurring short form of MTA1 (MTA1s) that contains a previously unknown sequence of 33 amino acids with an ER-binding motif, Leu-Arg-Ile-Leu-Leu (LRILL). MTA1s localizes in the cytoplasm, sequesters ER in the cytoplasm, and enhances non-genomic responses of ER. Deleting the LRILL motif in MTA1s abolishes its co-repressor function and its interaction with ER, and restores nuclear localization of ER. Dysregulation of human epidermal growth factor receptor-2 in breast cancer cells enhances the expression of MTA1s and the cytoplasmic sequestration of ER. Expression of MTA1s in breast cancer cells prevents ligand-induced nuclear translocation of ER and stimulates malignant phenotypes. MTA1s expression is increased in human breast tumours with no or low nuclear ER. The regulation of the cellular localization of ER by MTA1s represents a mechanism for redirecting nuclear receptor signalling by nuclear exclusion.     

关于客家方言体貌助词“啊”

客家方言体貌助词“啊”,既可以表示动作的完成,也可以表示动作持续的方式等多种状态.而它的本字“虽熟犹生”,或许属于汉语与非汉语交融的底层词语.