In this paper,we study the minimax linear fractional programming problem on a non-empty bounded set,called problem(MLFP),and we design a branch and bound algorithm to find a globally optimal solution of(MLFP).Firstly,...In this paper,we study the minimax linear fractional programming problem on a non-empty bounded set,called problem(MLFP),and we design a branch and bound algorithm to find a globally optimal solution of(MLFP).Firstly,we convert the problem(MLFP)to a problem(EP2)that is equivalent to it.Secondly,by applying the convex relaxation technique to problem(EP2),a convex quadratic relaxation problem(CQRP)is obtained.Then,the overall framework of the algorithm is given and its convergence is proved,the worst-case iteration number is also estimated.Finally,experimental data are listed to illustrate the effectiveness of the algorithm.展开更多
In this paper,we present local functional law of the iterated logarithm for Cs?rg?-Révész type increments of fractional Brownian motion.The results obtained extend works of Gantert[Ann.Probab.,1993,21(2):104...In this paper,we present local functional law of the iterated logarithm for Cs?rg?-Révész type increments of fractional Brownian motion.The results obtained extend works of Gantert[Ann.Probab.,1993,21(2):1045-1049]and Monrad and Rootzén[Probab.Theory Related Fields,1995,101(2):173-192].展开更多
This article studies the existence and uniqueness of the mild solution of a family of control systems with a delay that are governed by the nonlinear fractional evolution differential equations in Banach spaces.Moreov...This article studies the existence and uniqueness of the mild solution of a family of control systems with a delay that are governed by the nonlinear fractional evolution differential equations in Banach spaces.Moreover,we establish the controllability of the considered system.To do so,first,we investigate the approximate controllability of the corresponding linear system.Subsequently,we prove the nonlinear system is approximately controllable if the corresponding linear system is approximately controllable.To reach the conclusions,the theory of resolvent operators,the Banach contraction mapping principle,and fixed point theorems are used.While concluding,some examples are given to demonstrate the efficacy of the proposed results.展开更多
Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells c...Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.展开更多
The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functio...The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functioning(Soles et al.,2023).Synthesized by neural and glial cells,the brain's ECM regulates a myriad of homeostatic cellular processes,including neuronal plasticity and firing(Miyata et al.,2012),cation buffering(Moraws ki et al.,2015),and glia-neuron interactions(Anderson et al.,2016).Considering the diversity of functions,dynamic remodeling of the brain's ECM indicates that this understudied medium is an active participant in both normal physiology and neurological diseases.展开更多
Generating dynamically feasible trajectory for fixed-wing Unmanned Aerial Vehicles(UAVs)in dense obstacle environments remains computationally intractable.This paper proposes a Safe Flight Corridor constrained Sequent...Generating dynamically feasible trajectory for fixed-wing Unmanned Aerial Vehicles(UAVs)in dense obstacle environments remains computationally intractable.This paper proposes a Safe Flight Corridor constrained Sequential Convex Programming(SFC-SCP)to improve the computation efficiency and reliability of trajectory generation.SFC-SCP combines the front-end convex polyhedron SFC construction and back-end SCP-based trajectory optimization.A Sparse A^(*)Search(SAS)driven SFC construction method is designed to efficiently generate polyhedron SFC according to the geometric relation among obstacles and collision-free waypoints.Via transforming the nonconvex obstacle-avoidance constraints to linear inequality constraints,SFC can mitigate infeasibility of trajectory planning and reduce computation complexity.Then,SCP casts the nonlinear trajectory optimization subject to SFC into convex programming subproblems to decrease the problem complexity.In addition,a convex optimizer based on interior point method is customized,where the search direction is calculated via successive elimination to further improve efficiency.Simulation experiments on dense obstacle scenarios show that SFC-SCP can generate dynamically feasible safe trajectory rapidly.Comparative studies with state-of-the-art SCP-based methods demonstrate the efficiency and reliability merits of SFC-SCP.Besides,the customized convex optimizer outperforms off-the-shelf optimizers in terms of computation time.展开更多
In this paper,we study the existence of least energy solutions for the following nonlinear fractional Schrodinger–Poisson system{(−∆)^(s)u+V(x)u+φu=f(u)in R^(3),(−∆)^(t)φ=u^(2)in R^(3),where s∈(3/4,1),t∈(0,1).Und...In this paper,we study the existence of least energy solutions for the following nonlinear fractional Schrodinger–Poisson system{(−∆)^(s)u+V(x)u+φu=f(u)in R^(3),(−∆)^(t)φ=u^(2)in R^(3),where s∈(3/4,1),t∈(0,1).Under some assumptions on V(x)and f,using Nehari–Pohozaev identity and the arguments of Brezis–Nirenberg,the monotonic trick and global compactness lemma,we prove the existence of a nontrivial least energy solution.展开更多
Core power is a key parameter of nuclear reactor.Traditionally,the proportional-integralderivative(PID)controllers are used to control the core power.Fractional-order PID(FOPID)controller represents the cutting edge i...Core power is a key parameter of nuclear reactor.Traditionally,the proportional-integralderivative(PID)controllers are used to control the core power.Fractional-order PID(FOPID)controller represents the cutting edge in core power control research.In comparing with the integer-order models,fractional-order models describe the variation of core power more accurately,thus provide a comprehensive and realistic depiction for the power and state changes of reactor core.However,current fractional-order controllers cannot adjust their parameters dynamically to response the environmental changes or demands.In this paper,we aim at the stable control and dynamic responsiveness of core power.Based on the strong selflearning ability of artificial neural network(ANN),we propose a composite controller combining the ANN and FOPID controller.The FOPID controller is firstly designed and a back propagation neural network(BPNN)is then utilized to optimize the parameters of FOPID.It is shown by simulation that the composite controller enables the real-time parameter tuning via ANN and retains the advantage of FOPID controller.展开更多
In this paper,we prove the transportation cost-information inequalities on the space of continuous paths with respect to the L~2-metric and the uniform metric for the law of the mild solution to the stochastic heat eq...In this paper,we prove the transportation cost-information inequalities on the space of continuous paths with respect to the L~2-metric and the uniform metric for the law of the mild solution to the stochastic heat equation defined on[0,T]×[0,1]driven by double-parameter fractional noise.展开更多
Fractional discrete systems can enable the modeling and control of the complicated processes more adaptable through the concept of versatility by providing systemdynamics’descriptions withmore degrees of freedom.Nume...Fractional discrete systems can enable the modeling and control of the complicated processes more adaptable through the concept of versatility by providing systemdynamics’descriptions withmore degrees of freedom.Numerical approaches have become necessary and sufficient to be addressed and employed for benefiting from the adaptability of such systems for varied applications.A variety of fractional Layla and Majnun model(LMM)system kinds has been proposed in the current work where some of these systems’key behaviors are addressed.In addition,the necessary and sufficient conditions for the stability and asymptotic stability of the fractional dynamic systems are investigated,as a result of which,the necessary requirements of the LMM to achieve constant and asymptotically steady zero resolutions are provided.As a special case,when Layla and Majnun have equal feelings,we propose an analysis of the system in view of its equilibrium and fixed point sets.Considering that the system has marginal stability if its eigenvalues have both negative and zero real portions,it is demonstrated that the system neither converges nor diverges to a steady trajectory or equilibrium point.It,rather,continues to hover along the line separating stability and instability based on the fractional LMM system.展开更多
This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digiti...This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digitization time while considering various constraints and process dependencies. The book digitization process involves three key steps: cutting, scanning, and binding. Each step has specific requirements and limitations such as the number of pages that can be processed simultaneously and potential bottlenecks. To address these complexities, we formulate the problem as a one-machine job shop scheduling problem with additional constraints to capture the unique characteristics of book digitization. We conducted a series of experiments to evaluate the performance of our proposed approach. By comparing the optimized schedules with the baseline approach, we demonstrated significant reductions in the overall processing time. In addition, we analyzed the impact of different weighting schemes on the optimization results, highlighting the importance of identifying and prioritizing critical processes. Our findings suggest that MIP-based optimization can be a valuable tool for improving the efficiency of individual work schedules, even in seemingly simple tasks, such as book digitization. By carefully considering specific constraints and objectives, we can save time and leverage resources by carefully considering specific constraints and objectives.展开更多
With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply ...With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply explored the application principles,advantages,and limitations of AIGC in intelligent code generation,analyzed the new mode of human-computer collaboration in high-level language programming courses driven by AIGC,discussed the impact of human-computer collaboration on programming efficiency and code quality through practical case studies,and looks forward to future development trends.This research aims to provide theoretical and practical guidance for high-level language programming courses and promote innovative development of high-level language programming courses under the human-computer collaboration paradigm.展开更多
Computing-in-memory(CIM)has been a promising candidate for artificial-intelligent applications thanks to the absence of data transfer between computation and storage blocks.Resistive random access memory(RRAM)based CI...Computing-in-memory(CIM)has been a promising candidate for artificial-intelligent applications thanks to the absence of data transfer between computation and storage blocks.Resistive random access memory(RRAM)based CIM has the advantage of high computing density,non-volatility as well as high energy efficiency.However,previous CIM research has predominantly focused on realizing high energy efficiency and high area efficiency for inference,while little attention has been devoted to addressing the challenges of on-chip programming speed,power consumption,and accuracy.In this paper,a fabri-cated 28 nm 576K RRAM-based CIM macro featuring optimized on-chip programming schemes is proposed to address the issues mentioned above.Different strategies of mapping weights to RRAM arrays are compared,and a novel direct-current ADC design is designed for both programming and inference stages.Utilizing the optimized hybrid programming scheme,4.67×programming speed,0.15×power saving and 4.31×compact weight distribution are realized.Besides,this macro achieves a normalized area efficiency of 2.82 TOPS/mm2 and a normalized energy efficiency of 35.6 TOPS/W.展开更多
With the widespread application of large language models(LLMs)in natural language processing and code generation,traditional High-Level Language Programming courses are facing unprecedented challenges and opportunitie...With the widespread application of large language models(LLMs)in natural language processing and code generation,traditional High-Level Language Programming courses are facing unprecedented challenges and opportunities.As a core programming language for computer science majors,C language remains irreplaceable due to its foundational nature and engineering adaptability.This paper,based on the rapid development of large model technologies,proposes a systematic reform design for C language teaching,focusing on teaching objectives,content structure,teaching methods,and evaluation systems.The article suggests a teaching framework centered on“human-computer collaborative programming,”integrating prompt training,AI-assisted debugging,and code generation analysis,aiming to enhance students’problem modeling ability,programming expression skills,and AI collaboration literacy.展开更多
Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disruptin...Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disrupting the neural connections that allow communication between the brain and the rest of the body, which results in varying degrees of motor and sensory impairment. Disconnection in the spinal tracts is an irreversible condition owing to the poor capacity for spontaneous axonal regeneration in the affected neurons.展开更多
More than seventy years before airplanes were invented,a twelve⁃year⁃old girl named Ada Lovelace dreamed of flying.She studied birds and experimented with materials to make wings,even writing a guide called Flyology.B...More than seventy years before airplanes were invented,a twelve⁃year⁃old girl named Ada Lovelace dreamed of flying.She studied birds and experimented with materials to make wings,even writing a guide called Flyology.But her curiosity didnt stop there.展开更多
With the rapid development of modern science and technology,the era of artificial intelligence has quietly come.Against the background of the new era,students’learning needs,learning resource acquisition methods,teac...With the rapid development of modern science and technology,the era of artificial intelligence has quietly come.Against the background of the new era,students’learning needs,learning resource acquisition methods,teachers’teaching concepts,teaching tools,and so on have changed significantly.How to carry out teaching reform based on this change has become one of the important issues facing educators,and the same is true for the teaching of computer programming courses.This paper focuses on the teaching reform of AI-enabled computer programming courses,analyzes its basic problems,and puts forward corresponding reform countermeasures to provide a useful reference for front-line teachers.展开更多
Background Non-invasive computed tomography angiography(CTA)-based fractional flow reserve(CT-FFR)could become a gatekeeper to invasive coronary angiography.Deep learning(DL)-based CT-FFR has shown promise when compar...Background Non-invasive computed tomography angiography(CTA)-based fractional flow reserve(CT-FFR)could become a gatekeeper to invasive coronary angiography.Deep learning(DL)-based CT-FFR has shown promise when compared to invasive FFR.To evaluate the performance of a DL-based CT-FFR technique,DeepVessel FFR(DVFFR).Methods This retrospective study was designed for iScheMia Assessment based on a Retrospective,single-center Trial of CTFFR(SMART).Patients suspected of stable coronary artery disease(CAD)and undergoing both CTA and invasive FFR examinations were consecutively selected from the Beijing Anzhen Hospital between January 1,2016 to December 30,2018.FFR obtained during invasive coronary angiography was used as the reference standard.DVFFR was calculated blindly using a DL-based CTFFR approach that utilized the complete tree structure of the coronary arteries.Results Three hundred and thirty nine patients(60.5±10.0 years and 209 men)and 414 vessels with direct invasive FFR were included in the analysis.At per-vessel level,sensitivity,specificity,accuracy,positive predictive value(PPV)and negative predictive value(NPV)of DVFFR were 94.7%,88.6%,90.8%,82.7%,and 96.7%,respectively.The area under the receiver operating characteristics curve(AUC)was 0.95 for DVFFR and 0.56 for CTA-based assessment with a significant difference(P<0.0001).At patient level,sensitivity,specificity,accuracy,PPV and NPV of DVFFR were 93.8%,88.0%,90.3%,83.0%,and 95.8%,respectively.The computation for DVFFR was fast with the average time of 22.5±1.9 s.Conclusions The results demonstrate that DVFFR was able to evaluate lesion hemodynamic significance accurately and effectively with improved diagnostic performance over CTA alone.Coronary artery disease(CAD)is a critical disease in which coronary artery luminal narrowing may result in myocardial ischemia.Early and effective assessment of myocardial ischemia is essential for optimal treatment planning so as to improve the quality of life and reduce medical costs.展开更多
In this paper, we study the stability of a class of conformable fractional-order systems using the Lyapunov function. We assume that the nonlinear part of the system satisfies the one-sided Lipschitz condition and the...In this paper, we study the stability of a class of conformable fractional-order systems using the Lyapunov function. We assume that the nonlinear part of the system satisfies the one-sided Lipschitz condition and the quadratic inner-bounded condition. We provide some sufficient conditions that ensure the asymptotic stability of the system. Furthermore, we present the construction of a feedback stabilizing controller for conformable fractional bilinear systems.展开更多
To investigate the temperature susceptibility and nonlinear memory effects of artificially frozen soil creep behavior,this study conducted uniaxial step-loading creep tests under controlled temperatures ranging from-1...To investigate the temperature susceptibility and nonlinear memory effects of artificially frozen soil creep behavior,this study conducted uniaxial step-loading creep tests under controlled temperatures ranging from-10℃to-20℃.The transient creep characteristics and steady-state creep rates of artificially frozen soils were systematically examined with respect to variations in temperature and stress.Experimental results demonstrate that decreasing temperatures lead to a decaying trend in the steady-state creep rate of silty frozen soil,confirming that low-temperature environments significantly inhibit plastic flow while enhancing material stiffness.Based on fractional calculus theory,a fractional derivative creep model was established.By incorporating temperature dependencies,the model was further improved to account for both stress and temperature effects.The model predictions align closely with experimental data,achieving over 91%agreement(standard deviation±1.8%),and effectively capture the stress-strain behavior of artificially frozen soil under varying thermal conditions.This research provides a reliable theoretical foundation for studying deformation characteristics in cold-regions engineering.展开更多
基金Supported by the National Natural Science Foundation of China(Grant Nos.12071133 and 11871196).
文摘In this paper,we study the minimax linear fractional programming problem on a non-empty bounded set,called problem(MLFP),and we design a branch and bound algorithm to find a globally optimal solution of(MLFP).Firstly,we convert the problem(MLFP)to a problem(EP2)that is equivalent to it.Secondly,by applying the convex relaxation technique to problem(EP2),a convex quadratic relaxation problem(CQRP)is obtained.Then,the overall framework of the algorithm is given and its convergence is proved,the worst-case iteration number is also estimated.Finally,experimental data are listed to illustrate the effectiveness of the algorithm.
基金Supported by NSFC(Nos.11661025,12161024)Natural Science Foundation of Guangxi(Nos.2020GXNSFAA159118,2021GXNSFAA196045)+2 种基金Guangxi Science and Technology Project(No.Guike AD20297006)Training Program for 1000 Young and Middle-aged Cadre Teachers in Universities of GuangxiNational College Student's Innovation and Entrepreneurship Training Program(No.202110595049)。
文摘In this paper,we present local functional law of the iterated logarithm for Cs?rg?-Révész type increments of fractional Brownian motion.The results obtained extend works of Gantert[Ann.Probab.,1993,21(2):1045-1049]and Monrad and Rootzén[Probab.Theory Related Fields,1995,101(2):173-192].
文摘This article studies the existence and uniqueness of the mild solution of a family of control systems with a delay that are governed by the nonlinear fractional evolution differential equations in Banach spaces.Moreover,we establish the controllability of the considered system.To do so,first,we investigate the approximate controllability of the corresponding linear system.Subsequently,we prove the nonlinear system is approximately controllable if the corresponding linear system is approximately controllable.To reach the conclusions,the theory of resolvent operators,the Banach contraction mapping principle,and fixed point theorems are used.While concluding,some examples are given to demonstrate the efficacy of the proposed results.
基金supported by Canada First Research Excellence Fund,Medicine by Design(to CMM)。
文摘Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.
基金supported by National Institute on Aging(NIH-NIA)R21 AG074152(to KMA)National Institute of Allergy and Infectious Diseases(NIAID)grant DP2 AI171150(to KMA)Department of Defense(DoD)grant AZ210089(to KMA)。
文摘The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functioning(Soles et al.,2023).Synthesized by neural and glial cells,the brain's ECM regulates a myriad of homeostatic cellular processes,including neuronal plasticity and firing(Miyata et al.,2012),cation buffering(Moraws ki et al.,2015),and glia-neuron interactions(Anderson et al.,2016).Considering the diversity of functions,dynamic remodeling of the brain's ECM indicates that this understudied medium is an active participant in both normal physiology and neurological diseases.
基金supported by the National Natural Science Foundation of China(No.62203256)。
文摘Generating dynamically feasible trajectory for fixed-wing Unmanned Aerial Vehicles(UAVs)in dense obstacle environments remains computationally intractable.This paper proposes a Safe Flight Corridor constrained Sequential Convex Programming(SFC-SCP)to improve the computation efficiency and reliability of trajectory generation.SFC-SCP combines the front-end convex polyhedron SFC construction and back-end SCP-based trajectory optimization.A Sparse A^(*)Search(SAS)driven SFC construction method is designed to efficiently generate polyhedron SFC according to the geometric relation among obstacles and collision-free waypoints.Via transforming the nonconvex obstacle-avoidance constraints to linear inequality constraints,SFC can mitigate infeasibility of trajectory planning and reduce computation complexity.Then,SCP casts the nonlinear trajectory optimization subject to SFC into convex programming subproblems to decrease the problem complexity.In addition,a convex optimizer based on interior point method is customized,where the search direction is calculated via successive elimination to further improve efficiency.Simulation experiments on dense obstacle scenarios show that SFC-SCP can generate dynamically feasible safe trajectory rapidly.Comparative studies with state-of-the-art SCP-based methods demonstrate the efficiency and reliability merits of SFC-SCP.Besides,the customized convex optimizer outperforms off-the-shelf optimizers in terms of computation time.
基金Supported by NSFC(No.12561023)partly by the Provincial Natural Science Foundation of Jiangxi,China(Nos.20232BAB201001,20202BAB211004)。
文摘In this paper,we study the existence of least energy solutions for the following nonlinear fractional Schrodinger–Poisson system{(−∆)^(s)u+V(x)u+φu=f(u)in R^(3),(−∆)^(t)φ=u^(2)in R^(3),where s∈(3/4,1),t∈(0,1).Under some assumptions on V(x)and f,using Nehari–Pohozaev identity and the arguments of Brezis–Nirenberg,the monotonic trick and global compactness lemma,we prove the existence of a nontrivial least energy solution.
文摘Core power is a key parameter of nuclear reactor.Traditionally,the proportional-integralderivative(PID)controllers are used to control the core power.Fractional-order PID(FOPID)controller represents the cutting edge in core power control research.In comparing with the integer-order models,fractional-order models describe the variation of core power more accurately,thus provide a comprehensive and realistic depiction for the power and state changes of reactor core.However,current fractional-order controllers cannot adjust their parameters dynamically to response the environmental changes or demands.In this paper,we aim at the stable control and dynamic responsiveness of core power.Based on the strong selflearning ability of artificial neural network(ANN),we propose a composite controller combining the ANN and FOPID controller.The FOPID controller is firstly designed and a back propagation neural network(BPNN)is then utilized to optimize the parameters of FOPID.It is shown by simulation that the composite controller enables the real-time parameter tuning via ANN and retains the advantage of FOPID controller.
基金Partially supported by Postgraduate Research and Practice Innovation Program of Jiangsu Province(Nos.KYCX22-2211,KYCX22-2205)。
文摘In this paper,we prove the transportation cost-information inequalities on the space of continuous paths with respect to the L~2-metric and the uniform metric for the law of the mild solution to the stochastic heat equation defined on[0,T]×[0,1]driven by double-parameter fractional noise.
基金supported by Ajman University Internal Research Grant No.(DRGS Ref.2024-IRGHBS-3).
文摘Fractional discrete systems can enable the modeling and control of the complicated processes more adaptable through the concept of versatility by providing systemdynamics’descriptions withmore degrees of freedom.Numerical approaches have become necessary and sufficient to be addressed and employed for benefiting from the adaptability of such systems for varied applications.A variety of fractional Layla and Majnun model(LMM)system kinds has been proposed in the current work where some of these systems’key behaviors are addressed.In addition,the necessary and sufficient conditions for the stability and asymptotic stability of the fractional dynamic systems are investigated,as a result of which,the necessary requirements of the LMM to achieve constant and asymptotically steady zero resolutions are provided.As a special case,when Layla and Majnun have equal feelings,we propose an analysis of the system in view of its equilibrium and fixed point sets.Considering that the system has marginal stability if its eigenvalues have both negative and zero real portions,it is demonstrated that the system neither converges nor diverges to a steady trajectory or equilibrium point.It,rather,continues to hover along the line separating stability and instability based on the fractional LMM system.
文摘This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digitization time while considering various constraints and process dependencies. The book digitization process involves three key steps: cutting, scanning, and binding. Each step has specific requirements and limitations such as the number of pages that can be processed simultaneously and potential bottlenecks. To address these complexities, we formulate the problem as a one-machine job shop scheduling problem with additional constraints to capture the unique characteristics of book digitization. We conducted a series of experiments to evaluate the performance of our proposed approach. By comparing the optimized schedules with the baseline approach, we demonstrated significant reductions in the overall processing time. In addition, we analyzed the impact of different weighting schemes on the optimization results, highlighting the importance of identifying and prioritizing critical processes. Our findings suggest that MIP-based optimization can be a valuable tool for improving the efficiency of individual work schedules, even in seemingly simple tasks, such as book digitization. By carefully considering specific constraints and objectives, we can save time and leverage resources by carefully considering specific constraints and objectives.
基金Education and Teaching Research Project of Beijing University of Technology(ER2024KCB08)。
文摘With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply explored the application principles,advantages,and limitations of AIGC in intelligent code generation,analyzed the new mode of human-computer collaboration in high-level language programming courses driven by AIGC,discussed the impact of human-computer collaboration on programming efficiency and code quality through practical case studies,and looks forward to future development trends.This research aims to provide theoretical and practical guidance for high-level language programming courses and promote innovative development of high-level language programming courses under the human-computer collaboration paradigm.
基金supported in part by the National Natural Science Foundation of China (62422405, 62025111,62495100, 92464302)the STI 2030-Major Projects(2021ZD0201200)+1 种基金the Shanghai Municipal Science and Technology Major Projectthe Beijing Advanced Innovation Center for Integrated Circuits
文摘Computing-in-memory(CIM)has been a promising candidate for artificial-intelligent applications thanks to the absence of data transfer between computation and storage blocks.Resistive random access memory(RRAM)based CIM has the advantage of high computing density,non-volatility as well as high energy efficiency.However,previous CIM research has predominantly focused on realizing high energy efficiency and high area efficiency for inference,while little attention has been devoted to addressing the challenges of on-chip programming speed,power consumption,and accuracy.In this paper,a fabri-cated 28 nm 576K RRAM-based CIM macro featuring optimized on-chip programming schemes is proposed to address the issues mentioned above.Different strategies of mapping weights to RRAM arrays are compared,and a novel direct-current ADC design is designed for both programming and inference stages.Utilizing the optimized hybrid programming scheme,4.67×programming speed,0.15×power saving and 4.31×compact weight distribution are realized.Besides,this macro achieves a normalized area efficiency of 2.82 TOPS/mm2 and a normalized energy efficiency of 35.6 TOPS/W.
基金Education and Teaching Research Project of Beijing University of Technology(ER2024KCB08)。
文摘With the widespread application of large language models(LLMs)in natural language processing and code generation,traditional High-Level Language Programming courses are facing unprecedented challenges and opportunities.As a core programming language for computer science majors,C language remains irreplaceable due to its foundational nature and engineering adaptability.This paper,based on the rapid development of large model technologies,proposes a systematic reform design for C language teaching,focusing on teaching objectives,content structure,teaching methods,and evaluation systems.The article suggests a teaching framework centered on“human-computer collaborative programming,”integrating prompt training,AI-assisted debugging,and code generation analysis,aiming to enhance students’problem modeling ability,programming expression skills,and AI collaboration literacy.
基金financially supported by Ministerio de Ciencia e Innovación projects SAF2017-82736-C2-1-R to MTMFin Universidad Autónoma de Madrid and by Fundación Universidad Francisco de Vitoria to JS+2 种基金a predoctoral scholarship from Fundación Universidad Francisco de Vitoriafinancial support from a 6-month contract from Universidad Autónoma de Madrida 3-month contract from the School of Medicine of Universidad Francisco de Vitoria。
文摘Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disrupting the neural connections that allow communication between the brain and the rest of the body, which results in varying degrees of motor and sensory impairment. Disconnection in the spinal tracts is an irreversible condition owing to the poor capacity for spontaneous axonal regeneration in the affected neurons.
文摘More than seventy years before airplanes were invented,a twelve⁃year⁃old girl named Ada Lovelace dreamed of flying.She studied birds and experimented with materials to make wings,even writing a guide called Flyology.But her curiosity didnt stop there.
文摘With the rapid development of modern science and technology,the era of artificial intelligence has quietly come.Against the background of the new era,students’learning needs,learning resource acquisition methods,teachers’teaching concepts,teaching tools,and so on have changed significantly.How to carry out teaching reform based on this change has become one of the important issues facing educators,and the same is true for the teaching of computer programming courses.This paper focuses on the teaching reform of AI-enabled computer programming courses,analyzes its basic problems,and puts forward corresponding reform countermeasures to provide a useful reference for front-line teachers.
文摘Background Non-invasive computed tomography angiography(CTA)-based fractional flow reserve(CT-FFR)could become a gatekeeper to invasive coronary angiography.Deep learning(DL)-based CT-FFR has shown promise when compared to invasive FFR.To evaluate the performance of a DL-based CT-FFR technique,DeepVessel FFR(DVFFR).Methods This retrospective study was designed for iScheMia Assessment based on a Retrospective,single-center Trial of CTFFR(SMART).Patients suspected of stable coronary artery disease(CAD)and undergoing both CTA and invasive FFR examinations were consecutively selected from the Beijing Anzhen Hospital between January 1,2016 to December 30,2018.FFR obtained during invasive coronary angiography was used as the reference standard.DVFFR was calculated blindly using a DL-based CTFFR approach that utilized the complete tree structure of the coronary arteries.Results Three hundred and thirty nine patients(60.5±10.0 years and 209 men)and 414 vessels with direct invasive FFR were included in the analysis.At per-vessel level,sensitivity,specificity,accuracy,positive predictive value(PPV)and negative predictive value(NPV)of DVFFR were 94.7%,88.6%,90.8%,82.7%,and 96.7%,respectively.The area under the receiver operating characteristics curve(AUC)was 0.95 for DVFFR and 0.56 for CTA-based assessment with a significant difference(P<0.0001).At patient level,sensitivity,specificity,accuracy,PPV and NPV of DVFFR were 93.8%,88.0%,90.3%,83.0%,and 95.8%,respectively.The computation for DVFFR was fast with the average time of 22.5±1.9 s.Conclusions The results demonstrate that DVFFR was able to evaluate lesion hemodynamic significance accurately and effectively with improved diagnostic performance over CTA alone.Coronary artery disease(CAD)is a critical disease in which coronary artery luminal narrowing may result in myocardial ischemia.Early and effective assessment of myocardial ischemia is essential for optimal treatment planning so as to improve the quality of life and reduce medical costs.
文摘In this paper, we study the stability of a class of conformable fractional-order systems using the Lyapunov function. We assume that the nonlinear part of the system satisfies the one-sided Lipschitz condition and the quadratic inner-bounded condition. We provide some sufficient conditions that ensure the asymptotic stability of the system. Furthermore, we present the construction of a feedback stabilizing controller for conformable fractional bilinear systems.
基金National Key Research and Development Program of China“Structural Stability Assessment Techniques and Demonstration for Masonry Ancient Pagodas”(2023YFF0906005)。
文摘To investigate the temperature susceptibility and nonlinear memory effects of artificially frozen soil creep behavior,this study conducted uniaxial step-loading creep tests under controlled temperatures ranging from-10℃to-20℃.The transient creep characteristics and steady-state creep rates of artificially frozen soils were systematically examined with respect to variations in temperature and stress.Experimental results demonstrate that decreasing temperatures lead to a decaying trend in the steady-state creep rate of silty frozen soil,confirming that low-temperature environments significantly inhibit plastic flow while enhancing material stiffness.Based on fractional calculus theory,a fractional derivative creep model was established.By incorporating temperature dependencies,the model was further improved to account for both stress and temperature effects.The model predictions align closely with experimental data,achieving over 91%agreement(standard deviation±1.8%),and effectively capture the stress-strain behavior of artificially frozen soil under varying thermal conditions.This research provides a reliable theoretical foundation for studying deformation characteristics in cold-regions engineering.
