A heavy-ion irradiation experiment is studied in digital storage cells with different design approaches in 130?nm CMOS bulk Si and silicon-on-insulator (SOI) technologies. The effectiveness of linear energy transf...A heavy-ion irradiation experiment is studied in digital storage cells with different design approaches in 130?nm CMOS bulk Si and silicon-on-insulator (SOI) technologies. The effectiveness of linear energy transfer (LET) with a tilted ion beam at the 130?nm technology node is obtained. Tests of tilted angles θ=0 ° , 30 ° and 60 ° with respect to the normal direction are performed under heavy-ion Kr with certain power whose LET is about 40?MeVcm 2 /mg at normal incidence. Error numbers in D flip-flop chains are used to determine their upset sensitivity at different incidence angles. It is indicated that the effective LETs for SOI and bulk Si are not exactly in inverse proportion to cosθ , furthermore the effective LET for SOI is more closely in inverse proportion to cosθ compared to bulk Si, which are also the well known behavior. It is interesting that, if we design the sample in the dual interlocked storage cell approach, the effective LET in bulk Si will look like inversely proportional to cosθ very well, which is also specifically explained.展开更多
ZTE Corporation announced its participation in the Global MSF Interoperability (GMI) 2008 event held by the MultiService Forum (MSF) to advance the development of
Cloze tests are best characterized as one of integrative tests in language testing and used widely in many kinds of English tests in China at present as they are claimed to be able to indicate overall language profici...Cloze tests are best characterized as one of integrative tests in language testing and used widely in many kinds of English tests in China at present as they are claimed to be able to indicate overall language proficiency validly. The present evaluation clearly shows that cloze testing measures test takers' integrated language competence based on their reading abilities.展开更多
The use of multiple-choice(MC)question types has been one of the most contentious issues in language testing.Much has been said and written about the use of MC over the years.However,no attempt has ever been made to i...The use of multiple-choice(MC)question types has been one of the most contentious issues in language testing.Much has been said and written about the use of MC over the years.However,no attempt has ever been made to introduce any innovation in test item types.The researchers proposed a jumbled words test item(JW)based on cognitive science and deep learning principles,and addressed the feasibility of replacing the type of multiple-choice(MC)question with JW to meet the ongoing rapid development of language testing practice.Two research questions were proposed ad hoc,focusing on the co-relationship between JW and MC scores.RASCH-GZ was used to perform item analyses(Rasch,1960).The item difficulty parameters thus obtained were used to compare the two different test items.The sample data metric includes 40 Chinese participants.The findings revealed that correlation analysis revealed that the performance of the same group of subjects taking both JW and MC was not relevant(Pearson Corr=0).This is primarily due to the total elimination of guessing factors inherent in test-takers during JW test performance.Three factors were specified for the design of the JW test:compute program,test difficulty,and score acceptability.These all have three dimensions.Data collected through questionnaires were analyzed using EFA in SPSS V.24.0.KMOs(=0.867)were found to be approximately one and significance at 0.000(0.05),indicating that the construct of theuestionnaire thus designed has better validity for factor analysis.Three important conclusions were obtained,the implications of which could provide impetus for our testing counterparts to practice more precisely and correctly,potentially reshaping our overall language testing practice.Limitations and recommendations for future research were also discussed.展开更多
Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subject...Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subjected to modifications,the drastic increase in the count of test cases forces the testers to opt for a test optimization strategy.One such strategy is test case prioritization(TCP).Existing works have propounded various methodologies that re-order the system-level test cases intending to boost either the fault detection capabilities or the coverage efficacy at the earliest.Nonetheless,singularity in objective functions and the lack of dissimilitude among the re-ordered test sequences have degraded the cogency of their approaches.Considering such gaps and scenarios when the meteoric and continuous updations in the software make the intensive unit and integration testing process more fragile,this study has introduced a memetics-inspired methodology for TCP.The proposed structure is first embedded with diverse parameters,and then traditional steps of the shuffled-frog-leaping approach(SFLA)are followed to prioritize the test cases at unit and integration levels.On 5 standard test functions,a comparative analysis is conducted between the established algorithms and the proposed approach,where the latter enhances the coverage rate and fault detection of re-ordered test sets.Investigation results related to the mean average percentage of fault detection(APFD)confirmed that the proposed approach exceeds the memetic,basic multi-walk,PSO,and optimized multi-walk by 21.7%,13.99%,12.24%,and 11.51%,respectively.展开更多
In this paper, by means of effective testing practices, main strategies of integration testing for GUI software, including differentiating strategy for distinguished system, strategy of personnel organization, increme...In this paper, by means of effective testing practices, main strategies of integration testing for GUI software, including differentiating strategy for distinguished system, strategy of personnel organization, incremental testing strategy based on baseline version, testing strategy of circulating loop through the whole life, and the strategy of test suite construction, were briefly investigated. Moreover, for the code analysis, the FTA (Fault Tree analysis) is proposed to deal with the software change in regression testing. For test suite constructing, the constructing methods for baseline version and the incremental change are deeply discussed, in which main points focus on the testing strategy based on “Sheet/Form”, the “Grey-box approach” for integration testing process, and the application of the improved STD (State Transform Diagram) in state testing. At the same time, the suite construction of integration testing for two types, including small scale program and large scale software, is analyzed and discussed in detail. For testing execution, the specific method based on “Cross-testing” is investigated. Concurrently, by a lot of examples, all results of testing activity indicate that these strategies and methods are useful and fitted to integration testing for GUI software.展开更多
In response to the growing complexity and performance of integrated circuit(IC),there is an urgent need to enhance the testing and stability of IC test equipment.A method was proposed to predict equipment stability us...In response to the growing complexity and performance of integrated circuit(IC),there is an urgent need to enhance the testing and stability of IC test equipment.A method was proposed to predict equipment stability using the upper side boundary value of normal distribution.Initially,the K-means clustering algorithm classifies and analyzes sample data.The accuracy of this boundary value is compared under two common confidence levels to select the optimal threshold.A range is then defined to categorize unqualified test data.Through experimental verification,the method achieves the purpose of measuring the stability of qualitative IC equipment through a deterministic threshold value and judging the stability of the equipment by comparing the number of unqualified data with the threshold value,which realizes the goal of long-term operation monitoring and stability analysis of IC test equipment.展开更多
Let {Xn,n ≥ 1} be a sequence of α-stable random variables(0 < α < 2), {ani,1 ≤ i≤ n, n≥1} be an array of constant real numbers. Under some restriction of {ani,1 ≤ i ≤ n,n≥1}, the authors discuss the int...Let {Xn,n ≥ 1} be a sequence of α-stable random variables(0 < α < 2), {ani,1 ≤ i≤ n, n≥1} be an array of constant real numbers. Under some restriction of {ani,1 ≤ i ≤ n,n≥1}, the authors discuss the integral test for the weighted partial sums {Σi=1naniXi,n ≥ 1}, and obtain the Chover's laws of iterated logarithm(LIL) as corollaries.展开更多
Many experiments have been conducted on accidents and transients of pressurized water reactor (PWR) employing the rig of safety assessment/large-scale test facility (ROSA/LSTF). Recent research activities concerned wi...Many experiments have been conducted on accidents and transients of pressurized water reactor (PWR) employing the rig of safety assessment/large-scale test facility (ROSA/LSTF). Recent research activities concerned with the OECD/NEA international joint projects included experimental investigation via the ROSA and ROSA-2 Projects, and counterpart testing with thermal-hydraulic integral test facilities under collaboration of the PKL-2, PKL-3, ATLAS, and ATLAS-2 Projects. Major results of the related integral effect tests (IETs) with the LSTF were reviewed to experimentally identify thermal-hydraulic phenomena involved, regarding the PWR accident sequences in accordance with the new regulatory requirements for the Japanese light-water nuclear power plants. Future separate effect test using the LSTF is planned to simulate loss of emergency core cooling system (ECCS) recirculation functions in a large-break loss-of-coolant accident (LOCA). Key results of the recent IETs utilizing the LSTF and future plans were presented relevant to multiple steam generator tube rupture accident with recovery operation, small-break LOCA with accident management measure on core exit temperature reliability, and small-break LOCA with thermal stratification under cold water injection from ECCS into cold legs. Also, main outcomes of the LSTF IETs were indicated for wide spectrum LOCA with core uncovery and anticipated transient without scram following small-break LOCA under totally failed high-pressure injection system.展开更多
Most of the previous studies concerning checking the integrity constraints in distributed database derive simplified forms of the initial integrity constraints with the sufficiency property, since the sufficient test ...Most of the previous studies concerning checking the integrity constraints in distributed database derive simplified forms of the initial integrity constraints with the sufficiency property, since the sufficient test is known to be cheaper than the complete test and its initial integrity constraint as it involves less data to be transferred across the network and can always be evaluated at the target site (single site). Their studies are limited as they depend strictly on the assumption that an update operation will be executed at a site where the relation specified in the update operation is located, which is not always true. Hence, the sufficient test, which is proven to be local test by previous study, is no longer appropriate. This paper proposes an approach to checking integrity constraints in a distributed database by utilizing as much as possible the local information stored at the target site. The proposed approach derives support tests as an alternative to the existing complete and sufficient tests proposed by previous researchers with the intention to increase the number of local checking regardless the location of the submitted update operation. Several analyses have been performed to evaluate the proposed approach, and the results show that support tests can benefit the distributed database, where local constraint checking can be achieved.展开更多
The three-dimensional effects of pile head and the applicability of plane-section assumption are main problems in low-strain dynamic tests on cast-in-situ concrete thin-wall pipe piles.The velocity and displacement re...The three-dimensional effects of pile head and the applicability of plane-section assumption are main problems in low-strain dynamic tests on cast-in-situ concrete thin-wall pipe piles.The velocity and displacement responses were calculated by a theoretical formula deduced by the authors.The frequency and influencing factor of high-frequency interference were analyzed.A numerical method was established to calculate the peak value and arrival time of incoming waves on top of the piles.The regularity along circumferential and the influence of radius or impulse width were studied.The applicability of plane-section assumption was investigated by comparison of velocity responses at different points in the sections at different depths.The waveform of velocity response at different points forked after the first peak,indicating that the propagation of stress waves did not well meet the plane-section assumption.展开更多
Background:Gonorrhea and chlamydia testing rates are poor among Chinese men who have sex with men(MSM).A quasi-experimental study suggested that a pay-it-forward strategy increased dual gonorrhea/chlamydia testing amo...Background:Gonorrhea and chlamydia testing rates are poor among Chinese men who have sex with men(MSM).A quasi-experimental study suggested that a pay-it-forward strategy increased dual gonorrhea/chlamydia testing among MSM.Pay-it-forward offers an individual a gift(e.g.,a free test)and then asks the same person if they would like to give a gift to another person.This article reports the protocol of a randomized controlled trial to evaluate dual gonorrhea/chlamydia test uptake and other outcomes among MSM in three arms-a pay-it-forward arm,a pay-what-you-want arm,and a standard of care arm.Methods:Three hundred MSM will be recruited at three HIV testing sites in Guangzhou and Beijing.Testing sites include two hospital-based MSM sexually transmitted diseases clinics and one MSM community-based organization.Eligible participants will be born biologically male,aged 16 years or older,reporting previous anal sex with another man,having never participated in the pay-it-forward program,without previous gonorrhea and chlamydia testing in the past 12 months,and residing in China.Following a cluster randomized design,every cluster of ten participants will be randomly allocated into one of three arms:(1)a pay-it-forward arm in which men are offered free gonorrhea and chlamydia testing and then asked whether they would like to donate("pay it forward")toward testing for future testers;(2)a pay-what-you-want arm in which men are offered free testing and told to decide how much to pay after receiving the test;(3)a standard of care arm in which men can pay the full price for dual gonorrhoea and chlamydia testing.The primary outcome is dual gonorrhoea/chlamydia testing as verified by administrative records.Secondary outcomes include incremental cost per test,incremental cost per diagnosis,community connectedness,and social cohesion.Primary outcome will be calculated for each arm using intention-to-treat and compared using one-sided 95%confidence intervals with a margin of 20%increase defined as superiority.Discussion:This study will examine the pay-it-forward strategy in comparison to the standard of care in improving test uptake for gonorrhea and chlamydia.We will leverage the cluster randomized controlled trial to provide scientific evidence on the potential effect of pay-it-forward.Findings from this study will shed light on novel intervention methods for increasing preventive health service utilization and innovate ways to finance it among communities.Trial registration:ClinicalTrials.gov,NCT03741725.Registered on 12 November 2018.展开更多
Circular self test path (CSTP) is an attractive technique for testing digital integrated circuits(IC) in the nanometer era, because it can easily provide at-speed test with small test data volume and short test applic...Circular self test path (CSTP) is an attractive technique for testing digital integrated circuits(IC) in the nanometer era, because it can easily provide at-speed test with small test data volume and short test application time. However, CSTP cannot reliably attain high fault coverage because of difficulty of testing random-pattern-resistant faults. This paper presents a deterministic CSTP (DCSTP) structure that consists of a DCSTP chain and jumping logic, to attain high fault coverage with low area overhead. Experimental re- sults on ISCAS’89 benchmarks show that 100% fault coverage can be obtained with low area overhead and CPU time, especially for large circuits.展开更多
Integration testing is an integral part of software testing.Prior studies have focused on reducing test cost in integration test order generation.However,there are no studies concerning the testing priorities of criti...Integration testing is an integral part of software testing.Prior studies have focused on reducing test cost in integration test order generation.However,there are no studies concerning the testing priorities of critical classes when generating integration test orders.Such priorities greatly affect testing efficiency.In this study,we propose an effective strategy that considers both test cost and efficiency when generating test orders.According to a series of dynamic execution scenarios,the software is mapped into a multi-layer dynamic execution network(MDEN)model.By analyzing the dynamic structural complexity,an evaluation scheme is proposed to quantify the class testing priority with the defined class risk index.Cost–benefit analysis is used to perform cycle-breaking operations,satisfying two principles:assigning higher priorities to higher-risk classes and minimizing the total complexity of test stubs.We also present a strategy to evaluate the effectiveness of integration test order algorithms by calculating the reduction of software risk during their testing process.Experiment results show that our approach performs better across software of different scales,in comparison with the existing algorithms that aim only to minimize test cost.Finally,we implement a tool,ITOsolution,to help practitioners automatically generate test orders.展开更多
Purpose As a prototype of Deep Underground Neutrino Experiment far detector,ProtoDUNE single-phase Liquid Argon(LAr)Time Projection Chamber(TPC)sits in H4 beam line at CERN to characterize detector response.It consist...Purpose As a prototype of Deep Underground Neutrino Experiment far detector,ProtoDUNE single-phase Liquid Argon(LAr)Time Projection Chamber(TPC)sits in H4 beam line at CERN to characterize detector response.It consists of 6 full-size Anode Plane Assemblies(APAs)plus 18 Cathode Plane Assembly(CPA)modules to form two 3.6-m drift regions with a total of 15,360 readout channels.To achieve a good signal-to-noise ratio with this noble liquid detector(770ton LAr),cold electronics developed at BNL for extremely low temperature(77K–89K)operation is an optimal solution,which decouples the electrode and cryostat design from the readout design.Methods With CMOS front end ASICs integrated with the TPC electrodes,the electronic noise is independent of the fiducial volume and much lower than with readout electronics at room temperature.In addition,signal digitization and multiplexing to high-speed links inside the cryostat result in large reduction in the quantity of cables and the number of cryostat penetrations,giving the designers of both the TPC and the cryostat the freedom to choose the optimum configurations.Results and conclusions By April 2018,we have successfully instrumented 6 APAs with cold electronics,and the results of the integration test before the final installation in the cryostat look very promising.展开更多
We present an integral test to determine the limiting behavior of delayed sums under a non-identical distribution setup for φ-mixing sequence, and deduce Chover-type laws of the iterated logarithm for them. These com...We present an integral test to determine the limiting behavior of delayed sums under a non-identical distribution setup for φ-mixing sequence, and deduce Chover-type laws of the iterated logarithm for them. These complement and extend the results of Vasudeva and Divanji and Chen et al.展开更多
Neurofeedback or electroencephalogram(EEG) biofeedback technology is widely used in clinical rehabilitation field. In this paper, we used a brain-computer interface(BCI) neurofeedback system for attention deficit hype...Neurofeedback or electroencephalogram(EEG) biofeedback technology is widely used in clinical rehabilitation field. In this paper, we used a brain-computer interface(BCI) neurofeedback system for attention deficit hyperactivity disorder(ADHD) children treatment.After 20 training sessions, integrated visual and auditory-conhnuous performance test(IVA-CPT), DSM-IV and conner scale results suggested that the attention ofsubjectshad been strengthened, which showed that the BCI neurofeedback system could provide an effective therapyfor treating ADHDchildren.展开更多
基金Supported by the Key Laboratory of Microsatellites,Chinese Academy of Sciences
文摘A heavy-ion irradiation experiment is studied in digital storage cells with different design approaches in 130?nm CMOS bulk Si and silicon-on-insulator (SOI) technologies. The effectiveness of linear energy transfer (LET) with a tilted ion beam at the 130?nm technology node is obtained. Tests of tilted angles θ=0 ° , 30 ° and 60 ° with respect to the normal direction are performed under heavy-ion Kr with certain power whose LET is about 40?MeVcm 2 /mg at normal incidence. Error numbers in D flip-flop chains are used to determine their upset sensitivity at different incidence angles. It is indicated that the effective LETs for SOI and bulk Si are not exactly in inverse proportion to cosθ , furthermore the effective LET for SOI is more closely in inverse proportion to cosθ compared to bulk Si, which are also the well known behavior. It is interesting that, if we design the sample in the dual interlocked storage cell approach, the effective LET in bulk Si will look like inversely proportional to cosθ very well, which is also specifically explained.
文摘ZTE Corporation announced its participation in the Global MSF Interoperability (GMI) 2008 event held by the MultiService Forum (MSF) to advance the development of
文摘Cloze tests are best characterized as one of integrative tests in language testing and used widely in many kinds of English tests in China at present as they are claimed to be able to indicate overall language proficiency validly. The present evaluation clearly shows that cloze testing measures test takers' integrated language competence based on their reading abilities.
文摘The use of multiple-choice(MC)question types has been one of the most contentious issues in language testing.Much has been said and written about the use of MC over the years.However,no attempt has ever been made to introduce any innovation in test item types.The researchers proposed a jumbled words test item(JW)based on cognitive science and deep learning principles,and addressed the feasibility of replacing the type of multiple-choice(MC)question with JW to meet the ongoing rapid development of language testing practice.Two research questions were proposed ad hoc,focusing on the co-relationship between JW and MC scores.RASCH-GZ was used to perform item analyses(Rasch,1960).The item difficulty parameters thus obtained were used to compare the two different test items.The sample data metric includes 40 Chinese participants.The findings revealed that correlation analysis revealed that the performance of the same group of subjects taking both JW and MC was not relevant(Pearson Corr=0).This is primarily due to the total elimination of guessing factors inherent in test-takers during JW test performance.Three factors were specified for the design of the JW test:compute program,test difficulty,and score acceptability.These all have three dimensions.Data collected through questionnaires were analyzed using EFA in SPSS V.24.0.KMOs(=0.867)were found to be approximately one and significance at 0.000(0.05),indicating that the construct of theuestionnaire thus designed has better validity for factor analysis.Three important conclusions were obtained,the implications of which could provide impetus for our testing counterparts to practice more precisely and correctly,potentially reshaping our overall language testing practice.Limitations and recommendations for future research were also discussed.
文摘Both unit and integration testing are incredibly crucial for almost any software application because each of them operates a distinct process to examine the product.Due to resource constraints,when software is subjected to modifications,the drastic increase in the count of test cases forces the testers to opt for a test optimization strategy.One such strategy is test case prioritization(TCP).Existing works have propounded various methodologies that re-order the system-level test cases intending to boost either the fault detection capabilities or the coverage efficacy at the earliest.Nonetheless,singularity in objective functions and the lack of dissimilitude among the re-ordered test sequences have degraded the cogency of their approaches.Considering such gaps and scenarios when the meteoric and continuous updations in the software make the intensive unit and integration testing process more fragile,this study has introduced a memetics-inspired methodology for TCP.The proposed structure is first embedded with diverse parameters,and then traditional steps of the shuffled-frog-leaping approach(SFLA)are followed to prioritize the test cases at unit and integration levels.On 5 standard test functions,a comparative analysis is conducted between the established algorithms and the proposed approach,where the latter enhances the coverage rate and fault detection of re-ordered test sets.Investigation results related to the mean average percentage of fault detection(APFD)confirmed that the proposed approach exceeds the memetic,basic multi-walk,PSO,and optimized multi-walk by 21.7%,13.99%,12.24%,and 11.51%,respectively.
文摘In this paper, by means of effective testing practices, main strategies of integration testing for GUI software, including differentiating strategy for distinguished system, strategy of personnel organization, incremental testing strategy based on baseline version, testing strategy of circulating loop through the whole life, and the strategy of test suite construction, were briefly investigated. Moreover, for the code analysis, the FTA (Fault Tree analysis) is proposed to deal with the software change in regression testing. For test suite constructing, the constructing methods for baseline version and the incremental change are deeply discussed, in which main points focus on the testing strategy based on “Sheet/Form”, the “Grey-box approach” for integration testing process, and the application of the improved STD (State Transform Diagram) in state testing. At the same time, the suite construction of integration testing for two types, including small scale program and large scale software, is analyzed and discussed in detail. For testing execution, the specific method based on “Cross-testing” is investigated. Concurrently, by a lot of examples, all results of testing activity indicate that these strategies and methods are useful and fitted to integration testing for GUI software.
基金the National Natural Science Foundation of China(61306046,61640421)the Yicheng Elite Project(202371)+3 种基金the Open Project of National Local Joint Engineering Laboratory of RF Integration and Micro-assembly Technology(KFJJ20230101)the National Key Laboratory of Integrated Chips and Systems Project(SLICS-K202316)the Anhui University Research Project(2023AH050481)the Research on Testing Methods and Accuracy of High Frequency Signal Chips(2023AH050500)。
文摘In response to the growing complexity and performance of integrated circuit(IC),there is an urgent need to enhance the testing and stability of IC test equipment.A method was proposed to predict equipment stability using the upper side boundary value of normal distribution.Initially,the K-means clustering algorithm classifies and analyzes sample data.The accuracy of this boundary value is compared under two common confidence levels to select the optimal threshold.A range is then defined to categorize unqualified test data.Through experimental verification,the method achieves the purpose of measuring the stability of qualitative IC equipment through a deterministic threshold value and judging the stability of the equipment by comparing the number of unqualified data with the threshold value,which realizes the goal of long-term operation monitoring and stability analysis of IC test equipment.
基金Supported by the National Natural Science Foundation of China (10271120)
文摘Let {Xn,n ≥ 1} be a sequence of α-stable random variables(0 < α < 2), {ani,1 ≤ i≤ n, n≥1} be an array of constant real numbers. Under some restriction of {ani,1 ≤ i ≤ n,n≥1}, the authors discuss the integral test for the weighted partial sums {Σi=1naniXi,n ≥ 1}, and obtain the Chover's laws of iterated logarithm(LIL) as corollaries.
文摘Many experiments have been conducted on accidents and transients of pressurized water reactor (PWR) employing the rig of safety assessment/large-scale test facility (ROSA/LSTF). Recent research activities concerned with the OECD/NEA international joint projects included experimental investigation via the ROSA and ROSA-2 Projects, and counterpart testing with thermal-hydraulic integral test facilities under collaboration of the PKL-2, PKL-3, ATLAS, and ATLAS-2 Projects. Major results of the related integral effect tests (IETs) with the LSTF were reviewed to experimentally identify thermal-hydraulic phenomena involved, regarding the PWR accident sequences in accordance with the new regulatory requirements for the Japanese light-water nuclear power plants. Future separate effect test using the LSTF is planned to simulate loss of emergency core cooling system (ECCS) recirculation functions in a large-break loss-of-coolant accident (LOCA). Key results of the recent IETs utilizing the LSTF and future plans were presented relevant to multiple steam generator tube rupture accident with recovery operation, small-break LOCA with accident management measure on core exit temperature reliability, and small-break LOCA with thermal stratification under cold water injection from ECCS into cold legs. Also, main outcomes of the LSTF IETs were indicated for wide spectrum LOCA with core uncovery and anticipated transient without scram following small-break LOCA under totally failed high-pressure injection system.
文摘Most of the previous studies concerning checking the integrity constraints in distributed database derive simplified forms of the initial integrity constraints with the sufficiency property, since the sufficient test is known to be cheaper than the complete test and its initial integrity constraint as it involves less data to be transferred across the network and can always be evaluated at the target site (single site). Their studies are limited as they depend strictly on the assumption that an update operation will be executed at a site where the relation specified in the update operation is located, which is not always true. Hence, the sufficient test, which is proven to be local test by previous study, is no longer appropriate. This paper proposes an approach to checking integrity constraints in a distributed database by utilizing as much as possible the local information stored at the target site. The proposed approach derives support tests as an alternative to the existing complete and sufficient tests proposed by previous researchers with the intention to increase the number of local checking regardless the location of the submitted update operation. Several analyses have been performed to evaluate the proposed approach, and the results show that support tests can benefit the distributed database, where local constraint checking can be achieved.
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.50679017,50778063)the Science Foundation of Jiangsu Province(No.BK2008040).
文摘The three-dimensional effects of pile head and the applicability of plane-section assumption are main problems in low-strain dynamic tests on cast-in-situ concrete thin-wall pipe piles.The velocity and displacement responses were calculated by a theoretical formula deduced by the authors.The frequency and influencing factor of high-frequency interference were analyzed.A numerical method was established to calculate the peak value and arrival time of incoming waves on top of the piles.The regularity along circumferential and the influence of radius or impulse width were studied.The applicability of plane-section assumption was investigated by comparison of velocity responses at different points in the sections at different depths.The waveform of velocity response at different points forked after the first peak,indicating that the propagation of stress waves did not well meet the plane-section assumption.
基金the National Key Research and Development Program of China(2017YFE0103800)the National Institutes of Health NIAID NIAID K24AI143471,1UG3HD096929-01,NIA P30(P30AG034420)+3 种基金UNC-South China STD Research Training Center(FIC 1D43TW009532-01)UNC Center for AIDS Research(NIAID 5P30AI050410)Doris Duke Charitable Foundation(International Clinical Research Fellowship to TZ)SESH(Social Entrepreneurship to Spur Health)Global.
文摘Background:Gonorrhea and chlamydia testing rates are poor among Chinese men who have sex with men(MSM).A quasi-experimental study suggested that a pay-it-forward strategy increased dual gonorrhea/chlamydia testing among MSM.Pay-it-forward offers an individual a gift(e.g.,a free test)and then asks the same person if they would like to give a gift to another person.This article reports the protocol of a randomized controlled trial to evaluate dual gonorrhea/chlamydia test uptake and other outcomes among MSM in three arms-a pay-it-forward arm,a pay-what-you-want arm,and a standard of care arm.Methods:Three hundred MSM will be recruited at three HIV testing sites in Guangzhou and Beijing.Testing sites include two hospital-based MSM sexually transmitted diseases clinics and one MSM community-based organization.Eligible participants will be born biologically male,aged 16 years or older,reporting previous anal sex with another man,having never participated in the pay-it-forward program,without previous gonorrhea and chlamydia testing in the past 12 months,and residing in China.Following a cluster randomized design,every cluster of ten participants will be randomly allocated into one of three arms:(1)a pay-it-forward arm in which men are offered free gonorrhea and chlamydia testing and then asked whether they would like to donate("pay it forward")toward testing for future testers;(2)a pay-what-you-want arm in which men are offered free testing and told to decide how much to pay after receiving the test;(3)a standard of care arm in which men can pay the full price for dual gonorrhoea and chlamydia testing.The primary outcome is dual gonorrhoea/chlamydia testing as verified by administrative records.Secondary outcomes include incremental cost per test,incremental cost per diagnosis,community connectedness,and social cohesion.Primary outcome will be calculated for each arm using intention-to-treat and compared using one-sided 95%confidence intervals with a margin of 20%increase defined as superiority.Discussion:This study will examine the pay-it-forward strategy in comparison to the standard of care in improving test uptake for gonorrhea and chlamydia.We will leverage the cluster randomized controlled trial to provide scientific evidence on the potential effect of pay-it-forward.Findings from this study will shed light on novel intervention methods for increasing preventive health service utilization and innovate ways to finance it among communities.Trial registration:ClinicalTrials.gov,NCT03741725.Registered on 12 November 2018.
基金the National Natural Science Foundation of China (Nos. 60633060 and 60576031)the National Basic Research and Development (973) Program of China (No. 2005CB321604)
文摘Circular self test path (CSTP) is an attractive technique for testing digital integrated circuits(IC) in the nanometer era, because it can easily provide at-speed test with small test data volume and short test application time. However, CSTP cannot reliably attain high fault coverage because of difficulty of testing random-pattern-resistant faults. This paper presents a deterministic CSTP (DCSTP) structure that consists of a DCSTP chain and jumping logic, to attain high fault coverage with low area overhead. Experimental re- sults on ISCAS’89 benchmarks show that 100% fault coverage can be obtained with low area overhead and CPU time, especially for large circuits.
基金Project supported by the National Natural Science Foundation of China(Nos.61902056,61977014,and 61603082)the Shenyang Young and Middle-Aged Talent Support Program,China(No.ZX20200272)+1 种基金the Fundamental Research Funds for the Central Universities,China(No.N2017011)the Open Fund of State Key Lab for Novel Software Technology,Nanjing University,China(No.KFKT2021B01)。
文摘Integration testing is an integral part of software testing.Prior studies have focused on reducing test cost in integration test order generation.However,there are no studies concerning the testing priorities of critical classes when generating integration test orders.Such priorities greatly affect testing efficiency.In this study,we propose an effective strategy that considers both test cost and efficiency when generating test orders.According to a series of dynamic execution scenarios,the software is mapped into a multi-layer dynamic execution network(MDEN)model.By analyzing the dynamic structural complexity,an evaluation scheme is proposed to quantify the class testing priority with the defined class risk index.Cost–benefit analysis is used to perform cycle-breaking operations,satisfying two principles:assigning higher priorities to higher-risk classes and minimizing the total complexity of test stubs.We also present a strategy to evaluate the effectiveness of integration test order algorithms by calculating the reduction of software risk during their testing process.Experiment results show that our approach performs better across software of different scales,in comparison with the existing algorithms that aim only to minimize test cost.Finally,we implement a tool,ITOsolution,to help practitioners automatically generate test orders.
基金Brookhaven Lab’s contributions to ProtoDUNE and DUNE are funded by U.S.DOE Office of Science.
文摘Purpose As a prototype of Deep Underground Neutrino Experiment far detector,ProtoDUNE single-phase Liquid Argon(LAr)Time Projection Chamber(TPC)sits in H4 beam line at CERN to characterize detector response.It consists of 6 full-size Anode Plane Assemblies(APAs)plus 18 Cathode Plane Assembly(CPA)modules to form two 3.6-m drift regions with a total of 15,360 readout channels.To achieve a good signal-to-noise ratio with this noble liquid detector(770ton LAr),cold electronics developed at BNL for extremely low temperature(77K–89K)operation is an optimal solution,which decouples the electrode and cryostat design from the readout design.Methods With CMOS front end ASICs integrated with the TPC electrodes,the electronic noise is independent of the fiducial volume and much lower than with readout electronics at room temperature.In addition,signal digitization and multiplexing to high-speed links inside the cryostat result in large reduction in the quantity of cables and the number of cryostat penetrations,giving the designers of both the TPC and the cryostat the freedom to choose the optimum configurations.Results and conclusions By April 2018,we have successfully instrumented 6 APAs with cold electronics,and the results of the integration test before the final installation in the cryostat look very promising.
基金the National Natural Science Foundation of China (No. 60574002).
文摘We present an integral test to determine the limiting behavior of delayed sums under a non-identical distribution setup for φ-mixing sequence, and deduce Chover-type laws of the iterated logarithm for them. These complement and extend the results of Vasudeva and Divanji and Chen et al.
基金Produce-Study-Research program,Guangdong Province and Ministry of Educationgrant number:2008809050023
文摘Neurofeedback or electroencephalogram(EEG) biofeedback technology is widely used in clinical rehabilitation field. In this paper, we used a brain-computer interface(BCI) neurofeedback system for attention deficit hyperactivity disorder(ADHD) children treatment.After 20 training sessions, integrated visual and auditory-conhnuous performance test(IVA-CPT), DSM-IV and conner scale results suggested that the attention ofsubjectshad been strengthened, which showed that the BCI neurofeedback system could provide an effective therapyfor treating ADHDchildren.