排序方式: 共有257条查询结果,搜索用时 15 毫秒
1.
2.
3.
Hongli YANG Chao CAI Liyang PENG Xiangpeng ZHAO Zongyan QIU Shengchao QIN 《Frontiers of Computer Science in China》2013,(5):710-728
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. 相似文献
4.
孟祥鹏 《数码设计:surface》2009,(11):69-70
随着经济的发展,我国的商业插画逐渐繁盛,特别是近十几年的时间里得到了较好的发展,相关的理论研究也取得了进展,但是"插图"与"插画"的概念问题一直困扰着中国的设计实践与理论研究。本文从"图"、"画"的词语选择变迁上分析词汇的选择是社会经济状况的变迁、经济状况变迁对人们心理的影响以及国外思想观念的影响的综合体,"插图"进入历史,"插画"得到全新的发展是历史的选择。 相似文献
5.
为提升船载稳定平台的运动学性能,针对■并联机构的尺度参数优化问题,以机构的工作空间体积和全域力传递率为综合评价指标,采用小生境遗传算法优化得到稳定平台的最佳几何构形。具体地,采用数值法与解析法相结合的方式判断支链长度、关节转角、奇异位形等约束条件的生效情况,求解出并联稳定平台的工作空间;基于力雅可比矩阵逆矩阵的最小奇异值定义机构的局部力传递性能,以工作空间内局部力传递率的平均值作为全域力传递性能评价指标;以工作空间体积和全域力传递率的加权和为优化目标,采用小生境自适应遗传算法完成优化求解,获得最优尺度参数。与初始构形的性能对比分析表明,优化构形在力传递性能方面有35%的提升,具有更好的综合运动学性能。制作试验样机并完成相关实验,验证了所提尺度参数优化方法的有效性。最后探讨了多目标优化过程中不同的权重系数取值对优化结果的作用规律,发现选用均衡的权重可获得更佳的综合性能。 相似文献
6.
地震勘探技术在控制煤层赋存形态方面有高于其它物探方法的优势,尤其在准确圈定小窑采空区、岩浆岩侵蚀、煤层露头、火烧区及冲刷带、陷落柱等地质异常体方面已取得了很好的效果,对煤矿产业的生产和建设都起到了举足轻重的作用。本文通过河北、新疆和山西等地煤矿采区三维地震勘探实例介绍了如何根据地震时间剖面表现的不同特征来确定和解释各种煤层地质异常体,并取得了良好的地质成果。 相似文献
7.
将SNMP(简单网络管理协议)用于控制,使监控现场的信号通过SNMP传输。给出了在51单片机上实现SNMP代理器的方案。阐述了网络接口、A/D采集以及串口的设计,软件采用实时多任务操作系统M icro-C/OS,用人机交互任务、数据采集任务、SNMP处理任务实现所需要的功能。 相似文献
8.
Geguang Pu Xiangpeng Zhao Shuling Wang Zongyan Qiu 《Electronic Notes in Theoretical Computer Science》2006,151(2):33
In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition and orchestration. We propose a language μ-BPEL that includes most primitive and structured activities of BPEL4WS, and define its semantics. As the Timed Automata (TA) is powerful in designing real-time models with multiple clocks and has well developed automatic tool support, we define a map from μ-BPEL into composable TA. Therefore, the properties we want to check can be verified in TA network correspondingly. Furthermore, we prove that the mapping from μ-BPEL to TA is a simulation, which means that the TA network simulates correctly the corresponding μ-BPEL specification. The case study with model checker Uppaal shows that our method is effective, and a Java supporting tool based on Uppaal model checker engine has been developed. 相似文献
9.
兖矿集团与国内科研院所生产厂家进行联合攻关、论证并实施了较薄煤层(1.2~2.2m)高产高效综采工作面的开采技术。该较薄煤层(1.2~2.2m)高产高效综采工作面开采技术,提出工作面配置国产设备,采用电液控制系统追机顺序移架,设备生产能力达到月产8.3万t,年产100万t水平的目标。该项目的成功实施,合理调整了矿井煤炭开采格局,创出了在现有煤层赋存条件下实现优化设备配套开采技术新路子,对于类似地质条件的矿井有很强的借鉴意义和实际推广应用价值,可使该条件下综采设备和技术水平上一个新台阶。 相似文献
10.
为检验南方电网失步解列系统及其策略的可靠性,利用RTDS(real time digital simulator)对南方电网主网主要断面进行解列动作特性和电压定值试验.该试验搭建了南方电网500kV及以上交直流电网RTDS模型、失步解列系统、直流控制保护装置等组成的实时闭环仿真试验平台.根据2011年南方电网丰大极限运行方式,在两广断面及云南、贵州送出断面等配置失步解列装置,模拟直流闭锁、西电东送主通道送受端三相短路开关拒动等严重故障,全面测试严重故障下失步解列系统动作特性,分析安装点解列装置之间的动作选择配合及电压定值设置的合理性,验证策略的可靠性.试验表明,南方电网失步解列系统协调配合正确动作,失步解列稳控策略有效可靠. 相似文献