基于结构逻辑树的电池组SOC估算

为了实时估算电池组SOC,分析了当前SOC定义的局限性,并考虑电池组的结构和单体电池的差异性,明确电池组SOC定义。提出基于结构逻辑树的电池组SOC估算模型,利用结构逻辑树描述电池组单体电池之间的逻辑关系,并基于结构逻辑树的运算规则,实现电池组SOC的快速估算。实验证明,该模型能够快速有效地估算电池组SOC。

基于BPEL的一致性声明文稿设计实现的研究

基于BPEL(Business Process Execution Language)的服务组合是Web服务的发展方向。基于BPEL的一致性声明文稿是基于BPEL的服务组合系统一致性测试内容和构造基于BPEL的服务组合系统测试用例的主要依据。基于一致性测试理论和BPEL/WSDL规范分析,研究基于BPEL/WSDL的各成分结构关系,提出基于BPEL的一致性声明文稿。该文稿包含10类子文稿:流程支持文稿、合作伙伴链接支持文稿、服务组件支持文稿、变量支持文稿、相关集支持文稿、消息支持文稿、各种处理支持文稿、各种活动支持文稿、接口支持文稿、操作支持文稿。设计实现了文稿自动生成系统,用于自动生成基于BPEL的一致性声明文稿。