由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作...由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.展开更多
According to characteristics of information communication and sevices in omnimedia era, this paper studied the plan of constructing remote plant end animal hospital, which provided remote diagnosis service by expert t...According to characteristics of information communication and sevices in omnimedia era, this paper studied the plan of constructing remote plant end animal hospital, which provided remote diagnosis service by expert team of doctors based on the co-building and sharing medical case resource bases through the reasonable management model on cloud services platform, and discussed the model for service and commerce of remote plant and animal hospital.展开更多
After the great east Japan earthquake in 2011, Japanese energy system has been expected to prioritize safety and trustworthiness. Now, distributed power systems are considered as one solution, but utilizing exhaust he...After the great east Japan earthquake in 2011, Japanese energy system has been expected to prioritize safety and trustworthiness. Now, distributed power systems are considered as one solution, but utilizing exhaust heat is an important task to be solved. The purpose of this study is to build a simulation model to harness waste heat of commercial buildings. We obtained two types of data： distributed power system in 1/15 scale model of supermarket, restaurant and real world energy consumption of the two buildings. Results showed cold cabinets, whose electricity was affected by temperatures outside and inside, consumed most in supermarket. While air conditioning, affected by air enthalpy of outside and inside, consumed most in restaurant. According to our simulation with gas engine, PV （photovoltaic） panel, PCM （phase change material）, thermal storage, FCU （fan coil unit） and refrigerated cabinets in scale model, we could reduce 27% of CO_2 emission and 25% of running cost by selecting optimal size.展开更多
This research work based on the development of 6σ capability indices in the Modern Quality Management Practices in the world level companies is briefly introduced. The process performance index （when a process indic...This research work based on the development of 6σ capability indices in the Modern Quality Management Practices in the world level companies is briefly introduced. The process performance index （when a process indicated by control charts is under control） and the percentage of defective products are calculated and compared with kσ. Finally, compared 6σ with 3σ, when process is on nominal （nominal - mean）, the process has 1.5σ shift from nominal.展开更多
文摘由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.
文摘According to characteristics of information communication and sevices in omnimedia era, this paper studied the plan of constructing remote plant end animal hospital, which provided remote diagnosis service by expert team of doctors based on the co-building and sharing medical case resource bases through the reasonable management model on cloud services platform, and discussed the model for service and commerce of remote plant and animal hospital.
文摘After the great east Japan earthquake in 2011, Japanese energy system has been expected to prioritize safety and trustworthiness. Now, distributed power systems are considered as one solution, but utilizing exhaust heat is an important task to be solved. The purpose of this study is to build a simulation model to harness waste heat of commercial buildings. We obtained two types of data： distributed power system in 1/15 scale model of supermarket, restaurant and real world energy consumption of the two buildings. Results showed cold cabinets, whose electricity was affected by temperatures outside and inside, consumed most in supermarket. While air conditioning, affected by air enthalpy of outside and inside, consumed most in restaurant. According to our simulation with gas engine, PV （photovoltaic） panel, PCM （phase change material）, thermal storage, FCU （fan coil unit） and refrigerated cabinets in scale model, we could reduce 27% of CO_2 emission and 25% of running cost by selecting optimal size.
文摘This research work based on the development of 6σ capability indices in the Modern Quality Management Practices in the world level companies is briefly introduced. The process performance index （when a process indicated by control charts is under control） and the percentage of defective products are calculated and compared with kσ. Finally, compared 6σ with 3σ, when process is on nominal （nominal - mean）, the process has 1.5σ shift from nominal.
