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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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 ef...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.展开更多
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.展开更多
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.展开更多
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.展开更多
Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility.However, regular expressions have a quite compact and rather tolerant syntax that makes them ...Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility.However, regular expressions have a quite compact and rather tolerant syntax that makes them hard to understand, hard to compose,and error-prone. Faulty regular expressions may cause failures of the applications that use them. Therefore, ensuring the correctness of regular expressions is a vital prerequisite for their use in practical applications. The importance and necessity of ensuring correct definitions of regular expressions have attracted extensive attention from researchers and practitioners, especially in recent years. In this study, we provide a review of the recent works for ensuring the correct usage of regular expressions. We classify those works into different categories, including the empirical study, test string generation, automatic synthesis and learning, static checking and verification,visual representation and explanation, and repairing. For each category, we review the main results, compare different approaches, and discuss their advantages and disadvantages. We also discuss some potential future research directions.展开更多
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.展开更多
Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p)....Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p).The second part of this paper,i.e.,§2,further discusses the manners in which a variable x approaches infinitely to its limit x0 using the poi and aci methods and concludes that,in any system compatible with both poi and aci, the two approaching manners are also a pair of contradictory opposites without intermediate (A,-A).Finally,on the basis of this conclusion,we reexamine the fundamental question of Leibniz’s Secant and Tangent Lines in calculus and the limit theory and offer our analysis and raise new questions.展开更多
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.展开更多
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.展开更多
In this paper, two types of the （2＋1）-dimensional breaking soliton equations axe investigated, which describe the interactions of the Riemann waves with the long waves. With symbolic computation, the Hirota bilinea...In this paper, two types of the （2＋1）-dimensional breaking soliton equations axe investigated, which describe the interactions of the Riemann waves with the long waves. With symbolic computation, the Hirota bilineax forms and Bgcklund transformations are derived for those two systems. Furthermore, multisoliton solutions in terms of the Wronskian determinant are constructed, which are verified through the direct substitution of the solutions into the bilineax equations. Via the Wronskian technique, it is proved that the Bgcklund transformations obtained are the ones between the （ N - 1）- and N-soliton solutions. Propagations and interactions of the kink-/bell-shaped solitons are presented. It is shown that the Riemann waves possess the solitonie properties, and maintain the amplitudes and velocities in the collisions only with some phase shifts.展开更多
From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the m...From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.展开更多
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.展开更多
基金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.
基金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.
基金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.
基金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 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.
基金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 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.
基金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.
基金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.
基金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.
基金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.
基金by National Natural Science Foundation of China(Nos.61872339,61502184 and 61925203).
文摘Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility.However, regular expressions have a quite compact and rather tolerant syntax that makes them hard to understand, hard to compose,and error-prone. Faulty regular expressions may cause failures of the applications that use them. Therefore, ensuring the correctness of regular expressions is a vital prerequisite for their use in practical applications. The importance and necessity of ensuring correct definitions of regular expressions have attracted extensive attention from researchers and practitioners, especially in recent years. In this study, we provide a review of the recent works for ensuring the correct usage of regular expressions. We classify those works into different categories, including the empirical study, test string generation, automatic synthesis and learning, static checking and verification,visual representation and explanation, and repairing. For each category, we review the main results, compare different approaches, and discuss their advantages and disadvantages. We also discuss some potential future research directions.
基金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 the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2011KF-04)Supported by the Beihang University and by the National High Technology Research and Development Program of China(863 Program)(2009AA043303)
文摘Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p).The second part of this paper,i.e.,§2,further discusses the manners in which a variable x approaches infinitely to its limit x0 using the poi and aci methods and concludes that,in any system compatible with both poi and aci, the two approaching manners are also a pair of contradictory opposites without intermediate (A,-A).Finally,on the basis of this conclusion,we reexamine the fundamental question of Leibniz’s Secant and Tangent Lines in calculus and the limit theory and offer our analysis and raise new questions.
基金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 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 under Grant No.60772023 the Open Fund under Grant No.BUAASKLSDE-09KF-04l+2 种基金Supported Project under Grant No.SKLSDE-2010ZX-07 of the State Key Laboratory of Software Development Environment,Beijing University of Aeronautics and Astronauticsthe National Basic Research Program of China (973 Program) under Grant No.2005CB321901 the Specialized Research Fund for the Doctoral Program of Higher Education under Grant No.200800130006,Chinese Ministry of Education
文摘In this paper, two types of the （2＋1）-dimensional breaking soliton equations axe investigated, which describe the interactions of the Riemann waves with the long waves. With symbolic computation, the Hirota bilineax forms and Bgcklund transformations are derived for those two systems. Furthermore, multisoliton solutions in terms of the Wronskian determinant are constructed, which are verified through the direct substitution of the solutions into the bilineax equations. Via the Wronskian technique, it is proved that the Bgcklund transformations obtained are the ones between the （ N - 1）- and N-soliton solutions. Propagations and interactions of the kink-/bell-shaped solitons are presented. It is shown that the Riemann waves possess the solitonie properties, and maintain the amplitudes and velocities in the collisions only with some phase shifts.
基金Supported by the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2011KF-04)Supported by the National High Technology Research and Development Program of China (863 Program)(2009AA043303)
文摘From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.
文摘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.
