A novel heuristic algorithm for QoS-aware end-to-end service composition

Many works have been carried out to find the efficient algorithms for QoS-aware service composition in recent years. Nevertheless, on one hand, some of these works only consider the local QoS attributes in Web services composition; on the other hand, some ideas derived from QoS selection algorithms for network routing are directly applied in service composition without any adaption. A service composition model with end-to-end QoS constraints has been presented in this paper. An improved heuristics HCE based on the observation of characteristic of end-to-end service composition is proposed as a novel solution. Simulation results reveal the better performance of proposed heuristic compared to the other two heuristics, HMCOP and generic CE algorithm.     

用VIS验证微处理器PIC

近年来,二叉判定图ＢＤＤ和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用ＶＩＳ系统验证微处理器ＰＩＣ设计的正确性。利用ＶＩＳ证明了ＰＩＣ设计部分电路的等价性。发现了一个设计错误并证明了ＰＩＣ中一些重要模块的特性。     

ArBac算法在属性分组中的拼接树模型设计

本文通过对ArBac算法的分析,指出其挖掘性能对数据库属性数目的依赖问题。从而引入了对数据库进行属性分组的挖掘策略。最终提出了实现属性分组的拼接树模型。     

Capturing Global Youth: Mobile Gaming in the U.S., Spain,and the Czech Republic

We adapt the technology acceptance model (TAM) to examine the factors influencing mobile gaming adoption among “global youth.” Our model replaces usefulness with convenience, incorporating visual appeal and escapism as antecedents of fun, and perceived novelty and economic value as antecedents of convenience. Questionnaire surveys were conducted in the U.S., Spain, and the Czech Republic, producing 432 usable responses. In the structural model assessment with the pooled sample, convenience exercises greater effects on attitude toward mobile games than fun, suggesting that the most important driver is probably the capability of being used flexibly at any time and in any place, rather than mere enjoyment. Tests of latent means suggest that most dimensions are perceived more strongly in the Czech Republic.     

Web应用中的攻击防御技术的研究与实现

该文介绍了SQL注入式攻击、XSS跨站脚本攻击、会话劫持3种网络攻击手段的原理,并在此基础上重点论述了如何防范这些攻击的方法。     

改进的选择神经网络结构的方法

有关人工神经网络作为在线状态估计器组成基于神经网络的传感器故障检测的研究已有报导。但是这些文章中没有提到如何选择神经网络的结构。神经网络的输入延迟数和隐基单元数影响其对系统的拟合精度,从而影响故障检测的灵敏度。研究了一些现有的选择神经网络结构的方法,以系统化的交叉证实法为基础,经过改进,提出了针对作为在线状态估计器的神经网络选择输入延迟数和隐层单元数的系统化的方法,并用某船在试验场中航行时平台罗经输出的一段数据作了仿真,结果证明该法可行,具有工程实用意义。     

LUGB系列涡街流量变送器的检测放大器

介绍了LUGB系列涡街流量变送器的核心部件 -检测放大器的电路分析。主要论述了该流量变送器的测量原理及检测放大器的电路组成与工作原理。通过实际应用证明 :该检测放大电路在测量范围、测量精度上都达到了一定的要求。     

新型自封带旁通阀回油过滤器基本模型介绍

针对箱侧、箱底回油过滤器的特点,提出一种较传统结构更简单、使用起来更方便的结构模型。     

水电站消力池导墙抗疲劳破坏问题研究

为研究水电站消力池导墙抗疲劳破坏问题,对某大型水利枢纽消力池导墙流激振动疲劳破坏问题进行了系统研究。通过枢纽整体水力学模型试验,测量与分析导墙两侧面的水流脉动压力,进行导墙的自振特性计算与水力共振校核;进行导墙静应力和流激振动响应计算与强度校核;对不满足强度要求的墙段,进行配筋计算与防裂验算,用2种方法对配筋后的导墙进行抗疲劳破坏计算研究,根据抗疲劳要求增加导墙的配筋量,使其满足安全要求。