Web服务语言BPEL到接口自动机的转换

在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.     

城市购物出发时间的非参数生存分析

根据济南市2011年的出行数据,研究了该市城市购物出发时间的分布特性。采用生存分析方法,建立城市购物出发时间的持续时间模型。运用非参数方法,对购物出发的持续时间进行估计,讨论了城市购物出行的时间分布和家庭社会经济属性变量对购物出发时间的影响。结果表明,总体样本的5.4%在7:00之前出发购物,69.7%在7:00~10:00出发购物,在10:00之后出发购物的少于24.9%。性别、年龄和家庭中儿童的数量对购物出发时间的选择有着显著的影响。女性比男性购物出发早,老年人更易在非高峰期进行购物出行,没有儿童的家庭购物出行在时间上更加灵活。本研究为购物出行的定量研究提供了准确、有效的分析工具,也对通过动态价格机制控制交通拥堵有重要意义。     

调衡方抗荷瘤小鼠Lewis肺癌转移的实验研究

探讨了调衡方对小鼠Lewis肺癌自发性肺转移的作用及其机制.将传代培养的Lewis肺癌细胞接种于C57BL小鼠右腋皮下建立Lewis肺癌模型,灌胃给药12 d后观察肺表面转移率;常规石蜡切片HE染色,观察肺内转移灶的数量和大小;并采用免疫组化等方法检测肺组织中CD4+、CD8+T细胞量及血清中恶性肿瘤特异性生长因子(tumor specific growth factor,TSGF)的水平.结果显示调衡方在25、50 g/kg剂量下,可增加荷瘤小鼠肺组织中CD4+、CD8+T细胞量,对外周血中TSGF的水平及瘤块的增长有显著地抑制作用.研究结果显示诃衡方通过抑制小鼠外周血TSGF的水平及增加CD4+、CD8+T细胞量,从而抑制肿瘤细胞的侵袭转移.     

忍冬叶环烯醚萜苷类化学成分研究

利用硅胶、Sephadex LH-20以及制备液相色谱等方法进行分离纯化,从忍冬叶中分离得到3个环烯醚萜苷类化合物,以及β-谷甾醇和胡萝卜苷。通过理化性质、波谱数据分析,分别鉴定为裂环马钱素酸、demethylsecologanol、裂环马钱素、β-谷甾醇和胡萝卜苷,其中化合物demethylsecologanol为首次从该属植物中分离得到。     

X射线在Au等离子体中的散射截面测量

阐述了X射线在等离子体中的散射截面研究的潜在价值及对惯性约束聚变 (ICF)研究的重要意义 ,介绍了神光Ⅱ装置上的实验方案及诊断设备靶场排布。给出了该项研究的实验结果 ,并对实验结果作了初步的分析 ;给出了实验误差的主要来源 ,从获得的结果表明有望发展一种新的等离子体状态参数诊断技术。     

QPP交织器的性能分析

为了提高高速并行Turbo译码的效率,Turbo码需要改进其内部交织器。QPP(Quadratic Polynomial Permutation )交织器是一种新型的基于置换多项式的确定性交织器,由于其操作简便,复杂度低,结构灵活,性能优良,成为近年来Turbo码交织器研究的热点。分析了QPP交织器的原理,通过实验验证了QPP交织器及其反交织器具有最大无争用特性,该特性可以有效提高高速分块并行Turbo译码的效率。仿真结果表明,QPP交织器还可以显著改善高速分块并行Turbo译码性能。     

下颌前牙固定桥基牙及其支持组织的三维有限元模型的建立

目的：建立下颌前牙双端固定桥的三维有限元模型,为分析下颌前牙固定桥的生物力学特征提供数字模型。方法：采用正常人的下颌骨标本,进行CT断层扫描得到包含下颌前牙的35幅图像,通过计算机图形转换软件和3D建模软件获取图像的边界信息,应用ANSYS有限元建模模块处理。建立了包括牙齿、牙周膜和牙槽骨固定桥修复前及修复后的几何模型和三维有限元模型。结果：固定桥修复后。有限元模型包括牙体、牙槽骨、牙周膜在内共41648个节点,27269个单元。结论：CT辅助有限元建模技术能精确建立下颌前牙及其支持组织的三维有限元模型。     

材料光学参数深度剖面重构的神经网络仿真与实验研究

本文主要研究材料光学参数剖面重构的人工神经网络方法,从仿真和实验两个方面验证了神经网络参数识别技术用于实际问题的可行性,运用统计方法和灵敏度分析研究了影响参数剖面重构质量的几个因素。此外,本文还提出了一种训练网络的新方法,即利用奇异值分解获得导热模型的特征向量,利用特征向量的随机组合生成样本训练网络,统计分析结果表明这种方法可有效的提高网络的识别能力。     

扁铲侧胀试验及其在地基土承载力测定中应用

本文介绍了扁铲侧胀仪试验的试验方法、资料整理,并根据工作实践。提出了一些在岩土工程中应用扁铲侧胀仪测定地基土承载力试验的方法。     

一类基于模糊T-S模型的输出反馈控制系统鲁棒稳定性分析

针对一般线性系统,提出了一种基于T-S模糊自适应控制的输出反馈控制策略.为分析其鲁棒稳定性,利用Lyapunov函数,考察了存在一定建模误差情形下该系统的局部和全局稳定性以及鲁棒稳定性,推导了该控制系统的稳定性以及鲁棒稳定性条件.仿真和试验验证了结论的正确性和有效性.