In recent years,formation control of multi-agent has been a significant research subject in the field of cooperative control.However,previous works have mainly concentrated on formation control for simple point-mass m...In recent years,formation control of multi-agent has been a significant research subject in the field of cooperative control.However,previous works have mainly concentrated on formation control for simple point-mass model and linear model.In contrast,this paper presents a novel cooperative algorithm for multiple air vehicles formation control,which aims to devise a control strategy based on guidance route to achieve precisely coordinated formation control for a group of fixed-wing aircraft in a complex task environment.The proposed method introduces the leader-follower structure for effective organization of the multi-agent coordination.Moreover,the Partial Integrated Formation and Control(PIFC)is adopted to design the control law for Guidance-Route based Formation Control(GRFC).Additionally,the proposed approach designs two guidance-route generation strategies for two special situations to demonstrate the effectiveness of GRFC in complex task environments.Theoretical analysis reveals that the proposed control protocol for guidance command can ensure the overall stability and tracking accuracy of the system.Numerical simulations are performed to illustrate the theoretical results,and verify that the proposed approach can achieve coordinated formation control precisely in a complex task environment.展开更多
Ethics and governance are vital to the healthy and sustainable development of artificial intelligence(AI).With the long-term goal of keeping AI beneficial to human society,governments,research organizations,and compan...Ethics and governance are vital to the healthy and sustainable development of artificial intelligence(AI).With the long-term goal of keeping AI beneficial to human society,governments,research organizations,and companies in China have published ethical guidelines and principles for AI,and have launched projects to develop AI governance technologies.This paper presents a survey of these efforts and highlights the preliminary outcomes in China.It also describes the major research challenges in AI governance research and discusses future research directions.展开更多
Although the development of machine intelligence is far from simulating all the cognitive competence of our brains, still it is absolutely possible to peel the driving activity from people's cognitive activities and ...Although the development of machine intelligence is far from simulating all the cognitive competence of our brains, still it is absolutely possible to peel the driving activity from people's cognitive activities and then make the machine finish some low-level, complicated and lasting driving cognition by simulating our brains. The goal of driving is to replace drivers and free them from boring driving activities. Based on some studies on unmanned driving, this paper summarizes and analyzes the background, significance, research status and key technology of unmanned driving and the research group also introduces some research on brain cognition of driving and sensor placement of intelligent vehicles, which offers more meaningful reference to push the study of unmanned driving.展开更多
This paper presents a survey on virtual reality systems and provides an in-depth understanding toward the notion of immersion, according to the semantic meanings of the terms "virtual" and "reality". The paper ana...This paper presents a survey on virtual reality systems and provides an in-depth understanding toward the notion of immersion, according to the semantic meanings of the terms "virtual" and "reality". The paper analyses the structure and functions of a virtual reality system and takes the three dimensional display as the immersive medium to identify the key issues for construction of virtual environments. The paper also reviews the development of virtual reality technology and introduces new image processing techniques into the design of virtual reality systems and virtual environments.展开更多
In this paper,a model with two mutual learning neural networks named Tree Parity Machine(TPM) is firstly introduced,as well as its cryptographic property of weight synchronization with that of chaos cryptography is co...In this paper,a model with two mutual learning neural networks named Tree Parity Machine(TPM) is firstly introduced,as well as its cryptographic property of weight synchronization with that of chaos cryptography is comparatively discussed. A full empirical study on the stability and security of the TPM weight synchronization is conducted in detail. Then two improvement methods for the weight synchronization are proposed. Experiment results show that the improved TPM synchronization model can be efficiently against the third party attack. At last,a lightweight TPM-based key management scheme is proposed for TinySec on wireless sensor networks,which is full implemented on the Mica2 node and the performance test result is acceptable.展开更多
It is crucial to predict future mechanical behaviors for the prevention of structural disasters.Especially for underground construction,the structural mechanical behaviors are affected by multiple internal and externa...It is crucial to predict future mechanical behaviors for the prevention of structural disasters.Especially for underground construction,the structural mechanical behaviors are affected by multiple internal and external factors due to the complex conditions.Given that the existing models fail to take into account all the factors and accurate prediction of the multiple time series simultaneously is difficult using these models,this study proposed an improved prediction model through the autoencoder fused long-and short-term time-series network driven by the mass number of monitoring data.Then,the proposed model was formalized on multiple time series of strain monitoring data.Also,the discussion analysis with a classical baseline and an ablation experiment was conducted to verify the effectiveness of the prediction model.As the results indicate,the proposed model shows obvious superiority in predicting the future mechanical behaviors of structures.As a case study,the presented model was applied to the Nanjing Dinghuaimen tunnel to predict the stain variation on a different time scale in the future.展开更多
Unmanned Aerial Vehicle(UAV) navigation is aimed at guiding a UAV to the desired destinations along a collision-free and efficient path without human interventions, and it plays a crucial role in autonomous missions i...Unmanned Aerial Vehicle(UAV) navigation is aimed at guiding a UAV to the desired destinations along a collision-free and efficient path without human interventions, and it plays a crucial role in autonomous missions in harsh environments. The recently emerging Deep Reinforcement Learning(DRL) methods have shown promise for addressing the UAV navigation problem,but most of these methods cannot converge due to the massive amounts of interactive data when a UAV is navigating in high dynamic environments, where there are numerous obstacles moving fast.In this work, we propose an improved DRL-based method to tackle these fundamental limitations.To be specific, we develop a distributed DRL framework to decompose the UAV navigation task into two simpler sub-tasks, each of which is solved through the designed Long Short-Term Memory(LSTM) based DRL network by using only part of the interactive data. Furthermore, a clipped DRL loss function is proposed to closely stack the two sub-solutions into one integral for the UAV navigation problem. Extensive simulation results are provided to corroborate the superiority of the proposed method in terms of the convergence and effectiveness compared with those of the state-of-the-art DRL methods.展开更多
The New Austrian Tunneling Method (NATM) has been widely used in the construction of mountain tun- nels, urban metro lines, underground storage tanks, underground power houses, mining roadways, and so on, The variat...The New Austrian Tunneling Method (NATM) has been widely used in the construction of mountain tun- nels, urban metro lines, underground storage tanks, underground power houses, mining roadways, and so on, The variation patterns of advance geological prediction data, stress-strain data of supporting struc- tures, and deformation data of the surrounding rock are vitally important in assessing the rationality and reliability of construction schemes, and provide essential information to ensure the safety and scheduling of tunnel construction, However, as the quantity of these data increases significantly, the uncertainty and discreteness of the mass data make it extremely difficult to produce a reasonable con- struction scheme; they also reduce the forecast accuracy of accidents and dangerous situations, creating huge challenges in tunnel construction safety, In order to solve this problem, a novel data service system is proposed that uses data-association technology and the NATM, with the support of a big data environ- ment, This system can integrate data resources from distributed monitoring sensors during the construc- tion process, and then identify associations and build relations among data resources under the same construction conditions, These data associations and relations are then stored in a data pool, With the development and supplementation of the data pool, similar relations can then he used under similar con- ditions, in order to provide data references for construction schematic designs and resource allocation, The proposed data service system also provides valuable guidance for the construction of similar projects.展开更多
Predicting the mechanical behaviors of structure and perceiving the anomalies in advance are essential to ensuring the safe operation of infrastructures in the long run.In addition to the incomplete consideration of i...Predicting the mechanical behaviors of structure and perceiving the anomalies in advance are essential to ensuring the safe operation of infrastructures in the long run.In addition to the incomplete consideration of influencing factors,the prediction time scale of existing studies is rough.Therefore,this study focuses on the development of a real-time prediction model by coupling the spatio-temporal correlation with external load through autoencoder network(ATENet)based on structural health monitoring(SHM)data.An autoencoder mechanism is performed to acquire the high-level representation of raw monitoring data at different spatial positions,and the recurrent neural network is applied to understanding the temporal correlation from the time series.Then,the obtained temporal-spatial information is coupled with dynamic loads through a fully connected layer to predict structural performance in next 12 h.As a case study,the proposed model is formulated on the SHM data collected from a representative underwater shield tunnel.The robustness study is carried out to verify the reliability and the prediction capability of the proposed model.Finally,the ATENet model is compared with some typical models,and the results indicate that it has the best performance.ATENet model is of great value to predict the realtime evolution trend of tunnel structure.展开更多
A new detector array characterized by compact structure and large solid-angle coverage was designed for radioactive ion beam(RIB)experiments and measuring multi-particle correlations.A Monte Carlo simulation was perfo...A new detector array characterized by compact structure and large solid-angle coverage was designed for radioactive ion beam(RIB)experiments and measuring multi-particle correlations.A Monte Carlo simulation was performed to explore the effects of beam drifts in different directions and distances on the angular distribution of the Rutherford scattering,as measured by the detector array.The results indicate that when the beam drift distance is less than 2.0 mm,the symmetry of the detector array can maintain a count error of less than 5%.This confirms the property of the detector array for RIB experiments.Furthermore,the simulation was validated through the elastic scattering angular distributions of 6;7 Li measured by the detector array in 6;7Li t209 Bi experiments at different energies.展开更多
In this paper, an infinite sequence of conservation laws for a generalized variable-coefficient fifth-order Korteweg-de Vries equation in fluids are constructed based on the Backlund transformation. Hirota bilinear fo...In this paper, an infinite sequence of conservation laws for a generalized variable-coefficient fifth-order Korteweg-de Vries equation in fluids are constructed based on the Backlund transformation. Hirota bilinear form and symbolic computation are applied to obtain three kinds of solutions. Variable coefficients can affect the conserved density, associated flux, and appearance of the characteristic lines. Effects of the wave number on the soliton structures are also discussed and types of soliton structures, e.g., the double-periodic soliton, parallel soliton and soliton complexes, are presented.展开更多
Employing the method which can be used to demonstrate the infinite conservation laws for the standard Kortewegde Vries (KdV) equation, we prove that the variable-coeFficient KdV equation under the Painlevé test...Employing the method which can be used to demonstrate the infinite conservation laws for the standard Kortewegde Vries (KdV) equation, we prove that the variable-coeFficient KdV equation under the Painlevé test condition also possesses the formal conservation laws.展开更多
Based on the outstanding characteristics of Cloud Model on the process of transforming a qualitative concept to a set of quantitative numerical values, a formalized model of subjective trust is introduced by which we ...Based on the outstanding characteristics of Cloud Model on the process of transforming a qualitative concept to a set of quantitative numerical values, a formalized model of subjective trust is introduced by which we can transform between qualitative reputation and quantitative voting data. The present paper brings forward algorithms to compute direct trust and recommender trust. Further more, an effective similarity measuring method used to distinguish two users' reputation on knowledge level is also proposed. The given model properly settles the uncertainty and fuzziness properties of subjective trust which is always the weakness of traditional subjective trust model, and provides a step in the direction of proper understanding and definition of human trust.展开更多
The microgravity environment of a long-term space flight may induce acute changes in an astronaut's musculo-skeletal systems. This study explores the effects of simulated microgravity on the mechanical characteristic...The microgravity environment of a long-term space flight may induce acute changes in an astronaut's musculo-skeletal systems. This study explores the effects of simulated microgravity on the mechanical characteristics of articular cartilage. Six rats underwent tail suspension for 14 days and six additional rats were kept under normal earth gravity as controls. Swelling strains were measured using high-frequency ultrasound in all cartilage samples subject to osmotic loading. Site-specific swelling strain data were used in a triphasic theoretical model of cartilage swelling to determine the uniaxial modulus of the cartilage solid matrix. No severe surface irregularities were found in the cartilage samples obtained from the control or tail-suspended groups. For the tail-suspended group, the thickness of the cartilage at a specified site, as determined by ultrasound echo, showed a minor decrease. The uniaxial modulus of articular cartilage at the specified site decreased significantly, from (6.31 ± 3.37) MPa to (5.05 ± 2.98)MPa (p 〈 0.05). The histology- stained image of a cartilage sample also showed a reduced number of chondrocytes and decreased degree of matrix staining. These results demonstrated that the 14 d simulated microgravity induced significant effects on the mechanical characteristics of articular cartilage. This study is the first attempt to explore the effects of simulated microgravity on the mechanical characteristics of articular cartilage using an osmotic loading method and a triphasic model. The conclusions may provide reference information for manned space flights and a better understanding of the effects of microgravity on the skeletal system.展开更多
Spacecraft automatic test system,a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language,is an important means to improve test effi...Spacecraft automatic test system,a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language,is an important means to improve test efficiency.With the new require-ments of the multi-spacecraft test in China,the study of the spacecraft test language becomes a new challenge for spacecraft test field.In this article,a high-order spacecraft test language,China aerospace test and operation language(CATOL),is given asso-ciated with the current test requirements;meanwhile,the structure of the language is presented.Then,for characterizing and formalizing the spacecraft processes,the syntax and operational semantics of one of the sub-languages,CATOL-PR,are defined.Finally,the prototype system of this proposed language is presented.This language will improve the specification of spacecraft test work in China and the efficiency of spacecraft testers,and promote the development in spacecraft automatic test.展开更多
In this paper, the investigation is focused on a (3+1)-dimensional variable-coefficient Kadomtsev- Petviashvili (vcKP) equation, which can describe the realistic nonlinear phenomena in the fluid dynamics and plas...In this paper, the investigation is focused on a (3+1)-dimensional variable-coefficient Kadomtsev- Petviashvili (vcKP) equation, which can describe the realistic nonlinear phenomena in the fluid dynamics and plasma in three spatial dimensions. In order to study the integrability property of such an equation, the Painlevé analysis is performed on it. And then, based on the truncated Painlevé expansion, the bilinear form of the (3+1)-dimensionaJ vcKP equation is obtained under certain coefficients constraint, and its solution in the Wronskian determinant form is constructed and verified by virtue of the Wronskian technique. Besides the Wronskian determinant solution, it is shown that the (3+1)-dimensional vcKP equation also possesses a solution in the form of the Grammian determinant.展开更多
A two-band Hamiltonian for β-graphyne is derived by the k·p method.The energy dispersions around the Dirac points are analytically obtained depending on the relative amplitude of the hopping terms t12,and ...A two-band Hamiltonian for β-graphyne is derived by the k·p method.The energy dispersions around the Dirac points are analytically obtained depending on the relative amplitude of the hopping terms t12,and the Dirac cones are elliptical when -2t12j.This interesting feature is useful for direction-dependent wave filter devices.展开更多
Effects ofΛΛω−tensor coupling on the spin symmetry ofΛspectra inΛ−nucleus systems are studied using relativistic mean-field theory.Taking 12C+Λas an example,it is found that the tensor coupling enlarges the spin...Effects ofΛΛω−tensor coupling on the spin symmetry ofΛspectra inΛ−nucleus systems are studied using relativistic mean-field theory.Taking 12C+Λas an example,it is found that the tensor coupling enlarges the spin−orbit splittings ofΛby a factor of 5 but has a negligible effect on the wave functions ofΛ.Similar conclusions are observed in otherΛ−nuclei,including 16O+Λ,40Ca+Λand 208Pb+Λ.It is indicated that the spin symmetry in anti-lambda-nucleus systems is still a good approximation irrespective of the tensor coupling.展开更多
In order to study the effect of tensor force,we plan to perform a(p,d)reaction with a 400–1600 Me V proton beam on the RIBLL2 at Lanzhou.Based on the experimental conditions of RIBLL2,a Monte Carlo method is used to ...In order to study the effect of tensor force,we plan to perform a(p,d)reaction with a 400–1600 Me V proton beam on the RIBLL2 at Lanzhou.Based on the experimental conditions of RIBLL2,a Monte Carlo method is used to simulate(p,d)reaction process.The distributions of primary beam and scattered deuterons are given on the target and at the F1,F2,F3,and F4 positions.Considering the yield of the deuteron,to separate the produced deuteron from the background particles,the target thickness is optimized.To obtain a clear particle identification spectrum by time of flight(TOF)and energy loss(?E),the distance between the two detectors,as well as the energy and timing resolution of detectors are simulated.As a result,the distance between F2 and F4 is fit for that of TOF.After taking into account the particle distribution at F4,both sizes of Multi-Wire Drift Chamber,namely MWDC2 and MWDC3,are selected to be 50 mm×50 mm.展开更多
Background:Atrioventricular septal defects(AVSDs)are screened and diagnosed usually rely on the imaging characteristics of fetal echocardiography(FE).However,diagnosis on images is heavily depended on sonographers’ex...Background:Atrioventricular septal defects(AVSDs)are screened and diagnosed usually rely on the imaging characteristics of fetal echocardiography(FE).However,diagnosis on images is heavily depended on sonographers’experience and the quantitative data are rarely studied.Objective:This study aimed to realize the prenatal diagnosis of AVSDs by analyzing the quantitative data on FE.Methods:One hundred and thirteen cardiac quantitative data was analyzed in 370 normal and 49 AVSDs fetuses retrospectively.The top six with the highest diagnostic accuracy rate were acquired according to the area under the curve(AUC),and the diagnostic value of six variables was analyzed.Results:Six parameters obtained on the four-chamber view(4CHV),including the atrial to ventricular length ratio in end-diastole(AVLR-ED),AVLR-ED combined with the atrial to ventricular length ratio in end-systole(AVLR-ES),quantile score(Q score)of AVLR-ED,Q score of AVLR-ES,Q score of ventricle length in end-diastole(VL-ED),and AVLR-ES,were the top six with the highest diagnostic value,and the AUC was 0.99(95%CI 0.99–1.00),0.99(95%CI 0.99–1.00),0.99(95%CI 0.98–1.00),0.95(95%CI 0.91–0.99),0.93(95%CI 0.87–0.99),and 0.91(95%CI 0.83–1.00),respectively.And within the 20%false positive rate,the diagnostic sensitivity was greater than 100%,100%,100%,90%,90%,and 88%,respectively.Conclusions:Six variables could be used for prenatal diagnosis of AVSDs.Among them,AVLR-ED and Q score of AVLR-ED,obtained on the 4CHV,were more convenient to acquire and had higher diagnostic accuracy.展开更多
基金co-supported by the National Natural Science Foundation of China(Nos.61773031 and 61573042)Graduate Innovation Practice Fund of Beihang University,China(No.YCSJ-01-201915)funded by the State Key Laboratory of Software Development Environment,China.
摘要In recent years,formation control of multi-agent has been a significant research subject in the field of cooperative control.However,previous works have mainly concentrated on formation control for simple point-mass model and linear model.In contrast,this paper presents a novel cooperative algorithm for multiple air vehicles formation control,which aims to devise a control strategy based on guidance route to achieve precisely coordinated formation control for a group of fixed-wing aircraft in a complex task environment.The proposed method introduces the leader-follower structure for effective organization of the multi-agent coordination.Moreover,the Partial Integrated Formation and Control(PIFC)is adopted to design the control law for Guidance-Route based Formation Control(GRFC).Additionally,the proposed approach designs two guidance-route generation strategies for two special situations to demonstrate the effectiveness of GRFC in complex task environments.Theoretical analysis reveals that the proposed control protocol for guidance command can ensure the overall stability and tracking accuracy of the system.Numerical simulations are performed to illustrate the theoretical results,and verify that the proposed approach can achieve coordinated formation control precisely in a complex task environment.
摘要Ethics and governance are vital to the healthy and sustainable development of artificial intelligence(AI).With the long-term goal of keeping AI beneficial to human society,governments,research organizations,and companies in China have published ethical guidelines and principles for AI,and have launched projects to develop AI governance technologies.This paper presents a survey of these efforts and highlights the preliminary outcomes in China.It also describes the major research challenges in AI governance research and discusses future research directions.
基金This work is supported by National Natural Science Foundation of China under Grant No. 61300006, No. 61305055, No. 61035004, No. 61273213, No. 61203366 and No. 90920305, and China National High-Tech Project (863) under grant No. 2015AA015401, and Chinese Academy of engineering consulting Project No. 2015-XY-42.
摘要Although the development of machine intelligence is far from simulating all the cognitive competence of our brains, still it is absolutely possible to peel the driving activity from people's cognitive activities and then make the machine finish some low-level, complicated and lasting driving cognition by simulating our brains. The goal of driving is to replace drivers and free them from boring driving activities. Based on some studies on unmanned driving, this paper summarizes and analyzes the background, significance, research status and key technology of unmanned driving and the research group also introduces some research on brain cognition of driving and sensor placement of intelligent vehicles, which offers more meaningful reference to push the study of unmanned driving.
基金supported by National Basic Research Program of China (973 Program) (No. 2005CB321901)fund of Nanjing University of Posts and Telecommunications (No. NY206010 and No. NY207083)Open Fund of the State Key Laboratory of Software Development Environment, Beihang University, (No. BUAA-SKLSDE-09KF-03)
摘要This paper presents a survey on virtual reality systems and provides an in-depth understanding toward the notion of immersion, according to the semantic meanings of the terms "virtual" and "reality". The paper analyses the structure and functions of a virtual reality system and takes the three dimensional display as the immersive medium to identify the key issues for construction of virtual environments. The paper also reviews the development of virtual reality technology and introduces new image processing techniques into the design of virtual reality systems and virtual environments.
基金supported by the following funds:the Open Fund of the State Key Laboratory of Software Development Environment under Grant No.SKLSDE- 2009KF-2-01Beihang University, the National Basic Research Program of China (973 Program) under Grant No. 2005CB321901 and No.2010CB328106-3+1 种基金the Natural Science Foundation of China under Grant No.60773115the Open Fund of the Zhejiang Provincial Key Laboratory of Information Security
摘要In this paper,a model with two mutual learning neural networks named Tree Parity Machine(TPM) is firstly introduced,as well as its cryptographic property of weight synchronization with that of chaos cryptography is comparatively discussed. A full empirical study on the stability and security of the TPM weight synchronization is conducted in detail. Then two improvement methods for the weight synchronization are proposed. Experiment results show that the improved TPM synchronization model can be efficiently against the third party attack. At last,a lightweight TPM-based key management scheme is proposed for TinySec on wireless sensor networks,which is full implemented on the Mica2 node and the performance test result is acceptable.
基金National Key Research and Development Program of China,Grant/Award Number:2018YFB2101003National Natural Science Foundation of China,Grant/Award Numbers:51991395,U1806226,51778033,51822802,71901011,U1811463,51991391Science and Technology Major Project of Beijing,Grant/Award Number:Z191100002519012。
摘要It is crucial to predict future mechanical behaviors for the prevention of structural disasters.Especially for underground construction,the structural mechanical behaviors are affected by multiple internal and external factors due to the complex conditions.Given that the existing models fail to take into account all the factors and accurate prediction of the multiple time series simultaneously is difficult using these models,this study proposed an improved prediction model through the autoencoder fused long-and short-term time-series network driven by the mass number of monitoring data.Then,the proposed model was formalized on multiple time series of strain monitoring data.Also,the discussion analysis with a classical baseline and an ablation experiment was conducted to verify the effectiveness of the prediction model.As the results indicate,the proposed model shows obvious superiority in predicting the future mechanical behaviors of structures.As a case study,the presented model was applied to the Nanjing Dinghuaimen tunnel to predict the stain variation on a different time scale in the future.
基金supported in part by the National Natural Science Foundation of China (Nos. 61671031, 61722102, and91738301)。
摘要Unmanned Aerial Vehicle(UAV) navigation is aimed at guiding a UAV to the desired destinations along a collision-free and efficient path without human interventions, and it plays a crucial role in autonomous missions in harsh environments. The recently emerging Deep Reinforcement Learning(DRL) methods have shown promise for addressing the UAV navigation problem,but most of these methods cannot converge due to the massive amounts of interactive data when a UAV is navigating in high dynamic environments, where there are numerous obstacles moving fast.In this work, we propose an improved DRL-based method to tackle these fundamental limitations.To be specific, we develop a distributed DRL framework to decompose the UAV navigation task into two simpler sub-tasks, each of which is solved through the designed Long Short-Term Memory(LSTM) based DRL network by using only part of the interactive data. Furthermore, a clipped DRL loss function is proposed to closely stack the two sub-solutions into one integral for the UAV navigation problem. Extensive simulation results are provided to corroborate the superiority of the proposed method in terms of the convergence and effectiveness compared with those of the state-of-the-art DRL methods.
摘要The New Austrian Tunneling Method (NATM) has been widely used in the construction of mountain tun- nels, urban metro lines, underground storage tanks, underground power houses, mining roadways, and so on, The variation patterns of advance geological prediction data, stress-strain data of supporting struc- tures, and deformation data of the surrounding rock are vitally important in assessing the rationality and reliability of construction schemes, and provide essential information to ensure the safety and scheduling of tunnel construction, However, as the quantity of these data increases significantly, the uncertainty and discreteness of the mass data make it extremely difficult to produce a reasonable con- struction scheme; they also reduce the forecast accuracy of accidents and dangerous situations, creating huge challenges in tunnel construction safety, In order to solve this problem, a novel data service system is proposed that uses data-association technology and the NATM, with the support of a big data environ- ment, This system can integrate data resources from distributed monitoring sensors during the construc- tion process, and then identify associations and build relations among data resources under the same construction conditions, These data associations and relations are then stored in a data pool, With the development and supplementation of the data pool, similar relations can then he used under similar con- ditions, in order to provide data references for construction schematic designs and resource allocation, The proposed data service system also provides valuable guidance for the construction of similar projects.
基金This work is supported by the National Natural Science Foundation of China(Grant No.51991392)Key Deployment Projects of Chinese Academy of Sciences(Grant No.ZDRW-ZS-2021-3-3)the Second Tibetan Plateau Scientific Expedition and Research Program(STEP)(Grant No.2019QZKK0904).
摘要Predicting the mechanical behaviors of structure and perceiving the anomalies in advance are essential to ensuring the safe operation of infrastructures in the long run.In addition to the incomplete consideration of influencing factors,the prediction time scale of existing studies is rough.Therefore,this study focuses on the development of a real-time prediction model by coupling the spatio-temporal correlation with external load through autoencoder network(ATENet)based on structural health monitoring(SHM)data.An autoencoder mechanism is performed to acquire the high-level representation of raw monitoring data at different spatial positions,and the recurrent neural network is applied to understanding the temporal correlation from the time series.Then,the obtained temporal-spatial information is coupled with dynamic loads through a fully connected layer to predict structural performance in next 12 h.As a case study,the proposed model is formulated on the SHM data collected from a representative underwater shield tunnel.The robustness study is carried out to verify the reliability and the prediction capability of the proposed model.Finally,the ATENet model is compared with some typical models,and the results indicate that it has the best performance.ATENet model is of great value to predict the realtime evolution trend of tunnel structure.
基金the National Natural Science Foundation of China(Nos.11635015,U1832130,and 11975040)the State Key Laboratory of Software Development Environment(SKLSDE-2020ZX-16)+1 种基金the Continuous Basic Scientific Research Project(No.WDJC-2019-13)the Leading Innovation Project(Nos.LC192209000701 and LC202309000201).
摘要A new detector array characterized by compact structure and large solid-angle coverage was designed for radioactive ion beam(RIB)experiments and measuring multi-particle correlations.A Monte Carlo simulation was performed to explore the effects of beam drifts in different directions and distances on the angular distribution of the Rutherford scattering,as measured by the detector array.The results indicate that when the beam drift distance is less than 2.0 mm,the symmetry of the detector array can maintain a count error of less than 5%.This confirms the property of the detector array for RIB experiments.Furthermore,the simulation was validated through the elastic scattering angular distributions of 6;7 Li measured by the detector array in 6;7Li t209 Bi experiments at different energies.
基金Supported by the National Natural Science Foundation of China under Grant No.60772023by the Slpported Project under Grant No.SKLSDE-2010ZX-07 of the State Key Laboratory of Software Development Environment,Beijing University of Aeronautics and As tronautics+2 种基金by the Specialized Research Fund for the Doctoral Program of Higher Educatioi under Grant No.200800130006Chinese Ministry of Education,and by the Innovation Foundation for Ph.D.Graduates under Grant Nos.30-0350 and 30-0366Beijing University of Aeronautics and Astronautics
摘要In this paper, an infinite sequence of conservation laws for a generalized variable-coefficient fifth-order Korteweg-de Vries equation in fluids are constructed based on the Backlund transformation. Hirota bilinear form and symbolic computation are applied to obtain three kinds of solutions. Variable coefficients can affect the conserved density, associated flux, and appearance of the characteristic lines. Effects of the wave number on the soliton structures are also discussed and types of soliton structures, e.g., the double-periodic soliton, parallel soliton and soliton complexes, are presented.
基金Supported by the Key Project of Chinese Ministry of Education under Grant No 106033, the National Natural Science Foundation of China under Grant Nos 60372095 and 60772023, Open Fund of the State Key Laboratory of Software Development Environment under Grant No SKLSDE-07-001, Beijing University of Aeronautics and Astronautics, the National Basic Research Programme of China under Grant No 2005CB321901, the Green Path Programme of Air Force of the Chinese People's Liberation Army, the Cheung Kong Scholars Programme of the Ministry of Education of China and Li Ka Shing Foundation of Hong Kong.
摘要Employing the method which can be used to demonstrate the infinite conservation laws for the standard Kortewegde Vries (KdV) equation, we prove that the variable-coeFficient KdV equation under the Painlevé test condition also possesses the formal conservation laws.
基金Supported bythe National Basic Research Programof China (973 Program) (G2004CB719401) National Natural Sci-ence Foundation of China (60496323 ,60375016)
摘要Based on the outstanding characteristics of Cloud Model on the process of transforming a qualitative concept to a set of quantitative numerical values, a formalized model of subjective trust is introduced by which we can transform between qualitative reputation and quantitative voting data. The present paper brings forward algorithms to compute direct trust and recommender trust. Further more, an effective similarity measuring method used to distinguish two users' reputation on knowledge level is also proposed. The given model properly settles the uncertainty and fuzziness properties of subjective trust which is always the weakness of traditional subjective trust model, and provides a step in the direction of proper understanding and definition of human trust.
基金supported by the National Natural Science Foundation of China (31170896)State Key Laboratory of Software Development Environment (SKLSDE-2011ZX-11)
摘要The microgravity environment of a long-term space flight may induce acute changes in an astronaut's musculo-skeletal systems. This study explores the effects of simulated microgravity on the mechanical characteristics of articular cartilage. Six rats underwent tail suspension for 14 days and six additional rats were kept under normal earth gravity as controls. Swelling strains were measured using high-frequency ultrasound in all cartilage samples subject to osmotic loading. Site-specific swelling strain data were used in a triphasic theoretical model of cartilage swelling to determine the uniaxial modulus of the cartilage solid matrix. No severe surface irregularities were found in the cartilage samples obtained from the control or tail-suspended groups. For the tail-suspended group, the thickness of the cartilage at a specified site, as determined by ultrasound echo, showed a minor decrease. The uniaxial modulus of articular cartilage at the specified site decreased significantly, from (6.31 ± 3.37) MPa to (5.05 ± 2.98)MPa (p 〈 0.05). The histology- stained image of a cartilage sample also showed a reduced number of chondrocytes and decreased degree of matrix staining. These results demonstrated that the 14 d simulated microgravity induced significant effects on the mechanical characteristics of articular cartilage. This study is the first attempt to explore the effects of simulated microgravity on the mechanical characteristics of articular cartilage using an osmotic loading method and a triphasic model. The conclusions may provide reference information for manned space flights and a better understanding of the effects of microgravity on the skeletal system.
基金National Natural Science Foundation of China(61003016)Supported Project of the State Key Laboratory of Software Development Environment(SKLSDE-2009ZX-13)
摘要Spacecraft automatic test system,a comprehensive spacecraft test information system based on the various spacecraft test specifications formalized as spacecraft test language,is an important means to improve test efficiency.With the new require-ments of the multi-spacecraft test in China,the study of the spacecraft test language becomes a new challenge for spacecraft test field.In this article,a high-order spacecraft test language,China aerospace test and operation language(CATOL),is given asso-ciated with the current test requirements;meanwhile,the structure of the language is presented.Then,for characterizing and formalizing the spacecraft processes,the syntax and operational semantics of one of the sub-languages,CATOL-PR,are defined.Finally,the prototype system of this proposed language is presented.This language will improve the specification of spacecraft test work in China and the efficiency of spacecraft testers,and promote the development in spacecraft automatic test.
基金Supported by the Specialized Research Fund for the Doctoral Program of Higher Education under Grant Nos. 20060006024 and 20080013006Chinese Ministry of Education, by the National Natural Science Foundation of China under Grant No. 60772023+2 种基金by the Open Fund of the State Key Laboratory of Software Development Environment under Grant No. SKLSDE-07-001Beijing University of Aeronautics and Astronauticsby the National Basic Research Program of China (973 Program) under Grant No. 2005CB321901
摘要In this paper, the investigation is focused on a (3+1)-dimensional variable-coefficient Kadomtsev- Petviashvili (vcKP) equation, which can describe the realistic nonlinear phenomena in the fluid dynamics and plasma in three spatial dimensions. In order to study the integrability property of such an equation, the Painlevé analysis is performed on it. And then, based on the truncated Painlevé expansion, the bilinear form of the (3+1)-dimensionaJ vcKP equation is obtained under certain coefficients constraint, and its solution in the Wronskian determinant form is constructed and verified by virtue of the Wronskian technique. Besides the Wronskian determinant solution, it is shown that the (3+1)-dimensional vcKP equation also possesses a solution in the form of the Grammian determinant.
基金Supported by State Key Laboratory of Software Development Environment under Grant Nos SKLSDE-2013ZX-28 and SKLSDE-2013ZX-21the National Natural Science Foundation of China under Grant Nos 10974011 and 11174022the Innovation Foundation of BUAA for PhD Graduates under Grant No 30-2194.
摘要A two-band Hamiltonian for β-graphyne is derived by the k·p method.The energy dispersions around the Dirac points are analytically obtained depending on the relative amplitude of the hopping terms t12,and the Dirac cones are elliptical when -2t12j.This interesting feature is useful for direction-dependent wave filter devices.
基金by the National Basic Research Program of China under Grant No 2007CB815000the National Natural Science Foundation of China under Grant Nos 11005004,10947013,and 10975008+2 种基金the State Key Laboratory of Software Development Environment under Grant No SKLSDE-2011ZX-18the Southwest University Initial Research Foundation Grant to Doctor(No SWU109011)the Fundamental Research Funds for the Central Universities under Grant No XDJK2010B007.
摘要Effects ofΛΛω−tensor coupling on the spin symmetry ofΛspectra inΛ−nucleus systems are studied using relativistic mean-field theory.Taking 12C+Λas an example,it is found that the tensor coupling enlarges the spin−orbit splittings ofΛby a factor of 5 but has a negligible effect on the wave functions ofΛ.Similar conclusions are observed in otherΛ−nuclei,including 16O+Λ,40Ca+Λand 208Pb+Λ.It is indicated that the spin symmetry in anti-lambda-nucleus systems is still a good approximation irrespective of the tensor coupling.
基金Supported by National Natural Science Foundation of China(Nos.11475013,11035007 and 11175011)State Key Laboratory of Software Development Environment(No.SKLSDE-2014ZX-08)+1 种基金Fundamental Research Funds for the Central Universitiesthe Key Laboratory of High Precision Nuclear Spectroscopy,Institute of Modern Physics,Chinese Academy of Sciences
摘要In order to study the effect of tensor force,we plan to perform a(p,d)reaction with a 400–1600 Me V proton beam on the RIBLL2 at Lanzhou.Based on the experimental conditions of RIBLL2,a Monte Carlo method is used to simulate(p,d)reaction process.The distributions of primary beam and scattered deuterons are given on the target and at the F1,F2,F3,and F4 positions.Considering the yield of the deuteron,to separate the produced deuteron from the background particles,the target thickness is optimized.To obtain a clear particle identification spectrum by time of flight(TOF)and energy loss(?E),the distance between the two detectors,as well as the energy and timing resolution of detectors are simulated.As a result,the distance between F2 and F4 is fit for that of TOF.After taking into account the particle distribution at F4,both sizes of Multi-Wire Drift Chamber,namely MWDC2 and MWDC3,are selected to be 50 mm×50 mm.
基金“Dengfeng”Project of Talent Training Plan of Beijing Medical Management Center(Number DFL20220601)Beijing Municipal Administration of Hospitals Incubating Program(Number PX2023023)+3 种基金National Natural Science Foundation of China(Number 82170301)Beijing Municipal Administration of Hospitals Incubating Program(Number PX2022026)Beijing Natural Science Foundation(Number L222152)the Ethics Committee of Beijing Anzhen Hospital(2020016X).
摘要Background:Atrioventricular septal defects(AVSDs)are screened and diagnosed usually rely on the imaging characteristics of fetal echocardiography(FE).However,diagnosis on images is heavily depended on sonographers’experience and the quantitative data are rarely studied.Objective:This study aimed to realize the prenatal diagnosis of AVSDs by analyzing the quantitative data on FE.Methods:One hundred and thirteen cardiac quantitative data was analyzed in 370 normal and 49 AVSDs fetuses retrospectively.The top six with the highest diagnostic accuracy rate were acquired according to the area under the curve(AUC),and the diagnostic value of six variables was analyzed.Results:Six parameters obtained on the four-chamber view(4CHV),including the atrial to ventricular length ratio in end-diastole(AVLR-ED),AVLR-ED combined with the atrial to ventricular length ratio in end-systole(AVLR-ES),quantile score(Q score)of AVLR-ED,Q score of AVLR-ES,Q score of ventricle length in end-diastole(VL-ED),and AVLR-ES,were the top six with the highest diagnostic value,and the AUC was 0.99(95%CI 0.99–1.00),0.99(95%CI 0.99–1.00),0.99(95%CI 0.98–1.00),0.95(95%CI 0.91–0.99),0.93(95%CI 0.87–0.99),and 0.91(95%CI 0.83–1.00),respectively.And within the 20%false positive rate,the diagnostic sensitivity was greater than 100%,100%,100%,90%,90%,and 88%,respectively.Conclusions:Six variables could be used for prenatal diagnosis of AVSDs.Among them,AVLR-ED and Q score of AVLR-ED,obtained on the 4CHV,were more convenient to acquire and had higher diagnostic accuracy.