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 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.展开更多
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 there ...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.展开更多
For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by ...For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by analyzing the survival situation of critical cloud services.First,on the basis of the SAIR(susceptible,active,infected,recovered)model,the SEIRS(susceptible,exposed,infected,recovered,susceptible)model and the vulnerability diffusion model of the distributed virtual system,the evolution state of the virus is divided into six types,and then the diffusion rules of the virus in the service domain of the cloud computing system and the propagation rules between service domains are analyzee.Finally,on the basis of Bio-PEPA(biological-performance evaluation process algebra),the formalized modeling of the survivability evolution of critical cloud services is made,and the SLIRAS(susceptible,latent,infected,recovered,antidotal,susceptible)model is obtained.Based on the stochastic simulation and the ODEs(ordinary differential equations)simulation of the Bio-PEPA model,the sensitivity parameters of the model are analyzed from three aspects,namely,the virus propagation speed of inter-domain,recovery ability and memory ability.The results showthat the proposed model has high approximate fitting degree to the actual cloud computing system,and it can well reflect the survivable change of the system.展开更多
In this paper,we proposed a new design scheme of real time electronic countermeasure simulation system.This paper mainly expounds the modeling and realization methods of each part of the whole simulation system,and th...In this paper,we proposed a new design scheme of real time electronic countermeasure simulation system.This paper mainly expounds the modeling and realization methods of each part of the whole simulation system,and the real-time property of system has been lucubrated.Electronic countermeasure simulation system is the key part of military training of individuals;it can also allow the realistic evaluation of the performance of modern equipments and techniques.As a proof,we have drawn up a series of simulation scenarios,such as radar electronic reconnaissance simulation scenario,to explain the feasibility and the superiority of our modeling scheme in this paper.展开更多
Hybrid pull-push computational model can provide compelling results over either of single one for processing real-world graphs.Programmability and pipeline parallelism of FPGAs make it potential to process different s...Hybrid pull-push computational model can provide compelling results over either of single one for processing real-world graphs.Programmability and pipeline parallelism of FPGAs make it potential to process different stages of graph iterations.Nevertheless,considering the limited on-chip resources and streamline pipeline computation,the efficiency of hybrid model on FPGAs often suffers due to well-known random access feature of graph processing.In this paper,we present a hybrid graph processing system on FPGAs,which can achieve the best of both worlds.Our approach on FPGAs is unique and novel as follow.First,we propose to use edge block(consisting of edges with the same destination vertex set),which allows to sequentially access edges at block granularity for locality while still preserving the precision.Due to the independence of blocks in the sense that all edges in an inactive block are associated with inactive vertices,this also enables to skip invalid blocks for reducing redundant computation.Second,we consider a large number of vertices and their associated edge-blocks to maintain a predictable execution history.We also present to switch models in advance with few stalls using their state statistics.Our evaluation on a wide variety of graph algorithms for many real-world graphs shows that our approach achieves up to 3.69x speedup over state-of-the-art FPGA-based graph processing systems.展开更多
To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta c...To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta concept model of the C4ISR architecture is introduced.According to the meta concept model,we construct the executable meta models of the C4ISR architecture by extending the meta models of fUML.Then,we define the concrete syntax and executable activity algebra(EAA)semantics for executable models.The semantics functions are introduced to translating the syntax description of executable models into the item of EAA.To support the execution of models,we propose the executable rules which are the structural operational semantics of EAA.Finally,an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.展开更多
This paper provides a mathematical model for the billet reheating process in furnace.A new optimum method is brought up that the objective function is the integral value of enthalpy increasing process of a billet.Diff...This paper provides a mathematical model for the billet reheating process in furnace.A new optimum method is brought up that the objective function is the integral value of enthalpy increasing process of a billet.Different delays are simulated and calculated,some proper delay strategies are ob- tained.The on-line computer control model is de- veloped.The real production conditions simulated, the temperature deviation of drop out billet from the target temperature is kept within±15℃.展开更多
The general computer-aided design （CAD） software cannot meet the mould design requirement of the autoclave process for composites, because many parameters such as temperature and pressure should be considered in the...The general computer-aided design （CAD） software cannot meet the mould design requirement of the autoclave process for composites, because many parameters such as temperature and pressure should be considered in the mould design process, in addition to the material and geometry of the part. A framed-mould computer-aided design system （FMCAD） used in the autoclave moulding process is proposed in this paper. A function model of the software is presented, in which influence factors such as part structure, mould structure, and process parameters are considered; a design model of the software is established using object oriented （O-O） technology to integrate the stiffness calculation, temperature field calculation, and deformation field calculation of mould in the design, and in the design model, a hybrid model of mould based on calculation feature and form feature is presented to support those calculations. A prototype system is developed, in which a mould design process wizard is built to integrate the input information, calculation, analysis, data storage, display, and design results of mould design. Finally, three design examples are used to verify the prototype.展开更多
To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the ...To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the mapping rules from the specification of Petri nets extension to process are discussed in detail respectively. Based on the collective concepts of process, the specification of dynamic semantics also is constructed as a net system. Finally, to illustrate process intuitively, an example is specified completely.展开更多
文摘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.
基金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.
文摘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.
基金The National Natural Science Foundation of China(No.61202458,61403109)the Natural Science Foundation of Heilongjiang Province of China(No.F2017021)Harbin Science and Technology Innovation Research Funds(No.2016RAQXJ036)
文摘For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by analyzing the survival situation of critical cloud services.First,on the basis of the SAIR(susceptible,active,infected,recovered)model,the SEIRS(susceptible,exposed,infected,recovered,susceptible)model and the vulnerability diffusion model of the distributed virtual system,the evolution state of the virus is divided into six types,and then the diffusion rules of the virus in the service domain of the cloud computing system and the propagation rules between service domains are analyzee.Finally,on the basis of Bio-PEPA(biological-performance evaluation process algebra),the formalized modeling of the survivability evolution of critical cloud services is made,and the SLIRAS(susceptible,latent,infected,recovered,antidotal,susceptible)model is obtained.Based on the stochastic simulation and the ODEs(ordinary differential equations)simulation of the Bio-PEPA model,the sensitivity parameters of the model are analyzed from three aspects,namely,the virus propagation speed of inter-domain,recovery ability and memory ability.The results showthat the proposed model has high approximate fitting degree to the actual cloud computing system,and it can well reflect the survivable change of the system.
基金supported by Scientific Research Program Funded by Shaanxi Provincial Education Department(Program No.18JK0286)Weinan Science and Technology Initiatives Fund program(Program No.2019JCYJ-2-6)+2 种基金Teaching Reform Project of Weinan Normal University(Program No.JG201704)Industry-University-Cooperation Education Project of the Ministry of Education of China(Program No.201702030020,201801082110)Weinan Normal University's Characteristic Discipline Construction Project Electronic Information(Computer Technology)Master's Degree Point Construction Project(18TSXK06)。
文摘In this paper,we proposed a new design scheme of real time electronic countermeasure simulation system.This paper mainly expounds the modeling and realization methods of each part of the whole simulation system,and the real-time property of system has been lucubrated.Electronic countermeasure simulation system is the key part of military training of individuals;it can also allow the realistic evaluation of the performance of modern equipments and techniques.As a proof,we have drawn up a series of simulation scenarios,such as radar electronic reconnaissance simulation scenario,to explain the feasibility and the superiority of our modeling scheme in this paper.
基金This work was supported by the National Key Research and Development Program of China(2018YFB1003502)the National Natural Science Foundation of China(Grant Nos.61825202,61832006,and 61702201).
文摘Hybrid pull-push computational model can provide compelling results over either of single one for processing real-world graphs.Programmability and pipeline parallelism of FPGAs make it potential to process different stages of graph iterations.Nevertheless,considering the limited on-chip resources and streamline pipeline computation,the efficiency of hybrid model on FPGAs often suffers due to well-known random access feature of graph processing.In this paper,we present a hybrid graph processing system on FPGAs,which can achieve the best of both worlds.Our approach on FPGAs is unique and novel as follow.First,we propose to use edge block(consisting of edges with the same destination vertex set),which allows to sequentially access edges at block granularity for locality while still preserving the precision.Due to the independence of blocks in the sense that all edges in an inactive block are associated with inactive vertices,this also enables to skip invalid blocks for reducing redundant computation.Second,we consider a large number of vertices and their associated edge-blocks to maintain a predictable execution history.We also present to switch models in advance with few stalls using their state statistics.Our evaluation on a wide variety of graph algorithms for many real-world graphs shows that our approach achieves up to 3.69x speedup over state-of-the-art FPGA-based graph processing systems.
文摘To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta concept model of the C4ISR architecture is introduced.According to the meta concept model,we construct the executable meta models of the C4ISR architecture by extending the meta models of fUML.Then,we define the concrete syntax and executable activity algebra(EAA)semantics for executable models.The semantics functions are introduced to translating the syntax description of executable models into the item of EAA.To support the execution of models,we propose the executable rules which are the structural operational semantics of EAA.Finally,an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.
文摘This paper provides a mathematical model for the billet reheating process in furnace.A new optimum method is brought up that the objective function is the integral value of enthalpy increasing process of a billet.Different delays are simulated and calculated,some proper delay strategies are ob- tained.The on-line computer control model is de- veloped.The real production conditions simulated, the temperature deviation of drop out billet from the target temperature is kept within±15℃.
文摘The general computer-aided design （CAD） software cannot meet the mould design requirement of the autoclave process for composites, because many parameters such as temperature and pressure should be considered in the mould design process, in addition to the material and geometry of the part. A framed-mould computer-aided design system （FMCAD） used in the autoclave moulding process is proposed in this paper. A function model of the software is presented, in which influence factors such as part structure, mould structure, and process parameters are considered; a design model of the software is established using object oriented （O-O） technology to integrate the stiffness calculation, temperature field calculation, and deformation field calculation of mould in the design, and in the design model, a hybrid model of mould based on calculation feature and form feature is presented to support those calculations. A prototype system is developed, in which a mould design process wizard is built to integrate the input information, calculation, analysis, data storage, display, and design results of mould design. Finally, three design examples are used to verify the prototype.
文摘To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the mapping rules from the specification of Petri nets extension to process are discussed in detail respectively. Based on the collective concepts of process, the specification of dynamic semantics also is constructed as a net system. Finally, to illustrate process intuitively, an example is specified completely.
