Key Engineering Materials Vols. 467-469

Abstract: Web services composition is a complex and error-prone process, but there are no effective verification mechanisms among the existing composition specifications. Based on the semantics of web services ontology language OWL-S, a formal description and modeling method using Hierarchical Colored Petri nets(HCPN) for web services composition processes is proposed. In the method, the control and data flow information of web services composition process model which is described by the OWL-S can be transformed into HCPN model, with the ease of simulation and verification. On the other hand, the state space explosion problem can be transfered into the memory limit of computer which is not a serious problem now. With the help of CPN-Tools, the established HCPN model can be simulated dynamicly, the dynamic behaviors of the model can be obtained, and the correctness and effectiveness of web services composition can be verified. The method can be used to analyze and verify complex systems. An instance of hospital services is given to illustrate the modeling and analysis of the service composition process with HCPN.

Abstract: Introduce the theory and application of the Impedance Method and set up the model of fictitious human. After dividing the human head into many cube griddings, every gridding edge could be thought of the impedance based on the head. The current in one section of the loop could be confirmed by the line impedance, which based on the permittivity and electric characters of the matter which is covered by the gridding. Using C++ computing and picturing the datum by Matlab, 3-Dimension SAR of each lay would be found. After comparing with the results of FDTD, the Impedance Method is more easy, more perspicuity, more quick and don’t need consider the strict boundary.

Abstract: This paper proposes a categorical foundation for integrating various types of manufacturing knowledge in manufacturing systems. The composing procedures of overall system can be explained by pushout of category theory. The purpose of this paper is to resolve the issue involves in sharing and coordination for modeling knowledge application in distributed manufacturing systems. We will propose a method for modeling discrete event system. The mathematical foundation lies in assuring that the constructed models have mathematical properties, e.g. consistency and completeness, and overcome the drawbacks of traditional function models, since it can show not only the static structure but also the dynamic semantics. The categorical notations and properties are expressed by an example of flexible assembly workcell.

Abstract: Electric load forecasting is an important aspect in the operation of energy market. Many researchers have tried various methods and have achieved considerable results. In this paper, we used Radial Basis Function Neural Network (RBFN) to train data and forecast daily maximum electric load of a costal city in North China. In order to have a better result, we introduced Artificial Fish Swarm Algorithm (AFSA) to optimize RBF and adjust the center of K-means clustering algorithm. Data mining techniques were also employed to select indicators with impact on electric load. By comparing the forecast values and actual data, we arrived at conclusion that RBF optimized by AFSA could produce accurate result in forecasting daily maximum electric load. We also found that climate factors (temperature, humidity and air-pressure) had significant impact on daily maximum electric load.

Abstract: This paper studies on the modeling of the changes in the external environment impact on information systems based on complexity theory and multi-Agent theory.In order to establish the model system, This paper gives the Multi-Agent System Model to response the changes of the external environment and studies the unit Agent and interface Agent, which can be used to facilitate follow-up simulation. The model and its simulation system of MIS based on complexity thinking can express the situation of the complex MIS clearly and exactly, reveal its inherent laws, and contribute to the understanding of static and dynamic characteristics. The paper not only studied in informatization theory, but also done some exploration in software and computer application technology, enriched the Multi-agent theory in the area of manufacturing and informatization. Therefore, the model and its simulation system proposed by author is significant for both theory and practice.

Abstract: This paper studies on the formation mechanism of how organizational innovation is established and developed. We built a model including envirnomental change, organizational learning and organizational innovation. Using the empirical study as a sample of 194 enterprises the results of this paper show that (1) the external environment factors have no direct effent on organizational innovation. The main factor of organizational innovation driven is organizational learning. (2) the industry of environmental change on the organizational learning have a significant impact to organizational learning and changes in the macroeconomic environment had no significant effect to organizational learning.

Abstract: A micromechanical model is constructed for the elastic modulus of nano-fibrous scaffold. The nano-fibrous scaffold was obtained using electrospinning method with polymeric materials, and was supposed to be created with linear elastic strain rods that are straight in the range of rod length. Statistical theory was introduced to model the random distribution of fiber segment length and the percolation effect was also studied. Model predictions were verified using experimental data. This model can be used to study the relationship between the elastic modulus of the scaffold with respect to the fiber concentration, fiber diameter and fiber orientation.

Abstract: In this paper, a high order strain gradient (HSGE) model is constructed to predict the bending size dependence of the elastic property of nanofibers under three-point tests. The model can be applied to explain the size dependency in bending test for polymeric nanofibers.

Abstract: Land is an important natural resource for human’s living and developing. Residential land demand forecast is the core content of urban land use planning. To improve the forecast accuracy, we fully considered the influencing factors and had chosen urban population, GDP, fixed asset investment, and real estate sales as the main influencing indicators. Here we use the Ridge Regression Method to determine the linear relationship between the variables, and supplemented by multiple linear regression. We chose Tianjin as the target city to calculate the residential land demand. The results show that the method is simple, easy, and suitable for urban residential land demand prediction.

Abstract: Based on RBF neural network and combining with the study of PPP performance evaluation, quantitative index system was built from economic, society and environment three aspects. Focusing on the project performance evaluation, which is a nonlinear evaluation problem, the evaluation model based on RBF was established. Empirical analysis was carried out with quantitative projects statistical data, the results show that the program can effectively and accurately evaluate the PPP projects performance, successfully proposed and verified a viable method, and set a basis of theoretical methods for further study.