A parabolic-bistable potential system driven by colored noise is studied. The exact analytical expressionsof the stationary probability distribution (SPD) and the moments of the system are derived. Furthermore, the me...A parabolic-bistable potential system driven by colored noise is studied. The exact analytical expressionsof the stationary probability distribution (SPD) and the moments of the system are derived. Furthermore, the meanfirst-passage time is calculated by the use of two approximate methods, respectively. It is found that (i) the double peaksof SPD are rubbed-down into a flat single peak with the increasing of noise intensity; (ii) a minimum occurs on the curve of the second-order moment of the system vs.noise intensity at the point DΓ=0.025;(iii)the results obtained by our approximate approach are in good agreement with the numerical calculations for either small or large correlation time Γ，while the conventional steepest descent apprximation leads to poor results.展开更多
Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process mod...Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.展开更多
A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error rec...A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error recovery is given Through the analysis of the behavioral properties of the FAS with the deadlock recovery model,the deadlock problem would be solved in the system.展开更多
In certain environments and under some conditions, the video images taken by the intelligent mobile video phones seem dark, and the colors are not bright or saturated enough.This paper presents an adaptive method to e...In certain environments and under some conditions, the video images taken by the intelligent mobile video phones seem dark, and the colors are not bright or saturated enough.This paper presents an adaptive method to enhance the video image brightness visualization and the color performance depending on the certain hardware property and function parameters. The experimental results prove that this method can enhance the colors and the contrast of the video images, based on the estimated quality feature values of each frame, without using the extra Digital Signal Processor (DSP).展开更多
The recently introduced real-time three-dimensional color Doppler flow imaging （RT-3D CDFI） technique provides a quick and accurate calculation of regurgitant jet volume （RJV） and fraction. In order to evaluate RT...The recently introduced real-time three-dimensional color Doppler flow imaging （RT-3D CDFI） technique provides a quick and accurate calculation of regurgitant jet volume （RJV） and fraction. In order to evaluate RT-3D CDFI in the noninvasive assessment of aortic RJV and regurgitant jet fraction （RJF） in patients with isolated aortic regurgitation, real-time three-dimensional echocardiographic studies were performed on 23 patients with isolated aortic regurgitation to obtain LV end-diastolic volumes （LVEDV）, end-systolic volumes （LVESV） and RJV, and then RJF could be calculated. The regurgitant volume （RV） and regurgitant fraction （RF） calculated by two-dimensional pulsed Doppler （2D-PD） method served as reference values. The results showed that aortic RJV measured by the RT-3D CDFI method showed a good correlation with the 2D-PD measurements （r= 0.93, Y=0.89X＋ 3.9, SEE= 8.6 mL, P〈0.001 ）; the mean （SD） difference between the two methods was - 1.5 （9.8） mL. % RJF estimated by the RT-3D CDFI method was also correlated well with the values obtained by the 2D-PD method （r=0.88, Y=0.71X＋ 14.8, SEE= 6.4 %, P〈0. 001）; the mean （SD） difference between the two methods was -1.2 （7.9） %. It was suggested that the newly developed RT-3D CDFI technique was feasible in the majority of patients. In patients with eccentric aortic regurgitation, this new modality provides additional information to that obtained from the two-dimensional examination, which overcomes the inherent limitations of two-dimensional echocardiography by depicting the full extent of the jet trajectory. In addition, the RT-3D CDFI method is quick and accurate in calculating RJV and RJF.展开更多
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services acr...In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.展开更多
Cordyceps militaris,which is a precious edible fungus,contains effective ingredients such as cordycepin and adenosine,and can treat a variety of diseases.However,light has the greatest effect on the growth of C.milita...Cordyceps militaris,which is a precious edible fungus,contains effective ingredients such as cordycepin and adenosine,and can treat a variety of diseases.However,light has the greatest effect on the growth of C.militaris in the process of artificial cultivation.In this study,the effects of light time,light intensity and light color on the growth,physiology,yield and quality of C.militaris were discussed to provide reference for the efficient artificial cultivation of C.militaris.展开更多
为探究冻融循环对食用菌预制菌汤的品质影响,本文以鲜菌汤为参照,对比了冻融过程中微生物数量、菌汤色泽、可溶性蛋白、还原糖、总酚含量等基本指标的变化,并基于超高效液相检测和气相色谱-质谱法分析冻融过程菌汤等鲜度和挥发性风味物...为探究冻融循环对食用菌预制菌汤的品质影响,本文以鲜菌汤为参照,对比了冻融过程中微生物数量、菌汤色泽、可溶性蛋白、还原糖、总酚含量等基本指标的变化,并基于超高效液相检测和气相色谱-质谱法分析冻融过程菌汤等鲜度和挥发性风味物质差异。研究表明,首次冻融大幅减少了菌汤的还原糖、总酚和总氨基酸含量,显著降低了菌汤等鲜度和挥发性成分含量,综合影响了菌汤的成分与风味。进一步通过冻融次数(1~5次)之间的对比,反复冻融3次菌汤可溶性蛋白含量相较于冻融1~2次显著降低(P<0.05),此外,等鲜度由1~2次冻融的0.441~0.450 g MSG/100 g直接下降至0.407 g MSG/100 g,同时微生物开始检出。在此后4~5次冻融过程中,虽然菌汤总酚、总氨基酸含量和等鲜度相对稳定,但核苷酸、可溶性蛋白和挥发性成分不断减少且菌落总数不断升高。因此,预制菌汤若需冻融处理则应控制在2次内为宜。展开更多
A method for predicting colored noise by introducing prediction of nonhnear time series is presented By adopting three kinds of neural networks prediction models, the colored noise prediction is studied through changi...A method for predicting colored noise by introducing prediction of nonhnear time series is presented By adopting three kinds of neural networks prediction models, the colored noise prediction is studied through changing the filter bandwidth for stochastic noise and the sampling rate for colored noise The results show that colored noise can be predicted The prediction error decreases with the increasing of the sampling rate or the narrowing of the filter bandwidth. If the parameters are selected properly, the prediction precision can meet the requirement of engineering implementation. The results offer a new reference way for increasing the ability for detecting weak signal in signal processing展开更多
A variety of problems in digital circuits, computer networks, automated manufacturing plants, etc., can be modeled as min-max systems. The cycle time is an important performance metric of such systems. In this paper, ...A variety of problems in digital circuits, computer networks, automated manufacturing plants, etc., can be modeled as min-max systems. The cycle time is an important performance metric of such systems. In this paper, we focus on the cycle time assignment of minimax systems which corresponds to the pole assignment problem in traditional linear control systems. For the min- max system with max-plus inputs and outputs, we show that the cycle time can be assigned disjointedly by a state feedback, if and only if the system is reachable. Furthermore, a necessary and sufficient condition for the cycle time to be assigned independently by a state feedback is given. The methods are constructive, and some numerical examples are given to illustrate how the methods work in practice.展开更多
文摘A parabolic-bistable potential system driven by colored noise is studied. The exact analytical expressionsof the stationary probability distribution (SPD) and the moments of the system are derived. Furthermore, the meanfirst-passage time is calculated by the use of two approximate methods, respectively. It is found that (i) the double peaksof SPD are rubbed-down into a flat single peak with the increasing of noise intensity; (ii) a minimum occurs on the curve of the second-order moment of the system vs.noise intensity at the point DΓ=0.025;(iii)the results obtained by our approximate approach are in good agreement with the numerical calculations for either small or large correlation time Γ，while the conventional steepest descent apprximation leads to poor results.
文摘Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.
文摘A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error recovery is given Through the analysis of the behavioral properties of the FAS with the deadlock recovery model,the deadlock problem would be solved in the system.
文摘In certain environments and under some conditions, the video images taken by the intelligent mobile video phones seem dark, and the colors are not bright or saturated enough.This paper presents an adaptive method to enhance the video image brightness visualization and the color performance depending on the certain hardware property and function parameters. The experimental results prove that this method can enhance the colors and the contrast of the video images, based on the estimated quality feature values of each frame, without using the extra Digital Signal Processor (DSP).
文摘The recently introduced real-time three-dimensional color Doppler flow imaging （RT-3D CDFI） technique provides a quick and accurate calculation of regurgitant jet volume （RJV） and fraction. In order to evaluate RT-3D CDFI in the noninvasive assessment of aortic RJV and regurgitant jet fraction （RJF） in patients with isolated aortic regurgitation, real-time three-dimensional echocardiographic studies were performed on 23 patients with isolated aortic regurgitation to obtain LV end-diastolic volumes （LVEDV）, end-systolic volumes （LVESV） and RJV, and then RJF could be calculated. The regurgitant volume （RV） and regurgitant fraction （RF） calculated by two-dimensional pulsed Doppler （2D-PD） method served as reference values. The results showed that aortic RJV measured by the RT-3D CDFI method showed a good correlation with the 2D-PD measurements （r= 0.93, Y=0.89X＋ 3.9, SEE= 8.6 mL, P〈0.001 ）; the mean （SD） difference between the two methods was - 1.5 （9.8） mL. % RJF estimated by the RT-3D CDFI method was also correlated well with the values obtained by the 2D-PD method （r=0.88, Y=0.71X＋ 14.8, SEE= 6.4 %, P〈0. 001）; the mean （SD） difference between the two methods was -1.2 （7.9） %. It was suggested that the newly developed RT-3D CDFI technique was feasible in the majority of patients. In patients with eccentric aortic regurgitation, this new modality provides additional information to that obtained from the two-dimensional examination, which overcomes the inherent limitations of two-dimensional echocardiography by depicting the full extent of the jet trajectory. In addition, the RT-3D CDFI method is quick and accurate in calculating RJV and RJF.
文摘In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.
基金Supported by Science and Technology Planning Project of Guangxi,China(Guike AD19245169,Guike AD18281072,Guike AA17202037,Guike AB16380164).
文摘Cordyceps militaris,which is a precious edible fungus,contains effective ingredients such as cordycepin and adenosine,and can treat a variety of diseases.However,light has the greatest effect on the growth of C.militaris in the process of artificial cultivation.In this study,the effects of light time,light intensity and light color on the growth,physiology,yield and quality of C.militaris were discussed to provide reference for the efficient artificial cultivation of C.militaris.
文摘为探究冻融循环对食用菌预制菌汤的品质影响,本文以鲜菌汤为参照,对比了冻融过程中微生物数量、菌汤色泽、可溶性蛋白、还原糖、总酚含量等基本指标的变化,并基于超高效液相检测和气相色谱-质谱法分析冻融过程菌汤等鲜度和挥发性风味物质差异。研究表明,首次冻融大幅减少了菌汤的还原糖、总酚和总氨基酸含量,显著降低了菌汤等鲜度和挥发性成分含量,综合影响了菌汤的成分与风味。进一步通过冻融次数(1~5次)之间的对比,反复冻融3次菌汤可溶性蛋白含量相较于冻融1~2次显著降低(P<0.05),此外,等鲜度由1~2次冻融的0.441~0.450 g MSG/100 g直接下降至0.407 g MSG/100 g,同时微生物开始检出。在此后4~5次冻融过程中,虽然菌汤总酚、总氨基酸含量和等鲜度相对稳定,但核苷酸、可溶性蛋白和挥发性成分不断减少且菌落总数不断升高。因此,预制菌汤若需冻融处理则应控制在2次内为宜。
文摘A method for predicting colored noise by introducing prediction of nonhnear time series is presented By adopting three kinds of neural networks prediction models, the colored noise prediction is studied through changing the filter bandwidth for stochastic noise and the sampling rate for colored noise The results show that colored noise can be predicted The prediction error decreases with the increasing of the sampling rate or the narrowing of the filter bandwidth. If the parameters are selected properly, the prediction precision can meet the requirement of engineering implementation. The results offer a new reference way for increasing the ability for detecting weak signal in signal processing
基金supported by National Natural Science Foundation of China (No.60774007) and the Royal Society of UK
文摘A variety of problems in digital circuits, computer networks, automated manufacturing plants, etc., can be modeled as min-max systems. The cycle time is an important performance metric of such systems. In this paper, we focus on the cycle time assignment of minimax systems which corresponds to the pole assignment problem in traditional linear control systems. For the min- max system with max-plus inputs and outputs, we show that the cycle time can be assigned disjointedly by a state feedback, if and only if the system is reachable. Furthermore, a necessary and sufficient condition for the cycle time to be assigned independently by a state feedback is given. The methods are constructive, and some numerical examples are given to illustrate how the methods work in practice.
