Asteroseismology of the DBV star CBS 114

Asteroseismology is a unique and powerful tool to investigate the internal structure of stars. CBS 114 is the sixth known pulsating DBV star. It was observed by Handler, Metcalfe, ＆ Wood at the South African Astronomical Observatory over three weeks in 2001. Then, it was observed by Metcalfe et al. for seven nights （2004 Feb. 19-25） on the 1.8 m telescope at the Bohyunsan Optical Astronomy Observatory and seven nights （2004 Feb. 21-27） on the 2.1 m telescope at the McDonald Observatory. Totally two triplets, four doublets, and five singlets were identified. The frequency splitting values are very different, from 5.2 p.Hz to 11.9 ~tHz, which may reflect differential rotations. We evolve grids of white dwarf models by MESA. Cores, added with He/C envelopes, of those white dwarf models are inserted into WDEC to evolve grids of DBV star models. With those DBV star models, we calculate eigenperiods. Those calculated periods are used to fit observed periods. A best-fitting model is selected. The parameters are T^ff ----- 25 000 K, M, = 0.740 MG and log（MHe/M,） = -4.5. With the relatively large stellar mass, the effective temperature is close to the previous spectroscopic result. In addition, kinetic energy distributions are calculated for the best-fitting model. We find that the observed modes with large frequency splitting values are fitted by the calculated modes with a large amount of kinetic energy distributed in the C/O core. After preliminary analysis, we suggest that the C/O core may rotate at least two times faster than the helium layer for CBS 114.

Component-based software reliability process simulation considering imperfect debugging

In view of the flaws of component-based software （CBS） reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model （MMFSQM）. Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.

Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point(CP) problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model(MMISQM) is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.

A software reliability growth model for component-based software incorporating debugging delay and imperfect debugging

In view of the problems and the weaknesses of component-based software （ CBS ） reliability modeling and analysis, and a lack of consideration for real debugging circumstance of integration tes- ting, a CBS reliability process analysis model is proposed incorporating debugging time delay, im- perfect debugging and limited debugging resources. CBS integration testing is formulated as a multi- queue muhichannel and finite server queuing model （MMFSQM） to illustrate fault detection process （FDP） and fault correction process （FCP）. A unified FCP is sketched, given debugging delay, the diversities of faults processing and the limitations of debugging resources. Furthermore, the impacts of imperfect debugging on fault detection and correction are explicitly elaborated, and the expres- sions of the cumulative number of fault detected and corrected are illustrated. Finally, the results of numerical experiments verify the effectiveness and rationality of the proposed model. By comparison, the proposed model is superior to the other models. The proposed model is closer to real CBS testing process and facilitates software engineer＇ s quantitatively analyzing, measuring and predicting CBS reliability. K