Algorithms for checking channel passing in web service choreography

Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.     

Normalized Efficient Routing Protocol for WSN

WSNs （wireless sensor networks） consist of thousands of tiny nodes having the capability of sensing, computation, and wireless communications. Unfortunately these devices are limited energy devices, that is means we must save energy as much as possible, to increase network life time as long as possible. In this paper we introduce NEER--normalized energy efficient routing protocol that increases network life time through switching between AODV protocol that depends on request-reply routing, and MRPC that depends on residual battery in routing.     

非法职业介绍机构的生存现状及治理对策——以东部沿海经济发达城市A市为例

本文以东部沿海某经济发达城市A市为研究对象,实地走访求职者、用人单位、非法职业介绍机构、劳务派遣企业等相关主体,结合调查数据剖析了非法职业介绍机构的生存现状,并在此基础上提出治理非法职业介绍机构的相关建议。     

岩石(体)应力扩容试验及本构进展研究

对目前国内外岩石(体)应力扩容机制的室内试验及本构模型研究进行了系统的分析与总结,得到以下结论:描述应力作用对岩石体积膨胀的影响,可用峰前扩容,峰后碎胀来定义;在加载、卸载两种情况下岩石(体)均可产生扩容,但后者的扩容变形要大于前者;围压或中间主应力对扩容具有抑制作用;岩石本构中要采用不相关联流动法则,且能体现扩容特性...     

中国互联网的丛林法则

虚假链接的乱象根源 大多数熟练使用电脑的中国用户都已经知道应该如何聪明地避开广告的威胁,也因为这点小聪明他们可以做到让共享软件作者颗粒无收。巧取豪夺是一定会出问题的,可惜互联网用户从最早的共享软件产生之日起就没停止过对网络资源的掠夺。本来收费的可以破解成免费的,本来放的广告不影响使用,却非要制作绿色纯净版。那没办法,我嵌入广告的方法只有与时俱进。     

基于模糊神经网络运算法则的并联机器人自适应控制研究

针对并联机器人数学模型不完全确知并包含外部扰动的非线性多变量系统,提出一种基于模糊神经网络运算法则（FNNA）的自适应控制策略。将各个支链的模糊规则通过神经网络进行在线训练并得出模糊规则的权重并将此运用于在线辨识非线性自适应控制系统的未知动态,有效抑制了系统的数学模型不精确所产生的误差及外部扰动。仿真结果表明该控制方法明显提高了控制系统的轨迹跟踪性能,并对外部干扰及系统的非线性具有很强的鲁棒性。     

无线传感器网络残余节点的研究

研究残余节点的能量阈值及数量的选取方式对无线传感器网络生命周期的影响。针对LEACH协议的不足,将剩余能量加入阈值计算公式,并在簇头节点和汇聚节点间采用多跳通信方式。     

基于能量感知的工业无线网络时间同步协议

时间同步技术是工业无线网络的关键技术,节能和延长网络生存时间也是无线传感器网络研究领域的热点问题。该文综合考虑网络中节点的剩余能量和工业应用对时间同步精度的要求,通过优化传统的泛洪时间同步协议,提出了基于能量感知的、高可靠性工业无线网络时间同步协议。仿真分析表明,该文提出的时间同步协议,与传统协议相比,可以降低节点用于时间同步的能耗,延长网络生存时间。并且,该协议符合W IA-PA工业无线网络国家标准。     

网游营销的百度法则

搜索引擎就像一面镜子,通过它可以清晰地观测到网民真实的行为意图,客观反映网游市场的变化情况,从而撬动网游行业甚至更多行业营销的支点。     

浅谈中小企业财务管理的策略及目标

中小企业的核心问题是生存问题,而维持中小企业生存的关键在于企业的财务管理.中小企业为了增强抵御市场风险的能力,平稳快速可持续的发展,建立科学合理的财务管理体制,提高企业的总体效益,加强财务管理的策略分析就显得尤为重要.