The central air conditioning system in an intelligent building (IB) was analyzed and modeled in order to perform the optimization scheduling strategy of the central air conditioning system. A set of models proposed ...The central air conditioning system in an intelligent building (IB) was analyzed and modeled in order to perform the optimization scheduling strategy of the central air conditioning system. A set of models proposed and a type of periodically autoregressive model (PAR) based on the improved genetic algorithms (IGA) were used to perform the optimum energy saving scheduling. The example of the Liangmahe Plaza was taken to show the effectiveness of the methods.展开更多
In order to deal with modeling problem of a pressure balance system with time-delay, nonlinear, time-varying and uncertain characteristics, an intelligent modeling procedure is proposed, which is based on artificial n...In order to deal with modeling problem of a pressure balance system with time-delay, nonlinear, time-varying and uncertain characteristics, an intelligent modeling procedure is proposed, which is based on artificial neural network(ANN) and input-output data of the system during shield tunneling and can overcome the precision problem in mechanistic modeling(MM) approach. The computational results show that the training algorithm with Gauss-Newton optimization has fast convergent speed. The experimental investigation indicates that, compared with mechanistic modeling approach, intelligent modeling procedure can obviously increase the precision in both soil pressure fitting and forecasting period. The effectiveness and accuracy of proposed intelligent modeling procedure are verified in laboratory tests.展开更多
The processes of building dynamic and static relationships between secondary and primary variables are usually integrated in most of nonlinear dynamic soft sensor models. However, such integration limits the estimatio...The processes of building dynamic and static relationships between secondary and primary variables are usually integrated in most of nonlinear dynamic soft sensor models. However, such integration limits the estimation accuracy of soft sensor models. Wiener model effectively describes dynamic and static characteristics of a system with the structure of dynamic and static submodels in cascade. We propose a soft sensor model derived from Wiener model structure, which is an extension of Wiener model. Dynamic and static relationships between secondary and primary variables are built respectively to describe the dynamic and static characteristics of system. The feasibility of this model is verified. Then the expression of discrete model is derived for soft sensor system. Conjugate gradient algorithm is applied to identify the dynamic and static model parameters alternately. Corresponding update method for soft sensor system is also given. Case studies confirm the effectiveness of the proposed model, alternate identification algorithm, and update method.展开更多
Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a...Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.展开更多
To increase the efficiency and reliability of the thermodynamics analysis of the hydraulic system, the method based on pseudo-bond graph is introduced. According to the working mechanism of hydraulic components, they ...To increase the efficiency and reliability of the thermodynamics analysis of the hydraulic system, the method based on pseudo-bond graph is introduced. According to the working mechanism of hydraulic components, they can be separated into two categories: capacitive components and resistive components. Then, the thermal-hydraulic pseudo-bond graphs of capacitive C element and resistance R element were developed, based on the conservation of mass and energy. Subsequently, the connection rule for the pseudo-bond graph elements and the method to construct the complete thermal-hydraulic system model were proposed. On the basis of heat transfer analysis of a typical hydraulic circuit containing a piston pump, the lumped parameter mathematical model of the system was given. The good agreement between the simulation results and experimental data demonstrates the validity of the modeling method.展开更多
The strategies that minimize the overall solution time of multiple linear systems in 3D finite element method (FEM) modeling of direct current (DC) resistivity were discussed. A global stiff matrix is assembled and st...The strategies that minimize the overall solution time of multiple linear systems in 3D finite element method (FEM) modeling of direct current (DC) resistivity were discussed. A global stiff matrix is assembled and stored in two parts separately. One part is associated with the volume integral and the other is associated with the subsurface boundary integral. The equivalent multiple linear systems with closer right-hand sides than the original systems were constructed. A recycling Krylov subspace technique was employed to solve the multiple linear systems. The solution of the seed system was used as an initial guess for the subsequent systems. The results of two numerical experiments show that the improved algorithm reduces the iterations and CPU time by almost 50%, compared with the classical preconditioned conjugate gradient method.展开更多
The objective of this research is to show a new methodology for modeling phenomena present in complex economic systems. The case study we analyzed is the adoption of open organization model among firms operating in a ...The objective of this research is to show a new methodology for modeling phenomena present in complex economic systems. The case study we analyzed is the adoption of open organization model among firms operating in a particular industry. A firm with an open system model creates and captures value taking advantage not only from the internal resource but also from external. The organization could approach to open model acquisition using different focus: external focus namely looking out of its boundary, acting and reacting to competitor innovation, costumers' changing, demand growth, or internal focus remaining inside its boundary improving its best capabilities ignoring what happened outside (Vagnani, Moran, & Simoni, 2010). The actors involved are firms, customers and suppliers linked together through a business to business model. The methodology is based on an Object-Oriented Analysis Field Model that allows to intuitively describe systems characterized by a large number of objects that interact, as in this case of a system composed by different organizational entities. The system simulation allows to analyze how the actors influence the acquisition and diffusion of the open organization model. This approach permits the generation of different classes of objects to represent all actors involved in the evolution of the system and to define the dynamics that determine their interaction. The solution of the model can be approximated using the Mean-Field analysis technique (Kurtz, 1978), following the results proposed in Bobbio, Gribaudo, and Yelek (2008). A qualitative result is illustrated in order to show the applicability of the proposed methodology and to emphasize its relevant features: flexible modeling approach, capacity of solving complex systems and output management facilities. The presented model is comprehensive and its scope is wide; it could be used to study the behavior of enterprises changing model in many different scenarios and situations. In future works quantitative results will be given, and different situations will be analyzed.展开更多
ISO 13584 (i.e. PLIB) is an international standard for the representation and exchange of CAD part libraries. It aims to provide an application-independent mechanism to enable the share of part library information bet...ISO 13584 (i.e. PLIB) is an international standard for the representation and exchange of CAD part libraries. It aims to provide an application-independent mechanism to enable the share of part library information between applications. In this paper, the approach of modeling part library conforming to ISO 13584 is presented. Also, a prototype of part library management system, i.e. BYL-PLIB, whose implementation is in agreement with ISO 13854 is developed to demonstrate the usefulness of proposed approach.展开更多
Complex adaptive systems (cas) - systems that involve many components that adapt or learn as they interact - are at the heart of important contemporary problems. The study of cas poses unique challenges: Some of ou...Complex adaptive systems (cas) - systems that involve many components that adapt or learn as they interact - are at the heart of important contemporary problems. The study of cas poses unique challenges: Some of our most powerful muthemutical tools, particularly methods involivng fixed points, attractors, and the like, are of limited help in understanding the development of cas. This paper suggests ways to modify research methods and tools, with an emphasis on the role of computer-based models, to increase our understanding of cas.展开更多
In order to model the hysteresis behavior of a nano piezoelectric actuator(PA)on nano scale in a real time system,a new hysteresis modeling method based on an improved sub-pixel blocking matching algorithm with an opt...In order to model the hysteresis behavior of a nano piezoelectric actuator(PA)on nano scale in a real time system,a new hysteresis modeling method based on an improved sub-pixel blocking matching algorithm with an optimal block size is proposed in this paper.First,Preisach model is introduced to model the hysteresis behavior of a piezoelectric actuator.Then,a real time block matching algorithm is researched and its block size is optimized with a standard object.Finally,experiments are performed with respect to a nanometer movement platform system,and the results show the feasibility and validity of the sub-pixel estimation based block matching algorithm and its application in modeling the hysteresis behavior of PA.展开更多
Investigating the influence of international events on global maritime networks is a challenging task that must comprehensively incorporate geographical, political, and maritime sciences. Understanding global maritime...Investigating the influence of international events on global maritime networks is a challenging task that must comprehensively incorporate geographical, political, and maritime sciences. Understanding global maritime network dynamics is an initial and critical step in this investigation. This study proposes an automatic identification system(AIS)-based approach to understanding maritime network dynamics before and after international events. In this approach, a spatiotemporal modeling method is introduced to measure the similarity in shipping trends before and after international events. Then, a spatiotemporal analytic framework is proposed to understand the maritime network dynamics by grouping similar situation, and assessing possible indirect effects within a network. Finally, three case studies of international events, military conflict, lifted economic sanctions, and government elections, were used to investigate the observed network dynamics possibly affected by international events. The results indicate that container, tanker, and bulk shipping between India and its connected countries all declined more than 69% after military conflicts between India and Pakistan in August 2015. Tanker shipping between Iran and the United Arab Emirates increased 51% after economic sanctions on Iran were lifted. Container shipping between Sri Lanka and Singapore, Malaysia, and India increased more than 74% after the general election in Sri Lanka. These investigations demonstrate the feasibility of the proposed approach in assessing the possible effects of international events on maritime network dynamics.展开更多
The Student-t regression model is a useful extension of the normal model,which can be used for statistical modeling of data sets involving errors with heavy tails and/or outliers and provides robust estimation of mean...The Student-t regression model is a useful extension of the normal model,which can be used for statistical modeling of data sets involving errors with heavy tails and/or outliers and provides robust estimation of means and regression coefficients.In this paper,the varying dispersion Student-t regression model is discussed,in which both the mean and the dispersion depend upon explanatory variables.The problem of interest is simultaneously select significant variables both in mean and dispersion model.A unified procedure which can simultaneously select significant variable is given.With appropriate selection of the tuning parameters,the consistency and the oracle property of the regularized estimators are established.Both the simulation study and two real data examples are used to illustrate the proposed methodologies.展开更多
文摘The central air conditioning system in an intelligent building (IB) was analyzed and modeled in order to perform the optimization scheduling strategy of the central air conditioning system. A set of models proposed and a type of periodically autoregressive model (PAR) based on the improved genetic algorithms (IGA) were used to perform the optimum energy saving scheduling. The example of the Liangmahe Plaza was taken to show the effectiveness of the methods.
基金Project(2013CB035402) supported by the National Basic Research Program of ChinaProjects(51105048,51209028) supported by the National Natural Science Foundation of China
文摘In order to deal with modeling problem of a pressure balance system with time-delay, nonlinear, time-varying and uncertain characteristics, an intelligent modeling procedure is proposed, which is based on artificial neural network(ANN) and input-output data of the system during shield tunneling and can overcome the precision problem in mechanistic modeling(MM) approach. The computational results show that the training algorithm with Gauss-Newton optimization has fast convergent speed. The experimental investigation indicates that, compared with mechanistic modeling approach, intelligent modeling procedure can obviously increase the precision in both soil pressure fitting and forecasting period. The effectiveness and accuracy of proposed intelligent modeling procedure are verified in laboratory tests.
基金Supported by the National Natural Science Foundation of China(61104218,21006127)the National Basic Research Program of China(2012CB720500)the Science Foundation of China University of Petroleum(YJRC-2013-12)
文摘The processes of building dynamic and static relationships between secondary and primary variables are usually integrated in most of nonlinear dynamic soft sensor models. However, such integration limits the estimation accuracy of soft sensor models. Wiener model effectively describes dynamic and static characteristics of a system with the structure of dynamic and static submodels in cascade. We propose a soft sensor model derived from Wiener model structure, which is an extension of Wiener model. Dynamic and static relationships between secondary and primary variables are built respectively to describe the dynamic and static characteristics of system. The feasibility of this model is verified. Then the expression of discrete model is derived for soft sensor system. Conjugate gradient algorithm is applied to identify the dynamic and static model parameters alternately. Corresponding update method for soft sensor system is also given. Case studies confirm the effectiveness of the proposed model, alternate identification algorithm, and update method.
文摘Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.
基金Project(51175518)supported by the National Natural Science Foundation of China
文摘To increase the efficiency and reliability of the thermodynamics analysis of the hydraulic system, the method based on pseudo-bond graph is introduced. According to the working mechanism of hydraulic components, they can be separated into two categories: capacitive components and resistive components. Then, the thermal-hydraulic pseudo-bond graphs of capacitive C element and resistance R element were developed, based on the conservation of mass and energy. Subsequently, the connection rule for the pseudo-bond graph elements and the method to construct the complete thermal-hydraulic system model were proposed. On the basis of heat transfer analysis of a typical hydraulic circuit containing a piston pump, the lumped parameter mathematical model of the system was given. The good agreement between the simulation results and experimental data demonstrates the validity of the modeling method.
基金Projects(40974077,41164004)supported by the National Natural Science Foundation of ChinaProject(2007AA06Z134)supported by the National High Technology Research and Development Program of China+2 种基金Projects(2011GXNSFA018003,0832263)supported by the Natural Science Foundation of Guangxi Province,ChinaProject supported by Program for Excellent Talents in Guangxi Higher Education Institution,ChinaProject supported by the Foundation of Guilin University of Technology,China
文摘The strategies that minimize the overall solution time of multiple linear systems in 3D finite element method (FEM) modeling of direct current (DC) resistivity were discussed. A global stiff matrix is assembled and stored in two parts separately. One part is associated with the volume integral and the other is associated with the subsurface boundary integral. The equivalent multiple linear systems with closer right-hand sides than the original systems were constructed. A recycling Krylov subspace technique was employed to solve the multiple linear systems. The solution of the seed system was used as an initial guess for the subsequent systems. The results of two numerical experiments show that the improved algorithm reduces the iterations and CPU time by almost 50%, compared with the classical preconditioned conjugate gradient method.
文摘The objective of this research is to show a new methodology for modeling phenomena present in complex economic systems. The case study we analyzed is the adoption of open organization model among firms operating in a particular industry. A firm with an open system model creates and captures value taking advantage not only from the internal resource but also from external. The organization could approach to open model acquisition using different focus: external focus namely looking out of its boundary, acting and reacting to competitor innovation, costumers' changing, demand growth, or internal focus remaining inside its boundary improving its best capabilities ignoring what happened outside (Vagnani, Moran, & Simoni, 2010). The actors involved are firms, customers and suppliers linked together through a business to business model. The methodology is based on an Object-Oriented Analysis Field Model that allows to intuitively describe systems characterized by a large number of objects that interact, as in this case of a system composed by different organizational entities. The system simulation allows to analyze how the actors influence the acquisition and diffusion of the open organization model. This approach permits the generation of different classes of objects to represent all actors involved in the evolution of the system and to define the dynamics that determine their interaction. The solution of the model can be approximated using the Mean-Field analysis technique (Kurtz, 1978), following the results proposed in Bobbio, Gribaudo, and Yelek (2008). A qualitative result is illustrated in order to show the applicability of the proposed methodology and to emphasize its relevant features: flexible modeling approach, capacity of solving complex systems and output management facilities. The presented model is comprehensive and its scope is wide; it could be used to study the behavior of enterprises changing model in many different scenarios and situations. In future works quantitative results will be given, and different situations will be analyzed.
文摘ISO 13584 (i.e. PLIB) is an international standard for the representation and exchange of CAD part libraries. It aims to provide an application-independent mechanism to enable the share of part library information between applications. In this paper, the approach of modeling part library conforming to ISO 13584 is presented. Also, a prototype of part library management system, i.e. BYL-PLIB, whose implementation is in agreement with ISO 13854 is developed to demonstrate the usefulness of proposed approach.
文摘Complex adaptive systems (cas) - systems that involve many components that adapt or learn as they interact - are at the heart of important contemporary problems. The study of cas poses unique challenges: Some of our most powerful muthemutical tools, particularly methods involivng fixed points, attractors, and the like, are of limited help in understanding the development of cas. This paper suggests ways to modify research methods and tools, with an emphasis on the role of computer-based models, to increase our understanding of cas.
基金supported by the National Natural Science Foundation of China(Grant No.61305025)
文摘In order to model the hysteresis behavior of a nano piezoelectric actuator(PA)on nano scale in a real time system,a new hysteresis modeling method based on an improved sub-pixel blocking matching algorithm with an optimal block size is proposed in this paper.First,Preisach model is introduced to model the hysteresis behavior of a piezoelectric actuator.Then,a real time block matching algorithm is researched and its block size is optimized with a standard object.Finally,experiments are performed with respect to a nanometer movement platform system,and the results show the feasibility and validity of the sub-pixel estimation based block matching algorithm and its application in modeling the hysteresis behavior of PA.
基金Key Project of the Chinese Academy of Sciences,No.ZDRW-ZS-2016-6-3The National Key Research and Development Program of China,No.2017YFB0503802+1 种基金National Natural Science Foundation of China,No.40971233,No.41771473LIESMARS Special Research Funding
文摘Investigating the influence of international events on global maritime networks is a challenging task that must comprehensively incorporate geographical, political, and maritime sciences. Understanding global maritime network dynamics is an initial and critical step in this investigation. This study proposes an automatic identification system(AIS)-based approach to understanding maritime network dynamics before and after international events. In this approach, a spatiotemporal modeling method is introduced to measure the similarity in shipping trends before and after international events. Then, a spatiotemporal analytic framework is proposed to understand the maritime network dynamics by grouping similar situation, and assessing possible indirect effects within a network. Finally, three case studies of international events, military conflict, lifted economic sanctions, and government elections, were used to investigate the observed network dynamics possibly affected by international events. The results indicate that container, tanker, and bulk shipping between India and its connected countries all declined more than 69% after military conflicts between India and Pakistan in August 2015. Tanker shipping between Iran and the United Arab Emirates increased 51% after economic sanctions on Iran were lifted. Container shipping between Sri Lanka and Singapore, Malaysia, and India increased more than 74% after the general election in Sri Lanka. These investigations demonstrate the feasibility of the proposed approach in assessing the possible effects of international events on maritime network dynamics.
基金supported in part by the National Natural Science Foundation of China under Grant Nos.11171112,11101114,11201190the National Statistical Science Research Major Program of China under Grant No.2011LZ051+4 种基金the 111 Project of China under Grant No.B14019the Doctoral Fund of Ministry of Education of China under Grant No.20130076110004the Natural Science Project of Jiangsu Province Education Department under Grant No.13KJB110024the Natural Science Fund of Nantong University under Grant No.13ZY001the Research Project of Social Science and Humanity Fund of the Ministry of Education under Grant No.14YJC910007
文摘The Student-t regression model is a useful extension of the normal model,which can be used for statistical modeling of data sets involving errors with heavy tails and/or outliers and provides robust estimation of means and regression coefficients.In this paper,the varying dispersion Student-t regression model is discussed,in which both the mean and the dispersion depend upon explanatory variables.The problem of interest is simultaneously select significant variables both in mean and dispersion model.A unified procedure which can simultaneously select significant variable is given.With appropriate selection of the tuning parameters,the consistency and the oracle property of the regularized estimators are established.Both the simulation study and two real data examples are used to illustrate the proposed methodologies.