Wetlands in urban area are an important part of environment. The status of wetland is tightly related with the security and sustainable development of urban ecosystem and society. Jinan is the capital of Shandong prov...Wetlands in urban area are an important part of environment. The status of wetland is tightly related with the security and sustainable development of urban ecosystem and society. Jinan is the capital of Shandong province, China. It is the centre of culture and economy of this province and famous for its springs. So it has important meaning to survey the wetland resources of the urban parks. In this study, the quantity and location of various vegetation types and water areas were obtained using manual classification on QUICKBIRD images. Study results showed that arbor vegetation was domain green land type in the urban parks, so the vegetation structure in parks was reasonable; water quality of the wetlands in the parks was poor, and eutrophication phenomena was obvious in some water areas; the quantity of the water areas has been declined. Through the surveying, we should think that it is a big challenge for the government to protect and restore wetland resources in the parks from 2 respects of quantity and quality in urban area.展开更多
In recent years,there has been a backlash of sorts and the authenticity of images has been routinely questioned.Seeing is no longer believing.There is an urgent need for robust image forensic techniques to expose phot...In recent years,there has been a backlash of sorts and the authenticity of images has been routinely questioned.Seeing is no longer believing.There is an urgent need for robust image forensic techniques to expose photo forgery.This paper proposed a novel and effective technique to expose image forgery using inconsistent reflection.More specifically,a new technique was presented to calculate reflection line midpoint,the definition of midpoint ratio was given,and three standards were proposed and employed to detect image forgery.Accuracy and effectiveness of the proposed technique were evaluated using a data set consisting of 200 authentic and forged images.Experimental results indicate that the proposed method can detect image forgery with very high success rate.展开更多
With the improvement of electricity markets,the gradual aggravation of energy shortage and the environment pollution,it is urgent to formulate a new model to precisely satisfy the system demand for energy and reserve....With the improvement of electricity markets,the gradual aggravation of energy shortage and the environment pollution,it is urgent to formulate a new model to precisely satisfy the system demand for energy and reserve.Currently,power system opti-mization dispatching is always formulated as a discrete-time scheduling model.In this paper,we first demonstrate through an example that the upper and lower bounds of spinning reserve offered by a unit,given in the discrete-time model framework as constraints,is unreachable.This causes the problem that the reserve delivery obtained by the discrete-time scheduling model cannot be carried out precisely.From the detailed analysis of the ramp rate constraints,it is proved that the reachable upper and lower bounds of spinning reserve in every period can be expressed as functions of two variables,i.e.,generation level of unit at the start and end of this period.Thus,a new method is provided to calculate the upper and lower bounds of spinning reserve which are reachable in average.Furthermore,a new model based on this proposed method for joint scheduling of generation and reserve is presented,which considers the ability to realize the scheduled energy and reserve delivery.It converts the opti-mization based accurate scheduling for generation and reserve of power system from a continuous-time optimal control prob-lem to a nonlinear programming problem.Therefore,the proposed model can avoid the difficulties in solving a continu-ous-time optimal control problem.Based on the sequential quadratic programming method,numerical experiments for sched-uling electric power production systems are performed to evaluate the model and the results show that the new model is highly effective.展开更多
The Critical Cluster Model (CCM) is an optimization model assessing the evacuation risk on the scale of neighborhoods.The static evacuation risk in the CCM is measured by Bulk Lane Demand (BLD)-an index that solely de...The Critical Cluster Model (CCM) is an optimization model assessing the evacuation risk on the scale of neighborhoods.The static evacuation risk in the CCM is measured by Bulk Lane Demand (BLD)-an index that solely depends on network structure and population of evacuees.The advantage of the CCM is having less input parameters and with relatively smaller computational cost.Moreover,the process of risk assessment by the CCM is a global optimization process.For this reason,the CCM provides a relatively ideal solution for planning emergency traffic evacuation in open spaces.Considering that hazard installations in urban areas are becoming an increasing threat to urban safety,in the paper we proposed an evacuation risk assessment model with consideration of such installations.This model was developed on the basis of the CCM by introducing two important factors:the accident risk impact factor which was negatively correlated with distance,representing the impact of hazard installation;the evacuation direction which was under the consideration of evacuating away from the hazard installation,providing feasible evacuation routes.Finally,an application of the new model was presented for Beijing,China with the support of Geographical Information System (GIS).展开更多
Attacking time-sensitive targets has rigid demands for the timeliness and reliability of information transmission, while typical Media Access Control(MAC) designed for this application works well only in very light-...Attacking time-sensitive targets has rigid demands for the timeliness and reliability of information transmission, while typical Media Access Control(MAC) designed for this application works well only in very light-load scenarios; as a consequence, the performances of system throughput and channel utilization are degraded. For this problem, a feedback-retransmission based asynchronous FRequency hopping Media Access(FRMA) control protocol is proposed. Burst communication, asynchronous Frequency Hopping(FH), channel coding, and feedback retransmission are utilized in FRMA. With the mechanism of asynchronous FH, immediate packet transmission and multi-packet reception can be realized, and thus the timeliness is improved.Furthermore, reliability can be achieved via channel coding and feedback retransmission. With theories of queuing theory, Markov model, packets collision model, and discrete Laplace transformation, the formulas of packet success probability, system throughput, average packet end-to-end delay, and delay distribution are obtained. The approximation accuracy of theoretical derivation is verified by experimental results. Within a light-load network, the proposed FRMA has the ability of millisecond delay and 99% reliability as well as outperforms the non-feedback-retransmission based asynchronous frequency hopping media access control protocol.展开更多
As the carriers of electromagnetic information about the cardiac system,both magnetocardiography(MCG) and electrocardiography(ECG) are non-stationary signals(NSS).The essential and crucial features of NSS are the loca...As the carriers of electromagnetic information about the cardiac system,both magnetocardiography(MCG) and electrocardiography(ECG) are non-stationary signals(NSS).The essential and crucial features of NSS are the local time-frequency characteristics(LTFCH).Under the constraint of the uncertainty principle in the time-frequency domain(TFD),the LTFCH of those non-stationary signals can be determined by evolutionary spectrum analysis(ESA).In this paper,by analyzing the QRS complexes of both MCG and ECG data from healthy volunteers,we have derived some characteristic parameters(CHPs) in the TFD,such as the quality factor(Q) and center frequency(fz).According to the experiment results,we believe that there are threshold ranges of Q and fz values in the dynamic behavior of the cardiac system for healthy projects.If the CHPs are in the proper ranges,the cardiac system is in a normal condition and homeostasis can be self-correcting.In contrast,if the values of the CHPs are less than the proper ranges,the homeostasis of the cardiac system is lost and some cardiac diseases may result.The assumption of the threshold ranges is verified by sample data from different cardiac diseases,and the results support the assumption.The CHPs are not only a kind of new reference criterion for ECG in clinical diagnosis,but also afford a technological route for the application of MCGs in cardiology.展开更多
The positioning precision of the transmitting Chinese Area Positioning System(CAPS) is reduced due to the non-ideal distribution of the satellite constellation.Positioning and navigation enhancement methods are able t...The positioning precision of the transmitting Chinese Area Positioning System(CAPS) is reduced due to the non-ideal distribution of the satellite constellation.Positioning and navigation enhancement methods are able to improve the reliability and accuracy of the positioning system,especially for users in special regions and special applications.In this paper,a positioning enhanced scheme based on ultra-wide band(UWB) pseudolite is proposed for CAPS.It is demonstrated that the link budget of UWB pseudolite satisfies the FCC's emission mask requirements.The localization algorithm of the enhanced CAPS is presented.The simulations indicate that the positioning precision of the proposed enhanced scheme is improved greatly,and the feasibility of the enhanced scheme is thus proved.展开更多
Elucidation of gene regulatory networks is the key to understanding the complex interplay of transcription factors (TFs) in the growth and propagation of organisms. In this work, we applied the theory that genes belon...Elucidation of gene regulatory networks is the key to understanding the complex interplay of transcription factors (TFs) in the growth and propagation of organisms. In this work, we applied the theory that genes belonging to the same pathway are co-expressed, and therefore a promoter analysis of Arabidopsis genes could predict the transcriptional relationships between metabolic pathway genes. Using this approach, a total of 2268 TF-gene pairs were analyzed, 91 of which were characterized as highly confident, and 4 were confirmed by previously published experimental data. These results suggest that the predictions by this model are reliable. Furthermore, we demonstrated that the use of metabolic pathways to interpret gene regulatory networks of Arabidopsis has the potential to improve our understanding of the role of these processes in plant development and to identify biological functions of unknown genes.展开更多
Classical Petri net has been applied into biological analysis, especially as a qualitative model for biochemical pathways analysis, but lack of the ability for quantitative kinetic simulations. In our study, we presen...Classical Petri net has been applied into biological analysis, especially as a qualitative model for biochemical pathways analysis, but lack of the ability for quantitative kinetic simulations. In our study, we presented an integra- tion work of the qualitative model--Petri nets with the quantitative approach-ordinary differential equations (ODEs) for the modeling and analysis of metabolic networks. As an application of our study, the computational modeling of arachidonic acid (AA) biochemical network was provided. A Petri net was set up to present the constraint-based dynamic simulations on AA metabolic network combined with the validated ODEs model. Furthermore, Graphics Processing Unit (GPU) was adopted to accelerate the calculation of kinetic parameters unavailable from experi- ments. Our results have indicated that the proposed simulation method was practicable and useful with GPU accel- eration, and provides new clues for the large-scale qualitative and quantitative models of biochemical networks.展开更多
文摘Wetlands in urban area are an important part of environment. The status of wetland is tightly related with the security and sustainable development of urban ecosystem and society. Jinan is the capital of Shandong province, China. It is the centre of culture and economy of this province and famous for its springs. So it has important meaning to survey the wetland resources of the urban parks. In this study, the quantity and location of various vegetation types and water areas were obtained using manual classification on QUICKBIRD images. Study results showed that arbor vegetation was domain green land type in the urban parks, so the vegetation structure in parks was reasonable; water quality of the wetlands in the parks was poor, and eutrophication phenomena was obvious in some water areas; the quantity of the water areas has been declined. Through the surveying, we should think that it is a big challenge for the government to protect and restore wetland resources in the parks from 2 respects of quantity and quality in urban area.
基金Fundamental Research Funds for the Central Universities,China
文摘In recent years,there has been a backlash of sorts and the authenticity of images has been routinely questioned.Seeing is no longer believing.There is an urgent need for robust image forensic techniques to expose photo forgery.This paper proposed a novel and effective technique to expose image forgery using inconsistent reflection.More specifically,a new technique was presented to calculate reflection line midpoint,the definition of midpoint ratio was given,and three standards were proposed and employed to detect image forgery.Accuracy and effectiveness of the proposed technique were evaluated using a data set consisting of 200 authentic and forged images.Experimental results indicate that the proposed method can detect image forgery with very high success rate.
基金supported by the National Natural Science Foundation of China(Grant Nos.60921003,60736027,61174161,60974101)the Spe-cialized Research Fund for the Doctoral Program of Higher Education of China(Grant No.20090121110022)+3 种基金the Fundamental Research Funds for the Central Universities of Xiamen University(Grant Nos.2011121047,201112G018,CXB2011035)the Key Research Project of Fujian Province of China(Grant No.2009H0044)Xiamen University National 211 3rd Period Project of China)(Grant No.0630-E72000)the Natural Sci-ence Foundation of Fujian Province,China(Grant No.2011J05154)
文摘With the improvement of electricity markets,the gradual aggravation of energy shortage and the environment pollution,it is urgent to formulate a new model to precisely satisfy the system demand for energy and reserve.Currently,power system opti-mization dispatching is always formulated as a discrete-time scheduling model.In this paper,we first demonstrate through an example that the upper and lower bounds of spinning reserve offered by a unit,given in the discrete-time model framework as constraints,is unreachable.This causes the problem that the reserve delivery obtained by the discrete-time scheduling model cannot be carried out precisely.From the detailed analysis of the ramp rate constraints,it is proved that the reachable upper and lower bounds of spinning reserve in every period can be expressed as functions of two variables,i.e.,generation level of unit at the start and end of this period.Thus,a new method is provided to calculate the upper and lower bounds of spinning reserve which are reachable in average.Furthermore,a new model based on this proposed method for joint scheduling of generation and reserve is presented,which considers the ability to realize the scheduled energy and reserve delivery.It converts the opti-mization based accurate scheduling for generation and reserve of power system from a continuous-time optimal control prob-lem to a nonlinear programming problem.Therefore,the proposed model can avoid the difficulties in solving a continu-ous-time optimal control problem.Based on the sequential quadratic programming method,numerical experiments for sched-uling electric power production systems are performed to evaluate the model and the results show that the new model is highly effective.
文摘The Critical Cluster Model (CCM) is an optimization model assessing the evacuation risk on the scale of neighborhoods.The static evacuation risk in the CCM is measured by Bulk Lane Demand (BLD)-an index that solely depends on network structure and population of evacuees.The advantage of the CCM is having less input parameters and with relatively smaller computational cost.Moreover,the process of risk assessment by the CCM is a global optimization process.For this reason,the CCM provides a relatively ideal solution for planning emergency traffic evacuation in open spaces.Considering that hazard installations in urban areas are becoming an increasing threat to urban safety,in the paper we proposed an evacuation risk assessment model with consideration of such installations.This model was developed on the basis of the CCM by introducing two important factors:the accident risk impact factor which was negatively correlated with distance,representing the impact of hazard installation;the evacuation direction which was under the consideration of evacuating away from the hazard installation,providing feasible evacuation routes.Finally,an application of the new model was presented for Beijing,China with the support of Geographical Information System (GIS).
基金supported by the National Natural Science Foundation of China(No.61501496)
文摘Attacking time-sensitive targets has rigid demands for the timeliness and reliability of information transmission, while typical Media Access Control(MAC) designed for this application works well only in very light-load scenarios; as a consequence, the performances of system throughput and channel utilization are degraded. For this problem, a feedback-retransmission based asynchronous FRequency hopping Media Access(FRMA) control protocol is proposed. Burst communication, asynchronous Frequency Hopping(FH), channel coding, and feedback retransmission are utilized in FRMA. With the mechanism of asynchronous FH, immediate packet transmission and multi-packet reception can be realized, and thus the timeliness is improved.Furthermore, reliability can be achieved via channel coding and feedback retransmission. With theories of queuing theory, Markov model, packets collision model, and discrete Laplace transformation, the formulas of packet success probability, system throughput, average packet end-to-end delay, and delay distribution are obtained. The approximation accuracy of theoretical derivation is verified by experimental results. Within a light-load network, the proposed FRMA has the ability of millisecond delay and 99% reliability as well as outperforms the non-feedback-retransmission based asynchronous frequency hopping media access control protocol.
基金supported by the National Natural Science Foundation of China (607710003)
文摘As the carriers of electromagnetic information about the cardiac system,both magnetocardiography(MCG) and electrocardiography(ECG) are non-stationary signals(NSS).The essential and crucial features of NSS are the local time-frequency characteristics(LTFCH).Under the constraint of the uncertainty principle in the time-frequency domain(TFD),the LTFCH of those non-stationary signals can be determined by evolutionary spectrum analysis(ESA).In this paper,by analyzing the QRS complexes of both MCG and ECG data from healthy volunteers,we have derived some characteristic parameters(CHPs) in the TFD,such as the quality factor(Q) and center frequency(fz).According to the experiment results,we believe that there are threshold ranges of Q and fz values in the dynamic behavior of the cardiac system for healthy projects.If the CHPs are in the proper ranges,the cardiac system is in a normal condition and homeostasis can be self-correcting.In contrast,if the values of the CHPs are less than the proper ranges,the homeostasis of the cardiac system is lost and some cardiac diseases may result.The assumption of the threshold ranges is verified by sample data from different cardiac diseases,and the results support the assumption.The CHPs are not only a kind of new reference criterion for ECG in clinical diagnosis,but also afford a technological route for the application of MCGs in cardiology.
基金supported by the National Natural Science Foundation of China (Grant Nos. 61173012. 61173036)the National Basic Research Program of China (Grant No. 2007CB815500)+2 种基金the National High Technology Research and Development Program of China(Grant No. 2007AA12z343)the State Key Laboratory of Integrated Services Networks Open Project (Grant No. ISN12-05)the Open Fund Project of Key Laboratory in Hunan Universities (Grant No. 11K017)
文摘The positioning precision of the transmitting Chinese Area Positioning System(CAPS) is reduced due to the non-ideal distribution of the satellite constellation.Positioning and navigation enhancement methods are able to improve the reliability and accuracy of the positioning system,especially for users in special regions and special applications.In this paper,a positioning enhanced scheme based on ultra-wide band(UWB) pseudolite is proposed for CAPS.It is demonstrated that the link budget of UWB pseudolite satisfies the FCC's emission mask requirements.The localization algorithm of the enhanced CAPS is presented.The simulations indicate that the positioning precision of the proposed enhanced scheme is improved greatly,and the feasibility of the enhanced scheme is thus proved.
基金supported by the Science Foundation of Shanghai Municipal Education Commission (Grant No. 07ZZ60)
文摘Elucidation of gene regulatory networks is the key to understanding the complex interplay of transcription factors (TFs) in the growth and propagation of organisms. In this work, we applied the theory that genes belonging to the same pathway are co-expressed, and therefore a promoter analysis of Arabidopsis genes could predict the transcriptional relationships between metabolic pathway genes. Using this approach, a total of 2268 TF-gene pairs were analyzed, 91 of which were characterized as highly confident, and 4 were confirmed by previously published experimental data. These results suggest that the predictions by this model are reliable. Furthermore, we demonstrated that the use of metabolic pathways to interpret gene regulatory networks of Arabidopsis has the potential to improve our understanding of the role of these processes in plant development and to identify biological functions of unknown genes.
文摘Classical Petri net has been applied into biological analysis, especially as a qualitative model for biochemical pathways analysis, but lack of the ability for quantitative kinetic simulations. In our study, we presented an integra- tion work of the qualitative model--Petri nets with the quantitative approach-ordinary differential equations (ODEs) for the modeling and analysis of metabolic networks. As an application of our study, the computational modeling of arachidonic acid (AA) biochemical network was provided. A Petri net was set up to present the constraint-based dynamic simulations on AA metabolic network combined with the validated ODEs model. Furthermore, Graphics Processing Unit (GPU) was adopted to accelerate the calculation of kinetic parameters unavailable from experi- ments. Our results have indicated that the proposed simulation method was practicable and useful with GPU accel- eration, and provides new clues for the large-scale qualitative and quantitative models of biochemical networks.