We introduce a model to implement incremental update of views. The principle is that unless a view is accessed, the modification related to the view is not computed. This modification information is used only when vie...We introduce a model to implement incremental update of views. The principle is that unless a view is accessed, the modification related to the view is not computed. This modification information is used only when views are updated. Modification information is embodied in the classes (including inheritance classes and nesting classes) that derive the view. We establish a modify list consisted of tuples (one tuple for each view which is related to the class) to implement view update. A method is used to keep views from re-update. Key words object-oriented database - incremental computation - view-computation - engineering information system CLC number TP 391 Foundation item: Supported by the National Natural Science Foundation of China(60235025)Biography: Guo Hai-ying (1971-), female, Ph. D, research direction: CAD and engineering information system.展开更多
A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational log...A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational logic program modulo an equality theory that is induced by the abstraction. The method is exemplified via depth and stump abstractions. Also presented are algorithms for computing most general unifiers modulo equality theories induced by depth and stump abstractions.展开更多
The purpose of this review is to explore the intersection of computational engineering and biomedical science,highlighting the transformative potential this convergence holds for innovation in healthcare and medical r...The purpose of this review is to explore the intersection of computational engineering and biomedical science,highlighting the transformative potential this convergence holds for innovation in healthcare and medical research.The review covers key topics such as computational modelling,bioinformatics,machine learning in medical diagnostics,and the integration of wearable technology for real-time health monitoring.Major findings indicate that computational models have significantly enhanced the understanding of complex biological systems,while machine learning algorithms have improved the accuracy of disease prediction and diagnosis.The synergy between bioinformatics and computational techniques has led to breakthroughs in personalized medicine,enabling more precise treatment strategies.Additionally,the integration of wearable devices with advanced computational methods has opened new avenues for continuous health monitoring and early disease detection.The review emphasizes the need for interdisciplinary collaboration to further advance this field.Future research should focus on developing more robust and scalable computational models,enhancing data integration techniques,and addressing ethical considerations related to data privacy and security.By fostering innovation at the intersection of these disciplines,the potential to revolutionize healthcare delivery and outcomes becomes increasingly attainable.展开更多
A new analytical model for geometric size and forming force prediction in incremental flanging(IF)is presented in this work.The complex deformation characteristics of IF are considered in the modeling process,which ca...A new analytical model for geometric size and forming force prediction in incremental flanging(IF)is presented in this work.The complex deformation characteristics of IF are considered in the modeling process,which can accurately describe the strain and stress states in IF.Based on strain analysis,the model can predict the material thickness distribution and neck height after IF.By considering contact area,strain characteristics,material thickness changes,and friction,the model can predict specific moments and corresponding values of maximum axial forming force and maximum horizontal forming force during IF.In addition,an IF experiment involving different tool diameters,flanging diameters,and opening hole diameters is conducted.On the basis of the experimental strain paths,the strain characteristics of different deformation zones are studied,and the stable strain ratio is quantitatively described through two dimensionless parameters:relative tool diameter and relative hole diameter.Then,the changing of material thickness and forming force in IF,and the variation of minimum material thickness,neck height,maximum axial forming force,and maximum horizontal forming force with flanging parameters are studied,and the reliability of the analytical model is verified in this process.Finally,the influence of the horizontal forming force on the tool design and the fluctuation of the forming force are explained.展开更多
This paper presents the design of an asymmetrically variable wingtip anhedral angles morphing aircraft,inspired by biomimetic mechanisms,to enhance lateral maneuver capability.Firstly,we establish a lateral dynamic mo...This paper presents the design of an asymmetrically variable wingtip anhedral angles morphing aircraft,inspired by biomimetic mechanisms,to enhance lateral maneuver capability.Firstly,we establish a lateral dynamic model considering additional forces and moments resulting during the morphing process,and convert it into a Multiple Input Multiple Output(MIMO)virtual control system by importing virtual inputs.Secondly,a classical dynamics inversion controller is designed for the outer-loop system.A new Global Fast Terminal Incremental Sliding Mode Controller(NDO-GFTISMC)is proposed for the inner-loop system,in which an adaptive law is implemented to weaken control surface chattering,and a Nonlinear Disturbance Observer(NDO)is integrated to compensate for unknown disturbances.The whole control system is proven semiglobally uniformly ultimately bounded based on the multi-Lyapunov function method.Furthermore,we consider tracking errors and self-characteristics of actuators,a quadratic programmingbased dynamic control allocation law is designed,which allocates virtual control inputs to the asymmetrically deformed wingtip and rudder.Actuator dynamic models are incorporated to ensure physical realizability of designed allocation law.Finally,comparative experimental results validate the effectiveness of the designed control system and control allocation law.The NDO-GFTISMC features faster convergence,stronger robustness,and 81.25%and 75.0%reduction in maximum state tracking error under uncertainty compared to the Incremental Nonlinear Dynamic Inversion Controller based on NDO(NDO-INDI)and Incremental Sliding Mode Controller based on NDO(NDO-ISMC),respectively.The design of the morphing aircraft significantly enhances lateral maneuver capability,maintaining a substantial control margin during lateral maneuvering,reducing the burden of the rudder surface,and effectively solving the actuator saturation problem of traditional aircraft during lateral maneuvering.展开更多
Incremental Nonlinear Dynamic Inversion(INDI)is a control approach that has gained popularity in flight control over the past decade.Besides the INDI law,several common additional components complement an INDI-based c...Incremental Nonlinear Dynamic Inversion(INDI)is a control approach that has gained popularity in flight control over the past decade.Besides the INDI law,several common additional components complement an INDI-based controller.This paper,the second part of a two-part series of surveys on INDI,aims to summarize the modern trends in INDI and its related components.Besides a comprehensive components specification,it addresses their most common challenges,compares different variants,and discusses proposed advances.Further important aspects of INDI are gain design,stability,and robustness.This paper also provides an overview of research conducted concerning these aspects.This paper is written in a tutorial style to familiarize researchers with the essential specifics and pitfalls of INDI and its components.At the same time,it can also serve as a reference for readers already familiar with INDI.展开更多
In 6th Generation Mobile Networks(6G),the Space-Integrated-Ground(SIG)Radio Access Network(RAN)promises seamless coverage and exceptionally high Quality of Service(QoS)for diverse services.However,achieving this neces...In 6th Generation Mobile Networks(6G),the Space-Integrated-Ground(SIG)Radio Access Network(RAN)promises seamless coverage and exceptionally high Quality of Service(QoS)for diverse services.However,achieving this necessitates effective management of computation and wireless resources tailored to the requirements of various services.The heterogeneity of computation resources and interference among shared wireless resources pose significant coordination and management challenges.To solve these problems,this work provides an overview of multi-dimensional resource management in 6G SIG RAN,including computation and wireless resource.Firstly it provides with a review of current investigations on computation and wireless resource management and an analysis of existing deficiencies and challenges.Then focusing on the provided challenges,the work proposes an MEC-based computation resource management scheme and a mixed numerology-based wireless resource management scheme.Furthermore,it outlines promising future technologies,including joint model-driven and data-driven resource management technology,and blockchain-based resource management technology within the 6G SIG network.The work also highlights remaining challenges,such as reducing communication costs associated with unstable ground-to-satellite links and overcoming barriers posed by spectrum isolation.Overall,this comprehensive approach aims to pave the way for efficient and effective resource management in future 6G networks.展开更多
The Literary Lab at Stanford University is one of the birthplaces of digital humanities and has maintained significant influence in this field over the years.Professor Hui Haifeng has been engaged in research on digit...The Literary Lab at Stanford University is one of the birthplaces of digital humanities and has maintained significant influence in this field over the years.Professor Hui Haifeng has been engaged in research on digital humanities and computational criticism in recent years.During his visiting scholarship at Stanford University,he participated in the activities of the Literary Lab.Taking this opportunity,he interviewed Professor Mark Algee-Hewitt,the director of the Literary Lab,discussing important topics such as the current state and reception of DH(digital humanities)in the English Department,the operations of the Literary Lab,and the landscape of computational criticism.Mark Algee-Hewitt's research focuses on the eighteenth and early nineteenth centuries in England and Germany and seeks to combine literary criticism with digital and quantitative analyses of literary texts.In particular,he is interested in the history of aesthetic theory and the development and transmission of aesthetic and philosophical concepts during the Enlightenment and Romantic periods.He is also interested in the relationship between aesthetic theory and the poetry of the long eighteenth century.Although his primary background is English literature,he also has a degree in computer science.He believes that the influence of digital humanities within the humanities disciplines is growing increasingly significant.This impact is evident in both the attraction and assistance it offers to students,as well as in the new interpretations it brings to traditional literary studies.He argues that the key to effectively integrating digital humanities into the English Department is to focus on literary research questions,exploring how digital tools can raise new questions or provide new insights into traditional research.展开更多
Current machine learning models for predicting geological conditions during earth pressure balance(EPB)shield tunneling predominantly rely on accurate geological conditions as model label inputs.This study introduces ...Current machine learning models for predicting geological conditions during earth pressure balance(EPB)shield tunneling predominantly rely on accurate geological conditions as model label inputs.This study introduces an innovative approach for the real-time prediction of geological conditions in EPB shield tunneling by utilizing an unsupervised incremental learning model that integrates deep temporal clustering(DTC)with elastic weight consolidation(EWC).The model was trained and tested using data from an EPB shield tunneling project in Nanjing,China.Results demonstrate that the DTC model outperforms nine comparison models by clustering the entire dataset into four distinct groups representing various geological conditions without requiring labeled data.Additionally,integrating EWC into the DTC model significantly enhances its continuous learning capabilities,enabling automatic parameter updates with incoming data and facilitating the real-time recognition of geological conditions.Feature importance was evaluated using the feature elimination method and the Shapley additive explanations(SHAP)method,underscoring the critical roles of earth chamber pressure and cutterhead rotation speed in predicting geological conditions.The proposed EWC-DTC model demonstrates practical utility for EPB shield tunneling in complex environments.展开更多
With the generation of both localised thermal and vibration in incremental sheet forming(ISF)by novel tool designs,rotational vibration assisted ISF(RV-ISF)can achieve significant force reduction and material softenin...With the generation of both localised thermal and vibration in incremental sheet forming(ISF)by novel tool designs,rotational vibration assisted ISF(RV-ISF)can achieve significant force reduction and material softening.However,the combined thermal and vibration softening in RV-ISF is unclear.By evaluating the similarities and differences of friction stir ISF(FS-ISF)and RV-ISF,this study develops a novel approach to decouple and quantify the thermal and vibration softening effects in RV-ISF of AZ31B-H24,providing new insights into underlying thermal and vibration softening mechanism.Experimental results reveal that in RV-ISF of AZ31B-H24 the thermal softening due to frictional heating dominates with 45∼65%of softening,while the vibration effect only contributes up to 15%of softening,from the conventional ISF,depending on the tool designs and tool rotational speed.The double-offset tool(T2)produces greater vibration softening than the three-groove tool(T3)owing to the higher vibration amplitude of the T2 tool.An increase in tool rotational speed primarily enhances thermal softening with only marginal changes to the vibration effect.Microstructural analysis suggests that with average grain size of 0.94μm at the top layer,RV-ISF with T3 and 3000 rpm is more effective for microstructure refinement than that by FS-ISF,especially on the tool-sheet contact surface,which confirms the occurrence of surface shearing.This refinement is a result of the reduced recrystallisation degree,71.8%at the top bottom layer.Compared with FS-ISF,RV-ISF can lead to not only higher geometrically necessary dislocation density,but also higher fraction of low-angle grain boundaries,indicating that softening mechanism due to localised vibration effect is resulted from the enhanced rearrangement and annihilation of dislocations.These findings contribute to new understanding of the thermal and vibration softening effects in RV-ISF of AZ31B-H24 and offer a theoretical foundation for the tool design and process optimisation.展开更多
In this paper,an incremental contact model is developed for the elastic self-affine fractal rough surfaces under plane strain condition.The contact between a rough surface and a rigid plane is simplified by the accumu...In this paper,an incremental contact model is developed for the elastic self-affine fractal rough surfaces under plane strain condition.The contact between a rough surface and a rigid plane is simplified by the accumulation of identical line contacts with half-width given by the truncated area divided by the contact patch number at varying heights.Based on the contact stiffness of two-dimensional flat punch,the total stiffness of rough surface is estimated,and then the normal load is calculated by an incremental method.For various rough surfaces,the approximately linear load-area relationships predicted by the proposed model agree well with the results of finite element simulations.It is found that the real average contact pressure depends significantly on profile properties.展开更多
As an essential element of intelligent trans-port systems,Internet of vehicles(IoV)has brought an immersive user experience recently.Meanwhile,the emergence of mobile edge computing(MEC)has enhanced the computational ...As an essential element of intelligent trans-port systems,Internet of vehicles(IoV)has brought an immersive user experience recently.Meanwhile,the emergence of mobile edge computing(MEC)has enhanced the computational capability of the vehicle which reduces task processing latency and power con-sumption effectively and meets the quality of service requirements of vehicle users.However,there are still some problems in the MEC-assisted IoV system such as poor connectivity and high cost.Unmanned aerial vehicles(UAVs)equipped with MEC servers have become a promising approach for providing com-munication and computing services to mobile vehi-cles.Hence,in this article,an optimal framework for the UAV-assisted MEC system for IoV to minimize the average system cost is presented.Through joint consideration of computational offloading decisions and computational resource allocation,the optimiza-tion problem of our proposed architecture is presented to reduce system energy consumption and delay.For purpose of tackling this issue,the original non-convex issue is converted into a convex issue and the alternat-ing direction method of multipliers-based distributed optimal scheme is developed.The simulation results illustrate that the presented scheme can enhance the system performance dramatically with regard to other schemes,and the convergence of the proposed scheme is also significant.展开更多
Low earth orbit(LEO)satellites with wide coverage can carry the mobile edge computing(MEC)servers with powerful computing capabilities to form the LEO satellite edge computing system,providing computing services for t...Low earth orbit(LEO)satellites with wide coverage can carry the mobile edge computing(MEC)servers with powerful computing capabilities to form the LEO satellite edge computing system,providing computing services for the global ground users.In this paper,the computation offloading problem and resource allocation problem are formulated as a mixed integer nonlinear program(MINLP)problem.This paper proposes a computation offloading algorithm based on deep deterministic policy gradient(DDPG)to obtain the user offloading decisions and user uplink transmission power.This paper uses the convex optimization algorithm based on Lagrange multiplier method to obtain the optimal MEC server resource allocation scheme.In addition,the expression of suboptimal user local CPU cycles is derived by relaxation method.Simulation results show that the proposed algorithm can achieve excellent convergence effect,and the proposed algorithm significantly reduces the system utility values at considerable time cost compared with other algorithms.展开更多
An analytical model for contact area and contact stress considering the loading history in incremental sheet forming(ISF)was established.Then,by integrating with the directional characteristics of friction force and h...An analytical model for contact area and contact stress considering the loading history in incremental sheet forming(ISF)was established.Then,by integrating with the directional characteristics of friction force and horizontal force in the process,a friction test method reflecting the forming characteristics of ISF was proposed.Friction coefficients during the forming processes of parts with different wall angles were measured under various plane curves,process paths,and lubrication conditions.Furthermore,the accuracy of the analytical model,as well as the measured friction coefficients and their variation trends,was verified through comparative analysis with experimental results,simulation data,and outcomes from other existing models.The results indicate that the influence of the plane curve characteristics and process paths of parts on the friction condition is not significant.Under the lubrication conditions of L-HM46 oil,MoS_(2)grease,graphite powder,and dry friction,the friction coefficient shows a gradually increasing trend.Notably,when the wall angle is≤40°,the friction coefficient remains relatively constant;however,when the wall angle exceeds 40°,the friction coefficient increases progressively.展开更多
This study first demonstrates the potential of organic photoabsorbing blends in overcoming a critical limitation of metal oxide photoanodes in tandem modules:insufficient photogenerated current.Various organic blends,...This study first demonstrates the potential of organic photoabsorbing blends in overcoming a critical limitation of metal oxide photoanodes in tandem modules:insufficient photogenerated current.Various organic blends,including PTB7-Th:FOIC,PTB7-Th:O6T-4F,PM6:Y6,and PM6:FM,were systematically tested.When coupled with electron transport layer(ETL)contacts,these blends exhibit exceptional charge separation and extraction,with PM6:Y6 achieving saturation photocurrents up to 16.8 mA cm^(-2) at 1.23 VRHE(oxygen evolution thermodynamic potential).For the first time,a tandem structure utilizing organic photoanodes has been computationally designed and fabricated and the implementation of a double PM6:Y6 photoanode/photovoltaic structure resulted in photogenerated currents exceeding 7mA cm^(-2) at 0 VRHE(hydrogen evolution thermodynamic potential)and anodic current onset potentials as low as-0.5 VRHE.The herein-presented organic-based approach paves the way for further exploration of different blend combinations to target specific oxidative reactions by selecting precise donor/acceptor candidates among the multiple existing ones.展开更多
The incremental capacity analysis(ICA)technique is notably limited by its sensitivity to variations in charging conditions,which constrains its practical applicability in real-world scenarios.This paper introduces an ...The incremental capacity analysis(ICA)technique is notably limited by its sensitivity to variations in charging conditions,which constrains its practical applicability in real-world scenarios.This paper introduces an ICA-compensation technique to address this limitation and propose a generalized framework for assessing the state of health(SOH)of batteries based on ICA that is applicable under differing charging conditions.This novel approach calculates the voltage profile under quasi-static conditions by subtracting the voltage increase attributable to the additional polarization effects at high currents from the measured voltage profile.This approach's efficacy is contingent upon precisely acquiring the equivalent impedance.To obtain the equivalent impedance throughout the batteries'lifespan while minimizing testing costs,this study employs a current interrupt technique in conjunction with a long short-term memory(LSTM)network to develop a predictive model for equivalent impedance.Following the derivation of ICA curves using voltage profiles under quasi-static conditions,the research explores two scenarios for SOH estimation:one utilizing only incremental capacity(IC)features and the other incorporating both IC features and IC sampling.A genetic algorithm-optimized backpropagation neural network(GABPNN)is employed for the SOH estimation.The proposed generalized framework is validated using independent training and test datasets.Variable test conditions are applied for the test set to rigorously evaluate the methodology under challenging conditions.These evaluation results demonstrate that the proposed framework achieves an estimation accuracy of 1.04%for RMSE and 0.90%for MAPE across a spectrum of charging rates ranging from 0.1 C to 1 C and starting SOCs between 0%and 70%,which constitutes a major advancement compared to established ICA methods.It also significantly enhances the applicability of conventional ICA techniques in varying charging conditions and negates the necessity for separate testing protocols for each charging scenario.展开更多
Ever since the research in machine learning gained traction in recent years,it has been employed to address challenges in a wide variety of domains,including mechanical devices.Most of the machine learning models are ...Ever since the research in machine learning gained traction in recent years,it has been employed to address challenges in a wide variety of domains,including mechanical devices.Most of the machine learning models are built on the assumption of a static learning environment,but in practical situations,the data generated by the process is dynamic.This evolution of the data is termed concept drift.This research paper presents an approach for predictingmechanical failure in real-time using incremental learning based on the statistically calculated parameters of mechanical equipment.The method proposed here is applicable to allmechanical devices that are susceptible to failure or operational degradation.The proposed method in this paper is equipped with the capacity to detect the drift in data generation and adaptation.The proposed approach evaluates the machine learning and deep learning models for their efficacy in handling the errors related to industrial machines due to their dynamic nature.It is observed that,in the settings without concept drift in the data,methods like SVM and Random Forest performed better compared to deep neural networks.However,this resulted in poor sensitivity for the smallest drift in the machine data reported as a drift.In this perspective,DNN generated the stable drift detection method;it reported an accuracy of 84%and an AUC of 0.87 while detecting only a single drift point,indicating the stability to performbetter in detecting and adapting to new data in the drifting environments under industrial measurement settings.展开更多
The influence of geometric configuration on the friction characteristics during incremental sheet forming of AA5052 was analyzed by integrating surface morphology and its characteristic parameters,along with plastic s...The influence of geometric configuration on the friction characteristics during incremental sheet forming of AA5052 was analyzed by integrating surface morphology and its characteristic parameters,along with plastic strain,contact pressure,and area.The interface promotes lubrication and support when wall angles were≤40°,a 0.5 mm-thin sheet was used,and a 10 mm-large tool radius was employed.This mainly results in micro-plowing and plastic extrusion flow,leading to lower friction coefficient.However,when wall angles exceed 40°,significant plastic strain roughening occurs,leading to inadequate lubrication on the newly formed surface.Increased sheet thickness and decreased tool radius elevate contact pressure.These actions trigger micro-cutting and adhesion,potentially leading to localized scuffing and dimple tears,and higher friction coefficient.The friction mechanisms remain unaffected by the part’s plane curve features.As the forming process progresses,abrasive wear intensifies,and surface morphology evolves unfavorably for lubrication and friction reduction.展开更多
Semantic communication(SemCom)aims to achieve high-fidelity information delivery under low communication consumption by only guaranteeing semantic accuracy.Nevertheless,semantic communication still suffers from unexpe...Semantic communication(SemCom)aims to achieve high-fidelity information delivery under low communication consumption by only guaranteeing semantic accuracy.Nevertheless,semantic communication still suffers from unexpected channel volatility and thus developing a re-transmission mechanism(e.g.,hybrid automatic repeat request[HARQ])becomes indispensable.In that regard,instead of discarding previously transmitted information,the incremental knowledge-based HARQ(IK-HARQ)is deemed as a more effective mechanism that could sufficiently utilize the information semantics.However,considering the possible existence of semantic ambiguity in image transmission,a simple bit-level cyclic redundancy check(CRC)might compromise the performance of IK-HARQ.Therefore,there emerges a strong incentive to revolutionize the CRC mechanism,thus more effectively reaping the benefits of both SemCom and HARQ.In this paper,built on top of swin transformer-based joint source-channel coding(JSCC)and IK-HARQ,we propose a semantic image transmission framework SC-TDA-HARQ.In particular,different from the conventional CRC,we introduce a topological data analysis(TDA)-based error detection method,which capably digs out the inner topological and geometric information of images,to capture semantic information and determine the necessity for re-transmission.Extensive numerical results validate the effectiveness and efficiency of the proposed SC-TDA-HARQ framework,especially under the limited bandwidth condition,and manifest the superiority of TDA-based error detection method in image transmission.展开更多
The field of biometric identification has seen significant advancements over the years,with research focusing on enhancing the accuracy and security of these systems.One of the key developments is the integration of d...The field of biometric identification has seen significant advancements over the years,with research focusing on enhancing the accuracy and security of these systems.One of the key developments is the integration of deep learning techniques in biometric systems.However,despite these advancements,certain challenges persist.One of the most significant challenges is scalability over growing complexity.Traditional methods either require maintaining and securing a growing database,introducing serious security challenges,or relying on retraining the entiremodelwhen new data is introduced-a process that can be computationally expensive and complex.This challenge underscores the need for more efficient methods to scale securely.To this end,we introduce a novel approach that addresses these challenges by integrating multimodal biometrics,cancelable biometrics,and incremental learning techniques.This work is among the first attempts to seamlessly incorporate deep cancelable biometrics with dynamic architectural updates,applied incrementally to the deep learning model as new users are enrolled,achieving high performance with minimal catastrophic forgetting.By leveraging a One-Dimensional Convolutional Neural Network(1D-CNN)architecture combined with a hybrid incremental learning approach,our system achieves high recognition accuracy,averaging 98.98% over incrementing datasets,while ensuring user privacy through cancelable templates generated via a pre-trained CNN model and random projection.The approach demonstrates remarkable adaptability,utilizing the least intrusive biometric traits like facial features and fingerprints,ensuring not only robust performance but also long-term serviceability.展开更多
文摘We introduce a model to implement incremental update of views. The principle is that unless a view is accessed, the modification related to the view is not computed. This modification information is used only when views are updated. Modification information is embodied in the classes (including inheritance classes and nesting classes) that derive the view. We establish a modify list consisted of tuples (one tuple for each view which is related to the class) to implement view update. A method is used to keep views from re-update. Key words object-oriented database - incremental computation - view-computation - engineering information system CLC number TP 391 Foundation item: Supported by the National Natural Science Foundation of China(60235025)Biography: Guo Hai-ying (1971-), female, Ph. D, research direction: CAD and engineering information system.
文摘A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational logic program modulo an equality theory that is induced by the abstraction. The method is exemplified via depth and stump abstractions. Also presented are algorithms for computing most general unifiers modulo equality theories induced by depth and stump abstractions.
文摘The purpose of this review is to explore the intersection of computational engineering and biomedical science,highlighting the transformative potential this convergence holds for innovation in healthcare and medical research.The review covers key topics such as computational modelling,bioinformatics,machine learning in medical diagnostics,and the integration of wearable technology for real-time health monitoring.Major findings indicate that computational models have significantly enhanced the understanding of complex biological systems,while machine learning algorithms have improved the accuracy of disease prediction and diagnosis.The synergy between bioinformatics and computational techniques has led to breakthroughs in personalized medicine,enabling more precise treatment strategies.Additionally,the integration of wearable devices with advanced computational methods has opened new avenues for continuous health monitoring and early disease detection.The review emphasizes the need for interdisciplinary collaboration to further advance this field.Future research should focus on developing more robust and scalable computational models,enhancing data integration techniques,and addressing ethical considerations related to data privacy and security.By fostering innovation at the intersection of these disciplines,the potential to revolutionize healthcare delivery and outcomes becomes increasingly attainable.
基金supported in part by financial support from the National Key R&D Program of China(No.2023YFB3407003)the National Natural Science Foundation of China(No.52375378).
文摘A new analytical model for geometric size and forming force prediction in incremental flanging(IF)is presented in this work.The complex deformation characteristics of IF are considered in the modeling process,which can accurately describe the strain and stress states in IF.Based on strain analysis,the model can predict the material thickness distribution and neck height after IF.By considering contact area,strain characteristics,material thickness changes,and friction,the model can predict specific moments and corresponding values of maximum axial forming force and maximum horizontal forming force during IF.In addition,an IF experiment involving different tool diameters,flanging diameters,and opening hole diameters is conducted.On the basis of the experimental strain paths,the strain characteristics of different deformation zones are studied,and the stable strain ratio is quantitatively described through two dimensionless parameters:relative tool diameter and relative hole diameter.Then,the changing of material thickness and forming force in IF,and the variation of minimum material thickness,neck height,maximum axial forming force,and maximum horizontal forming force with flanging parameters are studied,and the reliability of the analytical model is verified in this process.Finally,the influence of the horizontal forming force on the tool design and the fluctuation of the forming force are explained.
基金supported by the National Natural Science Foundation of China(Nos.62103052 and No.52175214)。
文摘This paper presents the design of an asymmetrically variable wingtip anhedral angles morphing aircraft,inspired by biomimetic mechanisms,to enhance lateral maneuver capability.Firstly,we establish a lateral dynamic model considering additional forces and moments resulting during the morphing process,and convert it into a Multiple Input Multiple Output(MIMO)virtual control system by importing virtual inputs.Secondly,a classical dynamics inversion controller is designed for the outer-loop system.A new Global Fast Terminal Incremental Sliding Mode Controller(NDO-GFTISMC)is proposed for the inner-loop system,in which an adaptive law is implemented to weaken control surface chattering,and a Nonlinear Disturbance Observer(NDO)is integrated to compensate for unknown disturbances.The whole control system is proven semiglobally uniformly ultimately bounded based on the multi-Lyapunov function method.Furthermore,we consider tracking errors and self-characteristics of actuators,a quadratic programmingbased dynamic control allocation law is designed,which allocates virtual control inputs to the asymmetrically deformed wingtip and rudder.Actuator dynamic models are incorporated to ensure physical realizability of designed allocation law.Finally,comparative experimental results validate the effectiveness of the designed control system and control allocation law.The NDO-GFTISMC features faster convergence,stronger robustness,and 81.25%and 75.0%reduction in maximum state tracking error under uncertainty compared to the Incremental Nonlinear Dynamic Inversion Controller based on NDO(NDO-INDI)and Incremental Sliding Mode Controller based on NDO(NDO-ISMC),respectively.The design of the morphing aircraft significantly enhances lateral maneuver capability,maintaining a substantial control margin during lateral maneuvering,reducing the burden of the rudder surface,and effectively solving the actuator saturation problem of traditional aircraft during lateral maneuvering.
文摘Incremental Nonlinear Dynamic Inversion(INDI)is a control approach that has gained popularity in flight control over the past decade.Besides the INDI law,several common additional components complement an INDI-based controller.This paper,the second part of a two-part series of surveys on INDI,aims to summarize the modern trends in INDI and its related components.Besides a comprehensive components specification,it addresses their most common challenges,compares different variants,and discusses proposed advances.Further important aspects of INDI are gain design,stability,and robustness.This paper also provides an overview of research conducted concerning these aspects.This paper is written in a tutorial style to familiarize researchers with the essential specifics and pitfalls of INDI and its components.At the same time,it can also serve as a reference for readers already familiar with INDI.
基金supported by the National Key Research and Development Program of China(No.2021YFB2900504).
文摘In 6th Generation Mobile Networks(6G),the Space-Integrated-Ground(SIG)Radio Access Network(RAN)promises seamless coverage and exceptionally high Quality of Service(QoS)for diverse services.However,achieving this necessitates effective management of computation and wireless resources tailored to the requirements of various services.The heterogeneity of computation resources and interference among shared wireless resources pose significant coordination and management challenges.To solve these problems,this work provides an overview of multi-dimensional resource management in 6G SIG RAN,including computation and wireless resource.Firstly it provides with a review of current investigations on computation and wireless resource management and an analysis of existing deficiencies and challenges.Then focusing on the provided challenges,the work proposes an MEC-based computation resource management scheme and a mixed numerology-based wireless resource management scheme.Furthermore,it outlines promising future technologies,including joint model-driven and data-driven resource management technology,and blockchain-based resource management technology within the 6G SIG network.The work also highlights remaining challenges,such as reducing communication costs associated with unstable ground-to-satellite links and overcoming barriers posed by spectrum isolation.Overall,this comprehensive approach aims to pave the way for efficient and effective resource management in future 6G networks.
文摘The Literary Lab at Stanford University is one of the birthplaces of digital humanities and has maintained significant influence in this field over the years.Professor Hui Haifeng has been engaged in research on digital humanities and computational criticism in recent years.During his visiting scholarship at Stanford University,he participated in the activities of the Literary Lab.Taking this opportunity,he interviewed Professor Mark Algee-Hewitt,the director of the Literary Lab,discussing important topics such as the current state and reception of DH(digital humanities)in the English Department,the operations of the Literary Lab,and the landscape of computational criticism.Mark Algee-Hewitt's research focuses on the eighteenth and early nineteenth centuries in England and Germany and seeks to combine literary criticism with digital and quantitative analyses of literary texts.In particular,he is interested in the history of aesthetic theory and the development and transmission of aesthetic and philosophical concepts during the Enlightenment and Romantic periods.He is also interested in the relationship between aesthetic theory and the poetry of the long eighteenth century.Although his primary background is English literature,he also has a degree in computer science.He believes that the influence of digital humanities within the humanities disciplines is growing increasingly significant.This impact is evident in both the attraction and assistance it offers to students,as well as in the new interpretations it brings to traditional literary studies.He argues that the key to effectively integrating digital humanities into the English Department is to focus on literary research questions,exploring how digital tools can raise new questions or provide new insights into traditional research.
基金financially supported by the National Natural Science Foundation of China(Grant Nos.52378392,52408356)Foal Eagle Program Youth Top-notch Talent Project of Fujian Province,China(Grant No.00387088).
文摘Current machine learning models for predicting geological conditions during earth pressure balance(EPB)shield tunneling predominantly rely on accurate geological conditions as model label inputs.This study introduces an innovative approach for the real-time prediction of geological conditions in EPB shield tunneling by utilizing an unsupervised incremental learning model that integrates deep temporal clustering(DTC)with elastic weight consolidation(EWC).The model was trained and tested using data from an EPB shield tunneling project in Nanjing,China.Results demonstrate that the DTC model outperforms nine comparison models by clustering the entire dataset into four distinct groups representing various geological conditions without requiring labeled data.Additionally,integrating EWC into the DTC model significantly enhances its continuous learning capabilities,enabling automatic parameter updates with incoming data and facilitating the real-time recognition of geological conditions.Feature importance was evaluated using the feature elimination method and the Shapley additive explanations(SHAP)method,underscoring the critical roles of earth chamber pressure and cutterhead rotation speed in predicting geological conditions.The proposed EWC-DTC model demonstrates practical utility for EPB shield tunneling in complex environments.
基金the financial support received from the UK Engineering and Physical Sciences Research Council(EPSRC)through project grants EP/W010089/1 and EP/T005254/1.
文摘With the generation of both localised thermal and vibration in incremental sheet forming(ISF)by novel tool designs,rotational vibration assisted ISF(RV-ISF)can achieve significant force reduction and material softening.However,the combined thermal and vibration softening in RV-ISF is unclear.By evaluating the similarities and differences of friction stir ISF(FS-ISF)and RV-ISF,this study develops a novel approach to decouple and quantify the thermal and vibration softening effects in RV-ISF of AZ31B-H24,providing new insights into underlying thermal and vibration softening mechanism.Experimental results reveal that in RV-ISF of AZ31B-H24 the thermal softening due to frictional heating dominates with 45∼65%of softening,while the vibration effect only contributes up to 15%of softening,from the conventional ISF,depending on the tool designs and tool rotational speed.The double-offset tool(T2)produces greater vibration softening than the three-groove tool(T3)owing to the higher vibration amplitude of the T2 tool.An increase in tool rotational speed primarily enhances thermal softening with only marginal changes to the vibration effect.Microstructural analysis suggests that with average grain size of 0.94μm at the top layer,RV-ISF with T3 and 3000 rpm is more effective for microstructure refinement than that by FS-ISF,especially on the tool-sheet contact surface,which confirms the occurrence of surface shearing.This refinement is a result of the reduced recrystallisation degree,71.8%at the top bottom layer.Compared with FS-ISF,RV-ISF can lead to not only higher geometrically necessary dislocation density,but also higher fraction of low-angle grain boundaries,indicating that softening mechanism due to localised vibration effect is resulted from the enhanced rearrangement and annihilation of dislocations.These findings contribute to new understanding of the thermal and vibration softening effects in RV-ISF of AZ31B-H24 and offer a theoretical foundation for the tool design and process optimisation.
基金supported by the National Natural Science Foundation of China(Grant Nos.12372100,12302126,and 12302141)the China Postdoctoral Science Foundation(Grant No.2023M732799)+1 种基金the Fundamental Research Funds for the Central Universities(Grant No.xzy012024020)Sihe Wang also thanks the support from the China Scholarship Council(CSC).
文摘In this paper,an incremental contact model is developed for the elastic self-affine fractal rough surfaces under plane strain condition.The contact between a rough surface and a rigid plane is simplified by the accumulation of identical line contacts with half-width given by the truncated area divided by the contact patch number at varying heights.Based on the contact stiffness of two-dimensional flat punch,the total stiffness of rough surface is estimated,and then the normal load is calculated by an incremental method.For various rough surfaces,the approximately linear load-area relationships predicted by the proposed model agree well with the results of finite element simulations.It is found that the real average contact pressure depends significantly on profile properties.
基金in part by the National Natural Science Foundation of China(NSFC)under Grant 62371012in part by the Beijing Natural Science Foundation under Grant 4252001.
文摘As an essential element of intelligent trans-port systems,Internet of vehicles(IoV)has brought an immersive user experience recently.Meanwhile,the emergence of mobile edge computing(MEC)has enhanced the computational capability of the vehicle which reduces task processing latency and power con-sumption effectively and meets the quality of service requirements of vehicle users.However,there are still some problems in the MEC-assisted IoV system such as poor connectivity and high cost.Unmanned aerial vehicles(UAVs)equipped with MEC servers have become a promising approach for providing com-munication and computing services to mobile vehi-cles.Hence,in this article,an optimal framework for the UAV-assisted MEC system for IoV to minimize the average system cost is presented.Through joint consideration of computational offloading decisions and computational resource allocation,the optimiza-tion problem of our proposed architecture is presented to reduce system energy consumption and delay.For purpose of tackling this issue,the original non-convex issue is converted into a convex issue and the alternat-ing direction method of multipliers-based distributed optimal scheme is developed.The simulation results illustrate that the presented scheme can enhance the system performance dramatically with regard to other schemes,and the convergence of the proposed scheme is also significant.
基金supported by National Natural Science Foundation of China No.62231012Natural Science Foundation for Outstanding Young Scholars of Heilongjiang Province under Grant YQ2020F001Heilongjiang Province Postdoctoral General Foundation under Grant AUGA4110004923.
文摘Low earth orbit(LEO)satellites with wide coverage can carry the mobile edge computing(MEC)servers with powerful computing capabilities to form the LEO satellite edge computing system,providing computing services for the global ground users.In this paper,the computation offloading problem and resource allocation problem are formulated as a mixed integer nonlinear program(MINLP)problem.This paper proposes a computation offloading algorithm based on deep deterministic policy gradient(DDPG)to obtain the user offloading decisions and user uplink transmission power.This paper uses the convex optimization algorithm based on Lagrange multiplier method to obtain the optimal MEC server resource allocation scheme.In addition,the expression of suboptimal user local CPU cycles is derived by relaxation method.Simulation results show that the proposed algorithm can achieve excellent convergence effect,and the proposed algorithm significantly reduces the system utility values at considerable time cost compared with other algorithms.
基金the National Key R&D Program of China(No.2023YFB3407003)the National Natural Science Foundation of China(No.52375378).
文摘An analytical model for contact area and contact stress considering the loading history in incremental sheet forming(ISF)was established.Then,by integrating with the directional characteristics of friction force and horizontal force in the process,a friction test method reflecting the forming characteristics of ISF was proposed.Friction coefficients during the forming processes of parts with different wall angles were measured under various plane curves,process paths,and lubrication conditions.Furthermore,the accuracy of the analytical model,as well as the measured friction coefficients and their variation trends,was verified through comparative analysis with experimental results,simulation data,and outcomes from other existing models.The results indicate that the influence of the plane curve characteristics and process paths of parts on the friction condition is not significant.Under the lubrication conditions of L-HM46 oil,MoS_(2)grease,graphite powder,and dry friction,the friction coefficient shows a gradually increasing trend.Notably,when the wall angle is≤40°,the friction coefficient remains relatively constant;however,when the wall angle exceeds 40°,the friction coefficient increases progressively.
基金partly funded by a BIST Ignite Programme grant from the Barcelona Institute of Science and Technology(Code:MOLOPEC)financial support from LICROX and SOREC2 EUFunded projects(Codes:951843 and 101084326)+7 种基金the BIST Program,and Severo Ochoa Programpartially funded by CEX2019-000910-S(MCIN/AEI/10.13039/501100011033 and PID2020-112650RBI00),Fundació Cellex,Fundació Mir-PuigGeneralitat de Catalunya through CERCAfunding from the European Union’s Horizon Europe research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101081441financial support by the Agencia Estatal de Investigación(grant PRE2018-084881)the financial support by from the European Union’s Horizon Europe research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101081441support from the MCIN/AEI JdC-F Fellowship(FJC2020-043223-I)the Severo Ochoa Excellence Postdoctoral Fellowship(CEX2019-000910-S).
文摘This study first demonstrates the potential of organic photoabsorbing blends in overcoming a critical limitation of metal oxide photoanodes in tandem modules:insufficient photogenerated current.Various organic blends,including PTB7-Th:FOIC,PTB7-Th:O6T-4F,PM6:Y6,and PM6:FM,were systematically tested.When coupled with electron transport layer(ETL)contacts,these blends exhibit exceptional charge separation and extraction,with PM6:Y6 achieving saturation photocurrents up to 16.8 mA cm^(-2) at 1.23 VRHE(oxygen evolution thermodynamic potential).For the first time,a tandem structure utilizing organic photoanodes has been computationally designed and fabricated and the implementation of a double PM6:Y6 photoanode/photovoltaic structure resulted in photogenerated currents exceeding 7mA cm^(-2) at 0 VRHE(hydrogen evolution thermodynamic potential)and anodic current onset potentials as low as-0.5 VRHE.The herein-presented organic-based approach paves the way for further exploration of different blend combinations to target specific oxidative reactions by selecting precise donor/acceptor candidates among the multiple existing ones.
基金funded by the Bavarian State Ministry of ScienceResearch and Art(Grant number:H.2-F1116.WE/52/2)。
文摘The incremental capacity analysis(ICA)technique is notably limited by its sensitivity to variations in charging conditions,which constrains its practical applicability in real-world scenarios.This paper introduces an ICA-compensation technique to address this limitation and propose a generalized framework for assessing the state of health(SOH)of batteries based on ICA that is applicable under differing charging conditions.This novel approach calculates the voltage profile under quasi-static conditions by subtracting the voltage increase attributable to the additional polarization effects at high currents from the measured voltage profile.This approach's efficacy is contingent upon precisely acquiring the equivalent impedance.To obtain the equivalent impedance throughout the batteries'lifespan while minimizing testing costs,this study employs a current interrupt technique in conjunction with a long short-term memory(LSTM)network to develop a predictive model for equivalent impedance.Following the derivation of ICA curves using voltage profiles under quasi-static conditions,the research explores two scenarios for SOH estimation:one utilizing only incremental capacity(IC)features and the other incorporating both IC features and IC sampling.A genetic algorithm-optimized backpropagation neural network(GABPNN)is employed for the SOH estimation.The proposed generalized framework is validated using independent training and test datasets.Variable test conditions are applied for the test set to rigorously evaluate the methodology under challenging conditions.These evaluation results demonstrate that the proposed framework achieves an estimation accuracy of 1.04%for RMSE and 0.90%for MAPE across a spectrum of charging rates ranging from 0.1 C to 1 C and starting SOCs between 0%and 70%,which constitutes a major advancement compared to established ICA methods.It also significantly enhances the applicability of conventional ICA techniques in varying charging conditions and negates the necessity for separate testing protocols for each charging scenario.
文摘Ever since the research in machine learning gained traction in recent years,it has been employed to address challenges in a wide variety of domains,including mechanical devices.Most of the machine learning models are built on the assumption of a static learning environment,but in practical situations,the data generated by the process is dynamic.This evolution of the data is termed concept drift.This research paper presents an approach for predictingmechanical failure in real-time using incremental learning based on the statistically calculated parameters of mechanical equipment.The method proposed here is applicable to allmechanical devices that are susceptible to failure or operational degradation.The proposed method in this paper is equipped with the capacity to detect the drift in data generation and adaptation.The proposed approach evaluates the machine learning and deep learning models for their efficacy in handling the errors related to industrial machines due to their dynamic nature.It is observed that,in the settings without concept drift in the data,methods like SVM and Random Forest performed better compared to deep neural networks.However,this resulted in poor sensitivity for the smallest drift in the machine data reported as a drift.In this perspective,DNN generated the stable drift detection method;it reported an accuracy of 84%and an AUC of 0.87 while detecting only a single drift point,indicating the stability to performbetter in detecting and adapting to new data in the drifting environments under industrial measurement settings.
基金the support of the Key Research and Development Program of Shaanxi Province,China(No.2021GXLH-Z-049)。
文摘The influence of geometric configuration on the friction characteristics during incremental sheet forming of AA5052 was analyzed by integrating surface morphology and its characteristic parameters,along with plastic strain,contact pressure,and area.The interface promotes lubrication and support when wall angles were≤40°,a 0.5 mm-thin sheet was used,and a 10 mm-large tool radius was employed.This mainly results in micro-plowing and plastic extrusion flow,leading to lower friction coefficient.However,when wall angles exceed 40°,significant plastic strain roughening occurs,leading to inadequate lubrication on the newly formed surface.Increased sheet thickness and decreased tool radius elevate contact pressure.These actions trigger micro-cutting and adhesion,potentially leading to localized scuffing and dimple tears,and higher friction coefficient.The friction mechanisms remain unaffected by the part’s plane curve features.As the forming process progresses,abrasive wear intensifies,and surface morphology evolves unfavorably for lubrication and friction reduction.
基金supported in part by the National Key Research and Development Program of China under Grant 2024YFE0200600in part by the National Natural Science Foundation of China under Grant 62071425+3 种基金in part by the Zhejiang Key Research and Development Plan under Grant 2022C01093in part by the Zhejiang Provincial Natural Science Foundation of China under Grant LR23F010005in part by the National Key Laboratory of Wireless Communications Foundation under Grant 2023KP01601in part by the Big Data and Intelligent Computing Key Lab of CQUPT under Grant BDIC-2023-B-001.
文摘Semantic communication(SemCom)aims to achieve high-fidelity information delivery under low communication consumption by only guaranteeing semantic accuracy.Nevertheless,semantic communication still suffers from unexpected channel volatility and thus developing a re-transmission mechanism(e.g.,hybrid automatic repeat request[HARQ])becomes indispensable.In that regard,instead of discarding previously transmitted information,the incremental knowledge-based HARQ(IK-HARQ)is deemed as a more effective mechanism that could sufficiently utilize the information semantics.However,considering the possible existence of semantic ambiguity in image transmission,a simple bit-level cyclic redundancy check(CRC)might compromise the performance of IK-HARQ.Therefore,there emerges a strong incentive to revolutionize the CRC mechanism,thus more effectively reaping the benefits of both SemCom and HARQ.In this paper,built on top of swin transformer-based joint source-channel coding(JSCC)and IK-HARQ,we propose a semantic image transmission framework SC-TDA-HARQ.In particular,different from the conventional CRC,we introduce a topological data analysis(TDA)-based error detection method,which capably digs out the inner topological and geometric information of images,to capture semantic information and determine the necessity for re-transmission.Extensive numerical results validate the effectiveness and efficiency of the proposed SC-TDA-HARQ framework,especially under the limited bandwidth condition,and manifest the superiority of TDA-based error detection method in image transmission.
基金the Deputyship for Research&Innovation,Ministry of Education in Saudi Arabia for funding this research work through project number RI-44-0833.
文摘The field of biometric identification has seen significant advancements over the years,with research focusing on enhancing the accuracy and security of these systems.One of the key developments is the integration of deep learning techniques in biometric systems.However,despite these advancements,certain challenges persist.One of the most significant challenges is scalability over growing complexity.Traditional methods either require maintaining and securing a growing database,introducing serious security challenges,or relying on retraining the entiremodelwhen new data is introduced-a process that can be computationally expensive and complex.This challenge underscores the need for more efficient methods to scale securely.To this end,we introduce a novel approach that addresses these challenges by integrating multimodal biometrics,cancelable biometrics,and incremental learning techniques.This work is among the first attempts to seamlessly incorporate deep cancelable biometrics with dynamic architectural updates,applied incrementally to the deep learning model as new users are enrolled,achieving high performance with minimal catastrophic forgetting.By leveraging a One-Dimensional Convolutional Neural Network(1D-CNN)architecture combined with a hybrid incremental learning approach,our system achieves high recognition accuracy,averaging 98.98% over incrementing datasets,while ensuring user privacy through cancelable templates generated via a pre-trained CNN model and random projection.The approach demonstrates remarkable adaptability,utilizing the least intrusive biometric traits like facial features and fingerprints,ensuring not only robust performance but also long-term serviceability.
