Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instr...Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.展开更多
This paper with the purpose of protecting visual landscape environment in historical and cultural districts,analyzes categories and characteristics of historical and cultural districts from the perspective of visual l...This paper with the purpose of protecting visual landscape environment in historical and cultural districts,analyzes categories and characteristics of historical and cultural districts from the perspective of visual landscape,finally with the assessment basis of "landscape picture" proposes the classification of areas of 5 different levels,that is,the optimal viewing gallery,the secondary viewing gallery,the optimal viewing surface,the secondary viewing surface,and the common viewing surface,explores an approach of evaluating pollution indexes in historic and cultural districts by comprehensively evaluating "landscape pictures" in those areas of different levels.展开更多
The monthly variation,temporal-spatial distribution,transportation characteristics of vapour field at middle and lower atmosphere and their effects on drought in Beijing,Tianjin and Hebei districts were studied,which ...The monthly variation,temporal-spatial distribution,transportation characteristics of vapour field at middle and lower atmosphere and their effects on drought in Beijing,Tianjin and Hebei districts were studied,which have a guiding significance on predicting climate and arranging agricultural production in the district.展开更多
The culture in the era of planned economy, commodity economy and new residential districts were respectively analyzed, including cultural life, landscape culture, ecological culture and traditional culture.
Through questionnaire investigation,interviews and field survey,residence status of the citizens and residence expectations of the elderly in Hangzhou city were investigated.The contradictions between planning & c...Through questionnaire investigation,interviews and field survey,residence status of the citizens and residence expectations of the elderly in Hangzhou city were investigated.The contradictions between planning & construction of residential districts in Hangzhou and the aging of population were preliminarily analyzed.From the angles of psychological and behavioral characteristics of the elderly,many requirements of the elderly were reasonably taken into account in the planning & construction of residential districts.Through improving conditions of activity places and residence organizations of the elderly,leisure functions of the elderly in residential districts were perfected to provide references for the future planning & construction of residential districts for population aging.展开更多
By investigating present relocation residential districts for peasants whose houses are removed for the unified planning of rural areas in north Jiangsu Province, as well as residents' feelings about the environme...By investigating present relocation residential districts for peasants whose houses are removed for the unified planning of rural areas in north Jiangsu Province, as well as residents' feelings about the environment of residential district, main architectural structures and energy consumption conditions, the indoor thermal environment, use of main heating and cooling facilities, residents' satisfaction on the acoustical and luminous environment, major space-enclosing structures and calculation of energy-saving designs are analyzed, and suggestions are given for the architectural design of relocation residential districts in the study area. It is stressed that the relationship between energy conservation and architectural layout, orientation, lighting, ventilation, selection of enclosing-structure materials, facade, color and style should be properly handled in the planning, and the focus is to control building orientation and shape coefficient, on the basis of which energy-saving designs of windows, exterior walls and roofs can be done. Energy consumption of present residential buildings is calculated and analyzed to bring forth new ideas to the energy-saving designs for relocation residential districts in north Jiangsu Province, and establish an architectural energy-saving system suitable for climatic and natural conditions of north Jiangsu to instruct the energy-saving designs of relocation residential districts in the study area.展开更多
The question of how the category of entwined modules can be made into a braided monoidal category is studied. First, the sufficient and necessary conditions making the category into a monoidal category are obtained by...The question of how the category of entwined modules can be made into a braided monoidal category is studied. First, the sufficient and necessary conditions making the category into a monoidal category are obtained by using the fact that if (A, C, ψ) is an entwining structure, then A × C can be made into an entwined module. The conditions are that the algebra and coalgebra in question are both bialgebras with some extra compatibility relations. Then given a monodial category of entwined modules, the braiding is constructed by means of a twisted convolution invertible map Q, and the conditions making the category form into a braided monoidal category are obtained similarly. Finally, the construction is applied to the category of Doi-Hopf modules and (α, β )-Yetter-Drinfeld modules as examples.展开更多
Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD(H) is considered, where YD (H) means the disjoint union of the c...Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD(H) is considered, where YD (H) means the disjoint union of the category of generalized Yetter-Drinfeld modules nYD^H( α, β) for any α, β E Aut Hopf(H). First, the fact that YD(H) is closed under Mor is proved. Secondly, based on the properties of finitely generated projective modules and semisimplicity of H, YD(H) satisfies the exact condition. Thus each object in YD(H) can be decomposed into simple ones since H is noetherian and cosemisimple. Finally, it is proved that YD (H) is a sernisimple category.展开更多
Landscape design principles for residential districts were analyzed in this study,it was stressed that local features should be demonstrated,actual conditions of the site respected;functional demands of residential di...Landscape design principles for residential districts were analyzed in this study,it was stressed that local features should be demonstrated,actual conditions of the site respected;functional demands of residential districts should be clarified;landscape designs and architectural designs should be organically combined;central landscapes should be highlighted,sense of hierarchy and enclosure created;human-concerned and ecological principles should be followed.On this basis,landscape design techniques for residential districts were discussed from the perspectives of artistic conception and plant furnishing.In terms of plant furnishing,spatial processing,linear changes and changes of seasonal aspects were emphasized,and plants with environmental and economic benefits were suggested.By doing this,this study aimed at contributing to the future planning and construction of residential districts.展开更多
Field investigation shows that neighboring green space is an important part of the public landscaping for all residential districts,because it is able to highlight effects of landscaping and beautification,satisfy nee...Field investigation shows that neighboring green space is an important part of the public landscaping for all residential districts,because it is able to highlight effects of landscaping and beautification,satisfy needs of human-centered designs and show individualized landscape characteristics,moreover,it shows great influence on the landscape quality of residential districts.In view of problems in landscape design of residential districts,this study focuses on plant furnishing patterns,landscape demonstration effects and landscape differences,and then gives suggestions correspondingly,for example,plant furnishing patterns and cultural connotations of landscapes should be improved,human needs put on the top priority,and spaces organized in a proper way.The study aims to provide useful reference for the construction of external environment in residential districts.展开更多
In view of China's rapid urbanization,Nanyuan Dormitory Area of Anhui Agricultural University was studied as a representative of traditional living quarters with harmonious neighborhood relationship to discuss cur...In view of China's rapid urbanization,Nanyuan Dormitory Area of Anhui Agricultural University was studied as a representative of traditional living quarters with harmonious neighborhood relationship to discuss current use and coordinated development of traditional residential districts from the perspective of human settlement.Problems in the dormitory area were analyzed,neighboring environment,regional characteristics,cultures and all relevant elements were fully considered to build a favorable human settlement by following the coordinated development of human settlement and economy.Renovation strategies on the basis of maintaining original favorable human settlement were discussed from the perspectives of space ecology,dwelling environment,facilities and humanistic environment,so as to provide new concepts for the sustainable development of urban traditional residential districts and the construction of favorable human settlement.展开更多
This paper introduced domestic and overseas status, the historical evolution and the development history of earthquake disaster reduction planning. The urgencies and realistic significance were analyzed to carry out e...This paper introduced domestic and overseas status, the historical evolution and the development history of earthquake disaster reduction planning. The urgencies and realistic significance were analyzed to carry out earthquake disaster reduction planning for districts or countries in the northwest. With Hongsibao District in Wuzhong City, Ningxia Province as an example, this article analyzed in detail the present situation and the special problems of earthquake disaster reduction planning in Northwest China. The relevant solving measures were put forward in order to offer a reference for the scientific establishment and effective implementation of earth- quake disaster reduction planning in Northwest China. The foundation of earthquake disaster reduction in the Hongsibao District is still very weak, there is a single earthquake monitoring means, the emergency rescue system is not complete, the working mechanism is not perfect, and the lack of funding for the work of earthquake disaster reduction.展开更多
Taking green space reform in the Old Wujie Residential District of Urumqi Railway Bureau for example, current situation of green spaces in old residential districts of Urumqi City was introduced, and problems were sum...Taking green space reform in the Old Wujie Residential District of Urumqi Railway Bureau for example, current situation of green spaces in old residential districts of Urumqi City was introduced, and problems were summarized as "limited plant species, simple plant furnishings; improper planting location; conflicts between plant and pipe layout; serious competition leading to poor growth of plants; small ratio of green space, worn infrastructure; backward management level, and poor protection consciousness of residents". In view of these problems, relevant suggestions were given to improve infrastructure and plant furnishings in the study district, and to provide reference for green space reform in old residential districts in northwest China.展开更多
The method of sliding direction fitting is used to determine stress districts, taking the shear stress directions andratios of shear stress to stress on fault planes given by focal mechanism solutions as the criteria ...The method of sliding direction fitting is used to determine stress districts, taking the shear stress directions andratios of shear stress to stress on fault planes given by focal mechanism solutions as the criteria to select focalmechanism solutions of one region and sorting out the ear'thquakcs controlled by different tectonic stfess fields,and then determining the stress districts from epicenter distribution of eanhquakes. We call this method as step bystep convergence method. By inversion analyzing of 297 focal mechanism solutions, we consider that SouthwestChina and its adjacent area can be divided into 5 stress districts, and we worked out directions of the three principal stresses and values of shape factor gi in 5 stress districts.展开更多
Mountainous area makes up 22% of global land, and rational land use in this area is important for sustainable development. Mentougou district has been positioned as an ecological conservation development zone of Beiji...Mountainous area makes up 22% of global land, and rational land use in this area is important for sustainable development. Mentougou district has been positioned as an ecological conservation development zone of Beijing and significant land use changes have taken place since 2004. With the combination of GIS and Dinamica EGO(Environment for Geoprocessing Objects) model, the quantitative structure and spatial distribution of land use in Mentougou from 2006 to 2014 are analyzed in this paper. Considering topography has influence on the action mode of driving factors, the research area is divided into two parts based on elevation, mountainous area above 300 m, plain and shallow mountainous area below 300 m. Based on cellular automata theory, the probability of land use change is calculated by Weights of Evidence method and the spatial distribution of land use is simulated by means of two complementary spatial transition functions: Expander and Patcher. Land use pattern of Menougou in 2030 for three kinds of scenarios: trend development, rapid development and ecological protection are simulated. The comparison shows that the trend development scenario is more reasonable based on social, economic and environmental considerations and other scenarios provide a reference for improving irrational land use.展开更多
文摘Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.
基金Supported by Scientific Research and Innovation Program for Post-graduates in Jiangsu Province (CX10S_045Z)~~
文摘This paper with the purpose of protecting visual landscape environment in historical and cultural districts,analyzes categories and characteristics of historical and cultural districts from the perspective of visual landscape,finally with the assessment basis of "landscape picture" proposes the classification of areas of 5 different levels,that is,the optimal viewing gallery,the secondary viewing gallery,the optimal viewing surface,the secondary viewing surface,and the common viewing surface,explores an approach of evaluating pollution indexes in historic and cultural districts by comprehensively evaluating "landscape pictures" in those areas of different levels.
基金Supported by National Natural Sciences Foundations of China(40875032 and 40875002)Talents Culture Foundations of Beijing City (20051D0200802)~~
文摘The monthly variation,temporal-spatial distribution,transportation characteristics of vapour field at middle and lower atmosphere and their effects on drought in Beijing,Tianjin and Hebei districts were studied,which have a guiding significance on predicting climate and arranging agricultural production in the district.
文摘The culture in the era of planned economy, commodity economy and new residential districts were respectively analyzed, including cultural life, landscape culture, ecological culture and traditional culture.
文摘Through questionnaire investigation,interviews and field survey,residence status of the citizens and residence expectations of the elderly in Hangzhou city were investigated.The contradictions between planning & construction of residential districts in Hangzhou and the aging of population were preliminarily analyzed.From the angles of psychological and behavioral characteristics of the elderly,many requirements of the elderly were reasonably taken into account in the planning & construction of residential districts.Through improving conditions of activity places and residence organizations of the elderly,leisure functions of the elderly in residential districts were perfected to provide references for the future planning & construction of residential districts for population aging.
基金Supported by Talent-Introduction Scientific Research Program of Yancheng Institute of Technology(XKR2011078)~~
文摘By investigating present relocation residential districts for peasants whose houses are removed for the unified planning of rural areas in north Jiangsu Province, as well as residents' feelings about the environment of residential district, main architectural structures and energy consumption conditions, the indoor thermal environment, use of main heating and cooling facilities, residents' satisfaction on the acoustical and luminous environment, major space-enclosing structures and calculation of energy-saving designs are analyzed, and suggestions are given for the architectural design of relocation residential districts in the study area. It is stressed that the relationship between energy conservation and architectural layout, orientation, lighting, ventilation, selection of enclosing-structure materials, facade, color and style should be properly handled in the planning, and the focus is to control building orientation and shape coefficient, on the basis of which energy-saving designs of windows, exterior walls and roofs can be done. Energy consumption of present residential buildings is calculated and analyzed to bring forth new ideas to the energy-saving designs for relocation residential districts in north Jiangsu Province, and establish an architectural energy-saving system suitable for climatic and natural conditions of north Jiangsu to instruct the energy-saving designs of relocation residential districts in the study area.
基金Specialized Research Fund for the Doctoral Program of Higher Education(No.20060286006)the National Natural Science Founda-tion of China(No.10571026)
文摘The question of how the category of entwined modules can be made into a braided monoidal category is studied. First, the sufficient and necessary conditions making the category into a monoidal category are obtained by using the fact that if (A, C, ψ) is an entwining structure, then A × C can be made into an entwined module. The conditions are that the algebra and coalgebra in question are both bialgebras with some extra compatibility relations. Then given a monodial category of entwined modules, the braiding is constructed by means of a twisted convolution invertible map Q, and the conditions making the category form into a braided monoidal category are obtained similarly. Finally, the construction is applied to the category of Doi-Hopf modules and (α, β )-Yetter-Drinfeld modules as examples.
基金The National Natural Science Foundation of China(No.11371088)the Fundamental Research Funds for the Central Universities(No.3207013906)the Natural Science Foundation of Jiangsu Province(No.BK2012736)
文摘Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD(H) is considered, where YD (H) means the disjoint union of the category of generalized Yetter-Drinfeld modules nYD^H( α, β) for any α, β E Aut Hopf(H). First, the fact that YD(H) is closed under Mor is proved. Secondly, based on the properties of finitely generated projective modules and semisimplicity of H, YD(H) satisfies the exact condition. Thus each object in YD(H) can be decomposed into simple ones since H is noetherian and cosemisimple. Finally, it is proved that YD (H) is a sernisimple category.
文摘Landscape design principles for residential districts were analyzed in this study,it was stressed that local features should be demonstrated,actual conditions of the site respected;functional demands of residential districts should be clarified;landscape designs and architectural designs should be organically combined;central landscapes should be highlighted,sense of hierarchy and enclosure created;human-concerned and ecological principles should be followed.On this basis,landscape design techniques for residential districts were discussed from the perspectives of artistic conception and plant furnishing.In terms of plant furnishing,spatial processing,linear changes and changes of seasonal aspects were emphasized,and plants with environmental and economic benefits were suggested.By doing this,this study aimed at contributing to the future planning and construction of residential districts.
文摘Field investigation shows that neighboring green space is an important part of the public landscaping for all residential districts,because it is able to highlight effects of landscaping and beautification,satisfy needs of human-centered designs and show individualized landscape characteristics,moreover,it shows great influence on the landscape quality of residential districts.In view of problems in landscape design of residential districts,this study focuses on plant furnishing patterns,landscape demonstration effects and landscape differences,and then gives suggestions correspondingly,for example,plant furnishing patterns and cultural connotations of landscapes should be improved,human needs put on the top priority,and spaces organized in a proper way.The study aims to provide useful reference for the construction of external environment in residential districts.
文摘In view of China's rapid urbanization,Nanyuan Dormitory Area of Anhui Agricultural University was studied as a representative of traditional living quarters with harmonious neighborhood relationship to discuss current use and coordinated development of traditional residential districts from the perspective of human settlement.Problems in the dormitory area were analyzed,neighboring environment,regional characteristics,cultures and all relevant elements were fully considered to build a favorable human settlement by following the coordinated development of human settlement and economy.Renovation strategies on the basis of maintaining original favorable human settlement were discussed from the perspectives of space ecology,dwelling environment,facilities and humanistic environment,so as to provide new concepts for the sustainable development of urban traditional residential districts and the construction of favorable human settlement.
基金Supported by State Key Laboratory of Loess and Quaternary Geology Open-end Fund(SKLLQG1426)Post-doctoral Foundation and National Natural Science Foundation of China(41102107)~~
文摘This paper introduced domestic and overseas status, the historical evolution and the development history of earthquake disaster reduction planning. The urgencies and realistic significance were analyzed to carry out earthquake disaster reduction planning for districts or countries in the northwest. With Hongsibao District in Wuzhong City, Ningxia Province as an example, this article analyzed in detail the present situation and the special problems of earthquake disaster reduction planning in Northwest China. The relevant solving measures were put forward in order to offer a reference for the scientific establishment and effective implementation of earth- quake disaster reduction planning in Northwest China. The foundation of earthquake disaster reduction in the Hongsibao District is still very weak, there is a single earthquake monitoring means, the emergency rescue system is not complete, the working mechanism is not perfect, and the lack of funding for the work of earthquake disaster reduction.
文摘Taking green space reform in the Old Wujie Residential District of Urumqi Railway Bureau for example, current situation of green spaces in old residential districts of Urumqi City was introduced, and problems were summarized as "limited plant species, simple plant furnishings; improper planting location; conflicts between plant and pipe layout; serious competition leading to poor growth of plants; small ratio of green space, worn infrastructure; backward management level, and poor protection consciousness of residents". In view of these problems, relevant suggestions were given to improve infrastructure and plant furnishings in the study district, and to provide reference for green space reform in old residential districts in northwest China.
文摘The method of sliding direction fitting is used to determine stress districts, taking the shear stress directions andratios of shear stress to stress on fault planes given by focal mechanism solutions as the criteria to select focalmechanism solutions of one region and sorting out the ear'thquakcs controlled by different tectonic stfess fields,and then determining the stress districts from epicenter distribution of eanhquakes. We call this method as step bystep convergence method. By inversion analyzing of 297 focal mechanism solutions, we consider that SouthwestChina and its adjacent area can be divided into 5 stress districts, and we worked out directions of the three principal stresses and values of shape factor gi in 5 stress districts.
基金supported by the National Natural Science Foundation of China under(Grant No.41877533)Beijing Social Science Foundation(Grant No.18GLB014)
文摘Mountainous area makes up 22% of global land, and rational land use in this area is important for sustainable development. Mentougou district has been positioned as an ecological conservation development zone of Beijing and significant land use changes have taken place since 2004. With the combination of GIS and Dinamica EGO(Environment for Geoprocessing Objects) model, the quantitative structure and spatial distribution of land use in Mentougou from 2006 to 2014 are analyzed in this paper. Considering topography has influence on the action mode of driving factors, the research area is divided into two parts based on elevation, mountainous area above 300 m, plain and shallow mountainous area below 300 m. Based on cellular automata theory, the probability of land use change is calculated by Weights of Evidence method and the spatial distribution of land use is simulated by means of two complementary spatial transition functions: Expander and Patcher. Land use pattern of Menougou in 2030 for three kinds of scenarios: trend development, rapid development and ecological protection are simulated. The comparison shows that the trend development scenario is more reasonable based on social, economic and environmental considerations and other scenarios provide a reference for improving irrational land use.