In this research, LINGO is used successfully to solve the water supply system′s optimal operation model. Firstly, the language of LINGO and the using method were studied intensively, on the basis of which the model w...In this research, LINGO is used successfully to solve the water supply system′s optimal operation model. Firstly, the language of LINGO and the using method were studied intensively, on the basis of which the model was transformed to LINGO form and solved successfully. Secondly, the research on the interface between LINGO and the popular office software was made. The optimization software was developed, which had Excel as the workspace and LINGO as the core of computation. Through practice, this software was found stable, easy to use and suitable for the application to the water supply corporations.展开更多
A first principles-based dynamic model for a continuous catalyst regeneration (CCR) platforming process, the UOP commercial naphtha catalytic reforming process, is developed in this paper. The lumping details of the n...A first principles-based dynamic model for a continuous catalyst regeneration (CCR) platforming process, the UOP commercial naphtha catalytic reforming process, is developed in this paper. The lumping details of the naphtha feed and reaction scheme of the reaction model are given. The process model is composed of the reforming reaction model with catalyst deactivation, the furnace model and the separator model, which is capable of capturing the major dynamics that occurs in this process system. Dynamic simulations are performed based on Gear numerical algorithm and method of lines (MOL), a numerical technique dealing with partial differential equations (PDEs). The results of simulation are also presented. Dynamic responses caused by disturbances in the process system can be correctly predicted through simulations.展开更多
With the development of cloud computing, virtualization technology has been widely used in our life. Meanwhile, it became one of the key targets for some attackers. The integrity measurement in virtual machine has bec...With the development of cloud computing, virtualization technology has been widely used in our life. Meanwhile, it became one of the key targets for some attackers. The integrity measurement in virtual machine has become an urgent problem. Some of the existing virtualization platform integrity measurement mechanism introduces the trusted computing technology, according to a trusted chain that the Trusted Platform Module(TPM) established for trusted root to measure the integrity of process in static. But this single chain static measurement cannot ensure the dynamic credible in platform running. To solve the problem that the virtual trusted platform can not guarantee the dynamic credibility, this paper put forward Dynamic Integrity Measurement Model(DIMM) based on virtual Trusted Platform Module(v TPM) which had been implemented with typical virtual machine monitor Xen as an example. DIMM combined with virtual machine introspection and event capture technology to ensure the security of the entire user domain. Based on the framework, this paper put forward Self-modify dynamic measurement strategy which can effectively reduce the measurement frequency and improve the measurement performance. Finally, it is proved that the validity and feasibility of the proposed model with comparison experiments.展开更多
This paper explores multiple model adaptive estimation(MMAE) method, and with it, proposes a novel filtering algorithm. The proposed algorithm is an improved Kalman filter— multiple model adaptive estimation unscente...This paper explores multiple model adaptive estimation(MMAE) method, and with it, proposes a novel filtering algorithm. The proposed algorithm is an improved Kalman filter— multiple model adaptive estimation unscented Kalman filter(MMAE-UKF) rather than conventional Kalman filter methods,like the extended Kalman filter(EKF) and the unscented Kalman filter(UKF). UKF is used as a subfilter to obtain the system state estimate in the MMAE method. Single model filter has poor adaptability with uncertain or unknown system parameters,which the improved filtering method can overcome. Meanwhile,this algorithm is used for integrated navigation system of strapdown inertial navigation system(SINS) and celestial navigation system(CNS) by a ballistic missile's motion. The simulation results indicate that the proposed filtering algorithm has better navigation precision, can achieve optimal estimation of system state, and can be more flexible at the cost of increased computational burden.展开更多
A novel configuration performance prediction approach with combination of principal component analysis(PCA) and support vector machine(SVM) was proposed.This method can estimate the performance parameter values of a n...A novel configuration performance prediction approach with combination of principal component analysis(PCA) and support vector machine(SVM) was proposed.This method can estimate the performance parameter values of a newly configured product through soft computing technique instead of practical test experiments,which helps to evaluate whether or not the product variant can satisfy the customers' individual requirements.The PCA technique was used to reduce and orthogonalize the module parameters that affect the product performance.Then,these extracted features were used as new input variables in SVM model to mine knowledge from the limited existing product data.The performance values of a newly configured product can be predicted by means of the trained SVM models.This PCA-SVM method can ensure that the performance prediction is executed rapidly and accurately,even under the small sample conditions.The applicability of the proposed method was verified on a family of plate electrostatic precipitators.展开更多
Swept volume solid modeling has been applied to many areas such as NC machining simulation and verification, robot workspace analysis, collision detection, and CAD. But self-intersections continue to be a challenging ...Swept volume solid modeling has been applied to many areas such as NC machining simulation and verification, robot workspace analysis, collision detection, and CAD. But self-intersections continue to be a challenging problem in the boundary representation of swept volume solids. A novel algorithm is presented in this paper to trim self-intersection regions in swept volume solids modeling. This trimming algorithm consists of two major steps: (1) roughly detecting self-intersection regions by checking intersections or overlapping of the envelop profiles; (2) splitting the whole envelop surfaces of the swept volume solid into separate non-self-intersecting patches to trim global self-intersections, and to trim local self-intersections, dividing local self-intersecting regions into patches and replacing self-intersecting patches with non-self-intersecting ones. Examples show that our algorithm is efficient and robust.展开更多
A hierarchical clustered BitTorrent (CBT) system is proposed to improve the file sharing perior-mance of the BitTorrent system, in which peers are grouped into clusters in a large-scale BitTorrent-hke underlying ove...A hierarchical clustered BitTorrent (CBT) system is proposed to improve the file sharing perior-mance of the BitTorrent system, in which peers are grouped into clusters in a large-scale BitTorrent-hke underlying overlay network in such a way that clusters are evenly distributed and that the peers within the cluster are relatively close to each other. A fluid model is developed to compare the performance of the proposed CBT system with the BitTorrent system, and the result shows that the CBT system can effectively improve the performance of the system. Simulation results also demonstrate that the CBT system improves the system scalabihty and efficiency while retaining the robustness and incentives of the original BitTorrent paradigm.展开更多
文摘In this research, LINGO is used successfully to solve the water supply system′s optimal operation model. Firstly, the language of LINGO and the using method were studied intensively, on the basis of which the model was transformed to LINGO form and solved successfully. Secondly, the research on the interface between LINGO and the popular office software was made. The optimization software was developed, which had Excel as the workspace and LINGO as the core of computation. Through practice, this software was found stable, easy to use and suitable for the application to the water supply corporations.
文摘A first principles-based dynamic model for a continuous catalyst regeneration (CCR) platforming process, the UOP commercial naphtha catalytic reforming process, is developed in this paper. The lumping details of the naphtha feed and reaction scheme of the reaction model are given. The process model is composed of the reforming reaction model with catalyst deactivation, the furnace model and the separator model, which is capable of capturing the major dynamics that occurs in this process system. Dynamic simulations are performed based on Gear numerical algorithm and method of lines (MOL), a numerical technique dealing with partial differential equations (PDEs). The results of simulation are also presented. Dynamic responses caused by disturbances in the process system can be correctly predicted through simulations.
基金supported by National Natural Science Foundation of China (61170254,61379116), Hebei Natural Science Foundation Project (F2016201244)Hebei Province Science and Technology Research Project of Higher Education (ZD2016043)Hebei Engineering Technology Research Center for IOT Data Acquisition & Processing, North China Insitute of Science and Technology, Hebei 065201,China
文摘With the development of cloud computing, virtualization technology has been widely used in our life. Meanwhile, it became one of the key targets for some attackers. The integrity measurement in virtual machine has become an urgent problem. Some of the existing virtualization platform integrity measurement mechanism introduces the trusted computing technology, according to a trusted chain that the Trusted Platform Module(TPM) established for trusted root to measure the integrity of process in static. But this single chain static measurement cannot ensure the dynamic credible in platform running. To solve the problem that the virtual trusted platform can not guarantee the dynamic credibility, this paper put forward Dynamic Integrity Measurement Model(DIMM) based on virtual Trusted Platform Module(v TPM) which had been implemented with typical virtual machine monitor Xen as an example. DIMM combined with virtual machine introspection and event capture technology to ensure the security of the entire user domain. Based on the framework, this paper put forward Self-modify dynamic measurement strategy which can effectively reduce the measurement frequency and improve the measurement performance. Finally, it is proved that the validity and feasibility of the proposed model with comparison experiments.
基金supported by the National Basic Research Program of China(973Program)(2014CB744206)
文摘This paper explores multiple model adaptive estimation(MMAE) method, and with it, proposes a novel filtering algorithm. The proposed algorithm is an improved Kalman filter— multiple model adaptive estimation unscented Kalman filter(MMAE-UKF) rather than conventional Kalman filter methods,like the extended Kalman filter(EKF) and the unscented Kalman filter(UKF). UKF is used as a subfilter to obtain the system state estimate in the MMAE method. Single model filter has poor adaptability with uncertain or unknown system parameters,which the improved filtering method can overcome. Meanwhile,this algorithm is used for integrated navigation system of strapdown inertial navigation system(SINS) and celestial navigation system(CNS) by a ballistic missile's motion. The simulation results indicate that the proposed filtering algorithm has better navigation precision, can achieve optimal estimation of system state, and can be more flexible at the cost of increased computational burden.
基金Project(9140A18010210KG01) supported by the Departmental Pre-Research Fund of China
文摘A novel configuration performance prediction approach with combination of principal component analysis(PCA) and support vector machine(SVM) was proposed.This method can estimate the performance parameter values of a newly configured product through soft computing technique instead of practical test experiments,which helps to evaluate whether or not the product variant can satisfy the customers' individual requirements.The PCA technique was used to reduce and orthogonalize the module parameters that affect the product performance.Then,these extracted features were used as new input variables in SVM model to mine knowledge from the limited existing product data.The performance values of a newly configured product can be predicted by means of the trained SVM models.This PCA-SVM method can ensure that the performance prediction is executed rapidly and accurately,even under the small sample conditions.The applicability of the proposed method was verified on a family of plate electrostatic precipitators.
基金Project supported by the National Natural Science Foundation of China (No. 60473106)the Hi-Tech Research and Development Program (863) of China (Nos. 2007AA01Z311 and 2007AA04Z1A5)the National Research Foundation for the Doctoral Program of Higher Education of China (No. 20060335114)
文摘Swept volume solid modeling has been applied to many areas such as NC machining simulation and verification, robot workspace analysis, collision detection, and CAD. But self-intersections continue to be a challenging problem in the boundary representation of swept volume solids. A novel algorithm is presented in this paper to trim self-intersection regions in swept volume solids modeling. This trimming algorithm consists of two major steps: (1) roughly detecting self-intersection regions by checking intersections or overlapping of the envelop profiles; (2) splitting the whole envelop surfaces of the swept volume solid into separate non-self-intersecting patches to trim global self-intersections, and to trim local self-intersections, dividing local self-intersecting regions into patches and replacing self-intersecting patches with non-self-intersecting ones. Examples show that our algorithm is efficient and robust.
基金the National High Technology Research and Development Programme of China(No2004AA104280,2006AA01Z172)
文摘A hierarchical clustered BitTorrent (CBT) system is proposed to improve the file sharing perior-mance of the BitTorrent system, in which peers are grouped into clusters in a large-scale BitTorrent-hke underlying overlay network in such a way that clusters are evenly distributed and that the peers within the cluster are relatively close to each other. A fluid model is developed to compare the performance of the proposed CBT system with the BitTorrent system, and the result shows that the CBT system can effectively improve the performance of the system. Simulation results also demonstrate that the CBT system improves the system scalabihty and efficiency while retaining the robustness and incentives of the original BitTorrent paradigm.