We studied the species diversity of the herb layer and ecological factors in harvest-created gaps in beech stands under a single-tree selection system in Northern Iran. To determine diversity, the number of beech seed...We studied the species diversity of the herb layer and ecological factors in harvest-created gaps in beech stands under a single-tree selection system in Northern Iran. To determine diversity, the number of beech seedlings, and other ecological factors, 16 gaps were selected and subplots of 5 m2 were positioned at the centre and at the cardinal points of each gap. Species richness and Simpson diversity index increased with increasing gap area as did numbers of seedlings. With increasing humus layer thickness, species richness declined but the Hill evenness index increased. Species richness increased with increasing light availability. There was no relationship between crown radii of beech trees and diversity indices. Correlations between environmental factors and numbers of individuals of some species in the herb layer were not significant except in a few cases. The results help explain the effects of man-made gaps on the dynamics of managed beech stands and this benefits evaluation of silvicultural operating plans.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
文摘We studied the species diversity of the herb layer and ecological factors in harvest-created gaps in beech stands under a single-tree selection system in Northern Iran. To determine diversity, the number of beech seedlings, and other ecological factors, 16 gaps were selected and subplots of 5 m2 were positioned at the centre and at the cardinal points of each gap. Species richness and Simpson diversity index increased with increasing gap area as did numbers of seedlings. With increasing humus layer thickness, species richness declined but the Hill evenness index increased. Species richness increased with increasing light availability. There was no relationship between crown radii of beech trees and diversity indices. Correlations between environmental factors and numbers of individuals of some species in the herb layer were not significant except in a few cases. The results help explain the effects of man-made gaps on the dynamics of managed beech stands and this benefits evaluation of silvicultural operating plans.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
