Digital technology has driven the innovation of architectural design methods and tools,applying digital techniques to allow greater possibilities for more innovative and scientific design of public building spaces.Thi...Digital technology has driven the innovation of architectural design methods and tools,applying digital techniques to allow greater possibilities for more innovative and scientific design of public building spaces.This article first analyzes the characteristics of digital visualization and its advantages in the design of urban public building spaces,including aspects such as visualizing three-dimensional expression,rational analysis of building space,Virtual Reality Experience,and integration of design and construction processes.Subsequently,by introducing digital design methods such as parametric design,algorithmic generation,nonlinear design,and artificial intelligence-assisted design,it explores the methods and implementation approaches of digital visualization in the design of public building spaces.The aim is to offer insights and references for the deeper integration of digital technology into architectural design practices.展开更多
The remaining useful life(RUL) prediction of mechanical products has been widely studied for online system performance reliability, device remanufacturing, and product safety(safety awareness and safety improvement). ...The remaining useful life(RUL) prediction of mechanical products has been widely studied for online system performance reliability, device remanufacturing, and product safety(safety awareness and safety improvement). These studies incorporated many di erent models, algorithms, and techniques for modeling and assessment. In this paper, methods of RUL assessment are summarized and expounded upon using two major methods: physics model based and data driven based methods. The advantages and disadvantages of each of these methods are deliberated and compared as well. Due to the intricacy of failure mechanism in system, and di culty in physics degradation observation, RUL assessment based on observations of performance variables turns into a science in evaluating the degradation. A modeling method from control systems, the state space model(SSM), as a first order hidden Markov, is presented. In the context of non-linear and non-Gaussian systems, the SSM methodology is capable of performing remaining life assessment by using Bayesian estimation(sequential Monte Carlo). Being e ective for non-linear and non-Gaussian dynamics, the methodology can perform the assessment recursively online for applications in CBM(condition based maintenance), PHM(prognostics and health management), remanufacturing, and system performance reliability. Finally, the discussion raises concerns regarding online sensing data for SSM modeling and assessment of RUL.展开更多
A new analytical method is proposed to analyze the force acting on a rectangular oscillating buoy due to linear waves.In the method a new analytical expression for the diffraction velocity potential is obtained first ...A new analytical method is proposed to analyze the force acting on a rectangular oscillating buoy due to linear waves.In the method a new analytical expression for the diffraction velocity potential is obtained first by use of theeigenfunction expansion method and then the wave excitation force is calculated by use of the known incident wavepotential and the diffraction potential. Compared with the classical analytical method, it can be seen that the presentmethod is simpler for a two-dimensional problem due to the comparable effort needed for the computation ofdiffraction potential and for that of radiated potential. To verify the correctness of the method, a classical example inthe reference is recomputed and the obtained results are in good accordance with those by use of other methods,which shows that the present method is correct.展开更多
Fixed-point fast sweeping WENO methods are a class of efficient high-order numerical methods to solve steady-state solutions of hyperbolic partial differential equations(PDEs).The Gauss-Seidel iterations and alternati...Fixed-point fast sweeping WENO methods are a class of efficient high-order numerical methods to solve steady-state solutions of hyperbolic partial differential equations(PDEs).The Gauss-Seidel iterations and alternating sweeping strategy are used to cover characteristics of hyperbolic PDEs in each sweeping order to achieve fast convergence rate to steady-state solutions.A nice property of fixed-point fast sweeping WENO methods which distinguishes them from other fast sweeping methods is that they are explicit and do not require inverse operation of nonlinear local systems.Hence,they are easy to be applied to a general hyperbolic system.To deal with the difficulties associated with numerical boundary treatment when high-order finite difference methods on a Cartesian mesh are used to solve hyperbolic PDEs on complex domains,inverse Lax-Wendroff(ILW)procedures were developed as a very effective approach in the literature.In this paper,we combine a fifthorder fixed-point fast sweeping WENO method with an ILW procedure to solve steadystate solution of hyperbolic conservation laws on complex computing regions.Numerical experiments are performed to test the method in solving various problems including the cases with the physical boundary not aligned with the grids.Numerical results show highorder accuracy and good performance of the method.Furthermore,the method is compared with the popular third-order total variation diminishing Runge-Kutta(TVD-RK3)time-marching method for steady-state computations.Numerical examples show that for most of examples,the fixed-point fast sweeping method saves more than half CPU time costs than TVD-RK3 to converge to steady-state solutions.展开更多
A data-space inversion(DSI)method has been recently proposed and successfully applied to the history matching and production prediction of reservoirs.Based on Bayesian theory,DSI can directly and effectively obtain go...A data-space inversion(DSI)method has been recently proposed and successfully applied to the history matching and production prediction of reservoirs.Based on Bayesian theory,DSI can directly and effectively obtain good posterior flow predictions without inversion of geological parameters of reservoir model.This paper presents an improved DSI method to fast predict reservoir state fields(e.g.saturation and pressure profiles)via observed production data.Firstly,a large number of production curves and state data are generated by reservoir model simulation to expand the data space of original DSI.Then,efficient history matching only on the observed production data is carried out via the original DSI to obtain related parameters which reflects the weight of the real reservoir model relative to prior reservoir models.Finally,those parameters are used to predict the oil saturation and pressure profiles of the real reservoir model by combining large amounts of state data of prior reservoir models.Two examples including conventional heterogeneous and unconventional fractured reservoir are implemented to test the performances of predicting saturation and pressure profiles of this improved DSI method.Besides,this method is also tested in a real field and the obtained results show the high computational efficiency and high accuracy of the practical application of this method.展开更多
In this study,a fully coupled hydromechanical model within the extended finite element method(XFEM)-based cohesive zone method(CZM)is employed to investigate the simultaneous height growth behavior of multi-cluster hy...In this study,a fully coupled hydromechanical model within the extended finite element method(XFEM)-based cohesive zone method(CZM)is employed to investigate the simultaneous height growth behavior of multi-cluster hydraulic fractures in layered porous reservoirs with modulus contrast.The coupled hydromechanical model is first verified against an analytical solution and a laboratory experiment.Then,the fracture geometry(e.g.height,aperture,and area)and fluid pressure evolutions of multiple hydraulic fractures placed in a porous reservoir interbedded with alternating stiff and soft layers are investigated using the model.The stress and pore pressure distributions within the layered reservoir during fluid injection are also presented.The simulation results reveal that stress umbrellas are easily to form among multiple hydraulic fractures’tips when propagating in soft layers,which impedes the simultaneous height growth.It is also observed that the impediment effect of soft layer is much more significant in the fractures suppressed by the preferential growth of adjoining fractures.After that,the combined effect of in situ stress ratio and fracturing spacing on the multi-fracture height growth is presented,and the results elucidate the influence of in situ stress ratio on the height growth behavior depending on the fracture spacing.Finally,it is found that the inclusion of soft layers changes the aperture distribution of outmost and interior hydraulic fractures.The results obtained from this study may provide some insights on the understanding of hydraulic fracture height containment observed in filed.展开更多
We present a method for derivation of the density matrix of an arbitrary multi-mode continuous variable Gaussian entangled state from its phase space representation.An explicit computer algorithm is given to reconstru...We present a method for derivation of the density matrix of an arbitrary multi-mode continuous variable Gaussian entangled state from its phase space representation.An explicit computer algorithm is given to reconstruct the density matrix from Gaussian covariance matrix and quadrature average values.As an example,we apply our method to the derivation of three-mode symmetric continuous variable entangled state.Our method can be used to analyze the entanglement and correlation in continuous variable quantum network with multi-mode quantum entanglement states.展开更多
Starting with the governing equations in terms of displacements of 3D elastic media, the solutions to displacement components and their first derivatives are obtained by the application of a double Fourier transform a...Starting with the governing equations in terms of displacements of 3D elastic media, the solutions to displacement components and their first derivatives are obtained by the application of a double Fourier transform and an order reduction method based on the Cayley-Hamilton theorem. Combining the solutions and the constitutive equations which connect the displacements and stresses, the transfer matrix of a single soil layer is acquired. Then, the state space solution to multilayered elastic soils is further obtained by introducing the boundary conditions and continuity conditions between adjacent soil layers. The numerical analysis based on the present theory is carried out, and the vertical displacements of multilayered foundation with a weak and a hard underlying stratums are compared and discussed.展开更多
The efficient and accurate synthesis of physical parameter-controllable impact sounds is essential for sound source identification. In this study, an impact sound synthesis model of a cylinder is proposed based on dis...The efficient and accurate synthesis of physical parameter-controllable impact sounds is essential for sound source identification. In this study, an impact sound synthesis model of a cylinder is proposed based on discrete state space(DSS) method and modal extension method(MEM). This model is comprised of the whole three processes of the physical interaction, i.e., the Hertz contact process, the transient structural response process, and the sound radiation process. Firstly,the modal expanded DSS equations of the contact system are constructed and the transient structural response of the cylinder is obtained. Then the impact sound of the cylinder is acquired using improved discrete Raleigh integral. Finally, the proposed model is verified by comparing with existing models. The results show that the proposed impact sound synthesis model is more accurate and efficient than the existing methods and easy to be extended to the impact sound synthesis of other structures.展开更多
First,the state space tree method for finding communication network overall re-liability is presented.It directly generates one disjoint tree multilevel polynomial of a networkgraph.Its advantages are smaller computat...First,the state space tree method for finding communication network overall re-liability is presented.It directly generates one disjoint tree multilevel polynomial of a networkgraph.Its advantages are smaller computational effort(its computing time complexity is O(en_l),where e is the number of edges and n_l is the number of leaves)and shorter resulting expression.Second,based on it an exact decomposition algorithm for finding communication network overallreliability is presented by applying the hypergraph theory.If we use it to carry out the m-timedecomposition of a network graph,the communication network scale which can be analyzed by acomputer can be extended to m-fold.展开更多
Through the analysis of the overall landscape,revetments and roads and plant landscape,10 evaluation factors were determined.The comprehensive evaluation model for the campus space of Anhui Xinhua University was const...Through the analysis of the overall landscape,revetments and roads and plant landscape,10 evaluation factors were determined.The comprehensive evaluation model for the campus space of Anhui Xinhua University was constructed by analytic hierarchy process(AHP).The results showed that revetment safety,road convenience,plant disease resistance and campus activity space were important factors affecting the spatial form planning of campus.Through the comparative analysis of the collected data,optimization suggestions were put forward to provide a basis for the establishment of“people-oriented”campus open space system.展开更多
Firstly,this paper reviews and analyzes historic background of urban-rural integration of Chongqing,and the evolution and trend of urban and rural dual economic structure.On the basis of previous researches,it selects...Firstly,this paper reviews and analyzes historic background of urban-rural integration of Chongqing,and the evolution and trend of urban and rural dual economic structure.On the basis of previous researches,it selects factors and variables influencing urban and rural dual economic structure,and establishes an econometric model.By state space Kalman filtering method,it analyzes dynamic influence of factors upon urban-rural dual economic intensity.According to empirical conclusion,it puts forward corresponding policy recommendations for promoting integrated urban and rural economic development of Chongqing.展开更多
In this paper,the parametric equations with multipliers of nonholonomic nonconservative sys- tems in the event space are established,their properties are studied,and their explicit formulation is obtained. And then th...In this paper,the parametric equations with multipliers of nonholonomic nonconservative sys- tems in the event space are established,their properties are studied,and their explicit formulation is obtained. And then the field method for integrating these equations is given.Finally,an example illustrating the appli- cation of the integration method is given.展开更多
Based on the data of field measurement and drilling in the Tongling area, a series of numerical simulations are carried out by using the 'Surplus Space Method' (SSM), which is first put forward in this paper a...Based on the data of field measurement and drilling in the Tongling area, a series of numerical simulations are carried out by using the 'Surplus Space Method' (SSM), which is first put forward in this paper and applied to predict the shallow-seated magmatic bodies. The results of the numerical simulations show the existence and the 3-D shape of a conical magmatic structure at a depth of-1000 m beneath the center of the area: its top offsets southwards and bifurcates to several branches, while its lower part stretches northeastwards and contracts rapidly to a point at about -1000 m depth. This point is reckoned to be a 'sink' of magma system, transferring ore materials and heat energy from the deep magma chamber to the sub-surface apophyses. The preliminary application of the SSM proves that it may be developed as a new detection means for determining the existence of shallow-seated magmatic bodies and analyzing their three-dimensional features.展开更多
Certain deterministic nonlinear systems may show chaotic behavior. We consider the motion of qualitative information and the practicalities of extracting a part from chaotic experimental data. Our approach based on a ...Certain deterministic nonlinear systems may show chaotic behavior. We consider the motion of qualitative information and the practicalities of extracting a part from chaotic experimental data. Our approach based on a theorem of Takens draws on the ideas from the generalized theory of information known as singular system analysis. We illustrate this technique by numerical data from the chaotic region of the chaotic experimental data. The method of the singular-value decomposition is used to calculate the eigenvalues of embedding space matrix. The corresponding concrete algorithm to calculate eigenvectors and to obtain the basis of embedding vector space is proposed in this paper. The projection on the orthogonal basis generated by eigenvectors of timeseries data and concrete paradigm are also provided here. Meanwhile the state space reconstruction technology of different kinds of chaotic data obtained from dynamical system has also been discussed in detail.展开更多
This paper focuses on studying the Poisson theory and the integration method of a Birkhoffian system in the event space. The Birkhoff's equations in the event space are given. The Poisson theory of the Birkhoffian sy...This paper focuses on studying the Poisson theory and the integration method of a Birkhoffian system in the event space. The Birkhoff's equations in the event space are given. The Poisson theory of the Birkhoffian system in the event space is established. The definition of the Jacobi last multiplier of the system is given, and the relation between the Jacobi last multiplier and the first integrals of the system is discussed. The researches show that for a Birkhoffian system in the event space, whose configuration is determined by (2n + 1) Birkhoff's variables, the solution of the system can be found by the Jacobi last multiplier if 2n first integrals are known. An example is given to illustrate the application of the results.展开更多
Many Bayesian learning approaches to the multi-layer perceptron (MLP) parameter optimization have been proposed such as the extended Kalman filter (EKF). This paper uses the unscented Kalman particle filter (UPF...Many Bayesian learning approaches to the multi-layer perceptron (MLP) parameter optimization have been proposed such as the extended Kalman filter (EKF). This paper uses the unscented Kalman particle filter (UPF) to train the MLP in a self- organizing state space (SOSS) model. This involves forming augmented state vectors consisting of all parameters (the weights of the MLP) and outputs. The UPF is used to sequentially update the true system states and high dimensional parameters that are inherent to the SOSS moder for the MLP simultaneously. Simulation results show that the new method performs better than traditional optimization methods.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
文摘Digital technology has driven the innovation of architectural design methods and tools,applying digital techniques to allow greater possibilities for more innovative and scientific design of public building spaces.This article first analyzes the characteristics of digital visualization and its advantages in the design of urban public building spaces,including aspects such as visualizing three-dimensional expression,rational analysis of building space,Virtual Reality Experience,and integration of design and construction processes.Subsequently,by introducing digital design methods such as parametric design,algorithmic generation,nonlinear design,and artificial intelligence-assisted design,it explores the methods and implementation approaches of digital visualization in the design of public building spaces.The aim is to offer insights and references for the deeper integration of digital technology into architectural design practices.
基金Supported by Fundamental Research Funds for the Central Universities of China(Grant No.DUT17GF214)
文摘The remaining useful life(RUL) prediction of mechanical products has been widely studied for online system performance reliability, device remanufacturing, and product safety(safety awareness and safety improvement). These studies incorporated many di erent models, algorithms, and techniques for modeling and assessment. In this paper, methods of RUL assessment are summarized and expounded upon using two major methods: physics model based and data driven based methods. The advantages and disadvantages of each of these methods are deliberated and compared as well. Due to the intricacy of failure mechanism in system, and di culty in physics degradation observation, RUL assessment based on observations of performance variables turns into a science in evaluating the degradation. A modeling method from control systems, the state space model(SSM), as a first order hidden Markov, is presented. In the context of non-linear and non-Gaussian systems, the SSM methodology is capable of performing remaining life assessment by using Bayesian estimation(sequential Monte Carlo). Being e ective for non-linear and non-Gaussian dynamics, the methodology can perform the assessment recursively online for applications in CBM(condition based maintenance), PHM(prognostics and health management), remanufacturing, and system performance reliability. Finally, the discussion raises concerns regarding online sensing data for SSM modeling and assessment of RUL.
基金This work Was supported by the High Tech Research and Development(863)Program of China under Grant No.2003AA5 16010the Chinese Academy of Science Pilot Project of the National Knowledge Innovation Program under Grant No.KGCX2-SW-305Chinese National Science Fund for Distinguished Young Scholars under Grant No.50125924.
文摘A new analytical method is proposed to analyze the force acting on a rectangular oscillating buoy due to linear waves.In the method a new analytical expression for the diffraction velocity potential is obtained first by use of theeigenfunction expansion method and then the wave excitation force is calculated by use of the known incident wavepotential and the diffraction potential. Compared with the classical analytical method, it can be seen that the presentmethod is simpler for a two-dimensional problem due to the comparable effort needed for the computation ofdiffraction potential and for that of radiated potential. To verify the correctness of the method, a classical example inthe reference is recomputed and the obtained results are in good accordance with those by use of other methods,which shows that the present method is correct.
基金Research was supported by the NSFC Grant 11872210Research was supported by the NSFC Grant 11872210 and Grant No.MCMS-I-0120G01+1 种基金Research supported in part by the AFOSR Grant FA9550-20-1-0055NSF Grant DMS-2010107.
文摘Fixed-point fast sweeping WENO methods are a class of efficient high-order numerical methods to solve steady-state solutions of hyperbolic partial differential equations(PDEs).The Gauss-Seidel iterations and alternating sweeping strategy are used to cover characteristics of hyperbolic PDEs in each sweeping order to achieve fast convergence rate to steady-state solutions.A nice property of fixed-point fast sweeping WENO methods which distinguishes them from other fast sweeping methods is that they are explicit and do not require inverse operation of nonlinear local systems.Hence,they are easy to be applied to a general hyperbolic system.To deal with the difficulties associated with numerical boundary treatment when high-order finite difference methods on a Cartesian mesh are used to solve hyperbolic PDEs on complex domains,inverse Lax-Wendroff(ILW)procedures were developed as a very effective approach in the literature.In this paper,we combine a fifthorder fixed-point fast sweeping WENO method with an ILW procedure to solve steadystate solution of hyperbolic conservation laws on complex computing regions.Numerical experiments are performed to test the method in solving various problems including the cases with the physical boundary not aligned with the grids.Numerical results show highorder accuracy and good performance of the method.Furthermore,the method is compared with the popular third-order total variation diminishing Runge-Kutta(TVD-RK3)time-marching method for steady-state computations.Numerical examples show that for most of examples,the fixed-point fast sweeping method saves more than half CPU time costs than TVD-RK3 to converge to steady-state solutions.
基金supported by Southern Marine Science and Engineering Guangdong Laboratory(Zhanjiang)(No.ZJW-2019-04)Cooperative Innovation Center of Unconventional Oil and Gas(Ministry of Education&Hubei Province),Yangtze University(No.UOG2020-17)the National Natural Science Foundation of China(No.51874044,51922007)。
文摘A data-space inversion(DSI)method has been recently proposed and successfully applied to the history matching and production prediction of reservoirs.Based on Bayesian theory,DSI can directly and effectively obtain good posterior flow predictions without inversion of geological parameters of reservoir model.This paper presents an improved DSI method to fast predict reservoir state fields(e.g.saturation and pressure profiles)via observed production data.Firstly,a large number of production curves and state data are generated by reservoir model simulation to expand the data space of original DSI.Then,efficient history matching only on the observed production data is carried out via the original DSI to obtain related parameters which reflects the weight of the real reservoir model relative to prior reservoir models.Finally,those parameters are used to predict the oil saturation and pressure profiles of the real reservoir model by combining large amounts of state data of prior reservoir models.Two examples including conventional heterogeneous and unconventional fractured reservoir are implemented to test the performances of predicting saturation and pressure profiles of this improved DSI method.Besides,this method is also tested in a real field and the obtained results show the high computational efficiency and high accuracy of the practical application of this method.
文摘In this study,a fully coupled hydromechanical model within the extended finite element method(XFEM)-based cohesive zone method(CZM)is employed to investigate the simultaneous height growth behavior of multi-cluster hydraulic fractures in layered porous reservoirs with modulus contrast.The coupled hydromechanical model is first verified against an analytical solution and a laboratory experiment.Then,the fracture geometry(e.g.height,aperture,and area)and fluid pressure evolutions of multiple hydraulic fractures placed in a porous reservoir interbedded with alternating stiff and soft layers are investigated using the model.The stress and pore pressure distributions within the layered reservoir during fluid injection are also presented.The simulation results reveal that stress umbrellas are easily to form among multiple hydraulic fractures’tips when propagating in soft layers,which impedes the simultaneous height growth.It is also observed that the impediment effect of soft layer is much more significant in the fractures suppressed by the preferential growth of adjoining fractures.After that,the combined effect of in situ stress ratio and fracturing spacing on the multi-fracture height growth is presented,and the results elucidate the influence of in situ stress ratio on the height growth behavior depending on the fracture spacing.Finally,it is found that the inclusion of soft layers changes the aperture distribution of outmost and interior hydraulic fractures.The results obtained from this study may provide some insights on the understanding of hydraulic fracture height containment observed in filed.
基金Supported by the National Natural Science Foundation of China under Grant Nos 11574400 and 11204379the Beijing Institute of Technology Research Fund Program for Young Scholarsthe NSFC-ICTP Proposal under Grant No 11981240356
文摘We present a method for derivation of the density matrix of an arbitrary multi-mode continuous variable Gaussian entangled state from its phase space representation.An explicit computer algorithm is given to reconstruct the density matrix from Gaussian covariance matrix and quadrature average values.As an example,we apply our method to the derivation of three-mode symmetric continuous variable entangled state.Our method can be used to analyze the entanglement and correlation in continuous variable quantum network with multi-mode quantum entanglement states.
文摘Starting with the governing equations in terms of displacements of 3D elastic media, the solutions to displacement components and their first derivatives are obtained by the application of a double Fourier transform and an order reduction method based on the Cayley-Hamilton theorem. Combining the solutions and the constitutive equations which connect the displacements and stresses, the transfer matrix of a single soil layer is acquired. Then, the state space solution to multilayered elastic soils is further obtained by introducing the boundary conditions and continuity conditions between adjacent soil layers. The numerical analysis based on the present theory is carried out, and the vertical displacements of multilayered foundation with a weak and a hard underlying stratums are compared and discussed.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.11574249 and 11874303)the Natural Science Basic Research Plan in Shaanxi Province of China(Grant No.2018JQ1001)
文摘The efficient and accurate synthesis of physical parameter-controllable impact sounds is essential for sound source identification. In this study, an impact sound synthesis model of a cylinder is proposed based on discrete state space(DSS) method and modal extension method(MEM). This model is comprised of the whole three processes of the physical interaction, i.e., the Hertz contact process, the transient structural response process, and the sound radiation process. Firstly,the modal expanded DSS equations of the contact system are constructed and the transient structural response of the cylinder is obtained. Then the impact sound of the cylinder is acquired using improved discrete Raleigh integral. Finally, the proposed model is verified by comparing with existing models. The results show that the proposed impact sound synthesis model is more accurate and efficient than the existing methods and easy to be extended to the impact sound synthesis of other structures.
文摘First,the state space tree method for finding communication network overall re-liability is presented.It directly generates one disjoint tree multilevel polynomial of a networkgraph.Its advantages are smaller computational effort(its computing time complexity is O(en_l),where e is the number of edges and n_l is the number of leaves)and shorter resulting expression.Second,based on it an exact decomposition algorithm for finding communication network overallreliability is presented by applying the hypergraph theory.If we use it to carry out the m-timedecomposition of a network graph,the communication network scale which can be analyzed by acomputer can be extended to m-fold.
基金by National Undergraduate Innovation Training Program of Anhui Xinhua University in 2022(202212216012)Provincial Undergraduate Innovation Training Program of Anhui Xinhua University in 2021(AH202112216119)+1 种基金Key Research Project of Natural Science in Colleges and Universities of Anhui Province(2023AH051816)General Teaching Research Project of Anhui Province(2022jyxm665).
文摘Through the analysis of the overall landscape,revetments and roads and plant landscape,10 evaluation factors were determined.The comprehensive evaluation model for the campus space of Anhui Xinhua University was constructed by analytic hierarchy process(AHP).The results showed that revetment safety,road convenience,plant disease resistance and campus activity space were important factors affecting the spatial form planning of campus.Through the comparative analysis of the collected data,optimization suggestions were put forward to provide a basis for the establishment of“people-oriented”campus open space system.
基金Supported by Social Science Planning Project of Chongqing(2010YBJJ13)the Fundamental Research Funds for the Central Universities(XDJK2010C103)Ph.D Foundation Project of Southwest University(SWU1209303)
文摘Firstly,this paper reviews and analyzes historic background of urban-rural integration of Chongqing,and the evolution and trend of urban and rural dual economic structure.On the basis of previous researches,it selects factors and variables influencing urban and rural dual economic structure,and establishes an econometric model.By state space Kalman filtering method,it analyzes dynamic influence of factors upon urban-rural dual economic intensity.According to empirical conclusion,it puts forward corresponding policy recommendations for promoting integrated urban and rural economic development of Chongqing.
基金The Project is supported by the National Natural Science Foundation of China
文摘In this paper,the parametric equations with multipliers of nonholonomic nonconservative sys- tems in the event space are established,their properties are studied,and their explicit formulation is obtained. And then the field method for integrating these equations is given.Finally,an example illustrating the appli- cation of the integration method is given.
基金This study was financially supported by the National Important Basic Research and Development Planning Program(No.1999043206)the National Natural Science Foundation of China(No.40234051)+1 种基金the Special Plan of Science and Technology of the Ministry of Land and Resources(20010103)the"Trans-century Training Program for Outstanding Talents”Fund sponsored by the.Ministry of Education.
文摘Based on the data of field measurement and drilling in the Tongling area, a series of numerical simulations are carried out by using the 'Surplus Space Method' (SSM), which is first put forward in this paper and applied to predict the shallow-seated magmatic bodies. The results of the numerical simulations show the existence and the 3-D shape of a conical magmatic structure at a depth of-1000 m beneath the center of the area: its top offsets southwards and bifurcates to several branches, while its lower part stretches northeastwards and contracts rapidly to a point at about -1000 m depth. This point is reckoned to be a 'sink' of magma system, transferring ore materials and heat energy from the deep magma chamber to the sub-surface apophyses. The preliminary application of the SSM proves that it may be developed as a new detection means for determining the existence of shallow-seated magmatic bodies and analyzing their three-dimensional features.
基金The project supported by the National Natural Science Foundation of China(19672043)
文摘Certain deterministic nonlinear systems may show chaotic behavior. We consider the motion of qualitative information and the practicalities of extracting a part from chaotic experimental data. Our approach based on a theorem of Takens draws on the ideas from the generalized theory of information known as singular system analysis. We illustrate this technique by numerical data from the chaotic region of the chaotic experimental data. The method of the singular-value decomposition is used to calculate the eigenvalues of embedding space matrix. The corresponding concrete algorithm to calculate eigenvectors and to obtain the basis of embedding vector space is proposed in this paper. The projection on the orthogonal basis generated by eigenvectors of timeseries data and concrete paradigm are also provided here. Meanwhile the state space reconstruction technology of different kinds of chaotic data obtained from dynamical system has also been discussed in detail.
基金Project supported by the National Natural Science Foundation of China(Grant No.10972151)
文摘This paper focuses on studying the Poisson theory and the integration method of a Birkhoffian system in the event space. The Birkhoff's equations in the event space are given. The Poisson theory of the Birkhoffian system in the event space is established. The definition of the Jacobi last multiplier of the system is given, and the relation between the Jacobi last multiplier and the first integrals of the system is discussed. The researches show that for a Birkhoffian system in the event space, whose configuration is determined by (2n + 1) Birkhoff's variables, the solution of the system can be found by the Jacobi last multiplier if 2n first integrals are known. An example is given to illustrate the application of the results.
基金supported by the National Natural Science Foundation of China(7092100160574058)+1 种基金the Key International Cooperation Programs of Hunan Provincial Science & Technology Department (2009WK2009)the General Program of Hunan Provincial Education Department(11C0023)
文摘Many Bayesian learning approaches to the multi-layer perceptron (MLP) parameter optimization have been proposed such as the extended Kalman filter (EKF). This paper uses the unscented Kalman particle filter (UPF) to train the MLP in a self- organizing state space (SOSS) model. This involves forming augmented state vectors consisting of all parameters (the weights of the MLP) and outputs. The UPF is used to sequentially update the true system states and high dimensional parameters that are inherent to the SOSS moder for the MLP simultaneously. Simulation results show that the new method performs better than traditional optimization methods.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.