期刊文献+
共找到37篇文章
< 1 2 >
每页显示 20 50 100
随机正则3-(d,k)-SAT问题的可满足性相变
1
作者 王晓峰 唐傲 +4 位作者 彭庆媛 颜冬 华盈盈 何飞 王军霞 《华中科技大学学报(自然科学版)》 北大核心 2025年第10期42-48,83,共8页
受随机正则恰当(d,k)-SAT(可满足性)问题的特征启发,提出了随机正则3-(d,k)-SAT问题.首先,引入了随机正则3-(d,k)-SAT问题实例生成模型,用于产生随机正则(d,k)-CNF(合取范式)公式.该模型采用完美匹配机制,每个随机完美匹配都对应一个随... 受随机正则恰当(d,k)-SAT(可满足性)问题的特征启发,提出了随机正则3-(d,k)-SAT问题.首先,引入了随机正则3-(d,k)-SAT问题实例生成模型,用于产生随机正则(d,k)-CNF(合取范式)公式.该模型采用完美匹配机制,每个随机完美匹配都对应一个随机正则3-(d,k)-SAT实例.然后,结合一阶矩方法、二阶矩方法和正则(d,k)-CNF公式的解空间结构,给出了当k>3时,随机正则3-(d,k)-SAT问题的可满足性相变点dk.当d>dk时,随机正则(d,k)-CNF实例公式高概率3-恰当不可满足;当d<dk时,随机正则(d,k)-CNF实例公式高概率3-恰当可满足.最后,分别取变元规模n=10,k=6和n=15,k=10的两组数据集进行实验.实验结果表明:随机正则3-(d,k)-SAT问题存在相变现象,分别发生在d_(6)=1.407 4和d_(10)=1.962 4附近,验证了理论证明所得相变点的正确性. 展开更多
关键词 相变现象 随机正则3-(d k)-sat问题 矩方法 正则(d k)-CNF公式 生成模型
原文传递
顺序编码方法优化与SAT搜索应用
2
作者 颜国华 张凤荣 +2 位作者 崔笑 韦永壮 王保仓 《密码学报(中英文)》 北大核心 2025年第4期894-910,共17页
自动搜索技术在密码分析中起着越来越重要的作用,SAT搜索技术是目前常用的搜索技术之一.为了更好地使得SAT搜索方法应用于密码分析领域并提高搜索效率,本文提出新的构造SAT模型方法.首先,提出一种新的k输入异或模型,在产生4·(k−1)&... 自动搜索技术在密码分析中起着越来越重要的作用,SAT搜索技术是目前常用的搜索技术之一.为了更好地使得SAT搜索方法应用于密码分析领域并提高搜索效率,本文提出新的构造SAT模型方法.首先,提出一种新的k输入异或模型,在产生4·(k−1)·n个句子情况下,引入变量减少至[(k−3)2]·n.其次,对约束目标函数的顺序编码方法改进,提出了两种新的顺序编码方法,两种方法引入的辅助变量分别减少至(n−k−1/2)·k和(n−k)·k.进一步地,根据新的顺序编码方法提出新的定界条件编码方法,将Matsui定界条件引入SAT模型加速搜索.最后,本文将新的构造SAT模型方法应用于FBC、SMS4和PRESENT等密码算法的最小活跃S盒搜索,给出相应缩减轮密码算法的最小活跃S盒数量. 展开更多
关键词 分组密码 差分分析 自动搜索 sat方法
在线阅读 下载PDF
双相介质波动方程系数矩阵对称化及其SBP-SAT差分模拟
3
作者 孙铖 刘泰玉 +2 位作者 蒋关希曦 张剑伟 杨在林 《振动与冲击》 北大核心 2025年第16期108-118,共11页
波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风... 波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风格式分部求和-一致逼近项(summation by parts-simultaneous approximation terms,SBP-SAT)有限差分方法离散波动方程,并通过能量法进行稳定性评估。通过数值仿真,表明所提出的离散框架具有整合度高,稳定性好和拓展性强等特点。此外,该方法可以稳定模拟曲线域中的波传播并降低其实现成本,表明了波动方程系数矩阵对称化方法及其离散框架在波传播模拟领域具有广泛的应用前景。 展开更多
关键词 双相介质波动方程 系数矩阵对称式 分部求和-一致逼近项(SBP-sat) 有限差分方法 能量法
在线阅读 下载PDF
Einstein谜的SAT求解 被引量:4
4
作者 田聪 段振华 王小兵 《计算机科学》 CSCD 北大核心 2010年第5期184-186,共3页
Einstein谜,亦称Zebra谜,是爱因斯坦在20世纪初提出的,他说世界上有98%的人答不出来。该问题是一个典型的逻辑推理题,可以通过SAT求解给出问题的答案。现将Einstein谜转换成SAT求解问题,并使用当前流行的SAT求解器,如MinSat,对Einstein... Einstein谜,亦称Zebra谜,是爱因斯坦在20世纪初提出的,他说世界上有98%的人答不出来。该问题是一个典型的逻辑推理题,可以通过SAT求解给出问题的答案。现将Einstein谜转换成SAT求解问题,并使用当前流行的SAT求解器,如MinSat,对Einstein谜进行自动求解。 展开更多
关键词 Einstein谜 命题逻辑 可满足性 验证 形式化方法
在线阅读 下载PDF
TI介质中P-SV波传播的SBP-SAT模拟 被引量:2
5
作者 杨在林 魏夕杰 +1 位作者 孙铖 杨勇 《振动与冲击》 EI CSCD 北大核心 2023年第20期91-97,129,共8页
基于速度-应力形式的弹性波动方程,采用分部求和和同时逼近项技术建立的SBP-SAT方法,推导了横向各向同性(transversely isotropy,TI)介质的矩阵对称型(symmetric matrix form,SMF)弹性波动方程离散形式,并通过能量法进行了稳定性分析。... 基于速度-应力形式的弹性波动方程,采用分部求和和同时逼近项技术建立的SBP-SAT方法,推导了横向各向同性(transversely isotropy,TI)介质的矩阵对称型(symmetric matrix form,SMF)弹性波动方程离散形式,并通过能量法进行了稳定性分析。将该方法应用于倾斜横向各向同性(tilted transverse isotropic,TTI)介质模型、垂直横向各向同性(transverse isotropy with a vertical axis of symmetry,VTI)介质和含裂缝及曲线域的复杂介质模型,对所得的速度幅值和单炮记录分析并总结规律;对不同时间步长、单元网格数的结果进行对比,得出计算效率并验证该方法在求解P-SV波传播问题上的正确性。数值模拟结果表明,该方法模拟精度高,适用性好,在地震数值模拟领域有很好的应用价值和前景。 展开更多
关键词 P-SV波 有限差分方法 SBP-sat 横向各向同性(TI)介质 能量法
在线阅读 下载PDF
随机均衡正则恰当(2s,k)-SAT问题的可满足相变 被引量:6
6
作者 王晓峰 于卓 +1 位作者 周锦程 许道云 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2022年第2期105-111,共7页
为深入理解均衡正则恰当(2s,k)-SAT问题的判定难度和可满足性解的分布情况,引入随机实例产生模型,利用一阶矩和二阶矩方法分析可满足性相变现象,给出随机均衡正则恰当(2s,k)-SAT问题可满足的相变点s∗.当s<s∗时,随机均衡正则恰当(2s,k... 为深入理解均衡正则恰当(2s,k)-SAT问题的判定难度和可满足性解的分布情况,引入随机实例产生模型,利用一阶矩和二阶矩方法分析可满足性相变现象,给出随机均衡正则恰当(2s,k)-SAT问题可满足的相变点s∗.当s<s∗时,随机均衡正则恰当(2s,k)-SAT实例高概率可满足;当s>s∗时,随机均衡正则恰当(2s,k)-SAT实例高概率不可满足.最后,选取了k=4和k=6的两组数据集进行实验验证,结果表明理论结果与实验结果符合. 展开更多
关键词 均衡正则恰当(2s k)-sat问题 相变分析 可满足性问题 一阶矩 二阶矩
原文传递
基于离散Lagrange方法的分布式SAT问题求解
7
作者 唐屹 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第6期8-10,18,共4页
基于对离散Lagrange方法(DLM)的扩充,提出一个分布式SAT求解算法:EDLMSAT。求解过程中,单个Agent的行为由预先定义的EDLM规则所决定,这些局部的行为聚集起来,形成整个系统对问题的求解趋势。设计了一些对3_SAT基准问题的模拟实验,实验... 基于对离散Lagrange方法(DLM)的扩充,提出一个分布式SAT求解算法:EDLMSAT。求解过程中,单个Agent的行为由预先定义的EDLM规则所决定,这些局部的行为聚集起来,形成整个系统对问题的求解趋势。设计了一些对3_SAT基准问题的模拟实验,实验结果表明了这个算法良好的求解性能。 展开更多
关键词 离散Lagrange方法 分布式sat 求解 可满足性问题 人工智能
在线阅读 下载PDF
基于函数变换的求解SAT问题的新算法 被引量:3
8
作者 胡显伟 任世军 《智能计算机与应用》 2012年第3期33-36,39,共5页
提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部... 提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部极值为0,则该SAT问题就是可满足的。实验结果表明:与现有的求解SAT问题的算法相比,基于函数变换的求解算法在求解速度、成功率和求解问题的规模等方面都有明显的提高。 展开更多
关键词 sat问题 局部搜索算法 函数变换 最速下降法
在线阅读 下载PDF
局部引理及其在(r,s)-SAT问题中的应用
9
作者 邓天炎 张庆顺 许道云 《计算机工程与科学》 CSCD 2008年第11期68-71,共4页
一般说来,寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径:证明满足一定结构性质的对象的概率大于零。在概率方法中,局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法,并将其应用到估计(k,... 一般说来,寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径:证明满足一定结构性质的对象的概率大于零。在概率方法中,局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法,并将其应用到估计(k,s)-SAT问题中临界函数的下界。 展开更多
关键词 概率方法 局部引理(r s)-sat问题 临界函数
在线阅读 下载PDF
美国SAT的理念、方法、技术对我国高考改革的启示 被引量:3
10
作者 吴晶 《北京教育学院学报》 2015年第6期72-77,共6页
2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、... 2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、技术可供我们参考。理念上,SAT强调以人为本、关注未来;方法上,SAT保持考试内容与课程的适当联系、加强对现场材料的分析以应对"背模板"、题目设置情境化、通过高校指定必考科目解决某些科目过冷过热;技术上,SAT命题过程专业、计分方式科学、分数报告详尽。 展开更多
关键词 高考改革 sat理念 sat方法 sat技术
在线阅读 下载PDF
MAX-SAT问题一种改进的局部搜索算法 被引量:2
11
作者 赵同昇 朱文兴 《计算机工程与科学》 CSCD 2008年第11期50-52,79,共4页
局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部... 局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度。通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率。 展开更多
关键词 MAX-sat问题 局部搜索 单纯形法
在线阅读 下载PDF
肺泡灌洗液TB-SAT快速诊断涂阴肺结核价值的研究 被引量:2
12
作者 洪炳 李希玖 +3 位作者 钟益锴 张志大 黄健 裴静璇 《中国当代医药》 CAS 2023年第10期82-85,共4页
目的探究肺泡灌洗液结核分枝杆菌RNA恒温扩增荧光实时检测技术(TB-SAT)诊断涂阴肺结核诊断的价值。方法选取2022年1月至7月江西省胸科医院收治的60例疑似肺结核患者,将综合诊断结果(符合肺结核基层诊疗指南)设为金标准,进行肺泡灌洗液TB... 目的探究肺泡灌洗液结核分枝杆菌RNA恒温扩增荧光实时检测技术(TB-SAT)诊断涂阴肺结核诊断的价值。方法选取2022年1月至7月江西省胸科医院收治的60例疑似肺结核患者,将综合诊断结果(符合肺结核基层诊疗指南)设为金标准,进行肺泡灌洗液TB-SAT,分析价值。结果60例患者中,46例患者诊断为肺结核,剩余14例为其他疾病。在46例经金标准诊断为肺结核的患者中,支气管肺泡灌洗液(BALF)抗酸染色诊断9例为肺结核患者;BALF结核菌培养诊断14例为肺结核患者;BALF聚合酶链式反应(PCR)检测诊断21例为肺结核患者;BALF TB-SAT诊断30例为肺结核患者。BALF抗酸染色诊断结果:敏感度为19.57%(9/46)、特异度为57.14%(8/14)、准确度为28.33%(17/60);BALF结核菌培养诊断结果:敏感度为30.43%(14/46)、特异度为78.57%(11/14)、准确度为41.67%(25/60);BALF PCR诊断结果:敏感度为45.65%(21/46)、特异度为64.29%(9/14)、准确度为50.00%(30/60);BALF TB-SAT诊断结果:敏感度为65.22%(30/46)、特异度为92.86%(13/14)、准确度为71.67%(43/60)。BALF TB-SAT诊断结果敏感度、准确度高于其他检测方法,差异有统计学意义(P<0.05);不同检测方法的特异度比较,差异无统计学意义(P>0.05)。结论诊断涂阴肺结核患者时,利用肺泡灌洗液TB-SAT具有较高价值,临床效果显著。 展开更多
关键词 涂阴肺结核 肺泡灌洗液TB-sat 诊断效果 诊断方法 聚合酶链式反应
暂未订购
基于1RSB的正则(k,r)-SAT问题可满足临界 被引量:6
13
作者 周锦程 许道云 卢友军 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2017年第12期7-13,共7页
针对每个变元恰好出现r次且其正、负出现各为r/2次的随机正则(k,r)-SAT问题,结合一阶复本对称破缺理论和随机正则(k,r)-CNF公式解空间的几何结构,分析了通常以解的总数作为一阶矩方法的随机变量时,所得到的随机正则(k,r)-SAT问题可满足... 针对每个变元恰好出现r次且其正、负出现各为r/2次的随机正则(k,r)-SAT问题,结合一阶复本对称破缺理论和随机正则(k,r)-CNF公式解空间的几何结构,分析了通常以解的总数作为一阶矩方法的随机变量时,所得到的随机正则(k,r)-SAT问题可满足临界值上界偏大的本质原因.在此基础上,通过计算可满足相变点附近区域中随机正则(k,r)-CNF公式的解的聚类总数,从而把计算其解的规模转换为计算其解的聚类规模.进一步,通过引入覆盖的定义来表示聚类,并以覆盖总数作为一阶矩方法中的随机变量,结合相关的概率分析,得到了当前该问题可满足临界值点的一个新上界,使得上、下界之间仅有常数1的间隙. 展开更多
关键词 随机正则(k r)-sat问题 相变性质 1RSB腔域方法 可满足临界 变元
原文传递
MP-SAT技术、酶联免疫吸附法与胶体金法对小儿肺炎支原体肺炎的诊断效能对比 被引量:1
14
作者 康平 苏腾腾 陈丹 《中国卫生工程学》 CAS 2020年第6期854-855,859,共3页
目的探究支原体荧光核酸恒温扩增检测技术(MP-SAT)、酶联免疫吸附法(ELISA)与胶体金法检测小儿肺炎支原体(MP)的诊断效能。方法选取本院2017年8月至2019年8月诊治的支原体肺炎患儿180例,另选取同时期收治的非支原体感染肺炎患儿180例。... 目的探究支原体荧光核酸恒温扩增检测技术(MP-SAT)、酶联免疫吸附法(ELISA)与胶体金法检测小儿肺炎支原体(MP)的诊断效能。方法选取本院2017年8月至2019年8月诊治的支原体肺炎患儿180例,另选取同时期收治的非支原体感染肺炎患儿180例。所有研究对象均依次使用MP-SAT技术、ELISA法与胶体金法对支原体进行检测,比较3种检测手段的阳性率、灵敏度、特异度、准确率以及阳性预测值。结果MP-SAT技术的阳性检出率显著高于ELISA法和胶体金法,ELISA法高于胶体金法;而在检测非支原体肺炎时,MP-SAT技术的阳性检出率显著低于ELISA法和胶体金法,ELISA法低于胶体金法;上述差异均有统计学意义(均P<0.05)。以诊断结果为依据,MP-SAT技术检测支原体的灵敏度为93.89%,特异度为97.55%,准确率为95.56%,阳性预测值为97.13%。MP-SAT技术诊断的灵敏度、特异度、准确率、阳性预测值均显著高于ELISA法和胶体金法,ELISA法高于胶体金法,上述差异均有统计学意义(均P<0.05)。结论MP-SAT技术对小儿肺炎支原体肺炎的诊断效能明显优于ELISA法和胶体金法,值得推广应用。 展开更多
关键词 支原体荧光核酸恒温扩增检测技术 酶联免疫吸附法 胶体金法 肺炎支原体 诊断效能
原文传递
基于SAT的线性扩散层分支数的快速计算方法
15
作者 苗旭东 张晶 +2 位作者 胡建勇 董新锋 张文政 《通信技术》 2022年第5期634-639,共6页
将线性扩散层差分和线性分支数的计算问题转化为布尔可满足性问题(Boolean Satisfiability Problem,SAT),提出了一种通用的快速计算分组密码线性扩散层分支数的方法,该方法可以在较短的时间内求解出分组大于32比特线性扩散层的分支数。... 将线性扩散层差分和线性分支数的计算问题转化为布尔可满足性问题(Boolean Satisfiability Problem,SAT),提出了一种通用的快速计算分组密码线性扩散层分支数的方法,该方法可以在较短的时间内求解出分组大于32比特线性扩散层的分支数。为了检验本方法的实际应用效果,测试了一批随机构造的循环异或(Rotation-XOR,RX)结构分组为64比特线性扩散层的分支数。结果显示,所提方法均能在较短的时间内计算出分支数,并且当线性扩散层的分组为64比特、分块为8、异或项数为9时,首次得到分支数达到8的RX结构的扩散层。 展开更多
关键词 布尔可满足性问题 线性扩散层 分支数 循环异或
在线阅读 下载PDF
完全匹配层在矩阵式波动方程SBP-SAT方法应用 被引量:1
16
作者 孙铖 杨在林 +1 位作者 蒋关希曦 刘泰玉 《振动与冲击》 EI CSCD 北大核心 2024年第13期53-60,共8页
数值离散方法和截断边界效果是地震动模拟实现的关键。基于分部求和(summation-by-parts,SBP)和一致逼近(simultaneous approximation term,SAT)的SBP-SAT方法具有较高的稳定性,这使得该方法具备了较高的应用前景和价值。此外,完全匹配... 数值离散方法和截断边界效果是地震动模拟实现的关键。基于分部求和(summation-by-parts,SBP)和一致逼近(simultaneous approximation term,SAT)的SBP-SAT方法具有较高的稳定性,这使得该方法具备了较高的应用前景和价值。此外,完全匹配层(perfect matching layer,PML)是一种应用广泛用于模拟截断边界的技术,但引入匹配层可能会破坏原始方程的稳定性,特别是在各向异性介质或曲线域模型中。首先基于数理推导,给出弹性波动方程系数矩阵的对称形式。在此基础上,引入多轴完全匹配层(multi-axis perfect matching layer,MPML),并建立相应的匹配层方程。通过本征值分析,我们可以判断阻尼函数对原方程特征根实部的走向和取值范围的影响。然后,我们采用SBP-SAT方法对矩阵对称形式匹配层方程进行离散,并在频域中采用能量法进行稳定性评估。通过对不同模型的数值仿真,表明所提出的离散框架具有整合度高、稳定性好和拓展性强等特点。此外,多轴匹配层可以与SBP-SAT方法结合,可以稳定地模拟曲线域中的波传播。 展开更多
关键词 弹性波动方程 对称矩阵形式 高阶有限差分方法 分部求和-一致逼近(SBP-sat) 多轴完全匹配层(MPML) 稳定性
在线阅读 下载PDF
基于SAT的标准化题库的设计构建与组卷策略
17
作者 冯静 《中国核电》 2022年第2期257-261,共5页
以系统化培训方法为理论依据,设计构建标准化题库,实现对试题的开发、使用和维护统一的科学管理。在高质量的试题以及结构合理的题库基础上,提出优质的组卷策略和高效的成卷算法。不仅有利于提高对试题属性和质量的管控能力,并通过收集... 以系统化培训方法为理论依据,设计构建标准化题库,实现对试题的开发、使用和维护统一的科学管理。在高质量的试题以及结构合理的题库基础上,提出优质的组卷策略和高效的成卷算法。不仅有利于提高对试题属性和质量的管控能力,并通过收集试题历次使用得到的分析数据,对试题进行动态的有效性维护,真正实现有评估反馈环节的闭环管理。 展开更多
关键词 系统化培训方法 标准化题库 组卷方法 动态闭环管理
在线阅读 下载PDF
一种改进的自适应滑模变结构导引律 被引量:14
18
作者 高峰 唐胜景 +1 位作者 师娇 郭杰 《弹道学报》 CSCD 北大核心 2013年第3期18-23,共6页
为提高反坦克导弹对空中机动目标的命中精度,使其具备一定的低空防御能力,通过推导纵向平面内末制导段的弹目相对运动简化模型,并以零化弹目视线角速度为出发点,设计了一种改进自适应滑模变结构导引律,同时通过改进开关项系数,综合应用... 为提高反坦克导弹对空中机动目标的命中精度,使其具备一定的低空防御能力,通过推导纵向平面内末制导段的弹目相对运动简化模型,并以零化弹目视线角速度为出发点,设计了一种改进自适应滑模变结构导引律,同时通过改进开关项系数,综合应用饱和函数,成功削弱了滑模变结构的抖振现象。仿真结果表明,在打击空中机动目标时,设计的导引律具有较高的命中精度,可以合理地分配末制导段导弹的法向过载,证明该文设计的导引律是有效的。 展开更多
关键词 低空防御 变结构导引律 视线角速度 饱和函数法
在线阅读 下载PDF
男性患者解脲脲原体三种不同检测方法评价及药敏分析 被引量:5
19
作者 彭鹏 杨爱平 +1 位作者 王彩梅 王晓 《中国微生态学杂志》 CAS CSCD 2017年第2期214-216,共3页
目的对男性患者解脲脲原体进行三种检测方法的对比研究及药敏分析。方法选取桂林医学院附属医院自2015年1月至2015年12月收治的406例男性解脲脲原体感染患者作为临床研究对象,分别同时用培养鉴定法、DNA实时荧光定量法(RT-PCR)及RNA实... 目的对男性患者解脲脲原体进行三种检测方法的对比研究及药敏分析。方法选取桂林医学院附属医院自2015年1月至2015年12月收治的406例男性解脲脲原体感染患者作为临床研究对象,分别同时用培养鉴定法、DNA实时荧光定量法(RT-PCR)及RNA实时荧光恒温扩增检测(SAT)法三种方法对标本进行检测。以培养鉴定法作为对照组,对比RT-PCR及SAT方法对解脲脲原体的阳性检出率。结果培养鉴定法、RT-PCR、SAT法阳性检出率分别为41.7%、35.5%、43.6%,培养鉴定法与SAT法阳性检出率明显高于RT-PCR,具有显著差异(χ~2=4.35,P=0.0362);培养鉴定法与SAT法阳性率无明显差异(χ2=2.89,P=0.0982),有较好的一致性(K=0.890,P<0.05);药敏结果显示,解脲脲原体对强力霉素、美满霉素敏感性较高,敏感率为97.6%。结论对男性疑似解脲脲原体感染患者建议选择不同检测方法诊断以保证阳性检出率,可以更好指导临床抗生素合理使用。 展开更多
关键词 解脲脲原体 培养鉴定法 DNA实时荧光定量法 sat
原文传递
激光诱导荧光技术在DNA计算输出中的应用 被引量:2
20
作者 刘向荣 刘文斌 许进 《计算机工程与应用》 CSCD 北大核心 2005年第1期38-42,共5页
DNA计算机以其高度并行性和巨大的信息存储容量为NP-完全问题的解决提供了一种全新的方法,而快速准确的结果输出是其走向实用的关键之一。文章主要介绍激光诱导荧光(LIF)技术,并对LIF在DNA计算机输出中的应用进行了讨论。
关键词 DNA计算机 激光诱导荧光 双脱氧测序法 sat问题
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部