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.展开更多
To solve the resource-constrained multiple project scheduling problem(RCMPSP) more effectively,a method based on timed colored Petri net(TCPN) was proposed.In this methodology,firstly a novel mapping mechanism between...To solve the resource-constrained multiple project scheduling problem(RCMPSP) more effectively,a method based on timed colored Petri net(TCPN) was proposed.In this methodology,firstly a novel mapping mechanism between traditional network diagram such as CPM(critical path method)/PERT(program evaluation and review technique) and TCPN was presented.Then a primary TCPN(PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism.Meanwhile,the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of RCMPSP.Finally,the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.展开更多
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.展开更多
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.展开更多
Based on statistical properties, two typical models are considered to calculate the uncertainties for some random noise sequences on the period extraction of a torsion pendulum, which is important and instructive in t...Based on statistical properties, two typical models are considered to calculate the uncertainties for some random noise sequences on the period extraction of a torsion pendulum, which is important and instructive in the measurement of gravitational constant G with the time-of-swing method. An expression of the uncertainty for the period measurement is obtained, which is dependent on the ratio ？t/（1/λ） where ？t is the interval of the sample time and 1/λ is the length of the correlation time. The result of processing experimental data shows that as the interval of the sample time ？t gradually shortens, the uncertainty of the period becomes smaller, and further when the ratio ？t/（1/λ） is less than 1, the uncertainty remains substantially unchanged.展开更多
This paper proposes a new method to diagnose the system fault of the process industry based on the monitor data set of distributed control system(DCS). Firstly, it defines a homeomorphism product space named color pha...This paper proposes a new method to diagnose the system fault of the process industry based on the monitor data set of distributed control system(DCS). Firstly, it defines a homeomorphism product space named color phase space which is a Cartesian product of two-dimensional Euclidean space and three-dimensional color phase space. Secondly, it maps the DCS data to the color phase space in order to get a system color-spectrum which displays the inherent relationship of the whole system. Then, it diagnoses the system fault by observing the color change on the color-spectrum depending on the physiological characteristics that human's eyes are more sensitive for the color change than data change.展开更多
A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-lik...A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-like topology of a definite network is given as the marking of dedicated places. The model represents a network containing workstations, servers, switches, and provides the evaluation of the network response time. Besides topology, the parameters of the model are performances of hardware and software used within the network. Performance evaluation for the network of the railway dispatcher center is implemented. Topics of the steady-stable condition and the optimal choice of hardware are discussed.展开更多
In current study, behavioral measures were conducted to investigate clothing color. The purpose was to focus on the rule that color brightness influencedpositive-negative emotional categorization. Results showed that ...In current study, behavioral measures were conducted to investigate clothing color. The purpose was to focus on the rule that color brightness influencedpositive-negative emotional categorization. Results showed that the effect of brightness on clothing color emotion categorization was significant. With the increase of brightness, the variation curve of positive emotion appears to be a “U-shaped”, whereas that of the negative emotion shows an upside down “U-shaped”. Compared with the low brightness colors, the emotion reaction to the high brightness colors was more positive;Most of the colors with different brightness scales were classified as positive emotions and the minors were classified as negative emotions;the positive colors could be done much faster than the negative ones.展开更多
We study a population model with strong and weak Allee effect driven by internal noise and external noise.Firstly, a single-species population model with Allee effect under environmental colored noise is established, ...We study a population model with strong and weak Allee effect driven by internal noise and external noise.Firstly, a single-species population model with Allee effect under environmental colored noise is established, then stable and unstable states are analyzed and interpreted in biology. After that, stationary probability distribution(SPD) of population is derived based on Fokker-Planck equation. Next, mean first-passage time(MFPT) is defined in order to quantify the transition between extinction state and survival state with Allee effect. It is found that population will not extinct when weak Allee effect exists. It is not beneficial to survival of the population with the increase of Allee threshold no matter whether strong Allee effect or weak Allee effect. When strong Allee effect occurs, the correlation time of multiplicative noise plays a positive role in survival of population, while the correlation time of additive noise has a negative effect. Crucially, the phenomenon of resonant activation is firstly discovered in population dynamics with Allee effect. The conclusions we obtain can be applied to the further research of population dynamics in ecology.展开更多
Traffic sign recognition (TSR, or Road Sign Recognition, RSR) is one of the Advanced Driver Assistance System (ADAS) devices in modern cars. To concern the most important issues, which are real-time and resource effic...Traffic sign recognition (TSR, or Road Sign Recognition, RSR) is one of the Advanced Driver Assistance System (ADAS) devices in modern cars. To concern the most important issues, which are real-time and resource efficiency, we propose a high efficiency hardware implementation for TSR. We divide the TSR procedure into two stages, detection and recognition. In the detection stage, under the assumption that most German traffic signs have red or blue colors with circle, triangle or rectangle shapes, we use Normalized RGB color transform and Single-Pass Connected Component Labeling (CCL) to find the potential traffic signs efficiently. For Single-Pass CCL, our contribution is to eliminate the “merge-stack” operations by recording connected relations of region in the scan phase and updating the labels in the iterating phase. In the recognition stage, the Histogram of Oriented Gradient (HOG) is used to generate the descriptor of the signs, and we classify the signs with Support Vector Machine (SVM). In the HOG module, we analyze the required minimum bits under different recognition rate. The proposed method achieves 96.61% detection rate and 90.85% recognition rate while testing with the GTSDB dataset. Our hardware implementation reduces the storage of CCL and simplifies the HOG computation. Main CCL storage size is reduced by 20% comparing to the most advanced design under typical condition. By using TSMC 90 nm technology, the proposed design operates at 105 MHz clock rate and processes in 135 fps with the image size of 1360 × 800. The chip size is about 1 mm2 and the power consumption is close to 8 mW. Therefore, this work is resource efficient and achieves real-time requirement.展开更多
文摘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.
文摘To solve the resource-constrained multiple project scheduling problem(RCMPSP) more effectively,a method based on timed colored Petri net(TCPN) was proposed.In this methodology,firstly a novel mapping mechanism between traditional network diagram such as CPM(critical path method)/PERT(program evaluation and review technique) and TCPN was presented.Then a primary TCPN(PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism.Meanwhile,the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of RCMPSP.Finally,the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.
文摘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.
基金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.
基金supported by the National Natural Science Foundation of China(Grant Nos.11175160,11275075,and 11575160)
文摘Based on statistical properties, two typical models are considered to calculate the uncertainties for some random noise sequences on the period extraction of a torsion pendulum, which is important and instructive in the measurement of gravitational constant G with the time-of-swing method. An expression of the uncertainty for the period measurement is obtained, which is dependent on the ratio ？t/（1/λ） where ？t is the interval of the sample time and 1/λ is the length of the correlation time. The result of processing experimental data shows that as the interval of the sample time ？t gradually shortens, the uncertainty of the period becomes smaller, and further when the ratio ？t/（1/λ） is less than 1, the uncertainty remains substantially unchanged.
基金the National Natural Science Foundation of China(No.51375375)
文摘This paper proposes a new method to diagnose the system fault of the process industry based on the monitor data set of distributed control system(DCS). Firstly, it defines a homeomorphism product space named color phase space which is a Cartesian product of two-dimensional Euclidean space and three-dimensional color phase space. Secondly, it maps the DCS data to the color phase space in order to get a system color-spectrum which displays the inherent relationship of the whole system. Then, it diagnoses the system fault by observing the color change on the color-spectrum depending on the physiological characteristics that human's eyes are more sensitive for the color change than data change.
文摘A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-like topology of a definite network is given as the marking of dedicated places. The model represents a network containing workstations, servers, switches, and provides the evaluation of the network response time. Besides topology, the parameters of the model are performances of hardware and software used within the network. Performance evaluation for the network of the railway dispatcher center is implemented. Topics of the steady-stable condition and the optimal choice of hardware are discussed.
文摘In current study, behavioral measures were conducted to investigate clothing color. The purpose was to focus on the rule that color brightness influencedpositive-negative emotional categorization. Results showed that the effect of brightness on clothing color emotion categorization was significant. With the increase of brightness, the variation curve of positive emotion appears to be a “U-shaped”, whereas that of the negative emotion shows an upside down “U-shaped”. Compared with the low brightness colors, the emotion reaction to the high brightness colors was more positive;Most of the colors with different brightness scales were classified as positive emotions and the minors were classified as negative emotions;the positive colors could be done much faster than the negative ones.
基金Supported by the National Natural Science Foundation of China Grant No.11571009Shanxi Scholarship Council of China under Grant No.2015-032+1 种基金Technological Innovation Programs of Higher Education Institutions in Shanxi Grant No.2015121Applied Basic Research Programs of Shanxi Province Grant No.2016021013
文摘We study a population model with strong and weak Allee effect driven by internal noise and external noise.Firstly, a single-species population model with Allee effect under environmental colored noise is established, then stable and unstable states are analyzed and interpreted in biology. After that, stationary probability distribution(SPD) of population is derived based on Fokker-Planck equation. Next, mean first-passage time(MFPT) is defined in order to quantify the transition between extinction state and survival state with Allee effect. It is found that population will not extinct when weak Allee effect exists. It is not beneficial to survival of the population with the increase of Allee threshold no matter whether strong Allee effect or weak Allee effect. When strong Allee effect occurs, the correlation time of multiplicative noise plays a positive role in survival of population, while the correlation time of additive noise has a negative effect. Crucially, the phenomenon of resonant activation is firstly discovered in population dynamics with Allee effect. The conclusions we obtain can be applied to the further research of population dynamics in ecology.
文摘Traffic sign recognition (TSR, or Road Sign Recognition, RSR) is one of the Advanced Driver Assistance System (ADAS) devices in modern cars. To concern the most important issues, which are real-time and resource efficiency, we propose a high efficiency hardware implementation for TSR. We divide the TSR procedure into two stages, detection and recognition. In the detection stage, under the assumption that most German traffic signs have red or blue colors with circle, triangle or rectangle shapes, we use Normalized RGB color transform and Single-Pass Connected Component Labeling (CCL) to find the potential traffic signs efficiently. For Single-Pass CCL, our contribution is to eliminate the “merge-stack” operations by recording connected relations of region in the scan phase and updating the labels in the iterating phase. In the recognition stage, the Histogram of Oriented Gradient (HOG) is used to generate the descriptor of the signs, and we classify the signs with Support Vector Machine (SVM). In the HOG module, we analyze the required minimum bits under different recognition rate. The proposed method achieves 96.61% detection rate and 90.85% recognition rate while testing with the GTSDB dataset. Our hardware implementation reduces the storage of CCL and simplifies the HOG computation. Main CCL storage size is reduced by 20% comparing to the most advanced design under typical condition. By using TSMC 90 nm technology, the proposed design operates at 105 MHz clock rate and processes in 135 fps with the image size of 1360 × 800. The chip size is about 1 mm2 and the power consumption is close to 8 mW. Therefore, this work is resource efficient and achieves real-time requirement.
