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.     

矿车立体调度及定位电控系统设计

大型煤矿矿车数量、类型较多,存在矿车出入库空间如何充分利用的问题。文章提出了一种矿车立体调度及定位电控系统的设计方案,给出了基于丝杠传动方式的矿车出入库立体调度及定位规划设计;结合该系统架构,介绍了运动控制器SIMATIC CU320的电控配置、PLC单元与现场检测单元的配置及系统的网络组态。调试结果表明,该系统实现了稳定、准确的矿车调度及定位,提高了车位利用率。     

抛物型内轮廓光纤检测的数值模拟

利用光路追踪程序,设计了一种可以检测抛物型内轮廓的微观轮廓曲线的反射式光强调制型光纤传感器.从模拟结果可以看出,这种传感器能很好的实现抛物型内轮廓的检测问题,具有结构简单、非接触测量、抗电磁干扰、测量速度快等优点.本文为反射式光强调制型光纤传感器用于复杂内轮廓的非接触测量提供了必要的理论分析和设计依据.     

ACIS/HOOPS几何建模与可视化技术研究与应用

几何建模与可视化是数值模拟前处理中重要的组成部分.重点介绍了ACIS建模技术及HOOPS可视化技术,并基于ACIS/HOOPS及格式转换组件(InterOp)、模型简化组件(Defeaturing)、网格划分组件(VisTools)等3D组件开发了数值建模与可视化软件,在系统中实现几何建模、模型导人、模型简化、网格划分及可视化功能,为后续的数值模拟奠定了良好的基础.应用表明:使用ACIS/HOOPS及相关3D组件开发数值模拟前处理系统具有效率高、效果好的特点.     

计算机仿真应用于石油组分切割的方法与理论

石油的复杂性导致其组分的不确定性,而石油组分的切割是进行石油化工流程模拟的基础.结合在完成某化工厂柴油加氢动态仿真过程中进行的石油组分切割实例,介绍了组分切割的具体步骤,并针对现实工厂中提供的不同数据总结了石油组分确定的方案,最后提出了石油组分确定的理论-非线性的数据校正技术.     

基于Maya的人物角色行走运动的设计

阐述在Maya软件中制作人物角色行走的流程以及一些相关注意事项。通过分析人体行走过程的重要特征,详细论述人物角色行走动画的制作过程,探讨Maya技术在人物角色行走动画中的应用技巧。     

基于J2EE的格子铺管理平台设计与实现

分析了格子铺基础管理的不足;基于J2EE核心技术,以MVC框架为技术支持,运用JFreeChart、JSON等技术,构建和开发了高效、便捷的格子铺管理平台。     

基于BACnet与LonWorks协议的系统研究

针对高校时有发生的校园财产被盗等安全事故和设备设施独立运行的现状。本文提出了一种把BACnet与LonWorks整合的校园自动控制网络系统,能够把校园安全防范系统融入到数字校园中,实现火灾报警和安全预防、保安监控、紧急求教、远程教学、教学监控、电力监控、给排水设备以及楼宇自控的联动,全面提高校园自动化程度。     

特征级信息融合方法研究

近几年来,针对多传感器信息融合技术逐渐成为当前研究的热点,该文介绍了信息融合技术的基本概念,引出特征级信息融合的概念,并且根据特征级信息融合技术的特点,给出并分析了几种信息融合方法,最后介绍了信息融合技术的应用情况。     

基于EMS系统的低频减载实时计算的实现

目前电网调度生产中尚不能实现低频减载的在线实时监测,调度无法及时掌握低频减载控制负荷,给电网的安全稳定运行造成一定的安全隐患。为解决该问题,在EMS系统中开发了基于设备的动态拓扑功能,利用广度优先算法将末端设备的负荷动态拓扑到需统计的单位母线上,从而实时显示每条母线8轮低频减载值,再利用E语言文件将计算好的值传给上一级单位进行更高电压等级母线的实时统计。