This study presents an innovative development of the exponentially weighted moving average(EWMA)control chart,explicitly adapted for the examination of time series data distinguished by seasonal autoregressive moving ...This study presents an innovative development of the exponentially weighted moving average(EWMA)control chart,explicitly adapted for the examination of time series data distinguished by seasonal autoregressive moving average behavior—SARMA(1,1)L under exponential white noise.Unlike previous works that rely on simplified models such as AR(1)or assume independence,this research derives for the first time an exact two-sided Average Run Length(ARL)formula for theModified EWMAchart under SARMA(1,1)L conditions,using a mathematically rigorous Fredholm integral approach.The derived formulas are validated against numerical integral equation(NIE)solutions,showing strong agreement and significantly reduced computational burden.Additionally,a performance comparison index(PCI)is introduced to assess the chart’s detection capability.Results demonstrate that the proposed method exhibits superior sensitivity to mean shifts in autocorrelated environments,outperforming existing approaches.The findings offer a new,efficient framework for real-time quality control in complex seasonal processes,with potential applications in environmental monitoring and intelligent manufacturing systems.展开更多
A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to ...A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an infinite Petri net. To prove properties of an ideal communication protocol, we derive an infinite Diophantine system of equations from it, which is subsequently solved. Then we present the programs htgen and ht-mcrl2-gen, developed in the C language, which generate Petri net and process algebra models of a hypertorus with a given number of dimensions and grid size. These are the inputs for the respective modeling tools Tina and mCRL2, which provide model visualization, step simulation, state space generation and reduction, and structural analysis techniques. Benchmarks to compare the two approaches are obtained. An ad-hoc induction-like technique on invariants,obtained for a series of generated models, allows the calculation of a solution of the Diophantine system in a parametric form.It is proven that the basic solutions of the infinite system have been found and that the infinite Petri net is bounded and conservative. Some remarks regarding liveness and liveness enforcing techniques are also presented.展开更多
This paper employs mathematical modeling and algebraic approach to derive the optimal manufacturing batch size and number of shipment for a vendor-buyer integrated economic production quantity (EPQ) model with scrap. ...This paper employs mathematical modeling and algebraic approach to derive the optimal manufacturing batch size and number of shipment for a vendor-buyer integrated economic production quantity (EPQ) model with scrap. Unlike the conventional method by using differential calculus to determine replenishment lot size and optimal number of shipments for such an integrated system, this paper proposes a straightforward algebraic approach to replace the use of calculus on the total cost function for solving the optimal production- shipment policies. A simpler form for computing long-run average cost for such a vendor- buyer integrated EPQ problem is also provided.展开更多
The concept and advantage of reconfigurable technology is introduced. A kind of processor architecture of re configurable macro processor (RMP) model based on FPGA array and DSP is put forward and has been implemented...The concept and advantage of reconfigurable technology is introduced. A kind of processor architecture of re configurable macro processor (RMP) model based on FPGA array and DSP is put forward and has been implemented. Two image algorithms are developed: template-based automatic target recognition and zone labeling. One is estimating for motion direction in the infrared image background, another is line picking-up algorithm based on image zone labeling and phase grouping technique. It is a kind of 'hardware' function that can be called by the DSP in high-level algorithm. It is also a kind of hardware algorithm of the DSP. The results of experiments show the reconfigurable computing technology based on RMP is an ideal accelerating means to deal with the high-speed image processing tasks. High real time performance is obtained in our two applications on RMP.展开更多
Granular computing is a very hot research field in recent years. In our previous work an algebraic quotient space model was proposed,where the quotient structure could not be deduced if the granulation was based on an...Granular computing is a very hot research field in recent years. In our previous work an algebraic quotient space model was proposed,where the quotient structure could not be deduced if the granulation was based on an equivalence relation. In this paper,definitions were given and formulas of the lower quotient congruence and upper quotient congruence were calculated to roughly represent the quotient structure. Then the accuracy and roughness were defined to measure the quotient structure in quantification. Finally,a numerical example was given to demonstrate that the rough representation and measuring methods are efficient and applicable. The work has greatly enriched the algebraic quotient space model and granular computing theory.展开更多
In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the con...In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.展开更多
Among the proposed techniques for delivering drugs to specific sites within the human body, magnetic targeting drug delivery surpasses due to its non-invasive character and its high targeting efficiency. Although ther...Among the proposed techniques for delivering drugs to specific sites within the human body, magnetic targeting drug delivery surpasses due to its non-invasive character and its high targeting efficiency. Although there have been some analyses theoretically for magnetic drug targeting, very few researchers have addressed the hydrodynamic models of magnetic fluids in the blood vessel of human body. This paper presents a mathematical model to describe the hydrodynamics of ferrofluids as drug carriers flowing in a blood vessel under the applied magnetic field. A 3D flow field of magnetic particles in a blood vessel model is numerically simulated in order to further understand clinical application of magnetic targeting drug delivery. Simulation results show that magnetic nanoparticles can be enriched in a target region depending on the applied magnetic field intensity. Magnetic resonance imaging confirms the enrichment of ferrofluids in a desired body tissue of Sprague-Dawley rats. The simulation results coincide with those animal experiments. Results of the analysis provide the important information and can suggest strategies for improving delivery in favor of the clinical application.展开更多
Through analyzing the movement characteristics of particles and particle group in jig bed, the mathematical model of jig stratifying process is established with Markov chain theory and it has been examined by stratify...Through analyzing the movement characteristics of particles and particle group in jig bed, the mathematical model of jig stratifying process is established with Markov chain theory and it has been examined by stratifying test with laboratory U-type jig. The experiment shows that the mathematical model can describe jig stratifying process well.展开更多
Machining process data is the core of computer aided process planning application systems.It is also provides essen- tial content for product life cycle engineering.The character of CAPP that supports product LCE and ...Machining process data is the core of computer aided process planning application systems.It is also provides essen- tial content for product life cycle engineering.The character of CAPP that supports product LCE and virtual manufacturing is an- alyzed.The structure and content of machining process data concerning green manufacturing is also examined.A logic model of Machining Process Data has been built based on an object oriented approach,using UML technology and a physical model of machin- ing process data that utilizes XML technology.To realize the integration of design and process,an approach based on graph-based volume decomposition was apposed.Instead,to solve the problem of generation in the machining process,case-based reasoning and rule-based reasoning have been applied synthetically.Finally,the integration framework and interface that deal with the CAPP integration with CAD,CAM,PDM,and ERP are discussed.展开更多
With the projected global surge in hydrogen demand, driven by increasing applications and the imperative for low-emission hydrogen, the integration of machine learning(ML) across the hydrogen energy value chain is a c...With the projected global surge in hydrogen demand, driven by increasing applications and the imperative for low-emission hydrogen, the integration of machine learning(ML) across the hydrogen energy value chain is a compelling avenue. This review uniquely focuses on harnessing the synergy between ML and computational modeling(CM) or optimization tools, as well as integrating multiple ML techniques with CM, for the synthesis of diverse hydrogen evolution reaction(HER) catalysts and various hydrogen production processes(HPPs). Furthermore, this review addresses a notable gap in the literature by offering insights, analyzing challenges, and identifying research prospects and opportunities for sustainable hydrogen production. While the literature reflects a promising landscape for ML applications in hydrogen energy domains, transitioning AI-based algorithms from controlled environments to real-world applications poses significant challenges. Hence, this comprehensive review delves into the technical,practical, and ethical considerations associated with the application of ML in HER catalyst development and HPP optimization. Overall, this review provides guidance for unlocking the transformative potential of ML in enhancing prediction efficiency and sustainability in the hydrogen production sector.展开更多
深度学习是人工智能领域的热门研究方向之一,它通过构建多层人工神经网络模仿人脑对数据的处理机制。大型语言模型(large language model,LLM)基于深度学习的架构,在无需编程指令的情况下,能通过分析大量数据以获得理解和生成人类语言...深度学习是人工智能领域的热门研究方向之一,它通过构建多层人工神经网络模仿人脑对数据的处理机制。大型语言模型(large language model,LLM)基于深度学习的架构,在无需编程指令的情况下,能通过分析大量数据以获得理解和生成人类语言的能力,被广泛应用于自然语言处理、计算机视觉、智慧医疗、智慧交通等诸多领域。文章总结了LLM在医疗领域的应用,涵盖了LLM针对医疗任务的基本训练流程、特殊策略以及在具体医疗场景中的应用。同时,进一步讨论了LLM在应用中面临的挑战,包括决策过程缺乏透明度、输出准确性以及隐私、伦理问题等,随后列举了相应的改进策略。最后,文章展望了LLM在医疗领域的未来发展趋势,及其对人类健康事业发展的潜在影响。展开更多
This paper presents the Advanced Observer Model (AOM), a groundbreaking conceptual framework designed to clarify the complex and often enigmatic nature of quantum mechanics. The AOM serves as a metaphorical lens, brin...This paper presents the Advanced Observer Model (AOM), a groundbreaking conceptual framework designed to clarify the complex and often enigmatic nature of quantum mechanics. The AOM serves as a metaphorical lens, bringing the elusive quantum realm into sharper focus by transforming its inherent uncertainty into a coherent, structured ‘Frame Stream’ that aids in the understanding of quantum phenomena. While the AOM offers conceptual simplicity and clarity, it recognizes the necessity of a rigorous theoretical foundation to address the fundamental uncertainties that lie at the core of quantum mechanics. This paper seeks to illuminate those theoretical ambiguities, bridging the gap between the abstract insights of the AOM and the intricate mathematical foundations of quantum theory. By integrating the conceptual clarity of the AOM with the theoretical intricacies of quantum mechanics, this work aspires to deepen our understanding of this fascinating and elusive field.展开更多
基金financially by the National Research Council of Thailand(NRCT)under Contract No.N42A670894.
文摘This study presents an innovative development of the exponentially weighted moving average(EWMA)control chart,explicitly adapted for the examination of time series data distinguished by seasonal autoregressive moving average behavior—SARMA(1,1)L under exponential white noise.Unlike previous works that rely on simplified models such as AR(1)or assume independence,this research derives for the first time an exact two-sided Average Run Length(ARL)formula for theModified EWMAchart under SARMA(1,1)L conditions,using a mathematically rigorous Fredholm integral approach.The derived formulas are validated against numerical integral equation(NIE)solutions,showing strong agreement and significantly reduced computational burden.Additionally,a performance comparison index(PCI)is introduced to assess the chart’s detection capability.Results demonstrate that the proposed method exhibits superior sensitivity to mean shifts in autocorrelated environments,outperforming existing approaches.The findings offer a new,efficient framework for real-time quality control in complex seasonal processes,with potential applications in environmental monitoring and intelligent manufacturing systems.
文摘A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an infinite Petri net. To prove properties of an ideal communication protocol, we derive an infinite Diophantine system of equations from it, which is subsequently solved. Then we present the programs htgen and ht-mcrl2-gen, developed in the C language, which generate Petri net and process algebra models of a hypertorus with a given number of dimensions and grid size. These are the inputs for the respective modeling tools Tina and mCRL2, which provide model visualization, step simulation, state space generation and reduction, and structural analysis techniques. Benchmarks to compare the two approaches are obtained. An ad-hoc induction-like technique on invariants,obtained for a series of generated models, allows the calculation of a solution of the Diophantine system in a parametric form.It is proven that the basic solutions of the infinite system have been found and that the infinite Petri net is bounded and conservative. Some remarks regarding liveness and liveness enforcing techniques are also presented.
文摘This paper employs mathematical modeling and algebraic approach to derive the optimal manufacturing batch size and number of shipment for a vendor-buyer integrated economic production quantity (EPQ) model with scrap. Unlike the conventional method by using differential calculus to determine replenishment lot size and optimal number of shipments for such an integrated system, this paper proposes a straightforward algebraic approach to replace the use of calculus on the total cost function for solving the optimal production- shipment policies. A simpler form for computing long-run average cost for such a vendor- buyer integrated EPQ problem is also provided.
文摘The concept and advantage of reconfigurable technology is introduced. A kind of processor architecture of re configurable macro processor (RMP) model based on FPGA array and DSP is put forward and has been implemented. Two image algorithms are developed: template-based automatic target recognition and zone labeling. One is estimating for motion direction in the infrared image background, another is line picking-up algorithm based on image zone labeling and phase grouping technique. It is a kind of 'hardware' function that can be called by the DSP in high-level algorithm. It is also a kind of hardware algorithm of the DSP. The results of experiments show the reconfigurable computing technology based on RMP is an ideal accelerating means to deal with the high-speed image processing tasks. High real time performance is obtained in our two applications on RMP.
基金Supported by the National Natural Science Foundation of China(No.61772031)the Special Energy Saving Foundation of Changsha,Hunan Province in 2017
文摘Granular computing is a very hot research field in recent years. In our previous work an algebraic quotient space model was proposed,where the quotient structure could not be deduced if the granulation was based on an equivalence relation. In this paper,definitions were given and formulas of the lower quotient congruence and upper quotient congruence were calculated to roughly represent the quotient structure. Then the accuracy and roughness were defined to measure the quotient structure in quantification. Finally,a numerical example was given to demonstrate that the rough representation and measuring methods are efficient and applicable. The work has greatly enriched the algebraic quotient space model and granular computing theory.
文摘In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.
基金supported by National Natural Science Foundation of China (Grant No. 50875169)National Basic Research Program of China (973 Program, Grant No. 2007CB936004).
文摘Among the proposed techniques for delivering drugs to specific sites within the human body, magnetic targeting drug delivery surpasses due to its non-invasive character and its high targeting efficiency. Although there have been some analyses theoretically for magnetic drug targeting, very few researchers have addressed the hydrodynamic models of magnetic fluids in the blood vessel of human body. This paper presents a mathematical model to describe the hydrodynamics of ferrofluids as drug carriers flowing in a blood vessel under the applied magnetic field. A 3D flow field of magnetic particles in a blood vessel model is numerically simulated in order to further understand clinical application of magnetic targeting drug delivery. Simulation results show that magnetic nanoparticles can be enriched in a target region depending on the applied magnetic field intensity. Magnetic resonance imaging confirms the enrichment of ferrofluids in a desired body tissue of Sprague-Dawley rats. The simulation results coincide with those animal experiments. Results of the analysis provide the important information and can suggest strategies for improving delivery in favor of the clinical application.
文摘Through analyzing the movement characteristics of particles and particle group in jig bed, the mathematical model of jig stratifying process is established with Markov chain theory and it has been examined by stratifying test with laboratory U-type jig. The experiment shows that the mathematical model can describe jig stratifying process well.
文摘Machining process data is the core of computer aided process planning application systems.It is also provides essen- tial content for product life cycle engineering.The character of CAPP that supports product LCE and virtual manufacturing is an- alyzed.The structure and content of machining process data concerning green manufacturing is also examined.A logic model of Machining Process Data has been built based on an object oriented approach,using UML technology and a physical model of machin- ing process data that utilizes XML technology.To realize the integration of design and process,an approach based on graph-based volume decomposition was apposed.Instead,to solve the problem of generation in the machining process,case-based reasoning and rule-based reasoning have been applied synthetically.Finally,the integration framework and interface that deal with the CAPP integration with CAD,CAM,PDM,and ERP are discussed.
基金express their gratitude to the Higher Institution Centre of Excellence (HICoE) fund under the project code (JPT.S(BPKI)2000/016/018/015JId.4(21)/2022002HICOE)Universiti Tenaga Nasional (UNITEN) for funding the research through the (J510050002–IC–6 BOLDREFRESH2025)Akaun Amanah Industri Bekalan Elektrik (AAIBE) Chair of Renewable Energy grant,and NEC Energy Transition Grant (202203003ETG)。
文摘With the projected global surge in hydrogen demand, driven by increasing applications and the imperative for low-emission hydrogen, the integration of machine learning(ML) across the hydrogen energy value chain is a compelling avenue. This review uniquely focuses on harnessing the synergy between ML and computational modeling(CM) or optimization tools, as well as integrating multiple ML techniques with CM, for the synthesis of diverse hydrogen evolution reaction(HER) catalysts and various hydrogen production processes(HPPs). Furthermore, this review addresses a notable gap in the literature by offering insights, analyzing challenges, and identifying research prospects and opportunities for sustainable hydrogen production. While the literature reflects a promising landscape for ML applications in hydrogen energy domains, transitioning AI-based algorithms from controlled environments to real-world applications poses significant challenges. Hence, this comprehensive review delves into the technical,practical, and ethical considerations associated with the application of ML in HER catalyst development and HPP optimization. Overall, this review provides guidance for unlocking the transformative potential of ML in enhancing prediction efficiency and sustainability in the hydrogen production sector.
文摘深度学习是人工智能领域的热门研究方向之一,它通过构建多层人工神经网络模仿人脑对数据的处理机制。大型语言模型(large language model,LLM)基于深度学习的架构,在无需编程指令的情况下,能通过分析大量数据以获得理解和生成人类语言的能力,被广泛应用于自然语言处理、计算机视觉、智慧医疗、智慧交通等诸多领域。文章总结了LLM在医疗领域的应用,涵盖了LLM针对医疗任务的基本训练流程、特殊策略以及在具体医疗场景中的应用。同时,进一步讨论了LLM在应用中面临的挑战,包括决策过程缺乏透明度、输出准确性以及隐私、伦理问题等,随后列举了相应的改进策略。最后,文章展望了LLM在医疗领域的未来发展趋势,及其对人类健康事业发展的潜在影响。
文摘This paper presents the Advanced Observer Model (AOM), a groundbreaking conceptual framework designed to clarify the complex and often enigmatic nature of quantum mechanics. The AOM serves as a metaphorical lens, bringing the elusive quantum realm into sharper focus by transforming its inherent uncertainty into a coherent, structured ‘Frame Stream’ that aids in the understanding of quantum phenomena. While the AOM offers conceptual simplicity and clarity, it recognizes the necessity of a rigorous theoretical foundation to address the fundamental uncertainties that lie at the core of quantum mechanics. This paper seeks to illuminate those theoretical ambiguities, bridging the gap between the abstract insights of the AOM and the intricate mathematical foundations of quantum theory. By integrating the conceptual clarity of the AOM with the theoretical intricacies of quantum mechanics, this work aspires to deepen our understanding of this fascinating and elusive field.
