Coordinating urban development with the protection of water resources is a serious global challenge faced by countries worldwide.This study constructed the coupled Water Ecological Security Pattern-Future Land Use Sim...Coordinating urban development with the protection of water resources is a serious global challenge faced by countries worldwide.This study constructed the coupled Water Ecological Security Pattern-Future Land Use Simulation(WESP-FLUS) model by integrating methods for identifying water–ecological sensitive areas and simulating land use type changes.Taking the Lanzhou-Baiyin metropolitan area in arid region of northwestern China as a case study,this research simulated land use patterns in 2030 under four development scenarios(natural development,urban economic optimization,ecological conservation priority,and urban-water coordinated development scenarios).The results identified 109.81 km^(2) of water–ecological source areas and 43 water–ecological corridors with a total length of 1255.4 km.Predicted land use patterns for 2030 displayed diverse trends,constrained by water–ecological sensitive areas across different scenarios,with urban built-up land mainly expanding radially around the central urban axis.The urban-water coordinated development scenario was the optimal solution that meets both urban development needs and water–ecological protection objectives.The urban built-up land could reach 546.68 km2 in 2030,representing a 91.39 km^(2) increase compared to 2020.This study aims to improve spatial planning methods under the “determining cities by water” concept,scientifically supporting territorial spatial planning and providing theoretical support for the coupling of urban development and natural environment in water-scarce arid regions.展开更多
A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security func...A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security functions and latent typical misuse behaviors,but also with the interaction of them.In this paper,we analyze the differences between SETAM with security use case and security misuse case in different types of security test requirements.To illustrate the effectiveness of SETAM,we compare them in a practical case study by the number of test cases and the number of faults detected by them.The results show that SETAM could decrease about 34.87%use cases on average,and the number of faults detected by SETAM increased by 71.67%in average,which means that our model can detect more faults with fewer test cases for software security testing.展开更多
A new protocol for quantum secure communication with authentication is proposed. The proposed protocol has a higher capacity as each EPR pair can carry four classical bits by the XOR operation and an auxiliary photon....A new protocol for quantum secure communication with authentication is proposed. The proposed protocol has a higher capacity as each EPR pair can carry four classical bits by the XOR operation and an auxiliary photon. Tile security and efficiency are analyzed in detail and the major advantage of this protocol is that it is more efficient without losing security.展开更多
We prot）ose a security-enhanced double-random phase encryption （DRPE） scheme using orthogonally encoded image and electronically synthesized key data to cope with the security problem of DRPE technique caused by fi...We prot）ose a security-enhanced double-random phase encryption （DRPE） scheme using orthogonally encoded image and electronically synthesized key data to cope with the security problem of DRPE technique caused by fixed double-random phase masks for eneryption. In the proposed scheme, we adopt the electronically synthesized key to frequently update the phase mask using a spatial light modulator, and also employ the orthogonal encoding technique to encode the image and electronically synthesized key data, which can enhance the security of both data. We provide detailed procedures for eneryption and decryption of the proposed scheme, and provide the simulation results to show the eneryption effects of the proposed scheme.展开更多
基金supported by the National Natural Science Foundation of China (42471230)。
文摘Coordinating urban development with the protection of water resources is a serious global challenge faced by countries worldwide.This study constructed the coupled Water Ecological Security Pattern-Future Land Use Simulation(WESP-FLUS) model by integrating methods for identifying water–ecological sensitive areas and simulating land use type changes.Taking the Lanzhou-Baiyin metropolitan area in arid region of northwestern China as a case study,this research simulated land use patterns in 2030 under four development scenarios(natural development,urban economic optimization,ecological conservation priority,and urban-water coordinated development scenarios).The results identified 109.81 km^(2) of water–ecological source areas and 43 water–ecological corridors with a total length of 1255.4 km.Predicted land use patterns for 2030 displayed diverse trends,constrained by water–ecological sensitive areas across different scenarios,with urban built-up land mainly expanding radially around the central urban axis.The urban-water coordinated development scenario was the optimal solution that meets both urban development needs and water–ecological protection objectives.The urban built-up land could reach 546.68 km2 in 2030,representing a 91.39 km^(2) increase compared to 2020.This study aims to improve spatial planning methods under the “determining cities by water” concept,scientifically supporting territorial spatial planning and providing theoretical support for the coupling of urban development and natural environment in water-scarce arid regions.
基金Supported by the National High Technology Research and Development Program of China(863 Program)(2009AA01Z402)the PLA University of Science and Technology Pre-research Project(20110202,20110210)+1 种基金the Natural Science Foundation of Jiangsu Province of China(BK2012059,BK2012060)the PLAUST Outstanding Graduate Student Thesis Fund(2012)
文摘A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security functions and latent typical misuse behaviors,but also with the interaction of them.In this paper,we analyze the differences between SETAM with security use case and security misuse case in different types of security test requirements.To illustrate the effectiveness of SETAM,we compare them in a practical case study by the number of test cases and the number of faults detected by them.The results show that SETAM could decrease about 34.87%use cases on average,and the number of faults detected by SETAM increased by 71.67%in average,which means that our model can detect more faults with fewer test cases for software security testing.
基金Supported by the Chongqing Research Program of Application Foundation and Advanced Technology under Grant No cstc2014jcyjA40028
文摘A new protocol for quantum secure communication with authentication is proposed. The proposed protocol has a higher capacity as each EPR pair can carry four classical bits by the XOR operation and an auxiliary photon. Tile security and efficiency are analyzed in detail and the major advantage of this protocol is that it is more efficient without losing security.
基金supported in part by the Basic Science Research Program through the National Research Foundation of Korea Funded by the Ministry of Science,ICT & Future Planning(No.2011-0030079)the Ministry of Education(No.NRF-2013R1A1A2057549)
文摘We prot）ose a security-enhanced double-random phase encryption （DRPE） scheme using orthogonally encoded image and electronically synthesized key data to cope with the security problem of DRPE technique caused by fixed double-random phase masks for eneryption. In the proposed scheme, we adopt the electronically synthesized key to frequently update the phase mask using a spatial light modulator, and also employ the orthogonal encoding technique to encode the image and electronically synthesized key data, which can enhance the security of both data. We provide detailed procedures for eneryption and decryption of the proposed scheme, and provide the simulation results to show the eneryption effects of the proposed scheme.
