Background:Assess ChatGPT and Bard's effectiveness in the initial identification of articles for Otolaryngology—Head and Neck Surgery systematic literature reviews.Methods:Three PRISMA-based systematic reviews(Ja...Background:Assess ChatGPT and Bard's effectiveness in the initial identification of articles for Otolaryngology—Head and Neck Surgery systematic literature reviews.Methods:Three PRISMA-based systematic reviews(Jabbour et al.2017,Wong et al.2018,and Wu et al.2021)were replicated using ChatGPTv3.5 and Bard.Outputs(author,title,publication year,and journal)were compared to the original references and cross-referenced with medical databases for authenticity and recall.Results:Several themes emerged when comparing Bard and ChatGPT across the three reviews.Bard generated more outputs and had greater recall in Wong et al.'s review,with a broader date range in Jabbour et al.'s review.In Wu et al.'s review,ChatGPT-2 had higher recall and identified more authentic outputs than Bard-2.Conclusion:Large language models(LLMs)failed to fully replicate peer-reviewed methodologies,producing outputs with inaccuracies but identifying relevant,especially recent,articles missed by the references.While human-led PRISMA-based reviews remain the gold standard,refining LLMs for literature reviews shows potential.展开更多
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.展开更多
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.展开更多
As the popularity of open source projects,the volume of incoming pull requests is too large,which puts heavy burden on integrators who are responsible for accepting or rejecting pull requests.An accepted pull request ...As the popularity of open source projects,the volume of incoming pull requests is too large,which puts heavy burden on integrators who are responsible for accepting or rejecting pull requests.An accepted pull request prediction approach can help integrators by allowing them either to enforce an immediate rejection of code changes or allocate more resources to overcome the deficiency.In this paper,an approach CTCPPre is proposed to predict the accepted pull requests in GitHub.CTCPPre mainly considers code features of modified changes,text features of pull requests’description,contributor features of developers’previous behaviors,and project features of development environment.The effectiveness of CTCPPre on 28 projects containing 221096 pull requests is evaluated.Experimental results show that CTCPPre has good performances by achieving accuracy of 0.82,AUC of 0.76 and F1-score of 0.88 on average.It is compared with the state of art accepted pull request prediction approach RFPredict.On average across 28 projects,CTCPPre outperforms RFPredict by 6.64%,16.06%and 4.79%in terms of accuracy,AUC and F1-score,respectively.展开更多
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.展开更多
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.展开更多
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.展开更多
BACKGROUND The Updated Sydney system for visual evaluation of gastric mucosal atrophy viaendoscopic observation is subject to sampling error and interobserver variability.The Kimura-Takemoto classification system was ...BACKGROUND The Updated Sydney system for visual evaluation of gastric mucosal atrophy viaendoscopic observation is subject to sampling error and interobserver variability.The Kimura-Takemoto classification system was developed to overcome theselimitations.AIMTo compare the morphological classification of atrophic gastritis between theKimura-Takemoto system and the Updated Sydney system.METHODSA total of 169 patients with atrophic gastritis were selected according to diagnosisby the visual endoscopic Kimura-Takemoto method. Following the UpdatedKimura-Takemoto classification system, one antrum biopsy and five gastriccorpus biopsies were taken according to the visual stages of the Kimura-Takemoto system. The Updated Kimura-Takemoto classification system was thenapplied to each and showed 165 to have histological mucosal atrophy;theremaining 4 patients had no histological evidence of atrophy in any biopsy. The Updated Kimura-Takemoto classification was verified as a referencemorphological method and applied for the diagnosis of atrophic gastritis. Addingone more biopsy from the antrum to the six biopsies according to the Updated Kimura-Takemoto classification, constitutes the updated combined Kimura-Takemoto classification and Sydney system.RESULTSThe sensitivity for degree of mucosal atrophy assessed by the Updated Sydneysystem was 25% for mild, 36% for moderate, and 42% for severe, when comparedwith the Updated Kimura-Takemoto classification of atrophic gastritis formorphological diagnosis. Four types of multifocal atrophic gastritis wereidentified: sequential uniform (type 1;in 28%), sequential non-uniform (type 2;in7%), diffuse uniform (type 3;in 23%), diffuse non-uniform (type 4;in 24%), and"alternating atrophic – non-atrophic" (type 5;in 18%). The pattern of the spread ofatrophy, sequentially from the antrum to the cardiac segment of the stomach,which was described by the Updated Kimura-Takemoto system, washistologically confirmed in 82% of cases evaluated.CONCLUSIONThe Updated Sydney system is significantly inferior to the Updated Kimura-Takemoto classification for morphological verification of atrophic gastritis.展开更多
Along with the development of information technologies such as mobile Internet,information acquisition technology,cloud computing and big data technology,the traditional knowledge engineering and knowledge-based softw...Along with the development of information technologies such as mobile Internet,information acquisition technology,cloud computing and big data technology,the traditional knowledge engineering and knowledge-based software engineering have undergone fundamental changes where the network plays an increasingly important role.Within this context,it is required to develop new methodologies as well as technical tools for network-based knowledge representation,knowledge services and knowledge engineering.Obviously,the term“network”has different meanings in different scenarios.Meanwhile,some breakthroughs in several bottleneck problems of complex networks promote the developments of the new methodologies and technical tools for network-based knowledge representation,knowledge services and knowledge engineering.This paper first reviews some recent advances on complex networks,and then,in conjunction with knowledge graph,proposes a framework of networked knowledge which models knowledge and its relationships with the perspective of complex networks.For the unique advantages of deep learning in acquiring and processing knowledge,this paper reviews its development and emphasizes the role that it played in the development of knowledge engineering.Finally,some challenges and further trends are discussed.展开更多
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.展开更多
The modified Korteweg-de Vries （mKdV） typed equations can be used to describe certain nonlinear phenomena in fluids, plasmas, and optics. In this paper, the discretized mKdV lattice equation is investigated. With th...The modified Korteweg-de Vries （mKdV） typed equations can be used to describe certain nonlinear phenomena in fluids, plasmas, and optics. In this paper, the discretized mKdV lattice equation is investigated. With the aid of symbolic computation, the discrete matrix spectral problem for that system is constructed. Darboux transformation for that system is established based on the resulting spectral problem. Explicit solutions are derived via the Darboux transformation. Structures of those solutions are shown graphically, which might be helpful to understand some physical processes in fluids, plasmas, and optics.展开更多
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.展开更多
This paper proposes a content addres sable storage optimization method, VDeskCAS, for desktop virtualization storage based disaster backup storage system. The method implements a blocklevel storage optimization, by em...This paper proposes a content addres sable storage optimization method, VDeskCAS, for desktop virtualization storage based disaster backup storage system. The method implements a blocklevel storage optimization, by employing the algorithms of chunking image file into blocks, the blockffmger calculation and the block dedup li cation. A File system in Use Space （FUSE） based storage process for VDeskCAS is also introduced which optimizes current direct storage to suit our content addressable storage. An interface level modification makes our system easy to extend. Experiments on virtual desktop image files and normal files verify the effectiveness of our method and above 60% storage volume decrease is a chieved for Red Hat Enterprise Linux image files. Key words： disaster backup; desktop virtualization; storage optimization; content addressable storage展开更多
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.展开更多
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.展开更多
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.展开更多
As the number of Virtual Machines(VMs) consolidated on single physical server increases with the rapid advance of server hardware,virtual network turns complex and frangible.Modern Network Security Engines(NSE) are in...As the number of Virtual Machines(VMs) consolidated on single physical server increases with the rapid advance of server hardware,virtual network turns complex and frangible.Modern Network Security Engines(NSE) are introduced to eradicate the intrusions occurring in the virtual network.In this paper,we point out the inadequacy of the present live migration implementation,which hinders itself from providing transparent VM relocation between hypervisors equipped with Network Security Engines(NSE-H).This occurs because the current implementation ignores VM-related Security Context(SC) required by NSEs embedded in NSE-H.We present the CoM,a comprehensive live migration framework,for NSE-H-based virtualization computing environment.We built a prototype system on Xen hypervisors to evaluate our framework,and conduct experiments under various realistic application environments.The results demonstrate that our solution successfully fixes the inadequacy of the present live migration implementation,and the performance overhead is negligible.展开更多
For the last two decades,physicians and clinical experts have used a single imaging modality to identify the normal and abnormal structure of the human body.However,most of the time,medical experts are unable to accur...For the last two decades,physicians and clinical experts have used a single imaging modality to identify the normal and abnormal structure of the human body.However,most of the time,medical experts are unable to accurately analyze and examine the information from a single imaging modality due to the limited information.To overcome this problem,a multimodal approach is adopted to increase the qualitative and quantitative medical information which helps the doctors to easily diagnose diseases in their early stages.In the proposed method,a Multi-resolution Rigid Registration(MRR)technique is used for multimodal image registration while Discrete Wavelet Transform(DWT)along with Principal Component Averaging(PCAv)is utilized for image fusion.The proposed MRR method provides more accurate results as compared with Single Rigid Registration(SRR),while the proposed DWT-PCAv fusion process adds-on more constructive information with less computational time.The proposed method is tested on CT and MRI brain imaging modalities of the HARVARD dataset.The fusion results of the proposed method are compared with the existing fusion techniques.The quality assessment metrics such as Mutual Information(MI),Normalize Crosscorrelation(NCC)and Feature Mutual Information(FMI)are computed for statistical comparison of the proposed method.The proposed methodology provides more accurate results,better image quality and valuable information for medical diagnoses.展开更多
Kortweg-de Vries （KdV）-typed equations have been used to describe certain nonlinear phenomena in fluids and plasmas. Generalized complex coupled KdV （GCCKdV） equations are investigated in this paper. Through the d...Kortweg-de Vries （KdV）-typed equations have been used to describe certain nonlinear phenomena in fluids and plasmas. Generalized complex coupled KdV （GCCKdV） equations are investigated in this paper. Through the dependent variable transformations and symbolic computation, GCCKdV equations are transformed into their bilinear forms, based on which the one- and two-soliton solutions are obtained. Through the interactions of two solitons, the regular elastic collision are shown. When the wave numbers are complex, three kinds of solitonie collisions are presented： （i） two solitons merge and separate from each other periodically; （ii） two solitons exhibit the attraction and repulsion nearly twice, and finally separate from each other after such type of interaction; （iii） two solitons are ftuctuant in the central region of the collision. Propagation features of solitons are investigated with the effects of the coefficients in the GCCKdV equations considered. Velocity of soliton increase with the a increasing. Amplitude of v increase with the a increasing and decrease with the β increasing.展开更多
文摘Background:Assess ChatGPT and Bard's effectiveness in the initial identification of articles for Otolaryngology—Head and Neck Surgery systematic literature reviews.Methods:Three PRISMA-based systematic reviews(Jabbour et al.2017,Wong et al.2018,and Wu et al.2021)were replicated using ChatGPTv3.5 and Bard.Outputs(author,title,publication year,and journal)were compared to the original references and cross-referenced with medical databases for authenticity and recall.Results:Several themes emerged when comparing Bard and ChatGPT across the three reviews.Bard generated more outputs and had greater recall in Wong et al.'s review,with a broader date range in Jabbour et al.'s review.In Wu et al.'s review,ChatGPT-2 had higher recall and identified more authentic outputs than Bard-2.Conclusion:Large language models(LLMs)failed to fully replicate peer-reviewed methodologies,producing outputs with inaccuracies but identifying relevant,especially recent,articles missed by the references.While human-led PRISMA-based reviews remain the gold standard,refining LLMs for literature reviews shows potential.
文摘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.
基金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.
基金Project(2018YFB1004202)supported by the National Key Research and Development Program of ChinaProject(61732019)supported by the National Natural Science Foundation of ChinaProject(SKLSDE-2018ZX-06)supported by the State Key Laboratory of Software Development Environment,China
文摘As the popularity of open source projects,the volume of incoming pull requests is too large,which puts heavy burden on integrators who are responsible for accepting or rejecting pull requests.An accepted pull request prediction approach can help integrators by allowing them either to enforce an immediate rejection of code changes or allocate more resources to overcome the deficiency.In this paper,an approach CTCPPre is proposed to predict the accepted pull requests in GitHub.CTCPPre mainly considers code features of modified changes,text features of pull requests’description,contributor features of developers’previous behaviors,and project features of development environment.The effectiveness of CTCPPre on 28 projects containing 221096 pull requests is evaluated.Experimental results show that CTCPPre has good performances by achieving accuracy of 0.82,AUC of 0.76 and F1-score of 0.88 on average.It is compared with the state of art accepted pull request prediction approach RFPredict.On average across 28 projects,CTCPPre outperforms RFPredict by 6.64%,16.06%and 4.79%in terms of accuracy,AUC and F1-score,respectively.
基金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.
基金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.
基金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.
文摘BACKGROUND The Updated Sydney system for visual evaluation of gastric mucosal atrophy viaendoscopic observation is subject to sampling error and interobserver variability.The Kimura-Takemoto classification system was developed to overcome theselimitations.AIMTo compare the morphological classification of atrophic gastritis between theKimura-Takemoto system and the Updated Sydney system.METHODSA total of 169 patients with atrophic gastritis were selected according to diagnosisby the visual endoscopic Kimura-Takemoto method. Following the UpdatedKimura-Takemoto classification system, one antrum biopsy and five gastriccorpus biopsies were taken according to the visual stages of the Kimura-Takemoto system. The Updated Kimura-Takemoto classification system was thenapplied to each and showed 165 to have histological mucosal atrophy;theremaining 4 patients had no histological evidence of atrophy in any biopsy. The Updated Kimura-Takemoto classification was verified as a referencemorphological method and applied for the diagnosis of atrophic gastritis. Addingone more biopsy from the antrum to the six biopsies according to the Updated Kimura-Takemoto classification, constitutes the updated combined Kimura-Takemoto classification and Sydney system.RESULTSThe sensitivity for degree of mucosal atrophy assessed by the Updated Sydneysystem was 25% for mild, 36% for moderate, and 42% for severe, when comparedwith the Updated Kimura-Takemoto classification of atrophic gastritis formorphological diagnosis. Four types of multifocal atrophic gastritis wereidentified: sequential uniform (type 1;in 28%), sequential non-uniform (type 2;in7%), diffuse uniform (type 3;in 23%), diffuse non-uniform (type 4;in 24%), and"alternating atrophic – non-atrophic" (type 5;in 18%). The pattern of the spread ofatrophy, sequentially from the antrum to the cardiac segment of the stomach,which was described by the Updated Kimura-Takemoto system, washistologically confirmed in 82% of cases evaluated.CONCLUSIONThe Updated Sydney system is significantly inferior to the Updated Kimura-Takemoto classification for morphological verification of atrophic gastritis.
基金supported in part by the National Natural Science Foundation of China(61621003,62073079,62088101,12025107,11871463,11688101)。
文摘Along with the development of information technologies such as mobile Internet,information acquisition technology,cloud computing and big data technology,the traditional knowledge engineering and knowledge-based software engineering have undergone fundamental changes where the network plays an increasingly important role.Within this context,it is required to develop new methodologies as well as technical tools for network-based knowledge representation,knowledge services and knowledge engineering.Obviously,the term“network”has different meanings in different scenarios.Meanwhile,some breakthroughs in several bottleneck problems of complex networks promote the developments of the new methodologies and technical tools for network-based knowledge representation,knowledge services and knowledge engineering.This paper first reviews some recent advances on complex networks,and then,in conjunction with knowledge graph,proposes a framework of networked knowledge which models knowledge and its relationships with the perspective of complex networks.For the unique advantages of deep learning in acquiring and processing knowledge,this paper reviews its development and emphasizes the role that it played in the development of knowledge engineering.Finally,some challenges and further trends are discussed.
基金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 Open Fund of the State Key Laboratory of Software Development Environment under Grant No. BUAA-SKLSDE-09KF-04+2 种基金Beijing University of Aeronautics and Astronautics, by the National Basic Research Program of China (973 Program) under Grant No. 2005CB321901the Specialized Research Fund for the Doctoral Program of Higher Education under Grant Nos. 20060006024 and 200800130006Chinese Ministry of Education, and Scientific Research Common Program of Beijing Municipal Commission of Education under Grant No. KM201010772020
文摘The modified Korteweg-de Vries （mKdV） typed equations can be used to describe certain nonlinear phenomena in fluids, plasmas, and optics. In this paper, the discretized mKdV lattice equation is investigated. With the aid of symbolic computation, the discrete matrix spectral problem for that system is constructed. Darboux transformation for that system is established based on the resulting spectral problem. Explicit solutions are derived via the Darboux transformation. Structures of those solutions are shown graphically, which might be helpful to understand some physical processes in fluids, plasmas, and optics.
基金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.
基金the Hi-tech Research and Development Program of China，the National Natural Science Foundation of China，the Beijing Natural Science Foundation，the Fundamental Research Funds for the Central Universities，the Fund of the State Key Laboratory of Software Development Environment
文摘This paper proposes a content addres sable storage optimization method, VDeskCAS, for desktop virtualization storage based disaster backup storage system. The method implements a blocklevel storage optimization, by employing the algorithms of chunking image file into blocks, the blockffmger calculation and the block dedup li cation. A File system in Use Space （FUSE） based storage process for VDeskCAS is also introduced which optimizes current direct storage to suit our content addressable storage. An interface level modification makes our system easy to extend. Experiments on virtual desktop image files and normal files verify the effectiveness of our method and above 60% storage volume decrease is a chieved for Red Hat Enterprise Linux image files. Key words： disaster backup; desktop virtualization; storage optimization; content addressable storage
基金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 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.
基金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 State Key Laboratory of Software Development Environment under Grant No. SKLSDE-2009ZX-02China Aviation Science Fund under Grant No.20081951National High Technical Research and Development Program of China (863 Program) under Grant No.2007AA01Z183
文摘As the number of Virtual Machines(VMs) consolidated on single physical server increases with the rapid advance of server hardware,virtual network turns complex and frangible.Modern Network Security Engines(NSE) are introduced to eradicate the intrusions occurring in the virtual network.In this paper,we point out the inadequacy of the present live migration implementation,which hinders itself from providing transparent VM relocation between hypervisors equipped with Network Security Engines(NSE-H).This occurs because the current implementation ignores VM-related Security Context(SC) required by NSEs embedded in NSE-H.We present the CoM,a comprehensive live migration framework,for NSE-H-based virtualization computing environment.We built a prototype system on Xen hypervisors to evaluate our framework,and conduct experiments under various realistic application environments.The results demonstrate that our solution successfully fixes the inadequacy of the present live migration implementation,and the performance overhead is negligible.
基金supported by the National Key Research and Development Program of China(2018YFB2101003)the National Natural Science Foundation of China(51991395,51991391,71901011,and U1811463)。
文摘For the last two decades,physicians and clinical experts have used a single imaging modality to identify the normal and abnormal structure of the human body.However,most of the time,medical experts are unable to accurately analyze and examine the information from a single imaging modality due to the limited information.To overcome this problem,a multimodal approach is adopted to increase the qualitative and quantitative medical information which helps the doctors to easily diagnose diseases in their early stages.In the proposed method,a Multi-resolution Rigid Registration(MRR)technique is used for multimodal image registration while Discrete Wavelet Transform(DWT)along with Principal Component Averaging(PCAv)is utilized for image fusion.The proposed MRR method provides more accurate results as compared with Single Rigid Registration(SRR),while the proposed DWT-PCAv fusion process adds-on more constructive information with less computational time.The proposed method is tested on CT and MRI brain imaging modalities of the HARVARD dataset.The fusion results of the proposed method are compared with the existing fusion techniques.The quality assessment metrics such as Mutual Information(MI),Normalize Crosscorrelation(NCC)and Feature Mutual Information(FMI)are computed for statistical comparison of the proposed method.The proposed methodology provides more accurate results,better image quality and valuable information for medical diagnoses.
基金＊Supported by the National Natural Science Foundation of China under Grant No. 60772023, by the Open Fund of the State Key Laboratory of Software Development Environment under Grant No. SKLSDE-07-001, Beijing University of Aeronautics and Astronautics, by the National Basic Research Program of China （973 Program） under Grant No. 2005CB321901, and by the Specialized Research Fund for the Doctoral Program of Higher Education under Grant Nos. 20060006024 and 200800130006, Chinese Ministry of Education.
文摘Kortweg-de Vries （KdV）-typed equations have been used to describe certain nonlinear phenomena in fluids and plasmas. Generalized complex coupled KdV （GCCKdV） equations are investigated in this paper. Through the dependent variable transformations and symbolic computation, GCCKdV equations are transformed into their bilinear forms, based on which the one- and two-soliton solutions are obtained. Through the interactions of two solitons, the regular elastic collision are shown. When the wave numbers are complex, three kinds of solitonie collisions are presented： （i） two solitons merge and separate from each other periodically; （ii） two solitons exhibit the attraction and repulsion nearly twice, and finally separate from each other after such type of interaction; （iii） two solitons are ftuctuant in the central region of the collision. Propagation features of solitons are investigated with the effects of the coefficients in the GCCKdV equations considered. Velocity of soliton increase with the a increasing. Amplitude of v increase with the a increasing and decrease with the β increasing.
