Purpose-The purpose of this paper is to eliminate the fluctuations in train arrival and departure times caused by skewed distributions in interval operation times.These fluctuations arise from random origin and proces...Purpose-The purpose of this paper is to eliminate the fluctuations in train arrival and departure times caused by skewed distributions in interval operation times.These fluctuations arise from random origin and process factors during interval operations and can accumulate over multiple intervals.The aim is to enhance the robustness of high-speed rail station arrival and departure track utilization schemes.Design/methodologylapproach-To achieve this objective,the paper simulates actual train operations,incorporating the fluctuations in interval operation times into the utilization of arrival and departure tracks at the station.The Monte Carlo simulation method is adopted to solve this problem.This approach transforms a nonlinear model,which includes constraints from probability distribution functions and is difficult to solve directly,into a linear programming model that is easier to handle.The method then linearly weights two objectives to optimize the solution.Findings-Through the application of Monte Carlo simulation,the study successfully converts the complex nonlinear model with probability distribution function constraints into a manageable linear programming model.By continuously adjusting the weighting coefficients of the linear objectives,the method is able to optimize the Pareto solution.Notably,this approach does not require extensive scene data to obtain a satisfactory Pareto solution set.Originality/value-The paper contributes to the field by introducing a novel method for optimizing high-speed rail station arrival and departure track utilization in the presence of fluctuations in interval operation times.The use of Monte Carlo simulation to transform the problem into a tractable linear programming model represents a significant advancement.Furthermore,the method's ability to produce satisfactory Pareto solutions without relying on extensive data sets adds to its practical value and applicability in real-world scenarios.展开更多
This study proposed a new real-time manufacturing process monitoring method to monitor and detect process shifts in manufacturing operations.Since real-time production process monitoring is critical in today’s smart ...This study proposed a new real-time manufacturing process monitoring method to monitor and detect process shifts in manufacturing operations.Since real-time production process monitoring is critical in today’s smart manufacturing.The more robust the monitoring model,the more reliable a process is to be under control.In the past,many researchers have developed real-time monitoring methods to detect process shifts early.However,thesemethods have limitations in detecting process shifts as quickly as possible and handling various data volumes and varieties.In this paper,a robust monitoring model combining Gated Recurrent Unit(GRU)and Random Forest(RF)with Real-Time Contrast(RTC)called GRU-RF-RTC was proposed to detect process shifts rapidly.The effectiveness of the proposed GRU-RF-RTC model is first evaluated using multivariate normal and nonnormal distribution datasets.Then,to prove the applicability of the proposed model in a realmanufacturing setting,the model was evaluated using real-world normal and non-normal problems.The results demonstrate that the proposed GRU-RF-RTC outperforms other methods in detecting process shifts quickly with the lowest average out-of-control run length(ARL1)in all synthesis and real-world problems under normal and non-normal cases.The experiment results on real-world problems highlight the significance of the proposed GRU-RF-RTC model in modern manufacturing process monitoring applications.The result reveals that the proposed method improves the shift detection capability by 42.14%in normal and 43.64%in gamma distribution problems.展开更多
In this paper,the optional and predictable projections of set-valued measurable processes are studied.The existence and uniqueness of optional and predictable projections of set-valued measurable processes are proved ...In this paper,the optional and predictable projections of set-valued measurable processes are studied.The existence and uniqueness of optional and predictable projections of set-valued measurable processes are proved under proper circumstances.展开更多
In a Euclidean space Rd, the Lebesgue-Stieltjes integral of set-valued stochastic processes with respect to real valued finite variation process is defined directly by employing all integrably bounded selections inste...In a Euclidean space Rd, the Lebesgue-Stieltjes integral of set-valued stochastic processes with respect to real valued finite variation process is defined directly by employing all integrably bounded selections instead of taking the decomposable closure appearing in some existed references. We shall show that this kind of integral is measurable, continuous in t under the Hausdorff metric and L2-bounded.展开更多
A new conception of generalized set-valued Ф-hemi-contractive mapping in Banach spaces is presented. Some strong convergence theorems of Ishikawa and Mann iterative approximation with errors is proved. The results in...A new conception of generalized set-valued Ф-hemi-contractive mapping in Banach spaces is presented. Some strong convergence theorems of Ishikawa and Mann iterative approximation with errors is proved. The results in this paper improve and extend the earlier results.展开更多
Remaining useful life(RUL) estimation based on condition monitoring data is central to condition based maintenance(CBM). In the current methods about the Wiener process based RUL estimation, the randomness of the fail...Remaining useful life(RUL) estimation based on condition monitoring data is central to condition based maintenance(CBM). In the current methods about the Wiener process based RUL estimation, the randomness of the failure threshold has not been studied thoroughly. In this work, by using the truncated normal distribution to model random failure threshold(RFT), an analytical and closed-form RUL distribution based on the current observed data was derived considering the posterior distribution of the drift parameter. Then, the Bayesian method was used to update the prior estimation of failure threshold. To solve the uncertainty of the censored in situ data of failure threshold, the expectation maximization(EM) algorithm is used to calculate the posteriori estimation of failure threshold. Numerical examples show that considering the randomness of the failure threshold and updating the prior information of RFT could improve the accuracy of real time RUL estimation.展开更多
The concepts of Markov process in random environment, q-matrix in random environment, and q-process in random environment are introduced. The minimal q-process in random environment is constructed and the necessary an...The concepts of Markov process in random environment, q-matrix in random environment, and q-process in random environment are introduced. The minimal q-process in random environment is constructed and the necessary and sufficient conditions for the uniqueness of q-process in random environment are given.展开更多
This article is a continuation of[9].Based on the discussion of random Kolmogorov forward(backward)equations,for any given q-matrix in random environment, Q(θ)=(q(θ;x,y),x,y∈X),an infinite class of q-proces...This article is a continuation of[9].Based on the discussion of random Kolmogorov forward(backward)equations,for any given q-matrix in random environment, Q(θ)=(q(θ;x,y),x,y∈X),an infinite class of q-processes in random environments satisfying the random Kolmogorov forward(backward)equation is constructed.Moreover, under some conditions,all the q-processes in random environments satisfying the random Kolmogorov forward(backward)equation are constructed.展开更多
The concepts of bi-immigration birth and death density matrix in random environment and bi-immigration birth and death process in random environment are introduced. For any bi-immigration birth and death matrix in ran...The concepts of bi-immigration birth and death density matrix in random environment and bi-immigration birth and death process in random environment are introduced. For any bi-immigration birth and death matrix in random environment Q(θ) with birth rate λ 〈 death rate μ, the following results are proved, (1) there is an unique q-process in random environment, P^-(θ*(0);t) = (p^-(θ^*(0);t,i,j),i,j ≥ 0), which is ergodic, that is, lim t→∞(θ^*(0);t,i,j) = π^-(θ^*(0);j) ≥0 does not depend on i ≥ 0 and ∑j≥0π (θ*(0);j) = 1, (2) there is a bi-immigration birth and death process in random enjvironment (X^* = {X^*,t ≥ 0},ε^* = {εt,t ∈ (-∞, ∞)}) with random transition matrix P^-(θ^* (0);t) such that X^* is a strictly stationary process.展开更多
For continuous-state branching processes in Lévy random environments, the recursion of n-moments and the equivalent condition for the existence of general f-moments are established, where f is a positive continuo...For continuous-state branching processes in Lévy random environments, the recursion of n-moments and the equivalent condition for the existence of general f-moments are established, where f is a positive continuous function satisfying some standard conditions.展开更多
Let(Z_(n))be a branching process with immigration in a random environmentξ,whereξis an independent and identically distributed sequence of random variables.We show asymptotic properties for all the moments of Z_(n) ...Let(Z_(n))be a branching process with immigration in a random environmentξ,whereξis an independent and identically distributed sequence of random variables.We show asymptotic properties for all the moments of Z_(n) and describe the decay rates of the n-step transition probabilities.As applications,a large deviation principle for the sequence log Z_(n) is established,and related large deviations are also studied.展开更多
In this paper, we investigate Galton-Watson branching processes in random environments. In the case where the environmental process is a Markov chain which is positive recurrent or has a transition matrix Q (θ,α) su...In this paper, we investigate Galton-Watson branching processes in random environments. In the case where the environmental process is a Markov chain which is positive recurrent or has a transition matrix Q (θ,α) such that sup_θ Q (θ,α)> 0 for some α, we prove that the model has the asymptotic behavior being similar to that of Galton-Watson branching processes. In other case where the environments are non-stationary independent, the sufficient conditions are obtained for certain extinction and uncertain extinction for the model.展开更多
This paper studies fractal properties of polar sets for random string processes. We give upper and lower bounds of the hitting probabilities on compact sets and prove some sufficient conditions and necessary condition...This paper studies fractal properties of polar sets for random string processes. We give upper and lower bounds of the hitting probabilities on compact sets and prove some sufficient conditions and necessary conditions for compact sets to be polar for the random string process. Moreover, we also determine the smallest Hausdorff dimensions of non-polar sets by constructing a Cantor-type set to connect its Hausdorff dimension and capacity.展开更多
Reducing the process variation is a significant concern for resistive random access memory(RRAM).Due to its ultrahigh integration density,RRAM arrays are prone to lithographic variation during the lithography process,...Reducing the process variation is a significant concern for resistive random access memory(RRAM).Due to its ultrahigh integration density,RRAM arrays are prone to lithographic variation during the lithography process,introducing electrical variation among different RRAM devices.In this work,an optical physical verification methodology for the RRAM array is developed,and the effects of different layout parameters on important electrical characteristics are systematically investigated.The results indicate that the RRAM devices can be categorized into three clusters according to their locations and lithography environments.The read resistance is more sensitive to the locations in the array(~30%)than SET/RESET voltage(<10%).The increase in the RRAM device length and the application of the optical proximity correction technique can help to reduce the variation to less than 10%,whereas it reduces RRAM read resistance by 4×,resulting in a higher power and area consumption.As such,we provide design guidelines to minimize the electrical variation of RRAM arrays due to the lithography process.展开更多
Embedded memory,which heavily relies on the manufacturing process,has been widely adopted in various industrial applications.As the field of embedded memory continues to evolve,innovative strategies are emerging to en...Embedded memory,which heavily relies on the manufacturing process,has been widely adopted in various industrial applications.As the field of embedded memory continues to evolve,innovative strategies are emerging to enhance performance.Among them,resistive random access memory(RRAM)has gained significant attention due to its numerousadvantages over traditional memory devices,including high speed(<1 ns),high density(4 F^(2)·n^(-1)),high scalability(~nm),and low power consumption(~pJ).This review focuses on the recent progress of embedded RRAM in industrial manufacturing and its potentialapplications.It provides a brief introduction to the concepts and advantages of RRAM,discusses the key factors that impact its industrial manufacturing,and presents the commercial progress driven by cutting-edge nanotechnology,which has been pursued by manysemiconductor giants.Additionally,it highlights the adoption of embedded RRAM in emerging applications within the realm of the Internet of Things and future intelligent computing,with a particular emphasis on its role in neuromorphic computing.Finally,the review discusses thecurrent challenges and provides insights into the prospects of embedded RRAM in the era of big data and artificial intelligence.展开更多
Let {X(t), t ≥ 0} be a centered stationary Gaussian process with correlation r(t)such that 1-r(t) is asymptotic to a regularly varying function. With T being a nonnegative random variable and independent of X(t), the...Let {X(t), t ≥ 0} be a centered stationary Gaussian process with correlation r(t)such that 1-r(t) is asymptotic to a regularly varying function. With T being a nonnegative random variable and independent of X(t), the exact asymptotics of P(sup_(t∈[0,T])X(t) > x) is considered, as x → ∞.展开更多
In this paper, we give the dual processes for superprocesses in random environments constructed by L Mytnik and the comparison theorem of these superprocesses with Dawson-Watanabe superprocesses.
The fuzzy static and dynamic random phenomena in an abstract separable Banach space is discussed in this paper. The representation theorems for fuzzy set valued random sets, fuzzy random elements and fuzzy set value...The fuzzy static and dynamic random phenomena in an abstract separable Banach space is discussed in this paper. The representation theorems for fuzzy set valued random sets, fuzzy random elements and fuzzy set valued stochastic processes are obtained.展开更多
In this paper,we prove some limsup results for increments and lag increments of G(t),which is a stable processe in random scenery.The proofs rely on the tail probability estimation of G(t).
In this paper, we shall represent a strong law of large numbers (SLLN) for weighted sums of set- valued random variables in the sense of the Hausdorff metric dH, based on the result of single-valued random variable ob...In this paper, we shall represent a strong law of large numbers (SLLN) for weighted sums of set- valued random variables in the sense of the Hausdorff metric dH, based on the result of single-valued random variable obtained by Taylor [1].展开更多
文摘Purpose-The purpose of this paper is to eliminate the fluctuations in train arrival and departure times caused by skewed distributions in interval operation times.These fluctuations arise from random origin and process factors during interval operations and can accumulate over multiple intervals.The aim is to enhance the robustness of high-speed rail station arrival and departure track utilization schemes.Design/methodologylapproach-To achieve this objective,the paper simulates actual train operations,incorporating the fluctuations in interval operation times into the utilization of arrival and departure tracks at the station.The Monte Carlo simulation method is adopted to solve this problem.This approach transforms a nonlinear model,which includes constraints from probability distribution functions and is difficult to solve directly,into a linear programming model that is easier to handle.The method then linearly weights two objectives to optimize the solution.Findings-Through the application of Monte Carlo simulation,the study successfully converts the complex nonlinear model with probability distribution function constraints into a manageable linear programming model.By continuously adjusting the weighting coefficients of the linear objectives,the method is able to optimize the Pareto solution.Notably,this approach does not require extensive scene data to obtain a satisfactory Pareto solution set.Originality/value-The paper contributes to the field by introducing a novel method for optimizing high-speed rail station arrival and departure track utilization in the presence of fluctuations in interval operation times.The use of Monte Carlo simulation to transform the problem into a tractable linear programming model represents a significant advancement.Furthermore,the method's ability to produce satisfactory Pareto solutions without relying on extensive data sets adds to its practical value and applicability in real-world scenarios.
基金support from the National Science and Technology Council of Taiwan(Contract Nos.111-2221 E-011081 and 111-2622-E-011019)the support from Intelligent Manufacturing Innovation Center(IMIC),National Taiwan University of Science and Technology(NTUST),Taipei,Taiwan,which is a Featured Areas Research Center in Higher Education Sprout Project of Ministry of Education(MOE),Taiwan(since 2023)was appreciatedWe also thank Wang Jhan Yang Charitable Trust Fund(Contract No.WJY 2020-HR-01)for its financial support.
文摘This study proposed a new real-time manufacturing process monitoring method to monitor and detect process shifts in manufacturing operations.Since real-time production process monitoring is critical in today’s smart manufacturing.The more robust the monitoring model,the more reliable a process is to be under control.In the past,many researchers have developed real-time monitoring methods to detect process shifts early.However,thesemethods have limitations in detecting process shifts as quickly as possible and handling various data volumes and varieties.In this paper,a robust monitoring model combining Gated Recurrent Unit(GRU)and Random Forest(RF)with Real-Time Contrast(RTC)called GRU-RF-RTC was proposed to detect process shifts rapidly.The effectiveness of the proposed GRU-RF-RTC model is first evaluated using multivariate normal and nonnormal distribution datasets.Then,to prove the applicability of the proposed model in a realmanufacturing setting,the model was evaluated using real-world normal and non-normal problems.The results demonstrate that the proposed GRU-RF-RTC outperforms other methods in detecting process shifts quickly with the lowest average out-of-control run length(ARL1)in all synthesis and real-world problems under normal and non-normal cases.The experiment results on real-world problems highlight the significance of the proposed GRU-RF-RTC model in modern manufacturing process monitoring applications.The result reveals that the proposed method improves the shift detection capability by 42.14%in normal and 43.64%in gamma distribution problems.
基金National Natural Science Foundation of China(1 9971 0 72 )
文摘In this paper,the optional and predictable projections of set-valued measurable processes are studied.The existence and uniqueness of optional and predictable projections of set-valued measurable processes are proved under proper circumstances.
文摘In a Euclidean space Rd, the Lebesgue-Stieltjes integral of set-valued stochastic processes with respect to real valued finite variation process is defined directly by employing all integrably bounded selections instead of taking the decomposable closure appearing in some existed references. We shall show that this kind of integral is measurable, continuous in t under the Hausdorff metric and L2-bounded.
文摘A new conception of generalized set-valued Ф-hemi-contractive mapping in Banach spaces is presented. Some strong convergence theorems of Ishikawa and Mann iterative approximation with errors is proved. The results in this paper improve and extend the earlier results.
基金Projects(51475462,61174030,61473094,61374126)supported by the National Natural Science Foundation of China
文摘Remaining useful life(RUL) estimation based on condition monitoring data is central to condition based maintenance(CBM). In the current methods about the Wiener process based RUL estimation, the randomness of the failure threshold has not been studied thoroughly. In this work, by using the truncated normal distribution to model random failure threshold(RFT), an analytical and closed-form RUL distribution based on the current observed data was derived considering the posterior distribution of the drift parameter. Then, the Bayesian method was used to update the prior estimation of failure threshold. To solve the uncertainty of the censored in situ data of failure threshold, the expectation maximization(EM) algorithm is used to calculate the posteriori estimation of failure threshold. Numerical examples show that considering the randomness of the failure threshold and updating the prior information of RFT could improve the accuracy of real time RUL estimation.
文摘The concepts of Markov process in random environment, q-matrix in random environment, and q-process in random environment are introduced. The minimal q-process in random environment is constructed and the necessary and sufficient conditions for the uniqueness of q-process in random environment are given.
基金the NNSF of China(10371092,10771185,10471148)the Foundation of Wuhan University
文摘This article is a continuation of[9].Based on the discussion of random Kolmogorov forward(backward)equations,for any given q-matrix in random environment, Q(θ)=(q(θ;x,y),x,y∈X),an infinite class of q-processes in random environments satisfying the random Kolmogorov forward(backward)equation is constructed.Moreover, under some conditions,all the q-processes in random environments satisfying the random Kolmogorov forward(backward)equation are constructed.
基金Supported by the NNSF of China (10371092,10771185) the Foundation of Whuan University
文摘The concepts of bi-immigration birth and death density matrix in random environment and bi-immigration birth and death process in random environment are introduced. For any bi-immigration birth and death matrix in random environment Q(θ) with birth rate λ 〈 death rate μ, the following results are proved, (1) there is an unique q-process in random environment, P^-(θ*(0);t) = (p^-(θ^*(0);t,i,j),i,j ≥ 0), which is ergodic, that is, lim t→∞(θ^*(0);t,i,j) = π^-(θ^*(0);j) ≥0 does not depend on i ≥ 0 and ∑j≥0π (θ*(0);j) = 1, (2) there is a bi-immigration birth and death process in random enjvironment (X^* = {X^*,t ≥ 0},ε^* = {εt,t ∈ (-∞, ∞)}) with random transition matrix P^-(θ^* (0);t) such that X^* is a strictly stationary process.
基金supported by the National Natural Science Foundation of China(11531001)
文摘For continuous-state branching processes in Lévy random environments, the recursion of n-moments and the equivalent condition for the existence of general f-moments are established, where f is a positive continuous function satisfying some standard conditions.
基金partially supported by the National Nature Science Foundation of China(11601286,11501146)。
文摘Let(Z_(n))be a branching process with immigration in a random environmentξ,whereξis an independent and identically distributed sequence of random variables.We show asymptotic properties for all the moments of Z_(n) and describe the decay rates of the n-step transition probabilities.As applications,a large deviation principle for the sequence log Z_(n) is established,and related large deviations are also studied.
文摘In this paper, we investigate Galton-Watson branching processes in random environments. In the case where the environmental process is a Markov chain which is positive recurrent or has a transition matrix Q (θ,α) such that sup_θ Q (θ,α)> 0 for some α, we prove that the model has the asymptotic behavior being similar to that of Galton-Watson branching processes. In other case where the environments are non-stationary independent, the sufficient conditions are obtained for certain extinction and uncertain extinction for the model.
基金supported by the Natural Science Foundation of Zhejiang Province(Y6100663)
文摘This paper studies fractal properties of polar sets for random string processes. We give upper and lower bounds of the hitting probabilities on compact sets and prove some sufficient conditions and necessary conditions for compact sets to be polar for the random string process. Moreover, we also determine the smallest Hausdorff dimensions of non-polar sets by constructing a Cantor-type set to connect its Hausdorff dimension and capacity.
基金supported in part by the Open Fund of State Key Laboratory of Integrated Chips and Systems,Fudan Universityin part by the National Science Foundation of China under Grant No.62304133 and No.62350610271.
文摘Reducing the process variation is a significant concern for resistive random access memory(RRAM).Due to its ultrahigh integration density,RRAM arrays are prone to lithographic variation during the lithography process,introducing electrical variation among different RRAM devices.In this work,an optical physical verification methodology for the RRAM array is developed,and the effects of different layout parameters on important electrical characteristics are systematically investigated.The results indicate that the RRAM devices can be categorized into three clusters according to their locations and lithography environments.The read resistance is more sensitive to the locations in the array(~30%)than SET/RESET voltage(<10%).The increase in the RRAM device length and the application of the optical proximity correction technique can help to reduce the variation to less than 10%,whereas it reduces RRAM read resistance by 4×,resulting in a higher power and area consumption.As such,we provide design guidelines to minimize the electrical variation of RRAM arrays due to the lithography process.
基金supported by the Key-Area Research and Development Program of Guangdong Province(Grant No.2021B0909060002)National Natural Science Foundation of China(Grant Nos.62204219,62204140)+1 种基金Major Program of Natural Science Foundation of Zhejiang Province(Grant No.LDT23F0401)Thanks to Professor Zhang Yishu from Zhejiang University,Professor Gao Xu from Soochow University,and Professor Zhong Shuai from Guangdong Institute of Intelligence Science and Technology for their support。
文摘Embedded memory,which heavily relies on the manufacturing process,has been widely adopted in various industrial applications.As the field of embedded memory continues to evolve,innovative strategies are emerging to enhance performance.Among them,resistive random access memory(RRAM)has gained significant attention due to its numerousadvantages over traditional memory devices,including high speed(<1 ns),high density(4 F^(2)·n^(-1)),high scalability(~nm),and low power consumption(~pJ).This review focuses on the recent progress of embedded RRAM in industrial manufacturing and its potentialapplications.It provides a brief introduction to the concepts and advantages of RRAM,discusses the key factors that impact its industrial manufacturing,and presents the commercial progress driven by cutting-edge nanotechnology,which has been pursued by manysemiconductor giants.Additionally,it highlights the adoption of embedded RRAM in emerging applications within the realm of the Internet of Things and future intelligent computing,with a particular emphasis on its role in neuromorphic computing.Finally,the review discusses thecurrent challenges and provides insights into the prospects of embedded RRAM in the era of big data and artificial intelligence.
基金Supported by the Scientific Research Fund of Sichuan Provincial Education Department(12ZB082)the Scientific research cultivation project of Sichuan University of Science&Engineering(2013PY07)+1 种基金the Scientific Research Fund of Shanghai University of Finance and Economics(2017110080)the Opening Project of Sichuan Province University Key Laboratory of Bridge Non-destruction Detecting and Engineering Computing(2018QZJ01)
文摘Let {X(t), t ≥ 0} be a centered stationary Gaussian process with correlation r(t)such that 1-r(t) is asymptotic to a regularly varying function. With T being a nonnegative random variable and independent of X(t), the exact asymptotics of P(sup_(t∈[0,T])X(t) > x) is considered, as x → ∞.
文摘In this paper, we give the dual processes for superprocesses in random environments constructed by L Mytnik and the comparison theorem of these superprocesses with Dawson-Watanabe superprocesses.
文摘The fuzzy static and dynamic random phenomena in an abstract separable Banach space is discussed in this paper. The representation theorems for fuzzy set valued random sets, fuzzy random elements and fuzzy set valued stochastic processes are obtained.
文摘In this paper,we prove some limsup results for increments and lag increments of G(t),which is a stable processe in random scenery.The proofs rely on the tail probability estimation of G(t).
文摘In this paper, we shall represent a strong law of large numbers (SLLN) for weighted sums of set- valued random variables in the sense of the Hausdorff metric dH, based on the result of single-valued random variable obtained by Taylor [1].