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

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

Comparative analysis of A,B,C and D genomes in the genus Oryza with C_0t-1 DNA of C genome

The genus Oryza includes two cultivated species, O. sativa L. and O. glaberrima Steud. and comprises more than 20 species[1]. The genomes of Oryza are classified into 10 types: AA, BB, CC, BBCC, CCDD, EE, FF, GG, HHJJ and HHKK[2,3]. Morphological variatio…     

九孔鲍血细胞的研究

采用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     

在片学习及权值刷新神经网络硬件实现方法

提出几种电流模式电路块，并用这些模拟电路块构成一个电流模型式ＢＰ人工神网络，该ＢＰ神经网络具有在片学习和在片权值存储能力。对所设计的模拟电路块进行了理论对构成的ＢＰ神经网络作了应用实例研究，并提供了ＰＳＰＩＣＥ仿真结果。     

求解桁架临界载荷的新方法

以往求桁架结构临界载荷归结为求桁架总刚度阵的特征值，而总刚度阵中的与轴力有关的几何刚度阵，则是从各杆件始终处于直线状态，并在轴向变形中考虑横向变位影响而导出的；这样就必然导致当整体失稳时各杆件都不会发生欧拉屈曲的结果，这是不合理的．作者认为桁架失稳有可能是由杆件的局部欧拉屈曲导致成机构所造成的．由此提出一种计算桁架临界载荷的新方法，算了若干例题，并和过去的一般方法作了比较．有的两者计算结果之差竟达１８．５４倍，这就说明本方法具有理论和实际意义．