oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 124 )

2018 ( 2749 )

2017 ( 2927 )

2016 ( 3078 )

Custom range...

Search Results: 1 - 10 of 136159 matches for " 冯志勇 "
All listed articles are free for downloading (OA Articles)
Page 1 /136159
Display every page Item
基于Pi-演算的Web服务形式化描述模型*
胡静,
计算机应用研究 , 2011,
Abstract: 当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。本文在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS规范和WS-CDL规范的重要行为在模型中做了映射。最后通过例子说明,基于局部和全局的设计方法在本文提出的模型中的映射是一致的。本文提出的描述模型直接用来进行Web服务组合的设计时,可以更好的描述动态的体系结构。
基于多元Pi演算的Web服务形式化描述模型及其验证*
胡静,
计算机应用研究 , 2011,
Abstract: Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。
华南稻田农田害鼠复合防治指标的理论研究
何淼?,
生态学报 , 2003,
Abstract: 依据对华南地区稻田3种主要害鼠黄毛鼠、板齿鼠和小家鼠的田间捕获率调查,以及对害鼠造成的相应水稻产量损失率(y)研究,建立了水稻产量损失率与鼠密度关系的多元线性回归方程。确定板齿鼠作为本项研究的标准鼠种,利用3种主要农田害鼠的捕获率在回归方程中对应的系数,计算出农田害鼠的标准当量损害指标。结果显示,每个标准鼠单位造成的水稻产量损失率分别相当于4.084个黄毛鼠当量单位,或31.593个小家鼠当量单位。进一步,对原始调查数据进行二次处理,建立了标准当量(x)与(y)的相互关系数学模型;文中配合eil计算公式,求出了在不同水稻产量和不同灭鼠效果等条件下的华南农田害鼠的复合防治指标。
基于概率方法的qos感知web服务组合
陶春华,
天津大学学报(自然科学与工程技术版) , 2010,
Abstract: 针对web服务的服务质量(qos)的随机本质,提出了一个基于概率qos感知的web服务组合方法,实现传统方法难以描述的qos需求.在概率qos模型的基础上,定义qos目标以及组合方案与qos目标之间的距离函数.通过将服务组合问题转化为组合优化问题,应用rollout算法作为求解问题的计算框架,对一个具体问题设计了相应的启发函数.以跨国旅游方案提供商作为具体案例演示基于概率方法的qos感知服务组合.该方法很好地解决了概率qos模型难以应用到动态服务组合中的问题.理论分析和实验数据表明该方法可以很好地满足用户对于组合服务的qos需求.
?基于规则的交互上下文预测
?丁春,
天津大学学报(自然科学与工程技术版) , 2009,
Abstract: ?为了改进当前上下文预测中由于缺乏对交互情况的考虑所导致的不完全预测问题,提出了基于规则对交互上下文进行预测的方法.给出了交互上下文的定义及使用本体对交互上下文进行建模的方法.在基于规则的交互上下文预测架构中,利用交互规则发掘算法和交互预测算法等推理计算得出交互规则,根据得到的交互规则对交互上下文进行预测.该方法的使用合理地改进了传统的上下文模型,从根本上系统地解决了传统的上下文预测的局限性问题,有效地提高了上下文预测的能力.
agent应用系统模板语言研究
王家昉,
计算机应用 , 2007,
Abstract: ?为了有效地构造可靠、便于维护的多agent系统(mas),根据grammarware的工程化思想与产生式编程技术,以基于黑板的单agent结构为基础,提出一种agent模板语言(apl)。通过一个企业业务过程管理(bpm)场景,说明在应用中如何使用apl描述agent中针对具体应用的数据类型、知识源组件等,并由解析器将apl转换为jade上的执行代码,进而实现多agent系统的快速构建,实现mas自顶向下的开发,从而提高系统开发的效率,增强系统的灵活性与可复用性。
新结构单片钢板弹簧的优化设计
,
工程力学 , 1999,
Abstract: 本文首先给出了一种钢板弹簧结构,它可满足汽车平顺性要求的非线性特性。之后应用非线性有限元理论,导出其静力学问题的求解方法。最后根据最优设计理论,给出了该类结构设计的一般性方法。理论推导和算例均表明,本文的非线性有限元模型和优化模型是正确的。
北京地区电视频段空域动态频谱接入机会测量与分析
薛剑韬,
北京邮电大学学报 , 2014, DOI: 10.13190/j.jbupt.2014.01.001
Abstract: 为探索在城市环境部署认知无线电设备的可行性,确定繁忙都市城区环境存在多少动态频率接入机会可以被利用,对北京地区470~806MHz电视电磁频段进行了移动测量和定点测量.经估算,18%的北京城区室内区域存在空域频谱利用机会.通过理论计算和实际平台设备验证得到在不干扰附近电视接收机条件下,室内电视频段认知无线电设备的最大发射功率.证明了即使在北京这样无线电业务繁忙的大都市市区,仍存在大量的潜在频谱利用机会,可供新兴的动态频谱接入技术利用.
误差反馈的小波神经网络均衡器结构与算法
文江,
重庆大学学报 , 2007, DOI: 10.11835/j.issn.1000-582X.2007.04.019
Abstract: 为了克服宽带无线通信中非线性时变信道对接收信号造成的码间干扰,针对小波分析良好的时频局部化性质及神经网络的自学习功能,采用了误差反馈的判决反馈小波神经网络均衡器,使用误差反馈来减小误差信号的自相关性,得出该结构提高了小波神经网络均衡器的收敛速度,降低了通信误码率,理论分析和计算机仿真结果验证了该算法的有效性,结果表明基于误差反馈的小波神经网络的均衡器在非线性时变信道中的通信性能有显著提高.
电磁频谱衰落信道的相位校正盲均衡算法研究
,文江
重庆师范大学学报(自然科学版) , 2014, DOI: 10.11721/cqnuj20140621
Abstract: 针对电磁频谱衰落信道中常规恒模盲均衡算法对所接收信号相位变化不敏感的缺点,研究了一种即携带接收信号的幅值信息,同时还携带接收信号相位信息的修正恒模盲均衡算法。论文在对修正恒模盲均衡算法进行推导的基础上,利用电磁频谱衰落信道,仿真了高阶正交幅度调制信号的修正恒模盲均衡算法性能。仿真结果表明,修正恒模算法在均衡后星座图不仅汇聚程度大幅提高,而且纠正了由电磁频谱衰落信道带来的相位偏转,在收敛速度和降低残余符号间干扰方面均改善了均衡器的性能。
Page 1 /136159
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.