基于移动代理的Web服务组合

为了解决基于移动代理的服务组合,首先划分了服务提供者、服务代理商、服务消费者3个主体角色,以3个角色及其相互关系、交互内容来模拟实现现实世界的服务.在此基础上,解决了代理中间件中的服务发现和组合服务的执行问题.最后从实现角度给出了代理平台中间件的功能,实验结果表明:通过代理平台中间件可以完成对基本服务的工作状态以及其他组合所需信息的获取,并保证移动代理的协同工作.     

基于构件的服务模型形式化语义描述

为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.     

Web服务语言BPEL到接口自动机的转换

在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.     

一种基于执行环境特征的组合服务混合执行机制

研究了一种组合服务混合执行机制,建立了服务间的交互协议,给出了执行环境特征模型,并在该模型基础上给出了执行模式选择规则.该机制结合了控制流、数据流全集中,控制流集中、数据流分散两种执行模式的特点,能够根据组合服务业务特性和网络环境特点动态选择执行模式,可以使得数据量较大的消息直接在服务间传递而无需通过中心节点转发.实验结果表明:组合服务混合执行机制通过在组合服务执行过程中动态选择执行模式,能够有效保证组合服务的执行效率.     

一种基于主副备份的微服务可靠性建模与分析方法

微服务架构（MSA）将云应用构建为独立的组件，通过解耦来提高软件更新的灵活性和敏捷性，然而微服务在时延和可靠性方面仍面临许多挑战。本文使用谓词Petri网（PrT网）对基于事件总线的微服务组合进行建模，建立微服务之间的逻辑关系。采用主版本和备份部署微服务实例，提高了微服务组合整体的可靠性。基于PrT网的相关理论，验证了微服务可靠性模型和PB(Primary-Backup)副本部署策略的正确性。将微服务执行的保证率作为可靠性的参数，通过实验分析验证了本文方法的有效性。     

多路阀阀芯节流槽拓扑结构组合的神经网络模型

针对多路阀设计中阀芯节流槽结构的拓扑形态表达和其流固耦合响应的大组合、大自由度解析问题,提出多路阀阀芯节流槽拓扑结构组合的神经网络模型。在利用多路阀动态特性台架实验验证其三维流体解析结果的基础上,将节流槽拓扑结构分类为由半圆槽、U型槽、圆孔等结构的参数化组合构成,通过正交实验法得到各参数组合条件下的多路阀三维流体解析响应,作为反向传播神经网络的训练样本,实现其节流槽拓扑结构组合的神经网络表达;采用进化神经网络优化训练过程的初始权重和阈值,优化后的神经网络能够对非训练样本集合的多路阀三维流体解析响应实现准确预测。研究结果表明,此模型为阀芯节流槽结构设计中拓扑形态表达提供了一种新的思路,对多路阀数字化设计具有实际意义。     

SVI隐含波动率模型的时间指数扩展

针对半参数SVI模型提出了避免跨期套利约束模型,根据平稳时间平方根规则,用对数执行价格和剩余期限的特定组合替代了原模型中的对数执行价格.为了使对数执行价格和剩余期限之间的关系更加灵活,引入了新的参数来调整二者之间的组合,并在此基础上提出参数模型构建隐含波动率曲面.最后基于AAPL股票期权进行了实证分析,结果表明,改进半参数模型更具灵活性与精确性,能够较好地构建隐含波动率曲面.     

基于WLAN的嵌入式电子衡器数据传输系统设计与实现

采用无中心拓扑结构构建WLAN环境,通过支持802.11协议的单片机设计实现嵌入式电子衡器数据传输系统.系统能够主动侦听并获取电子衡器串口(RS232)的称重数据,可以在同个网段使远程计算机与衡器设备进行联网并获取计量数据,可以通过在单片机发射端和客户机接受端都加装信号增益器和使用定向天线的方式实现在1300m的距离内有效传输数据.     

一种工作在临界导通模式下的高功率因数的组合型Buck变换器（英文）

提出了一种工作在临界导通模式下的Buck-boost和Buck组合拓扑结构来提高电源功率因数.通过增加一个比较器来判断输入瞬时电压的大小,当其值低于输出直流电压时,转换器由Buck拓扑结构切换到Buck-Boost拓扑结构来消除电流死区.详细的控制策略被分析设计和仿真.同时基于仿真结果,与已有的成果进行了比较.转换器基本的设计参数如下:输入交流电压90-264 V,输出直流电压为80 V,输出功率为80 W.最终仿真结果表明在输入交流电压范围内,转换器达到了96.74%-99.70%的高功率因数.     

可重构机器人树状拓扑结构

在可重构机器人的设计和应用中,需要对不同单元组合的拓扑结构进行研究和分析,为此提出了一种新的可重构机器人单元结构模型。在此基础上,研究了可重构机器人的非同构树状拓扑结构列举问题。通过规则层序列的递推算法得到所有单元组合的有根树状结构,再利用基本层序列的判断条件,直接从递推结果中选取非同构的自由树状拓扑结构,简化并改进了相应的列举算法。最后对非同构拓扑树的结构及其数目进行了仿真计算。结果表明,文中所述算法可以根据一组给定单元结点计算出所有的单元组合非同构树状拓扑结构。     

位置信息挖掘中的差异化服务机制设计

在基于位置服务(LBS)系统中,用户通过主动上报个人位置信息即可获取所需服务.LBS在带给用户便利的同时,也会泄露个人隐私.相反,服务提供方则希望通过获取位置信息等隐私来最大化自身收益.在实际的LBS系统中,不同用户对于服务水平和位置隐私间的偏好存在差异.服务提供方只能了解用户偏好的分布情况,无法准确获知每个用户的真实偏好.因此,在位置信息挖掘过程中,针对这一信息的不对称性,本文设计了基于合同理论的差异化服务机制.该机制构建了逆向选择模型,针对不同偏好类型的用户设计了不同的最优合同组合以实现差异化服务.性能仿真验证了算法机制的可行性和有效性.结果也表明,本算法机制可以激励用户上报更真实的位置信息,使得服务提供方在位置信息挖掘中获取更大的收益.     

体系拓扑结构对耦合神经元细胞中不同放电模式的调控作用

本文采用Hindmarsh-Rose(HR)神经元模型构建一个复杂网络,利用仿真模拟,研究了拓扑结构对复杂耦合神经元体系的集体响应能力的影响.选取细胞膜钙离子渗透性参数r为控制参量,当设置该参量处于不同分岔点附近的临界值时,体系可呈现出丰富的点火模式。此时,若适当调节拓扑结构参数,即可实现不同模式之间的双向转变:耦合合适的细胞数目,体系的点火模式可以从分岔图中的左侧不同态跃迁到右侧不同的状态,而当添加适量的随机长程链接时,则可以实现反向的转变.这些结果表明,生物体系可能通过改变其自身的拓扑结构,借助于不同态之间的跳变方式,来实现感受外界不同刺激信号的目的.这将有助于我们进一步揭示生物体系信息过程的内在机理.     

单铰运动链的型综合——拓扑胚图的构建

运动链构型综合是机械创新设计的重要途径之一,提出了一种基于拓扑理论的运动链型综合方法,通过机构的自由度、构件数与运动副数的关系,确定杆型组合,再利用结构树法构建机构拓扑胚图,从而为下一步拓扑图的有序构建打下基础。     

单铰运动链的型综合——拓扑胚图的构建

运动链构型综合是机械创新设计的重要途径之一,提出了一种基于拓扑理论的运动链型综合方法,通过机构的自由度、构件数与运动副数的关系,确定杆型组合,再利用结构树法构建机构拓扑胚图,从而为下一步拓扑图的有序构建打下基础。     

AI规划在Web服务组合中的应用

智能规划技术在现代计算机领域得到了快速发展,其技术主要是生成满足某项任务的执行序列。本文将智能规划方法应用到Web服务组合领域,通过领域映射和规划问题的转换,采用智能规划中的SHOP2规划引擎来得到规划任务的执行序列,即组合Web服务的执行顺序。     

基于建筑拓扑结构的能量流网络

为快速获取复杂建筑中的能量传递路径,提出一种基于建筑拓扑结构的能量传递路径生成方法.分析建筑构件间和子系统间的能量传递规律,建立建筑的能量传递结构.基于建筑的系统构成方式,提出建筑拓扑结构的合成关系运算及其矩阵形式,通过提取计算机模型中的关系矩阵,快速获取复杂建筑的拓扑结构.对比能量传递结构和建筑拓扑结构,发现外部激励能量通常沿着建筑拓扑结构进行传递和耗散,建筑拓扑将为外部能量传递提供路径.以局部建筑系统为例,分析了基于计算机模型生成能量传递路径的一般过程.结果表明,通过拓扑运算能够快速地从计算机模型中获取建筑系统间及系统构件间的能量传递路径.     

振荡周期不受温度影响的生物调控网络的数值研究

生物学中普遍存在的生物钟的基本特性之一是其振荡周期不随环境温度变化而变化,即具有温度补偿特性,其机制是近年来研究的热点.本文对具有振荡周期不随温度变化的基因调控网络做了数值分析.温度补偿振荡是一种系统水平的性质,跟网络的拓扑结构具有密切联系.对多节点的仅有抑制性调控关系的随机网络的计算表明,温度补偿的振荡行为可以仅仅通过采用适当的拓扑结构实现,而不需要细调的动力学参数.对所有3个节点网络的穷举发现,温度补偿振荡网络结构上是两种性质互补的振荡网络模体的组合,即延迟的负反馈网络)、抑制子振子和激活抑制振子、底物耗尽振子的组合.对网络振荡周期随参数的敏感性分析表明,温度补偿振荡可以通过熔断机制来实现,振荡周期仅敏感依赖于极少数的反应速率常数,而这些常数的活化能很小因为阻断了温度对振荡周期的影响.     

基于NS-2的网络拓扑性能研究

对不同拓扑结构的网络进行性能参数的提取、分析和比较,得出各自的网络性能,利用仿真软件NS-2模拟星型、环型和网型3种拓扑结构,通过发送数据流获取our.tr文件.利用C++语言编写程序从our.tr文件中获取所需的性能参数信息.通过分析可知,星型拓扑结构数据传输速度快,但可靠性较低;网络拓扑结构数据传输速度慢,但可靠性最高;环型拓扑结构介于二者之间.     

基于组合的Web服务复杂网络的构建与分析

提出一种以Web服务为节点,服务间的调用关系为边来构建复杂网络模型的方法.通过模型来研究Web服务组合结构中的服务关系,找到大量Web服务中关键的Web服务,增加组合服务的健壮性及可靠性.实验结果证明了该方法的正确性以及有效性.该方法的提出把对Web服务的研究从传统的SOA模型中引领到复杂网络模型中,对Web服务组合的进一步研究具有指导意义.     

“基因算法”在人工神经元网络中的应用

在使用著名的ＢＰ算法来训练一个多层毅向神经网络时，首先要确定这个神经元网络的主结构以及网络的各种初始化参数，但拓扑结构和各种参数的确定到目前为止还无确定的规则可寻。本研究将基因算法引入人工神经元网络。通过它来自动确定神经元网络的拓扑结构以及具体参数，并给出了基因算法在神经元网络应用中的具体实现。