基于面向服务构架的用户界面集成方法

在面向服务计算中,往往需要调用外部接口来集成第三方工具.为了集成那些未提供接口和源代码的工具,提出了一种基于脚本语言的黑盒方法,将外部工具的用户界面集成到分布式环境中,并且允许用户以服务的形式执行一系列预先制定的界面操作,从而实现相关的功能.设计并实现了基于面向服务架构的从服务包装到服务调用的各个环节.     

基于开放编译的面向对象程序静态分析器*

采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器Open C 进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。     

ICSL:一种用于仿真实体智能化控制的脚本语言

研究一种用于仿真实体智能化控制的脚本语言ICSL(Intelligent Control Scripting Language)．分析领域特征,将语言的语义划分为领域相关语义和领域无关语义;对领域相关语义进行编码,结合形式化描述方法和构造工具,定义ICSL并实现其解释器;通过解释器将ICSL,语言描述的智能化控制策略翻译为仿真系统中实体的行为序列,为用户提供了一种灵活表达控制策略的手段．此外,ICSL还采用元数据控制策略实现了多个侧面的扩充机制,从而解决了语言系统难以定制和演化的问题．     

BPEL流程数据竞争和死锁检测算法研究

针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法．首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁; 通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争．该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性．实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性．     

BPEL流程静态优化技术研究

提出了一种基于同步和并发分析的业务流程执行语言(BPEL)流程静态优化算法．该算法首先利用同步分析技术对流程中的同步结构进行处理: 细化流程的同步粒度、删除冗余的同步依赖和增大流程的并发度; 然后采用程序依赖图对流程进行数据流与控制流分析,利用节点合并-重组算法减少流程中顺序活动的数量,进一步增大流程的并发度．实验表明,该算法能够有效提高流程的执行效率,减少流程的执行时间．     

工具集成的柔性接口机制

工具集成中的一个很重要的问题是如何能够灵活方便地将工具集成到一起。文中阐述了一种方法,利用Java反射机制,将接口描述在接口描述文件中,无需硬编码调用接口的代码,增强了动态扩展的能力,当接口变化时仅需改变接口描述文件的映射关系,而程序代码无需做任何改变,提高了集成的灵活性和扩展性,达到了接口柔性化的目的。     

基于动态代理的BPEL恢复机制*

提出了一种基于动态代理的方法来提高流程的可靠性。该方法使用面向方面技术扩展BPEL引擎来拦截调用伙伴服务,并由动态代理与伙伴服务交互。如果伙伴服务失败,则动态代理动态地发现并调用等价服务。动态等价服务发现结合了传统的基于关键字的服务发现和基于本体的服务发现两种技术。采用消息转换机制来解决失败服务与替换服务之间接口不匹配的问题。此外,还提供了基于浏览器的管理界面来帮助设计人员管理替换服务和消息转换规则。最后,通过实验分析表明该方法是一种可行的方案。     

二维场计及横向漏电流影响的感应电机损耗与转矩分析

通常中小型电机多应用感应电机,通过转子斜槽的结构达到抑制寄生转矩、电磁振动和噪声等目的,同时斜槽结构会增加转子导条间的横向电流,影响感应电机的起动性能以及电机效率.因此,该文主要研究横向电流对单斜槽感应电机性能的影响,通过总结单斜槽感应电机中横向电流在转子表面的分布规律,提出一种能计及横向电流的2D多截面有限元模型,相...     

永磁同步电机匝间短路故障温度场分析

匝间短路是一种常见的电机绕组故障,会导致定子绕组电流增大、电机局部过热,长期在这种环境下运行,温度升高使得电机性能下降,造成经济损失.该文以一台3kW永磁同步电机为例,研究匝间短路故障对永磁同步电机各部件温度的影响.基于电机参数建立三维等效热模型,绝缘材料被等效为绝缘层,将机壳沿轴向分段,根据风速在机壳表面施加不同边界...     

地震作用下高拱坝坝肩抗滑稳定分析及加固措施研究

我国西南地区位于不同板块交界处,地震频率高、地震强度大,而拱坝的建造对当地的地形地质要求较高。本文结合某双曲拱坝工程实例,通过有限元软件建立符合实际情况的三维数值模型,采用考虑变形的极限平衡法计算拱坝坝肩抗滑稳定性系数。经计算分析认为,未加固处理时左岸高程1350m滑块稳定性系数较低,右岸高程1352m滑块不满足稳定性要求,应进行加固处理。提出了施加预应力锚索和固结灌浆的加固方案,对经过加固处理后的滑块进一步进行稳定性分析,稳定性系数得以提高并满足规范要求,认为加固方案有效。研究成果可为今后高拱坝稳定性分析与加固措施制定提供参考。