A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical ...A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.展开更多
We investigate the role of core potential in high ionization potential systems on high harmonic generation (HHG) spectra and obtain attosecond pulses. In our scheme, we use a standard soft core potential to model high...We investigate the role of core potential in high ionization potential systems on high harmonic generation (HHG) spectra and obtain attosecond pulses. In our scheme, we use a standard soft core potential to model high ionization potential systems and irradiated these systems with fixed laser parameters. We observe the role of these systems on all the three steps involved in HHG process including ionization, propagation and recombination. In our study, the results illustrate that for high ionization potential systems, the HHG process is more sensitive to the ionization probability compared to the recombination amplitude. We also observe that due to the stronger core potential, small oscillations of the electrons during the propagation do not contribute to the HHG spectrum, which implies the dominance of only long quantum paths in the HHG spectrum. Our results, for attosecond pulse generation, show that long quantum path electrons are responsible for the supercontinuum region near the cutoff, which is suitable for the extraction of a single attosecond pulse in this region.展开更多
基金Project(05JT1035) supported by the Science and Technology Plan of Hunan Province
文摘A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.
文摘We investigate the role of core potential in high ionization potential systems on high harmonic generation (HHG) spectra and obtain attosecond pulses. In our scheme, we use a standard soft core potential to model high ionization potential systems and irradiated these systems with fixed laser parameters. We observe the role of these systems on all the three steps involved in HHG process including ionization, propagation and recombination. In our study, the results illustrate that for high ionization potential systems, the HHG process is more sensitive to the ionization probability compared to the recombination amplitude. We also observe that due to the stronger core potential, small oscillations of the electrons during the propagation do not contribute to the HHG spectrum, which implies the dominance of only long quantum paths in the HHG spectrum. Our results, for attosecond pulse generation, show that long quantum path electrons are responsible for the supercontinuum region near the cutoff, which is suitable for the extraction of a single attosecond pulse in this region.
