基于XYZ/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.     

基于元Web服务的分布式Web服务组合算法

在分析Web服务与现有Web服务组合算法特点的基础上,提出元Web服务概念和分布式Web服务组合算法.借助元Web服务,该算法能够直接为服务请求与分布组合节点之间建立有效地索引机制,最大限度地降低无效服务可组合性分析次数,提高了服务组合效率.另外,该算法是完全透明于各分布结点的具体服务组合算法,现有服务组合算法能够有效地实现与该算法集成.与传统集中式服务组合算法相比,该算法将各分布服务组合结点映射成一个普通的Web服务,从而有效地降低了算法设计复杂度和执行复杂度.实验验证了该算法能够有效地提高Web服务组合效率.     

基于Web服务的事务处理

随着Web服务发展和广泛应用，为了保证Web服务的一致性和可靠性，需要考虑在Web服务环境下的事务处理．讨论了基于Web服务对传统的原子型事务的处理方式，并分析了如何构架Web服务以加强对长事务即业务事务的支持。     

Web服务安全性分析

Web服务安全是当前焦点问题．文章利用协议栈介绍了Web服务的体系构架及其调用原理,详细分析了 Web服务安全性并提出一个解决的方案,在此基础上分析了Web服务的安全模型及其规范．     

基于服务簇的Web服务绑定方法

针对较大粒度服务簇的服务绑定效率优化问题,提出了一种Web服务绑定方法。通过改进服务簇的逻辑Petri网模型,量化服务参数集,缩小相似度计算总量,只需对用户需求参数和服务参数进行运算,计算复杂度为O(km),提高了服务发现效率;给出服务绑定的动态替换方法,匹配服务过程无需查找本体树,能够提高运算效率;解决了网络环境的变化造成的服务响应失效问题,提高服务响应的自适应性。     

基于Web 服务的网络管理研究

随着互联网技术的飞速发展,网络规模的扩大,传统的集中式的网络管理已不能适应网络管理的发展要求,而分布式技术Web Service,由于本身具有分布性、易扩展和易集成等特性,如果能运用到网络管理中必将改变现有网络管理的缺陷,在此背景下本文提出了一个基于Web Service技术的网络管理模型。     

基于Web服务的数据库应用

讨论用VC#.NET编程语言实现基于Web服务的数据库非格式化数据的访问技术.     

基于WSE的Web服务应用

介绍了当前使用的Web服务安全机制中存在的安全性、性能及扩展性方面的问题.给出使用WSE3.0对Web服务的SOAP消息进行基于消息的签名和加密的实现方法及一个利用WSE3.0 实现Web 服务签名和加密的项目实例.     

基于语义的Web服务查询

讨论了以DAML-S作为Web服务语义描述的工具,并以其所描述的内容作为检索Web服务的信息来源,以确保根据Web服务的语义实现Web服务的检索.同时还介绍了在此基础上构造的一个可以用于进一步开展语义Web服务研究工作的检索系统.     

基于Petri网的系统可靠性分析

许多工程系统的重要特征是具有动态行为,因而不能用故障树模型进行这类系统的可靠性分析．本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树,并且考虑配置维修设备．可修系统的动态行为可以借助Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究．     

基于正态分布概率模型的渗滤液回灌影响分析

渗滤液回灌能有效加速填埋场的稳定并处理多余的渗滤液,而预测回灌过程中渗滤液的运移规律对于合理设置回灌井的间距和数量具有重要的意义.考虑了垃圾体的非均质性,建立了垃圾体的渗透系数随空间正态分布变化的概率模型.利用COMSOL Multiphysics?软件,首先对单孔隙度的横纵向均质模型和正态分布模型的渗透系数以及压力水头进行了比较,其次研究了在横纵向渗透系数比值、回灌速率和回灌时间等不同影响因素下,均质模型和正态分布模型的含水率以及横向影响范围的变化规律.结果表明,随着横纵向渗透系数比值的增加,最终在100 d时:均质模型的含水率由0.609增加到0.68,横向影响范围从4.842 m增加到6.79 m;正态分布模型的含水率由0.573增加到0.610,横向影响范围从4.097 m变为4.04 m.这说明横纵向渗透系数比值对正态分布模型的含水率和渗滤液横向影响范围的影响明显高于均质模型.而当回灌速率和回灌时间相同时,正态分布模型渗滤液的渗流速度更快,易于优先达到饱和含水率,并在短暂的峰值后迅速下降,且随着回灌速率和回灌时间的增加,达到饱和含水率和峰值的时间也逐渐增加.     

基于非概率模型的飞机襟翼故障树分析

当系统中各组件的失效概率采用区间模型表征时,可以建立基于故障树的系统可靠性分析方法.该文提出一种非概率可靠性指标,该指标首次将系统安全标准或可靠性要求考虑其中,从而可以合理地评价系统的可靠性.基于非概率可靠性指标推导了用于确定各基本事件贡献程度的灵敏度指标,并将所提方法应用到某型飞机襟翼机构不对称运动故障树分析中.结果...     

基于正态分布概率模型的渗滤液回灌影响分析

渗滤液回灌能有效加速填埋场的稳定并处理多余的渗滤液, 而预测回灌过程中渗滤液的运移规律对于合理设置回灌井的间距和数量具有重要的意义. 考虑了垃圾体的非均质性, 建立了垃圾体的渗透系数随空间正态分布变化的概率模型. 利用 COMSOL Multiphysics^® 软件, 首先对单孔隙度的横纵向均质模型和正态分布模型的 渗透系数以及压力水头进行了比较, 其次研究了在横纵向渗透系数比值、回灌速率和回灌时间等不同 影响因素下, 均质模型和正态分布模型的含水率以及横向影响范围的变化规律. 结果表明, 随着横纵向渗透系数比值的增加, 最终在 100 d 时: 均质模型的含水率由 0.609 增加到 0.68, 横向影响范围从4.842 m 增加到 6.79 m; 正态分布模型的含水率由 0.573 增加到 0.610, 横向影响范围从4.097 m 变为 4.04 m. 这说明横纵向渗透系数比值对正态分布模型的含水 率和渗滤液横向影响范围的影响明显高于均质模型. 而当回灌速率和回灌时间相同时, 正态分布模型渗滤液的渗流速度更快, 易于优先达到饱和含水率, 并在短暂的峰值后迅速下降, 且随着回灌速率和回灌时间的增加, 达到饱和含水率和峰值的时间也逐渐增加.     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×1010.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.     

Java Web服务安全分析

通过Java Web服务安全设计、安全部署和安全管理三个方面详细地分析了Java在Web服务安全性方面的实现，同时给出了企业Java Web服务安全问题的解决方案。     

基于服务元组链的Web服务组合方法

提出一种描述Web服务的关系模型, 通过引入空服务和服务元组的概念, 采用基于服务元组链的Web服务组合方法, 解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题, 应用该方法既能处理顺序关系的组合问题, 又能处理多个后继服务或前驱服务都需要被组合的并发关系组合问题.     

基于UDDI服务订阅的Web服务推荐机制

针对基于Web服务的分布式系统提出的一种“推”模式的信息传播机制 ,并由此提出了一种利用UDDI服务订阅功能实现Web服务推荐的方案 .文章通过对 3种具体应用场景的分析 ,讨论了该服务推荐机制的可行性及实用性     

基于AXIS构建 Web服务的研究

根据Web服务的基本原理,阐述了Apache Axis的特点,分析了Apache Axis的实现机制。通过实例说明了如何在Apache Axis平台上构建、访问和监控Web服务,体现了ApaeheAxis方便、快捷、高效的特点。     

基于DAML-S的Web服务匹配方法

服务匹配是Web服务发现中一个很重要的部分,针对目前服务发现方法的不足,提出了一种基于DAML-S的Web服务匹配方法,其核心思想是用DAML-S进行服务描述并将其发布后,通过对服务描述中的输入输出和用户需求中功能的测度来判断服务与用户需求的匹配程度．