期刊文献+
共找到1,804篇文章
< 1 2 91 >
每页显示 20 50 100
Effectiveness of Co-Testing in Cervical Cancer Screening Program in Macao SAR
1
作者 Lamlam Chan Kamweng Wong 《Health》 2024年第8期763-769,共7页
Background: Cervical cancer remains a significant public health concern in Macao SAR despite the implementation of a cervical cancer screening program and HPV vaccination. To improve early detection, Macao SAR introdu... Background: Cervical cancer remains a significant public health concern in Macao SAR despite the implementation of a cervical cancer screening program and HPV vaccination. To improve early detection, Macao SAR introduced HPV DNA testing alongside cytology (co-testing) as the primary screening method in 2019. This study evaluates the effectiveness of co-testing in identifying cervical precancerous lesions (CIN2+) compared to cytology alone. Methods: We conducted a retrospective analysis of women aged 30 - 65 years who participated in the routine cervical cancer screening program in Macao SAR Primary Healthcare Centers from 2019 to 2022. Data from over 70,000 women were analyzed, comparing the detection rates of CIN2+ through co-testing and cytology alone. Women with abnormal cytology or positive HPV results were referred for colposcopy. Results: The introduction of co-testing led to a significant increase in the detection of CIN2+, particularly in women with atypical squamous cells of undetermined significance (ASCUS) or negative for intraepithelial lesion or malignancy (NILM) cytology results. Between 2019 and 2022, the percentage of women with ASCUS/NILM and any high-risk HPV (hrHPV) positive who were diagnosed with CIN2+ after colposcopy were 24%, 13%, 10% and 7.5% respectively. This highlights the ability of co-testing to identify high-risk individuals who would have been missed by cytology alone. Discussion: Our findings demonstrate the effectiveness of co-testing in improving the sensitivity of cervical cancer screening in Macao SAR. The inclusion of HPV DNA testing allows for better risk stratification of women with ASCUS/NILM cytology, leading to more targeted referrals for colposcopy and timely detection of precancerous lesions. The initial high positive rate in 2019 (24%) might be attributed to the small sample size and potentially reflects a backlog of undiagnosed cases prior to co-testing implementation. Conclusion: The implementation of co-testing in Macao SAR’s cervical cancer screening program significantly improves the early detection of precancerous lesions, particularly in women with ambiguous cytology results. This proactive approach contributes to reducing cervical cancer morbidity and mortality and improving women’s health outcomes in Macao SAR. 展开更多
关键词 Cervical Cancer Co-testing HPV DNA testing Liquid-Based Cytology Thin Prep COLPOSCOPY Cervical Cancer Screening program
暂未订购
Using Virtual ATE Model to Migrate Test Programs
2
作者 王晓明 杨乔林 《Journal of Computer Science & Technology》 SCIE EI CSCD 1995年第4期289-297,共9页
Because of high development costs of IC (Integrated Circuit) test programs,recycling ekisting test programs from one kind of ATE (Automatic Test Equip-ment) to another or generating directly from CAD simulation module... Because of high development costs of IC (Integrated Circuit) test programs,recycling ekisting test programs from one kind of ATE (Automatic Test Equip-ment) to another or generating directly from CAD simulation modules to ATEis more and more vauable. In this papert a new approach to migrating test pro-grams is presented. A virtual ATE model based on object-oriellted paradigm isdeveloped; it runs Test C++ (an intermediate test control language) programsand TeIF (Test Intermediate Format - an intermediate pattern), migrates testprograms among three kinds of ATE (Ando DIC8032, Schlumberger S15 andGenRad 1732) and gellerates test patterns from two kinds of CAD (Daisy andPanda) automatically. 展开更多
关键词 Virtual technology test program migration IC test software environment
原文传递
historical review of pig testing programs in Denmark
3
作者 Henning STAUN 《华南农业大学学报》 CAS CSCD 北大核心 2005年第S1期32-41,共10页
The first swine testing station and program in the world was started in Denmark.Denmark has tested breeding and genetics traits of pigs for more than 100 years and have developed an efficient structure and system to s... The first swine testing station and program in the world was started in Denmark.Denmark has tested breeding and genetics traits of pigs for more than 100 years and have developed an efficient structure and system to select pigs which produce quality pork for the consumer. The Danish pork is exported to many countries around the world.The testing programs described in the article have proven to be very successful over the last 100 years.The history of swine testing for superior pigs is not finished yet.The selection criteria for quality swine breeding animals will also need to be updated on a regular time table because the production systems are changing yearly and new environmental codes and animal welfare regulations are added each year so the testing programs on pig farms also need to change to meet the new production standards.It is not uncommon to obtain some unusual traits when selecting for extreme traits in pigs when they are on testing programs.When these traits are obtained, it requires additional testing to remove these traits.An example would be the Porcine Stress Syndrome.Osteochondrosis is another example.The gene mapping research will also open up new directions for swine testing programs.Therefore, as long as we produce pigs for quality pork and efficient production we will need outstanding swine testing programs. 展开更多
关键词 SWINE testing program HISTORY Denmark
在线阅读 下载PDF
A SEQUENTIAL TESTING PROGRAM FOR PREDICTING AND IDENTIFICATING CARCINOGENS AND ITS APPLICATION
4
作者 周宗灿 方积乾 +2 位作者 王纪宪 傅娟龄 徐厚恩 《Chinese Journal of Cancer Research》 SCIE CAS CSCD 1992年第1期71-81,共11页
In this paper our studies about the sequential testing program for predicting and identificating carcinogens, sequential discriminant method and cost- effectiveness analysis are summarized. The analysis of our databas... In this paper our studies about the sequential testing program for predicting and identificating carcinogens, sequential discriminant method and cost- effectiveness analysis are summarized. The analysis of our database of carcinogeniclty and genotoxicity of chemicals demonstrates the uncertainty . of short- term tests ( STTs ) to predict carcinogens and the results of most routine STTs are statistically dependent. We recommend the sequential testing program combining STTs and carclnogenicity assay, the optimal STT batteries, the rules of the sequential discrimination and the preferal choices of STTs tor specific chemical class. For illustrative pmposes the carclnogenicity prediction of several sample chamicals is presented. The results of cost-effectiveness analysis suggest that this program has vast social-economic effectiveness. 展开更多
关键词 STT A SEQUENTIAL testING program FOR PREDICTING AND IDENTIFICATING CARCINOGENS AND ITS APPLICATION MNT PRO test 加加
暂未订购
Evaluation of a Voluntary Control Program for the Detection of Bovine Leukemia Virus Antibodies Based on Agar Gel Immunodiffusion Test in Dairy Farms in Costa Rica
5
作者 Gaby Dolz Francine Huijsen +1 位作者 Carlos Jiménez Luis L. Rodríguez 《Open Journal of Veterinary Medicine》 2015年第12期229-233,共5页
Cattle from 20 dairy farms were serologically tested over a five-year period using agar gel immunodiffusion test (AGIDT) as part of a voluntary Bovine Leukemia Virus (BLV) control program. After five years of removing... Cattle from 20 dairy farms were serologically tested over a five-year period using agar gel immunodiffusion test (AGIDT) as part of a voluntary Bovine Leukemia Virus (BLV) control program. After five years of removing infected animals from the herds based on BLV-AGIDT serological status, blood samples from 332 cattle in these farms were collected and analyzed side by side by AGIDT and enzyme-linked immunosorbent assay (ELISA) to detect antibodies against BLV. AGIDT detected 29.2% (97) and 16.0% (53) of the animals as positive and weak positive respectively, whereas ELISA detected 58.2% (193) cattle as positive. The prevalence of BLV-antibodies determined with AGIDT in the dairy farms oscillated between 0% and 86%, whereas prevalence determined by ELISA ranged between 28% and 100% in the same farms. Although both techniques showed similarly results in farms with high BLV-prevalence, ELISA detected a larger proportion of BLV-positive, especially in farms with low or no BLV-prevalence based on AGIDT, leading to wrong assumptions in terms of farm level control efforts. Our results strongly suggest that AGIDT alone is inadequate to implement BLV control programs and ELISA is a more adequate test for BLV surveillance and control programs. 展开更多
关键词 BLV SEROLOGICAL testing Control programS
暂未订购
Using Genetic Algorithm as Test Data Generator for Stored PL/SQL Program Units 被引量:1
6
作者 Mohammad A. Alshraideh Basel A. Mahafzah +1 位作者 Hamzeh S. Eyal Salman Imad Salah 《Journal of Software Engineering and Applications》 2013年第2期65-73,共9页
PL/SQL is the most common language for ORACLE database application. It allows the developer to create stored program units (Procedures, Functions, and Packages) to improve software reusability and hide the complexity ... PL/SQL is the most common language for ORACLE database application. It allows the developer to create stored program units (Procedures, Functions, and Packages) to improve software reusability and hide the complexity of the execution of a specific operation behind a name. Also, it acts as an interface between SQL database and DEVELOPER. Therefore, it is important to test these modules that consist of procedures and functions. In this paper, a new genetic algorithm (GA), as search technique, is used in order to find the required test data according to branch criteria to test stored PL/SQL program units. The experimental results show that this was not fully achieved, such that the test target in some branches is not reached and the coverage percentage is 98%. A problem rises when target branch is depending on data retrieved from tables;in this case, GA is not able to generate test cases for this branch. 展开更多
关键词 GENETIC Algorithms SQL Stored program UNITS test Data Structural testing SQL EXCEPTIONS
暂未订购
SYN-Sequence Selection Strategy for Testing Concurrent Programs Based on Little Strong Happened-Before
7
作者 PU Fangli,LU Yansheng College of Computer Science and Technology,Huazhong University of Science and Technology,Wuhan 430074,Hubei,China 《Wuhan University Journal of Natural Sciences》 CAS 2009年第4期317-320,共4页
This paper defines a new relation--little strong happened-before(LSHB) and presents the algorithm for LSHB. Compared with strong happened-before (SHB) and weak happened- before (WHB), LSHB supports keeping-read-... This paper defines a new relation--little strong happened-before(LSHB) and presents the algorithm for LSHB. Compared with strong happened-before (SHB) and weak happened- before (WHB), LSHB supports keeping-read-result and ensures definite sufficiency of testing. Equivalence partitioning the set of SYN-sequences based on LSHB can efficiently reduce the number of testing SYN-sequences. The case studies prove that LSHB has high practicability. 展开更多
关键词 happened-before SYN-sequence concurrent program software testing
原文传递
Towards Semantic Mutation Testing of Aspect-Oriented Programs
8
作者 Abdul Azim Abdul Ghani 《Journal of Software Engineering and Applications》 2013年第10期5-13,共9页
Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented progra... Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-oriented language. Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. The mutants generated misunderstandings of the language which are different classes of faults. Aspect-oriented programming presents itself with different properties that can be further explored with respect to semantic mutation testing. This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs. 展开更多
关键词 ASPECT-ORIENTED program testING MUTATION testING SEMANTIC MUTATION testING
暂未订购
Approach of Separately Applying Unit Testing to AspectJ Program
9
作者 顾海波 卢炎生 《Journal of Southwest Jiaotong University(English Edition)》 2008年第3期227-232,共6页
A unit testing approach for AspectJ programs is proposed to separately test aspect units which have their own states. In the approach, aspects under test are converted to classes before execution of unit testing. In t... A unit testing approach for AspectJ programs is proposed to separately test aspect units which have their own states. In the approach, aspects under test are converted to classes before execution of unit testing. In the conversion process, the context information passed through pointcut is transformed into advices, then the advices are converted to class member methods, and conflicts in the conversion result, if any, are resolved finally. The unit testing process consists of generating test cases, executing test cases and checking results. 展开更多
关键词 Aspect-oriented programming AspectJ program Unit testing testing approach
在线阅读 下载PDF
Genetic programming for predictions of effectiveness of rolling dynamic compaction with dynamic cone penetrometer test results 被引量:3
10
作者 R.A.T.M.Ranasinghe M.B.Jaksa +1 位作者 F.Pooya Nejad Y.L.Kuo 《Journal of Rock Mechanics and Geotechnical Engineering》 SCIE CSCD 2019年第4期815-823,共9页
Rolling dynamic compaction (RDC),which employs non-circular module towed behind a tractor,is an innovative soil compaction method that has proven to be successful in many ground improvement applications.RDC involves r... Rolling dynamic compaction (RDC),which employs non-circular module towed behind a tractor,is an innovative soil compaction method that has proven to be successful in many ground improvement applications.RDC involves repeatedly delivering high-energy impact blows onto the ground surface,which improves soil density and thus soil strength and stiffness.However,there exists a lack of methods to predict the effectiveness of RDC in different ground conditions,which has become a major obstacle to its adoption.For this,in this context,a prediction model is developed based on linear genetic programming (LGP),which is one of the common approaches in application of artificial intelligence for nonlinear forecasting.The model is based on in situ density-related data in terms of dynamic cone penetrometer (DCP) results obtained from several projects that have employed the 4-sided,8-t impact roller (BH-1300).It is shown that the model is accurate and reliable over a range of soil types.Furthermore,a series of parametric studies confirms its robustness in generalizing data.In addition,the results of the comparative study indicate that the optimal LGP model has a better predictive performance than the existing artificial neural network (ANN) model developed earlier by the authors. 展开更多
关键词 Ground improvement ROLLING DYNAMIC compaction (RDC) Linear genetic programming (LGP) DYNAMIC cone PENETROMETER (DCP) test
在线阅读 下载PDF
Feasibility of Using Two versus Three Rapid Tests for HIV Diagnosis in India: Analysis of Public Health Program Data
11
作者 Varsha Kale Archana Beri +5 位作者 Madhuri Thakar Veenita Sinha Dar Shilpa Bembalkar Naresh Goel Arun Risbud Ramesh Paranjape 《World Journal of AIDS》 2017年第1期16-22,共7页
Under India’s National AIDS Control Program (NACP), WHO recommended strategy of using three rapid tests is adopted for diagnosis of HIV in an asymptomatic individual. Since the NACP has a stringent kit evaluation pro... Under India’s National AIDS Control Program (NACP), WHO recommended strategy of using three rapid tests is adopted for diagnosis of HIV in an asymptomatic individual. Since the NACP has a stringent kit evaluation procedure and due to the availability of newer third generation Rapid Diagnostic Tests (RDTs) it may be possible to adapt two test strategy for HIV diagnosis instead of the recommended three test strategy. The authors reviewed programmatic data on HIV testing to explore whether use of two rapid tests for HIV diagnosis as against three tests could be a feasible approach without compromising the quality and readability of testing. Data on the HIV diagnosis performed on serum specimens collected for the period of one year (2011-12) from 82 Integrated Testing and Counselling Centers (ICTCs) or Prevention of Parent to Child Transmission Centers (PPTCTs) associated with State reference Laboratories (SRLs) was analysed. Out of 654258 results that were analysed 25168 (3.84%) specimens were positives. It was observed that both two and three test algorithms provided similar results for majority (>99%) of the HIV positive specimens. Discordance was observed in labelling of specimen with inconclusive status (N = 21), however the true status of these samples could not be obtained. The analysis indicated that the use of two test algorithm will have programmatic benefits in terms of reduced financial burden to the programme and ease of procurement, shipment and storage before and after distribution without comprising the quality of the testing. The prospective study would confirm this observation. 展开更多
关键词 HIV testing TWO test Strategy Rapid DIAGNOSTIC tests (RDT) National AIDS Control program (NACP)
暂未订购
基于介质响应原理的变压器油纸绝缘测试实验平台设计 被引量:1
12
作者 邹阳 黄煜 +3 位作者 方梦泓 石松浩 姚雨佳 高伟 《实验技术与管理》 北大核心 2025年第1期176-183,共8页
油纸绝缘作为电力变压器中的主绝缘设备,在工业生产和电力传输应用中尤为重要,为验证油纸绝缘的性能状态,该文研制了基于介质响应原理的现场可编程电力电子控制实验平台。平台以LabVIEW编程环境和三电极测试装置作为载体,采用状态机框... 油纸绝缘作为电力变压器中的主绝缘设备,在工业生产和电力传输应用中尤为重要,为验证油纸绝缘的性能状态,该文研制了基于介质响应原理的现场可编程电力电子控制实验平台。平台以LabVIEW编程环境和三电极测试装置作为载体,采用状态机框架设计了回复电压谱与极化谱测量流程,并嵌入聚类云模型算法实现油纸绝缘状态精准分类。该实验平台可促进理论知识与实践经验相结合的教学模式革新,满足实验探索、科学研究等多层次需求。 展开更多
关键词 油纸绝缘 实验平台设计 回复电压测试 数字编程控制
在线阅读 下载PDF
STATISTICAL TESTS FOR THE COMPARISON OF THE INCIDENCE OR MORTALITY RATES IN CANCER REGISTRY AND DESCRIPTIVE EPIDEMIOLOGY──A MICROCOMPUTER PROGRAM IN BASIC
13
作者 项永兵 金凡 高玉堂 《Chinese Journal of Cancer Research》 SCIE CAS CSCD 1997年第1期68-75,共8页
This paper describes the statistical methods of the comparison of the incidence or mortality rates in cancer registry and descriptive epidemiology, and the features of microcomputer program (CANTEST) which was designe... This paper describes the statistical methods of the comparison of the incidence or mortality rates in cancer registry and descriptive epidemiology, and the features of microcomputer program (CANTEST) which was designed to perform the methods. The program was written in IBM BASIC language. Using the program CANTEST we presented here the user can do several statistical tests or estimations as follow: 1. the comparison of the adjusted rates which were calculated by directly or indirectly standardized methods, 2. the calculation of the slope of regression line for testing the linear trends of the adjusted rates, 3. the estimation of the 95% or 99%conndence intervals of the directly adjusted rates, of the cumulative rates (0-64 and 0-74), and of the cumulative risk. Several examples are presented for testing the performances of the program. 展开更多
关键词 Cancer registry BASIC Microcomputer program INCIDENCE MORTALITY Descriptive epidemiology Statistical tests
暂未订购
面向产品检验的自动测试系统的快速开发方法
14
作者 康京山 赵文明 +2 位作者 李立哲 王丽红 隰江雨 《计算机测量与控制》 2025年第6期18-29,46,共13页
针对产品研制生产企业为实现产品检验中电性能测试而开发自动测试系统的需求,提出了以充分利用企业现有仪器、快速构建测试系统、提高自动化程度为目标的硬件体系结构设计;提出了一种软件体系结构设计并开发了应用框架软件,该设计采用... 针对产品研制生产企业为实现产品检验中电性能测试而开发自动测试系统的需求,提出了以充分利用企业现有仪器、快速构建测试系统、提高自动化程度为目标的硬件体系结构设计;提出了一种软件体系结构设计并开发了应用框架软件,该设计采用一种开放式的自动测试脚本,提高对测试需求变化的快速适应能力,采用仪器驱动封装层屏蔽不同驱动体系结构之间以及不同仪器驱动程序之间的差异,从而为测试程序的可移植性以及仪器的互换性提供支持,采用便于软件重用的设计以缩短软件开发周期;结合应用案例,给出了系统开发的详细过程与验证结果;对于产品检验自动测试系统开发中重要技术选择以及硬件与软件的开发具有参考价值。 展开更多
关键词 自动测试系统(ATS) 通用接口总线(GPIB) 局域网在仪器领域的扩展(LXI) 测试程序(TP) 虚拟仪器软件体系结构(VISA) 可互换虚拟仪器(IVI) 可互换性
在线阅读 下载PDF
分布存储并行程序变异算子有效性评估
15
作者 田甜 王苗苗 +1 位作者 李成龙 巩敦卫 《电子学报》 北大核心 2025年第3期864-877,共14页
变异测试通过注入变异算子生成变异体模拟软件中的潜在缺陷,是提高软件质量的关键技术.大量变异体及其执行成本制约着变异测试的研究进展和在工业领域的应用.选择有效的变异算子是减少变异体数量的主要途径.针对分布存储并行程序,本文... 变异测试通过注入变异算子生成变异体模拟软件中的潜在缺陷,是提高软件质量的关键技术.大量变异体及其执行成本制约着变异测试的研究进展和在工业领域的应用.选择有效的变异算子是减少变异体数量的主要途径.针对分布存储并行程序,本文提出变异算子有效性评价准则.从顽固变异体、崩溃变异体和等价变异体3个方面对变异体进行分类;基于不同变异体对测试数据质量的影响,定义变异算子有效性评价准则,分析不同变异算子的有效性.实验结果表明,使用本文提出的评价准则能够选择合理的变异算子,基于这些变异算子能够生成更多的有效变异体和尽可能少的无效变异体,在保持变异测试有效性的前提下,平均减少了22.61%的变异体,提高了变异测试效率. 展开更多
关键词 分布存储 并行程序 变异测试 变异算子 变异体
在线阅读 下载PDF
医学检验项目定价“技耗分离”:内涵、难点和路径 被引量:2
16
作者 王瑶莹 牛亚冬 +7 位作者 付晓丽 吴建 苗豫东 杨银梅 叶贝珠 陈悦 井润阳 徐琳 《中国卫生经济》 北大核心 2025年第1期47-49,共3页
医学检验项目定价“技耗分离”指医学检验项目在定价过程中将技术成本和耗材成本分开核算,这是检验试剂进行大规模集采的基础,对于规范医学检验项目开展,降低医学检验项目费用至关重要。文章对医学检验项目定价“技耗分离”的内涵进行... 医学检验项目定价“技耗分离”指医学检验项目在定价过程中将技术成本和耗材成本分开核算,这是检验试剂进行大规模集采的基础,对于规范医学检验项目开展,降低医学检验项目费用至关重要。文章对医学检验项目定价“技耗分离”的内涵进行了深入剖析,认为医学检验项目定价“技耗分离”实施过程中的主要难点在于成本核算难、专用试剂使用测定难、政策执行难,从按照“现价”减“专用试剂成本”来定价、基于大数据测算专用试剂损耗和适当提高定价水平3个方面提出了医学检验项目定价“技耗分离”的实施路径。 展开更多
关键词 医学检验项目 技耗分离 医疗服务价格 支付方式
原文传递
基于最优路径相似度度量的MPI程序路径覆盖测试方法
17
作者 袁剑锋 刘佳 郭建卫 《电脑与信息技术》 2025年第1期41-47,共7页
针对消息传递接口(Message Passing Interface,MPI)程序中,路径覆盖路径相似度度量方法在测试数据生成方面效率较低的问题,提出一种高效且高可靠性的测试路径度量方法。该方法首先基于不同的相似性度量方法,度量MPI程序路径间的相似度,... 针对消息传递接口(Message Passing Interface,MPI)程序中,路径覆盖路径相似度度量方法在测试数据生成方面效率较低的问题,提出一种高效且高可靠性的测试路径度量方法。该方法首先基于不同的相似性度量方法,度量MPI程序路径间的相似度,并运用协同进化算法产生测试数据;然后,对比在不同的相似性度量方法下,产生覆盖MPI程序目标路径测试数据的有效性和效率;最后,确定对应最高有效性和效率的相似度度量方法为最优路径相似度公式。所提出的验证方法被应用于7个并行程序上,实验结果表明,所提方法在生成测试数据方面具有最高的效率和有效性。 展开更多
关键词 相似度度量方法 测试数据生成 路径覆盖测试 MPI程序 协同进化算法
在线阅读 下载PDF
饱和软黏土的ESF弹塑性模型及其验证
18
作者 徐日庆 俞天赐 +3 位作者 吴明明 张岗平 鞠露莹 徐启良 《湖南大学学报(自然科学版)》 北大核心 2025年第3期151-160,共10页
为描述饱和软黏土的强度变形特性并解决传统弹塑性模型中屈服面角点处塑性应变增量方向不够明确的问题,建立了一种饱和软黏土的蛋形屈服面弹塑性本构模型.首先,基于蛋形函数(ESF),采用相关联流动法则,以塑性体应变作为内变量,建立了饱... 为描述饱和软黏土的强度变形特性并解决传统弹塑性模型中屈服面角点处塑性应变增量方向不够明确的问题,建立了一种饱和软黏土的蛋形屈服面弹塑性本构模型.首先,基于蛋形函数(ESF),采用相关联流动法则,以塑性体应变作为内变量,建立了饱和软黏土的ESF弹塑性模型.模型通过引入封闭光滑的蛋形屈服面,克服了传统屈服面的角点缺陷.通过调整蛋形形状控制参数,将屈服面灵活转化为包括子弹形、椭圆形在内的多种形式,体现了模型的可退化性及通用性.然后,开展了杭州地区饱和软黏土的应力路径三轴不排水剪切试验,分析了软黏土的力学特征,并据此研究了模型参数在不同围压下的稳定性;最后,编制隐式积分算法有限元程序,利用杭州地区饱和软黏土和相关文献中饱和高岭土在不同围压下的等压固结不排水三轴试验验证模型的有效性.对比结果表明:模型计算值与实测值吻合良好,说明该模型能够合理预测不同类型饱和软黏土的不排水剪切特性. 展开更多
关键词 饱和软黏土 蛋形屈服面 弹塑性本构模型 不排水三轴试验 有限元程序
在线阅读 下载PDF
智能化芯片设计程序测试研究综述 被引量:1
19
作者 李晓鹏 闫明 +5 位作者 樊兴宇 唐振韬 开昰雄 郝建业 袁明轩 陈俊洁 《软件学报》 北大核心 2025年第6期2453-2476,共24页
在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成... 在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成软件形式(即芯片设计程序),然后再进行物理设计并最终流片(即生产制造).作为芯片设计制造的基础,芯片设计程序的质量直接影响了芯片的质量.因此,针对芯片设计程序的测试具有重要研究意义.早期的芯片设计程序测试方法主要依赖开发人员人工设计测试用例来测试芯片设计程序,往往需要大量的人工成本和时间代价.随着芯片设计程序复杂度的日益增长,诸多基于仿真的自动化芯片设计程序测试方法被提出,提升了芯片设计程序测试效率及有效性.近年来,越来越多的研究者致力于将机器学习、深度学习和大语言模型(LLM)等智能化方法应用于芯片设计程序测试领域.调研88篇智能化芯片设计程序测试相关的学术论文,从测试输入生成、测试预言构造及测试执行优化这3个角度对智能化芯片设计程序测试已有成果进行整理归纳,重点梳理芯片设计程序测试方法从机器学习阶段、深度学习阶段到大语言模型阶段的演化,探讨不同阶段方法在提高测试效率和覆盖率、降低测试成本等方面的潜力.同时,介绍芯片设计程序测试领域的研究数据集和工具,并展望未来的发展方向和挑战. 展开更多
关键词 芯片设计程序测试 大语言模型 测试用例生成
在线阅读 下载PDF
三项国家药品监督管理局微生物能力验证结果分析 被引量:1
20
作者 陆继伟 范一灵 +5 位作者 陈祝康 谷广志 顾颂青 杨美成 高晓明 项新华 《中国药学杂志》 北大核心 2025年第3期308-312,共5页
目的通过对NIFDC-PT-288《药品中金黄色葡萄球菌检验能力验证计划》、NIFDC-PT-340《药品中需氧菌总数计数能力验证计划》和NIFDC-PT-446《药品中霉菌和酵母菌总数计数能力验证计划》能力结果的分析研究,评价全国范围内参加实验室的药... 目的通过对NIFDC-PT-288《药品中金黄色葡萄球菌检验能力验证计划》、NIFDC-PT-340《药品中需氧菌总数计数能力验证计划》和NIFDC-PT-446《药品中霉菌和酵母菌总数计数能力验证计划》能力结果的分析研究,评价全国范围内参加实验室的药品微生物检验水平,使监管机构掌握药品检验实验室的微生物能力状况,提高实验室能力水平。方法从结果满意率、发现问题和技术要点对结果进行了分析;从实验室类型、实验室数量、能力情况对实验室能力进行了分析。结果省级食品药品检验机构结果满意率为95.7%(NIFDC-PT-288)、86.4%(NIFDC-PT-340)和100.0%(NIFDC-PT-446);地市(县、区)级食品药品检验机构结果满意率为95.5%(NIFDC-PT-288)、83.9%(NIFDC-PT-340)和92.5%(NIFDC-PT-446),企业实验室结果满意率为86.7%(NIFDC-PT-288)、65.7%(NIFDC-PT-340)和80.2%(NIFDC-PT-446),其他类型实验室结果满意率为100.0%(NIFDC-PT-288)、61.5%(NIFDC-PT-340)和86.7%(NIFDC-PT-446)。结论三项微生物能力验证项目的成功开展,为实验室提供了有效的外部质量控制手段,也为监管机构掌握全国药品实验室微生物检测的能力状况提供了一手资料,药品检验实验室微生物定性检测能力较好,微生物的定量检测能力有待提高。 展开更多
关键词 微生物能力验证计划 金黄色葡萄球菌 需氧菌总数计数 霉菌和酵母菌总数计数 能力结果分析
原文传递
上一页 1 2 91 下一页 到第
使用帮助 返回顶部