一种用于Web服务合成过程建模的不确定性事件代数方法

Web服务合成是目前的研究热点之一,是Web服务架构中的重要组成部分.Web服务合成过程模型用以描述Web服务合成中各服务组件应该满足的语义约束信息,是自动服务发现及合成的基础.以事件代数作为支撑理论,旨在为Web服务合成过程建模提供一种支持语义表示及推理的形式化方法.针对Web服务合成的特点及合成过程本身具有的不确定性,首先基于统计学习的思想对传统事件代数进行不确定性扩展,给出Web服务不确定事件代数(WSUEA)的定义、操作及语义,进而对服务合成中的顺序、分支及并行等基本情形分别给出其WSIJEA表达式、以及相应的概率计算方法.实验验证了所提出方法的有效性.     

一种支持Web服务合成的行为建模方法

Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模型构建服务合成的行为模型的方法以及服务合成向导的方法。实验表明,在一定的数据量内,建立服务合成行为模型的性能呈线性变化,给出的方法是可行和有效的,可以作为自动Web服务合成的支撑技术。     

语义Web服务组合实现框架研究

针对不同的Web服务提供商提供的Web服务进行组合存在的异构性问题,提出了基于语义的Web服务组合实现框架.该框架详细阐述了语义Web服务选择策略、组合关系设定、组合Web服务内部各成员之间的数据传输及调用机制等组合实现过程中的关键技术.它在语义层次上对现有Web服务进行了语义描述,很好地解决了现有Web服务语法上的异构问题,有效地改善了Web服务的组合质量.     

基于流演算的语义Web服务组合研究

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.     

WSDL→Radl-WS生成方法及自动转换系统

精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明.为支持模型转换,提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统.最后采用真实案例,验证了该方法的有效性.     

基于URL语义分析的Web用户会话识别方法

由于现有基于时间和引用的经典会话识别方法在复杂Web使用模式挖掘中存在局限性,提出了一个基于URL语义分析的用户会话识别新方法.这个方法借助Web目录服务,将Web日志中的每一条URL记录赋予一定的语义信息,并给出一些测度指标对URL之间的语义相似度进行评价.对静态和流动两类Web日志情况进行分析,分别给出了语义奇异值...     

基于二元关系的语义Web的建立

为了便于机器理解和提高网络资源的利用率提出了语义Web .基于二元关系讨论了语义Web的建立过程 ,具体给出语义Web中相关语义的形式化定义 ,并基于此给出了语义描述和挖掘方法 ,进行了集合相关语义的完备性的证明 .为了语义Web能应用于实际网络中 ,给出了语义拓展方式的定义 ,继而完成语义Web的形式化定义 ,给出语义Web的整体模型 .最后 ,给出了若干用于检验语义有效性的方法 ,以进一步提高语义Web的实用性 ,至此可创建相对完整的语义Web .     

Web服务合成中的异构问题

分析了Web服务的发布、发现和调用过程,将Web服务合成中存在的异构分为阻碍Web服务最佳查找的语义等价的Web服务概要描述异构、阻碍Web服务动态替换的语义等价的Web服务操作异构和阻碍合成的Web服务正确执行的序列Web服务间数据流的异构·概要描述了Web服务合成中存在的各种异构冲突,并将Web服务合成中存在的异构归纳为语义冲突、数据类型冲突、结构类型冲突、参数个数冲突、数据量纲冲突和数据精度冲突六类·针对这六类冲突,详细地定义了解决各种冲突的相应转换规则·     

基于消息关联关系的Web服务组合模型

分析了Web服务之间存在的语义关联关系,给出了Web服务之间关联关系映射为消息传递关系的相关定义及消息处理规则,提出了基于消息关联关系的语义Web服务组合模型,阐述了组合服务生成时消息处理过程.该模型为用户提供了一种简单、通用的服务组合机制,降低了语义Web服务组合的复杂性.     

基于图论的Web服务合成算法

研究了Web服务合成问题,解决该问题的关键是对候选Web服务的输入输出数据关系进行建模,以及有效地利用这些已有的数据依赖关系实现服务合成请求.通过从Web服务规范语言中提取Web服务的语义信息,构建Web服务的依赖图;提出了一种基于搜索算法的Web服务合成算法,获取满足特定服务请求的Web服务合成.     

宇宙大爆炸及宇宙演化

 给出了宇观天体和微观粒子质量、半径的统一计算式,计算结果与实验基本相符．认为宇宙大爆炸是“超微黑洞”（即前宇宙）的大爆炸,否定了点大爆炸的传统观点．爆炸后的宇宙背景是光子热平衡态和引力束缚态共存的系统,平衡态占优势则宇宙必然膨胀．暗物质、暗能量的本质是什么？它们会怎样左右宇宙的命运？最后也阐明所谓的“大沙漠”区并非一无所有,它分布着三代费米子的超对称伴子——三代玻色型粒子成员．     

余甘子对秀丽隐杆线虫的抗衰老作用

以模式生物秀丽隐杆线虫(简称线虫)为模型,考察质量浓度分别为1.0,2.0,4.0mg/mL的余甘子提取物对线虫的抗氧化作用.实验结果表明:1.0 mg/mL的余甘子提取物能显著提高线虫产卵量,且对线虫的运动能力无显著影响,即在实验的质量浓度范围内,余甘子提取物具有低毒性;1.0mg/mL的余甘子提取物能显著延长线虫的寿命,并具有抗氧化压力作用;1.0mg/mL的余甘子提取物可显著提高线虫体内过氧化物酶活性,从而达到抗氧化的保护作用.     

α-蒎烯促进海洋真菌Aspergillus sp.产真菌毒素青霉酸的研究

 采自南海软珊瑚Sarcophyton tortuosum的内生真菌Aspergillus sp.在由葡萄糖10 g/L,蛋白胨5 g/L,酵母膏2 g/L,100％海水,pH为7.5的培养基（GPY）中能够产生真菌毒素青霉酸,产量为5.5 mg/L。在GPY培养基中添加200 mg/L的单萜α 蒎烯,能改变代谢产物的组成和含量,并显著促进该真菌产生青霉酸,产量可提高至29.15 mg/L。结果表明α 蒎烯在该菌的作用下主要得到系列氧化产物,并进一步发生氧化降解。单萜α 蒎烯可以作为一个有效的诱导子,引起微生物的氧化应激反应,改变膜上酶系的活性,使代谢活动得到调控,改变代谢产物组成或产量,在微生物发酵工业上有潜在应用。     

地榆提取物的体外抑菌活性及机制

用乙醇、 乙酸乙酯、 二氯甲烷、 正丁醇等有机溶剂和水分别提取中草药地榆的有效成分, 得到有机酸类、 三萜类和黄酮类化合物, 并分析各提取物对伤寒杆菌和痢疾杆菌的抗菌效果和机理. 结果表明: 地榆的乙酸乙酯相、 乙醇相和正丁醇相提取物对伤寒杆菌和痢疾杆菌有抑菌作用, 与对照组相比差异极显著(p<0.01), 各提取物对实验菌的最小抑菌质量浓度（MIC）差异较大; 地榆提取物中的有机酸类、 三萜类和黄酮类化合物有不同程度的抑菌作用; 地榆提取物可通过干扰细菌细胞壁合成及抑制细胞膜的形成而抑制伤寒杆菌和痢疾杆菌生长, 其抑制作用随提取液质量浓度的增加及作用时间的延长而增强.     

昆虫病原线虫4新种所携带共生菌的分子鉴定

 以16S rDNA为分子标记对中山大学有害生物控制及资源利用国家重点实验室近年从我国采集到并描述发表的斯氏属昆虫病原线虫4个新种所携带的共生菌进行分类鉴定,结果显示Steinernema akhursti所携带的共生菌很可能是Xenorhabdus属的一个新种,S aciari和S. leizhouense所携带的共生菌可能是Xenorhabdus属的两个近缘的新种或同一种的两个远缘菌株,而S. beddingi所携带的共生菌可能是Xenorhabdus bovienii的一个新菌株。     

以线虫为例研究复方左卡尼汀的药理及毒理作用

以秀丽新杆线虫作为模式生物,研究w(左卡尼汀)=0.1%,w(曲美他嗪)=0.000 5%及两种单药的复方药物复方左卡尼汀对连续三代线虫寿命与生殖能力的影响,并对线虫总脂肪进行油红O染色和气相色谱分析.结果表明:w(左卡尼汀)=0.1%,w(曲美他嗪)=0.000 5%及复方左卡尼汀对连续三代线虫的寿命均影响较小;左卡尼汀和曲美他嗪对亲代、F1代和F2代线虫的生殖能力均产生负面影响;复方左卡尼汀对线虫的生殖能力具有保护作用;限制饮食可减少线虫的产卵量,并与线虫的脂肪累积有关;左卡尼汀和曲美他嗪可减少线虫体内的脂肪累积与总脂肪酸的体积分数,复方左卡尼汀对线虫体内脂肪累积和总脂肪酸的体积分数影响较小.     

葛根中黄酮提取工艺的优化及抗氧化作用

以时间、温度和料液比3个单因素进行正交实验,确定葛根中黄酮提取的最佳条件.结果表明,提取的最佳条件为:m(料)∶V(液)=(1∶40)g/mL,60℃浸提3h,葛根粗提率为82%,黄酮提取率最高为18.04%.以模式生物秀丽隐杆线虫(线虫)为模型,考察质量浓度分别为1,2,5 mg/mL黄酮提取物对线虫的抗氧化作用.结果表明,在35℃培养12h,1mg/mL黄酮提取物喂食线虫的存活率较对照组有显著提高,即黄酮提取物有明显的抗氧化作用.     

HPLC法测定乌头须根中准格尔乌头胺和宋果灵的质量比

采用高效液相色谱法测定乌头须根中准格尔乌头胺和宋果灵两种生物碱类化合物的质量比.用Zorbax Extend-C18(4.6 mm×250 mm ODS,5μm)色谱柱,以V(甲醇)∶V(w(三乙胺)=0.1%)=6∶4为流动相,流速为1.0 mL/min,检测波长220nm,柱温25℃.结果表明:在选择的色谱条件下,两种生物碱类成分可实现基线分离,且线性范围宽(0.1~10.0μg),r2=0.999 8;平均加样回收率分别为99.8%和99.3%,相对标准偏差(RSD)分别为1.49%,1.46%(n=6),质量比分别为57.0,110.0μg/g.     

白虫草多糖的提取及其抗炎功能

用超声波提取法从白虫草（Cordyceps militaris Link）全草中提取多糖, 通过响应面法确定最佳提取工艺, 利用高效液相色谱（HPLC）法检测白虫草多糖的成分, 鉴定其主要的单糖组成, 并利用RAW264.7体外细胞抗炎模型检测白虫草多糖的抗炎效果. 结果表明： 最佳提取工艺为提取温度65 ℃, 超声波功率1 800 W, 提取时间3.0 h, 该条件下的提取率可达31.56%; 其单糖组成分别为Ara,Gal ,Xyl,Man,Glc和Rha; 白虫草多糖具有抗炎活性.     

正合零因子下模的G_C-同调维数

设R是具有单位元的交换Noether环,C是半对偶化模,x是R上的正合零因子.考虑正合零因子下模的G_C-同调维数,证明了若M是G_C-投射(内射,平坦)R-模,则M/(xM)是G_C/(xC)-投射(内射,平坦)R/(xR)-模.对DC-投射(内射)R-模可得类似结论.