Microbatteries(MBs)are crucial to power miniaturized devices for the Internet of Things.In the evolutionary journey of MBs,fabrication technology emerges as the cornerstone,guiding the intricacies of their configurati...Microbatteries(MBs)are crucial to power miniaturized devices for the Internet of Things.In the evolutionary journey of MBs,fabrication technology emerges as the cornerstone,guiding the intricacies of their configuration designs,ensuring precision,and facilitating scalability for mass production.Photolithography stands out as an ideal technology,leveraging its unparalleled resolution,exceptional design flexibility,and entrenched position within the mature semiconductor industry.However,comprehensive reviews on its application in MB development remain scarce.This review aims to bridge that gap by thoroughly assessing the recent status and promising prospects of photolithographic microfabrication for MBs.Firstly,we delve into the fundamental principles and step-by-step procedures of photolithography,offering a nuanced understanding of its operational mechanisms and the criteria for photoresist selection.Subsequently,we highlighted the specific roles of photolithography in the fabrication of MBs,including its utilization as a template for creating miniaturized micropatterns,a protective layer during the etching process,a mold for soft lithography,a constituent of MB active component,and a sacrificial layer in the construction of micro-Swiss-roll structure.Finally,the review concludes with a summary of the key challenges and future perspectives of MBs fabricated by photolithography,providing comprehensive insights and sparking research inspiration in this field.展开更多
[Objective] The aim was to test the controlling effect of cleaning steriliza- tion system, material conveying system, and fermentation jar cooling system with equip- ments of fruit wine production line introduced in t...[Objective] The aim was to test the controlling effect of cleaning steriliza- tion system, material conveying system, and fermentation jar cooling system with equip- ments of fruit wine production line introduced in this study and its auto-control sys- tem field assembled and debugged. [Method] Based on controlling equipment and setting parameters on the configuration interface, the operation state of the control equipments could be real-time monitored and controlled with the help of configura- tion software. [Result] The result showed that the equipment system could reduce the temperature into 12 ℃ with the error of ＋0.5 ℃within 110 minutes when the fermentation temperature is set at 12 ℃ in real production. [Conclusion] The auto- control system of fruit wine production line was easy to be assembled and de- bugged to meet demands of different fruit wine productions.展开更多
The problems including excessive flow of attemperating water for boiler, failure of butterfly valve at the outlet of circulating water pump, burnt-out of thyristor for excitation regulator, load variation rate of CCS ...The problems including excessive flow of attemperating water for boiler, failure of butterfly valve at the outlet of circulating water pump, burnt-out of thyristor for excitation regulator, load variation rate of CCS not complying with the contract target, etc. occurred during start-up and debugging of two 600 MW generating units in Yangzhou No.2 Thermal Power Plant. Through analysis on these problems. the remedial measures were put forward, to which can be referred for similar units.展开更多
Testing-effort（TE） and imperfect debugging（ID） in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models（SRGMs）. For describing the S-shaped...Testing-effort（TE） and imperfect debugging（ID） in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models（SRGMs）. For describing the S-shaped varying trend of TE increasing rate more accurately, first, two S-shaped testing-effort functions（TEFs）, i.e.,delayed S-shaped TEF（DS-TEF） and inflected S-shaped TEF（IS-TEF）, are proposed. Then these two TEFs are incorporated into various types（exponential-type, delayed S-shaped and inflected S-shaped） of non-homogeneous Poisson process（NHPP）SRGMs with two forms of ID respectively for obtaining a series of new NHPP SRGMs which consider S-shaped TEFs as well as ID. Finally these new SRGMs and several comparison NHPP SRGMs are applied into four real failure data-sets respectively for investigating the fitting and prediction power of these new SRGMs.The experimental results show that：（i） the proposed IS-TEF is more suitable and flexible for describing the consumption of TE than the previous TEFs;（ii） incorporating TEFs into the inflected S-shaped NHPP SRGM may be more effective and appropriate compared with the exponential-type and the delayed S-shaped NHPP SRGMs;（iii） the inflected S-shaped NHPP SRGM considering both IS-TEF and ID yields the most accurate fitting and prediction results than the other comparison NHPP SRGMs.展开更多
Fault localization is an important topic in software testing, as it enables the developer to specify fault location in their code. One of the dynamic fault localization techniques is statistical debugging. In this stu...Fault localization is an important topic in software testing, as it enables the developer to specify fault location in their code. One of the dynamic fault localization techniques is statistical debugging. In this study, two statistical debugging algorithms are implemented, SOBER and Cause Isolation, and then the experimental works are conducted on five programs coded using Python as an example of well-known dynamic programming language. Results showed that in programs that contain only single bug, the two studied statistical debugging algorithms are very effective to localize a bug. In programs that have more than one bug, SOBER algorithm has limitations related to nested predicates, rarely observed predicates and complement predicates. The Cause Isolation has limitations related to sorting predicates based on importance and detecting bugs in predicate condition. The accuracy of both SOBER and Cause Isolation is affected by the program size. Quality comparison showed that SOBER algorithm requires more code examination than Cause Isolation to discover the bugs.展开更多
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 relia...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.展开更多
Software reliability model is the tool to measure the software reliability quantitatively. Hazard-Rate model is one of the most popular ones. The purpose of our research is to propose the hazard-rate model considering...Software reliability model is the tool to measure the software reliability quantitatively. Hazard-Rate model is one of the most popular ones. The purpose of our research is to propose the hazard-rate model considering fault level for Open Source Software (OSS). Moreover, we aim to adapt our proposed model to the hazard-rate considering the imperfect debugging environment. We have analyzed the trend of fault severity level by using fault data in Bug Tracking System (BTS) and proposed our model based on the result of analysis. Also, we have shown the numerical example for evaluating the performance of our proposed model. Furthermore, we have extended our proposed model to the hazard-rate considering the imperfect debugging environment and showed numerical example for evaluating the possibility of application. As the result, we found out that performance of our proposed model is better than typical hazard-rate models. Also, we verified the possibility of application of proposed model to hazard-rate model considering imperfect debugging.展开更多
This paper presents a debugging system for multi-pole array acoustic logging （MPAL） tools. The debugging system proposed in this study can debug the MPAL tool system, sub-system and local electronics. In the test eq...This paper presents a debugging system for multi-pole array acoustic logging （MPAL） tools. The debugging system proposed in this study can debug the MPAL tool system, sub-system and local electronics. In the test equipment, we have used principal and subordinate structures, and interconnected the host computer and the front-end machine via Ethernet. The front-end machine is based on the ARM7 （advanced reduced instruction set computing （RISC） machine） technique, the processor of which runs an embedded operating system, namely, uClinux OS. We have analyzed the system telecommunication, human-machine interface circuit, transmitter mandrel interface circuit, receiver mandrel interface circuit, and board-level test interface circuit. The software used in the system consists of the embedded front-computer software and the host application software. We have explained in detail the flow chart of the boot loader in the embedded front-computer software. The host application software is composed of four application subroutines, which match with the functional modules of the system hardware. A net communication program based on the server^client mode is implemented by means of socket programming and multi-thread programming. Test results indicate that the data transmission rate of the system is higher than 1 MB/s, which completely meets the current requirements of the data transmission rate between the tool system and the wireline telemetry device. Application of the debugging system, which includes multiple level test methods, shows that the proposed system can fully meet the test requirements of MPAL at various levels.展开更多
Because of the inevitable debugging lag,imperfect debugging process is used to replace perfect debugging process in the analysis of software reliability growth model.Considering neither testing-effort nor testing cove...Because of the inevitable debugging lag,imperfect debugging process is used to replace perfect debugging process in the analysis of software reliability growth model.Considering neither testing-effort nor testing coverage can describe software reliability for imperfect debugging completely,by hybridizing testing-effort with testing coverage under imperfect debugging,this paper proposes a new model named GMW-LO-ID.Under the assumption that the number of faults is proportional to the current number of detected faults,this model combines generalized modified Weibull(GMW)testing-effort function with logistic(LO)testing coverage function,and inherits GMW's amazing flexibility and LO's high fitting precision.Furthermore,the fitting accuracy and predictive power are verified by two series of experiments and we can draw a conclusion that our model fits the actual failure data better and predicts the software future behavior better than other ten traditional models,which only consider one or two points of testing-effort,testing coverage 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 reliabili...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展开更多
Northeast China Electric Power Group(NEPG) has outstanding achievements in thesurvey, design, construction and regulationof power plants and power transmissionproject, the management of hydropowerProject, the construc...Northeast China Electric Power Group(NEPG) has outstanding achievements in thesurvey, design, construction and regulationof power plants and power transmissionproject, the management of hydropowerProject, the construction and maintenance ofnuclear power project. The constructioncontingents 0f it have great strength intechnical equipment, project quality andscientific payoffs. They are very experiencedin integral management 0f the design’construction and the adjustment of thepr0ject and in the international cooperationand also they have good internationalcooperation examples.展开更多
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 debuggin...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.展开更多
Based on the CINRAD/SA user manual and the American WSR-88D technical guide,the working principle,parameters,debugging preparation,debugging process and debugging methods of rectification and capacitance components of...Based on the CINRAD/SA user manual and the American WSR-88D technical guide,the working principle,parameters,debugging preparation,debugging process and debugging methods of rectification and capacitance components of Doppler radar were analyzed in detail,and the main trouble reasons were also introduced.展开更多
It is the premise of improving the installation efficiency and quality of mechanical and electrical equipment in construction machinery to control the related processes of mechanical and electrical installation. Durin...It is the premise of improving the installation efficiency and quality of mechanical and electrical equipment in construction machinery to control the related processes of mechanical and electrical installation. During the installation of mechanical and electrical equipment in construction projects, it is necessary to refer to various installation regulations, processes and standards, and at the same time strengthen the debugging effect of mechanical and electrical equipment to ensure the safety and stability of mechanical and electrical equipment in construction projects.展开更多
The electrical design of high-rise buildings usually involves many links, among which the low-voltage distribution system plays an irreplaceable role. From the current domestic development, high-rise buildings mainly ...The electrical design of high-rise buildings usually involves many links, among which the low-voltage distribution system plays an irreplaceable role. From the current domestic development, high-rise buildings mainly refer to buildings with more than 30 floors. At the same time, with the rise of the floor height, the complexity of the electrical system will increase significantly, which makes the electrical design face many difficulties. In the actual process of high-rise building electrical design, it is not only necessary to comprehensively control the reliability of the building power supply system, but also to ensure that the electrical devices can play an effective role. Therefore, in-depth study of low-voltage distribution system has practical significance. This paper analyzes the actual electrical design of high-rise buildings, discusses the stability and safety of the system, and explores how to better construct the electrical design scheme and apply it in practice, so as to lay a solid foundation for the construction of high-rise buildings.展开更多
With the rapid development of network technology and communication technology, all walks of life are moving towards the direction of intelligence, which has greatly promoted the social and economic progress in our cou...With the rapid development of network technology and communication technology, all walks of life are moving towards the direction of intelligence, which has greatly promoted the social and economic progress in our country. The power industry is no exception. The emergence of smart substations has greatly improved some problems existing in the operation and maintenance of Chinas power industry and played a key role in promoting the long-term development of smart grids. More importantly, the relay protection technology has also been greatly changed under the support of the smart grid. Based on this background, strengthening the research work on the operation and maintenance of relay protection has an extremely far-reaching guiding role, which is helpful to promote the sustainable development of Chinas power grid construction.展开更多
With the increase of unit capacity and the progress of science and technology, there are many new equipment in power supply system of power plant. Its principles and parameters have also changed. New techniques and me...With the increase of unit capacity and the progress of science and technology, there are many new equipment in power supply system of power plant. Its principles and parameters have also changed. New techniques and methods must be innovated. Traditional debugging methods are based on actual situations. Although the purpose of debugging is easy to achieve, it is of great significance to study the debugging technology of power plant's electrical equipment for a long time to ensure the safe operation of power plant's electrical equipment.展开更多
Thermal control system plays an important role in ensuring the safety and stability of power generation in thermal power plants. Therefore, we need to explore and discuss the technology of improving system reliability...Thermal control system plays an important role in ensuring the safety and stability of power generation in thermal power plants. Therefore, we need to explore and discuss the technology of improving system reliability in the commissioning process of thermal control system. In order to effectively improve the reliability of the thermal control system in the actual debugging process, relevant technical guarantee strategies should be provided by analyzing debugging operation, member assignment, debugging process and debugging procedure.展开更多
The rapid development of social economy, demand increases, in order to meet industry demand, many substation began the generation and expansion of electric equipment, to ensure smooth running of transformer substation...The rapid development of social economy, demand increases, in order to meet industry demand, many substation began the generation and expansion of electric equipment, to ensure smooth running of transformer substation, need to adjust electric equipment, ensure the normal operation of electrical equipment, while closely monitor equipment operation, ensure the installation quality of the whole, adopting reasonable maintenance technology. According to the actual situation, formulate reasonable preventive measures for installation problems, improve the quality of power supply, and better serve the economic development.展开更多
Multidimensional integration and multifunctional com-ponent assembly have been greatly explored in recent years to extend Moore’s Law of modern microelectronics.However,this inevitably exac-erbates the inhomogeneity ...Multidimensional integration and multifunctional com-ponent assembly have been greatly explored in recent years to extend Moore’s Law of modern microelectronics.However,this inevitably exac-erbates the inhomogeneity of temperature distribution in microsystems,making precise temperature control for electronic components extremely challenging.Herein,we report an on-chip micro temperature controller including a pair of thermoelectric legs with a total area of 50×50μm^(2),which are fabricated from dense and flat freestanding Bi2Te3-based ther-moelectric nano films deposited on a newly developed nano graphene oxide membrane substrate.Its tunable equivalent thermal resistance is controlled by electrical currents to achieve energy-efficient temperature control for low-power electronics.A large cooling temperature difference of 44.5 K at 380 K is achieved with a power consumption of only 445μW,resulting in an ultrahigh temperature control capability over 100 K mW^(-1).Moreover,an ultra-fast cooling rate exceeding 2000 K s^(-1) and excellent reliability of up to 1 million cycles are observed.Our proposed on-chip temperature controller is expected to enable further miniaturization and multifunctional integration on a single chip for microelectronics.展开更多
基金supported by the National Natural Science Foundation of China(22125903,22439003,22209175)the National Key R&D Program of China(Grant 2022YFA1504100,2023YFB4005204)+1 种基金the Energy Revolution S&T Program of Yulin Innovation Institute of Clean Energy(Grant E412010508)the State Key Laboratory of Catalysis(No:2024SKL-A-001)。
文摘Microbatteries(MBs)are crucial to power miniaturized devices for the Internet of Things.In the evolutionary journey of MBs,fabrication technology emerges as the cornerstone,guiding the intricacies of their configuration designs,ensuring precision,and facilitating scalability for mass production.Photolithography stands out as an ideal technology,leveraging its unparalleled resolution,exceptional design flexibility,and entrenched position within the mature semiconductor industry.However,comprehensive reviews on its application in MB development remain scarce.This review aims to bridge that gap by thoroughly assessing the recent status and promising prospects of photolithographic microfabrication for MBs.Firstly,we delve into the fundamental principles and step-by-step procedures of photolithography,offering a nuanced understanding of its operational mechanisms and the criteria for photoresist selection.Subsequently,we highlighted the specific roles of photolithography in the fabrication of MBs,including its utilization as a template for creating miniaturized micropatterns,a protective layer during the etching process,a mold for soft lithography,a constituent of MB active component,and a sacrificial layer in the construction of micro-Swiss-roll structure.Finally,the review concludes with a summary of the key challenges and future perspectives of MBs fabricated by photolithography,providing comprehensive insights and sparking research inspiration in this field.
基金Supported by Fundamental Research Foundation of GXAAS(GNK2013YM02)~~
文摘[Objective] The aim was to test the controlling effect of cleaning steriliza- tion system, material conveying system, and fermentation jar cooling system with equip- ments of fruit wine production line introduced in this study and its auto-control sys- tem field assembled and debugged. [Method] Based on controlling equipment and setting parameters on the configuration interface, the operation state of the control equipments could be real-time monitored and controlled with the help of configura- tion software. [Result] The result showed that the equipment system could reduce the temperature into 12 ℃ with the error of ＋0.5 ℃within 110 minutes when the fermentation temperature is set at 12 ℃ in real production. [Conclusion] The auto- control system of fruit wine production line was easy to be assembled and de- bugged to meet demands of different fruit wine productions.
文摘The problems including excessive flow of attemperating water for boiler, failure of butterfly valve at the outlet of circulating water pump, burnt-out of thyristor for excitation regulator, load variation rate of CCS not complying with the contract target, etc. occurred during start-up and debugging of two 600 MW generating units in Yangzhou No.2 Thermal Power Plant. Through analysis on these problems. the remedial measures were put forward, to which can be referred for similar units.
基金supported by the Pre-research Foundation of CPLA General Equipment Department
文摘Testing-effort（TE） and imperfect debugging（ID） in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models（SRGMs）. For describing the S-shaped varying trend of TE increasing rate more accurately, first, two S-shaped testing-effort functions（TEFs）, i.e.,delayed S-shaped TEF（DS-TEF） and inflected S-shaped TEF（IS-TEF）, are proposed. Then these two TEFs are incorporated into various types（exponential-type, delayed S-shaped and inflected S-shaped） of non-homogeneous Poisson process（NHPP）SRGMs with two forms of ID respectively for obtaining a series of new NHPP SRGMs which consider S-shaped TEFs as well as ID. Finally these new SRGMs and several comparison NHPP SRGMs are applied into four real failure data-sets respectively for investigating the fitting and prediction power of these new SRGMs.The experimental results show that：（i） the proposed IS-TEF is more suitable and flexible for describing the consumption of TE than the previous TEFs;（ii） incorporating TEFs into the inflected S-shaped NHPP SRGM may be more effective and appropriate compared with the exponential-type and the delayed S-shaped NHPP SRGMs;（iii） the inflected S-shaped NHPP SRGM considering both IS-TEF and ID yields the most accurate fitting and prediction results than the other comparison NHPP SRGMs.
文摘Fault localization is an important topic in software testing, as it enables the developer to specify fault location in their code. One of the dynamic fault localization techniques is statistical debugging. In this study, two statistical debugging algorithms are implemented, SOBER and Cause Isolation, and then the experimental works are conducted on five programs coded using Python as an example of well-known dynamic programming language. Results showed that in programs that contain only single bug, the two studied statistical debugging algorithms are very effective to localize a bug. In programs that have more than one bug, SOBER algorithm has limitations related to nested predicates, rarely observed predicates and complement predicates. The Cause Isolation has limitations related to sorting predicates based on importance and detecting bugs in predicate condition. The accuracy of both SOBER and Cause Isolation is affected by the program size. Quality comparison showed that SOBER algorithm requires more code examination than Cause Isolation to discover the bugs.
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Nature Science Foundation of China(No.60503015,90818016)
文摘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.
文摘Software reliability model is the tool to measure the software reliability quantitatively. Hazard-Rate model is one of the most popular ones. The purpose of our research is to propose the hazard-rate model considering fault level for Open Source Software (OSS). Moreover, we aim to adapt our proposed model to the hazard-rate considering the imperfect debugging environment. We have analyzed the trend of fault severity level by using fault data in Bug Tracking System (BTS) and proposed our model based on the result of analysis. Also, we have shown the numerical example for evaluating the performance of our proposed model. Furthermore, we have extended our proposed model to the hazard-rate considering the imperfect debugging environment and showed numerical example for evaluating the possibility of application. As the result, we found out that performance of our proposed model is better than typical hazard-rate models. Also, we verified the possibility of application of proposed model to hazard-rate model considering imperfect debugging.
基金supported by National Science Foundation of China (61102102, 11134011, 11204380 and 11374371)Major National Science and Technology Projects (2011ZX05020-002)+2 种基金PetroChina Innovation Foundation (2014D-5006-0307)Science and Technology Project of CNPC (2014A-3912 and 2011B-4001)the Foundation of China University of Petroleum (KYJJ2012-05-07)
文摘This paper presents a debugging system for multi-pole array acoustic logging （MPAL） tools. The debugging system proposed in this study can debug the MPAL tool system, sub-system and local electronics. In the test equipment, we have used principal and subordinate structures, and interconnected the host computer and the front-end machine via Ethernet. The front-end machine is based on the ARM7 （advanced reduced instruction set computing （RISC） machine） technique, the processor of which runs an embedded operating system, namely, uClinux OS. We have analyzed the system telecommunication, human-machine interface circuit, transmitter mandrel interface circuit, receiver mandrel interface circuit, and board-level test interface circuit. The software used in the system consists of the embedded front-computer software and the host application software. We have explained in detail the flow chart of the boot loader in the embedded front-computer software. The host application software is composed of four application subroutines, which match with the functional modules of the system hardware. A net communication program based on the server^client mode is implemented by means of socket programming and multi-thread programming. Test results indicate that the data transmission rate of the system is higher than 1 MB/s, which completely meets the current requirements of the data transmission rate between the tool system and the wireline telemetry device. Application of the debugging system, which includes multiple level test methods, shows that the proposed system can fully meet the test requirements of MPAL at various levels.
基金supported by the National Natural Science Foundation of China(No.U1433116)the Aviation Science Foundation of China(No.20145752033)
文摘Because of the inevitable debugging lag,imperfect debugging process is used to replace perfect debugging process in the analysis of software reliability growth model.Considering neither testing-effort nor testing coverage can describe software reliability for imperfect debugging completely,by hybridizing testing-effort with testing coverage under imperfect debugging,this paper proposes a new model named GMW-LO-ID.Under the assumption that the number of faults is proportional to the current number of detected faults,this model combines generalized modified Weibull(GMW)testing-effort function with logistic(LO)testing coverage function,and inherits GMW's amazing flexibility and LO's high fitting precision.Furthermore,the fitting accuracy and predictive power are verified by two series of experiments and we can draw a conclusion that our model fits the actual failure data better and predicts the software future behavior better than other ten traditional models,which only consider one or two points of testing-effort,testing coverage and imperfect debugging.
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Natural Science Foundation of China(No.60503015)+1 种基金the National Key R&D Program of China(No.2013BA17F02)the Shandong Province Science and Technology Program of China(No.2011GGX10108,2010GGX10104)
文摘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
文摘Northeast China Electric Power Group(NEPG) has outstanding achievements in thesurvey, design, construction and regulationof power plants and power transmissionproject, the management of hydropowerProject, the construction and maintenance ofnuclear power project. The constructioncontingents 0f it have great strength intechnical equipment, project quality andscientific payoffs. They are very experiencedin integral management 0f the design’construction and the adjustment of thepr0ject and in the international cooperationand also they have good internationalcooperation examples.
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Natural ScienceFoundation of China(No.60503015)+1 种基金the National Key R&D Program of China(No.2013BA17F02)the Shandong Province Science andTechnology Program of China(No.2011GGX10108,2010GGX10104)
文摘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.
文摘Based on the CINRAD/SA user manual and the American WSR-88D technical guide,the working principle,parameters,debugging preparation,debugging process and debugging methods of rectification and capacitance components of Doppler radar were analyzed in detail,and the main trouble reasons were also introduced.
文摘It is the premise of improving the installation efficiency and quality of mechanical and electrical equipment in construction machinery to control the related processes of mechanical and electrical installation. During the installation of mechanical and electrical equipment in construction projects, it is necessary to refer to various installation regulations, processes and standards, and at the same time strengthen the debugging effect of mechanical and electrical equipment to ensure the safety and stability of mechanical and electrical equipment in construction projects.
文摘The electrical design of high-rise buildings usually involves many links, among which the low-voltage distribution system plays an irreplaceable role. From the current domestic development, high-rise buildings mainly refer to buildings with more than 30 floors. At the same time, with the rise of the floor height, the complexity of the electrical system will increase significantly, which makes the electrical design face many difficulties. In the actual process of high-rise building electrical design, it is not only necessary to comprehensively control the reliability of the building power supply system, but also to ensure that the electrical devices can play an effective role. Therefore, in-depth study of low-voltage distribution system has practical significance. This paper analyzes the actual electrical design of high-rise buildings, discusses the stability and safety of the system, and explores how to better construct the electrical design scheme and apply it in practice, so as to lay a solid foundation for the construction of high-rise buildings.
文摘With the rapid development of network technology and communication technology, all walks of life are moving towards the direction of intelligence, which has greatly promoted the social and economic progress in our country. The power industry is no exception. The emergence of smart substations has greatly improved some problems existing in the operation and maintenance of Chinas power industry and played a key role in promoting the long-term development of smart grids. More importantly, the relay protection technology has also been greatly changed under the support of the smart grid. Based on this background, strengthening the research work on the operation and maintenance of relay protection has an extremely far-reaching guiding role, which is helpful to promote the sustainable development of Chinas power grid construction.
文摘With the increase of unit capacity and the progress of science and technology, there are many new equipment in power supply system of power plant. Its principles and parameters have also changed. New techniques and methods must be innovated. Traditional debugging methods are based on actual situations. Although the purpose of debugging is easy to achieve, it is of great significance to study the debugging technology of power plant's electrical equipment for a long time to ensure the safe operation of power plant's electrical equipment.
文摘Thermal control system plays an important role in ensuring the safety and stability of power generation in thermal power plants. Therefore, we need to explore and discuss the technology of improving system reliability in the commissioning process of thermal control system. In order to effectively improve the reliability of the thermal control system in the actual debugging process, relevant technical guarantee strategies should be provided by analyzing debugging operation, member assignment, debugging process and debugging procedure.
文摘The rapid development of social economy, demand increases, in order to meet industry demand, many substation began the generation and expansion of electric equipment, to ensure smooth running of transformer substation, need to adjust electric equipment, ensure the normal operation of electrical equipment, while closely monitor equipment operation, ensure the installation quality of the whole, adopting reasonable maintenance technology. According to the actual situation, formulate reasonable preventive measures for installation problems, improve the quality of power supply, and better serve the economic development.
基金The authors thank D.Berger,D.Hofmann and C.Kupka in IFW Dresden for helpful technical support.H.R.acknowledges funding from the DFG(Deutsche Forschungsgemeinschaft)within grant number RE3973/1-1.Q.J.,H.R.and K.N.conceived the work.With the support from N.Y.and X.J.,Q.J.and T.G.fabricated the thermoelectric films and conducted the structural and compositional characterizations.Q.J.prepared microchips and fabricated the on-chip micro temperature controllers.Q.J.and N.P.carried out the temperature-dependent material and device performance measurements.Q.J.and H.R.performed the simulation and analytical calculations.Q.J.,H.R.and K.N.wrote the manuscript with input from the other coauthors.All the authors discussed the results and commented on the manuscript.
文摘Multidimensional integration and multifunctional com-ponent assembly have been greatly explored in recent years to extend Moore’s Law of modern microelectronics.However,this inevitably exac-erbates the inhomogeneity of temperature distribution in microsystems,making precise temperature control for electronic components extremely challenging.Herein,we report an on-chip micro temperature controller including a pair of thermoelectric legs with a total area of 50×50μm^(2),which are fabricated from dense and flat freestanding Bi2Te3-based ther-moelectric nano films deposited on a newly developed nano graphene oxide membrane substrate.Its tunable equivalent thermal resistance is controlled by electrical currents to achieve energy-efficient temperature control for low-power electronics.A large cooling temperature difference of 44.5 K at 380 K is achieved with a power consumption of only 445μW,resulting in an ultrahigh temperature control capability over 100 K mW^(-1).Moreover,an ultra-fast cooling rate exceeding 2000 K s^(-1) and excellent reliability of up to 1 million cycles are observed.Our proposed on-chip temperature controller is expected to enable further miniaturization and multifunctional integration on a single chip for microelectronics.
