With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependenc...With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependencies, resulting in the inflexibility of the design and implement for the processes. This paper proposes a novel data-aware business process model which is able to describe both explicit control flow and implicit data flow. Data model with dependencies which are formulated by Linear-time Temporal Logic(LTL) is presented, and their satisfiability is validated by an automaton-based model checking algorithm. Data dependencies are fully considered in modeling phase, which helps to improve the efficiency and reliability of programming during developing phase. Finally, a prototype system based on j BPM for data-aware workflow is designed using such model, and has been deployed to Beijing Kingfore heating management system to validate the flexibility, efficacy and convenience of our approach for massive coding and large-scale system management in reality.展开更多
In this paper, a process modeling and related optimizing control for nonuniformly sampled （NUS） systems are addressed. By using a proposed nonuniform integration filter and subspace method estimation, an identificat...In this paper, a process modeling and related optimizing control for nonuniformly sampled （NUS） systems are addressed. By using a proposed nonuniform integration filter and subspace method estimation, an identification method of NUS systems is developed, based on which either an output soft sensor or a hidden state estimator is developed. The optimizing control is implemented by replacing the sparsely-mea- sured/immeasurable variable with the estimated one. Examples of optimizing control problem are given. The proposed optimizing control strategy in the simulation examples is verified to be very effeetive.展开更多
The fully mechanized caving coal mining under the railway in mine area will result in difficulty maintenance of railway because of great distortion and subsidence speed of terrene and railway. If the subsidence foreca...The fully mechanized caving coal mining under the railway in mine area will result in difficulty maintenance of railway because of great distortion and subsidence speed of terrene and railway. If the subsidence forecasting is incorrect and maintenance measure is not suitable in the preceding and the process of mining, the normal operation of the railway in mine area will not be ensured and perhaps the safety accident will be resulted. The railway subsidence forecasting and maintenance system for fully mechanized caving coal face are studied and developed in this connection. Based on the accurate subsidence forecasting of the terrene and railway, the maintenance measure for track and switch turnout in railway is put forward in this system.展开更多
this paper analyzes application status of tourism e-commerce in China and the Existing problems, points out that the construction of tourism e-commerce platform is an important part of the development of tourism elect...this paper analyzes application status of tourism e-commerce in China and the Existing problems, points out that the construction of tourism e-commerce platform is an important part of the development of tourism electronic commerce. The implementation of all business systems of various tourism enterprise data integration and information integration, the travel industry, all kinds of information resources for collaborative centralized management. By connecting the information management system of scattered all corporate travel value chain, realize the unified operation in the tourism e-commerce platform, improve the exchange of information and online transaction speed. According to our country＇ s tourism status and characteristics, from the feasibility analysis, function analysis, performance analysis and service oriented thought, this paper analyzes the system architecture of and data flow diagrams, system flow chart, PAD chart analysis of the system＇ s business processes. And it was analyzed and discussed briefly from the aspects of adaptability, functions, implementation strategy.展开更多
基金supported by the National Natural Science Foundation of China (No. 61502043, No. 61132001)Beijing Natural Science Foundation (No. 4162042)BeiJing Talents Fund (No. 2015000020124G082)
文摘With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependencies, resulting in the inflexibility of the design and implement for the processes. This paper proposes a novel data-aware business process model which is able to describe both explicit control flow and implicit data flow. Data model with dependencies which are formulated by Linear-time Temporal Logic(LTL) is presented, and their satisfiability is validated by an automaton-based model checking algorithm. Data dependencies are fully considered in modeling phase, which helps to improve the efficiency and reliability of programming during developing phase. Finally, a prototype system based on j BPM for data-aware workflow is designed using such model, and has been deployed to Beijing Kingfore heating management system to validate the flexibility, efficacy and convenience of our approach for massive coding and large-scale system management in reality.
基金Supported by the China Postdoctoral Science Foundation Funded Project (No. 20080440386)
文摘In this paper, a process modeling and related optimizing control for nonuniformly sampled （NUS） systems are addressed. By using a proposed nonuniform integration filter and subspace method estimation, an identification method of NUS systems is developed, based on which either an output soft sensor or a hidden state estimator is developed. The optimizing control is implemented by replacing the sparsely-mea- sured/immeasurable variable with the estimated one. Examples of optimizing control problem are given. The proposed optimizing control strategy in the simulation examples is verified to be very effeetive.
文摘The fully mechanized caving coal mining under the railway in mine area will result in difficulty maintenance of railway because of great distortion and subsidence speed of terrene and railway. If the subsidence forecasting is incorrect and maintenance measure is not suitable in the preceding and the process of mining, the normal operation of the railway in mine area will not be ensured and perhaps the safety accident will be resulted. The railway subsidence forecasting and maintenance system for fully mechanized caving coal face are studied and developed in this connection. Based on the accurate subsidence forecasting of the terrene and railway, the maintenance measure for track and switch turnout in railway is put forward in this system.
文摘this paper analyzes application status of tourism e-commerce in China and the Existing problems, points out that the construction of tourism e-commerce platform is an important part of the development of tourism electronic commerce. The implementation of all business systems of various tourism enterprise data integration and information integration, the travel industry, all kinds of information resources for collaborative centralized management. By connecting the information management system of scattered all corporate travel value chain, realize the unified operation in the tourism e-commerce platform, improve the exchange of information and online transaction speed. According to our country＇ s tourism status and characteristics, from the feasibility analysis, function analysis, performance analysis and service oriented thought, this paper analyzes the system architecture of and data flow diagrams, system flow chart, PAD chart analysis of the system＇ s business processes. And it was analyzed and discussed briefly from the aspects of adaptability, functions, implementation strategy.
