期刊文献+
共找到3,925篇文章
< 1 2 197 >
每页显示 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的WARP算法的代数攻击
2
作者 郝春雨 徐洪 《密码学报(中英文)》 北大核心 2025年第2期283-296,共14页
WARP算法是由Banik等人在SAC2020会议上提出的一种轻量级分组密码算法,具有极低的硬件成本,可以作为AES-128算法的轻量级代替.本文基于SAT方法研究了对WARP算法的代数攻击,在代数攻击模型的构建上,提出WARP算法线性运算和非线性运算的... WARP算法是由Banik等人在SAC2020会议上提出的一种轻量级分组密码算法,具有极低的硬件成本,可以作为AES-128算法的轻量级代替.本文基于SAT方法研究了对WARP算法的代数攻击,在代数攻击模型的构建上,提出WARP算法线性运算和非线性运算的不同建模方式,并根据SAT模型的特点,利用多种预处理技术简化模型,提高求解效率.在求解SAT模型时,分析了当密钥变元重量、明密文对数和密钥穷举量不同时相应SAT模型的求解效率.利用这些方法,通过穷举40比特密钥,使用60对具有差分结构的明密文进行代数攻击,在约2^(53.28) s内,可以恢复15轮WARP算法的全部128比特密钥. 展开更多
关键词 WARP 轻量级分组密码 代数攻击 sat
在线阅读 下载PDF
顺序编码方法优化与SAT搜索应用
3
作者 颜国华 张凤荣 +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
AngⅡ激活p53/SAT1信号通路诱导白色脂肪细胞铁死亡
4
作者 邓伟 刘喜燕 +9 位作者 郭丽媛 徐倩 周坤 赵元琴 王昭月 李想 邓新梅 秦昕怡 任重 姜志胜 《中国动脉硬化杂志》 2025年第5期385-394,共10页
[目的]探讨血管紧张素Ⅱ(AngⅡ)对白色脂肪细胞铁死亡的影响及其机制。[方法]通过诱导物刺激的方法使3T3-L1脂肪前体细胞向白色脂肪细胞分化,实验分为对照组、AngⅡ组、AngⅡ+Fer-1(铁死亡抑制剂)组和AngⅡ+PFT-α(p53抑制剂)组。使用An... [目的]探讨血管紧张素Ⅱ(AngⅡ)对白色脂肪细胞铁死亡的影响及其机制。[方法]通过诱导物刺激的方法使3T3-L1脂肪前体细胞向白色脂肪细胞分化,实验分为对照组、AngⅡ组、AngⅡ+Fer-1(铁死亡抑制剂)组和AngⅡ+PFT-α(p53抑制剂)组。使用AngⅡ处理细胞,利用RT-qPCR和Western blot检测细胞铁死亡因子和脂肪因子表达水平,JC-1试剂盒检测线粒体膜电位(MMP)水平,铁离子试剂盒检测细胞内铁含量,谷胱甘肽(GSH)试剂盒检测GSH含量。加入Fer-1和AngⅡ处理细胞,检测细胞铁死亡水平变化。检测p53和亚精胺/精胺N1-乙酰转移酶1(SAT1)蛋白表达。随后加入PFT-α和AngⅡ共处理细胞,检测p53和SAT1蛋白表达变化,观察抑制p53表达对细胞铁死亡因子和脂肪因子表达水平的影响。[结果]通过刺激物诱导分化法成功将3T3-L1细胞分化为白色脂肪细胞。AngⅡ诱导白色脂肪细胞发生铁死亡。RT-qPCR结果显示,与对照组相比,AngⅡ组的抗铁死亡因子谷胱甘肽过氧化物酶4(GPX4)、溶质载体家族7成员11(SLC7A11)和铁调节蛋白1(IRP-1)的mRNA表达均下调,促铁死亡因子酯酰辅酶A合成酶长链家族成员4(ACSL4)的mRNA表达上调。Western blot结果显示,与对照组相比,AngⅡ组的SLC7A11和GPX4的蛋白表达均下调,ACSL4的蛋白表达上调。AngⅡ处理使细胞内铁离子的含量增加,GSH和MMP水平下降。与AngⅡ组相比,AngⅡ+Fer-1组的IRP-1和SLC7A11的mRNA表达均上调。AngⅡ诱导白色脂肪细胞的脂肪因子表达谱改变。Western blot结果显示,与对照组相比,AngⅡ组的促炎脂肪因子瘦素(LEP)、抵抗素(RETN)、白细胞介素6(IL-6)和肿瘤坏死因子α(TNF-α)的蛋白表达均上调,抗炎脂肪因子脂联素(ADPN)和网膜素1(ITLN1)的蛋白表达下调。此外,AngⅡ使p53和SAT1蛋白表达增加。抑制p53表达可改善AngⅡ处理下白色脂肪细胞的铁死亡水平和脂肪因子表达水平。Western blot结果显示,与AngⅡ组相比,AngⅡ+PFT-α组的p53和SAT1蛋白表达下调,SLC7A11和GPX4蛋白表达上调,ACSL4蛋白表达下调;AngⅡ+PFT-α组的ADPN蛋白表达上调,TNF-α、LEP和RETN的蛋白表达均下调。[结论]AngⅡ通过激活p53/SAT1信号通路诱导白色脂肪细胞铁死亡。 展开更多
关键词 白色脂肪组织 血管紧张素Ⅱ 铁死亡 p53/sat1信号通路
暂未订购
双相介质波动方程系数矩阵对称化及其SBP-SAT差分模拟
5
作者 孙铖 刘泰玉 +2 位作者 蒋关希曦 张剑伟 杨在林 《振动与冲击》 北大核心 2025年第16期108-118,共11页
波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风... 波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风格式分部求和-一致逼近项(summation by parts-simultaneous approximation terms,SBP-SAT)有限差分方法离散波动方程,并通过能量法进行稳定性评估。通过数值仿真,表明所提出的离散框架具有整合度高,稳定性好和拓展性强等特点。此外,该方法可以稳定模拟曲线域中的波传播并降低其实现成本,表明了波动方程系数矩阵对称化方法及其离散框架在波传播模拟领域具有广泛的应用前景。 展开更多
关键词 双相介质波动方程 系数矩阵对称式 分部求和-一致逼近项(SBP-sat) 有限差分方法 能量法
在线阅读 下载PDF
MALDI-TOF MS与TB-SAT联合检测在非结核分枝杆菌病诊断中的应用
6
作者 任哲 冯建纯 +2 位作者 谢炯 田二朋 马伟立 《河北医学》 2025年第9期1563-1568,共6页
目的:探讨基体辅助激光解吸电离飞行时间质谱(MALDI-TOF MS)与RNA恒温扩增实时荧光检测(TB-SAT)联合检测在非结核分枝杆菌(NTM)肺病诊断中的应用。方法:选取2020年1月至2024年12月河北省胸科医院收治的疑似152例NTM肺病患者,对支气管肺... 目的:探讨基体辅助激光解吸电离飞行时间质谱(MALDI-TOF MS)与RNA恒温扩增实时荧光检测(TB-SAT)联合检测在非结核分枝杆菌(NTM)肺病诊断中的应用。方法:选取2020年1月至2024年12月河北省胸科医院收治的疑似152例NTM肺病患者,对支气管肺泡灌洗液(BALF)标本进行MALDI-TOF MS、TB-SAT检查,以NTM肺病诊断标准为金标准,分析MALDI-TOF MS、TB-SAT单一筛查NTM肺病的效能及与金标准的一致性,分析MALDI-TOF MS、TB-SAT联合诊断NTM肺病、NTM肺病菌种分布的效能。结果:以NTM肺病诊断标准为准,最终确诊80例(53.63%),其中46.51%胞内分枝杆菌为主;MALDI-TOF MS、TB-SAT检测NTM肺病阳性率81.25%、78.75%,2种检测技术与金标准的一致性Kappa值分别为0.533(95%CI:0.376~0.691)、0.538(95%CI:0.378~0.697);MALDI-TOF MS、TB-SAT联合诊断敏感性、特异性、准确性、阳性预测值、阴性预测值均高于单一筛查(P<0.05);MALDI-TOF MS、TB-SAT联合诊断NTM肺病菌种分布与金标准的一致性Kappa值为0.882(95%CI:0.757~1.007)。结论:MALDI-TOF MS、TB-SAT联合检测在NTM肺病中具有良好的诊断价值,可提高诊断准确性,为临床准确诊断NTM提供有力支持。 展开更多
关键词 MALDI-TOF MS TB-sat 非结核分枝杆菌病 诊断
暂未订购
Optimizing AES S-Box Implementation:A SAT-Based Approach with Tower Field Representations
7
作者 Jingya Feng Ying Zhao +1 位作者 Tao Ye Wei Feng 《Computers, Materials & Continua》 2025年第4期1515-1531,共17页
The efficient implementation of the Advanced Encryption Standard(AES)is crucial for network data security.This paper presents novel hardware implementations of the AES S-box,a core component,using tower field represen... The efficient implementation of the Advanced Encryption Standard(AES)is crucial for network data security.This paper presents novel hardware implementations of the AES S-box,a core component,using tower field representations and Boolean Satisfiability(SAT)solvers.Our research makes several significant contri-butions to the field.Firstly,we have optimized the GF(24)inversion,achieving a remarkable 31.35%area reduction(15.33 GE)compared to the best known implementations.Secondly,we have enhanced multiplication implementa-tions for transformation matrices using a SAT-method based on local solutions.This approach has yielded notable improvements,such as a 22.22%reduction in area(42.00 GE)for the top transformation matrix in GF((24)2)-type S-box implementation.Furthermore,we have proposed new implementations of GF(((22)2)2)-type and GF((24)2)-type S-boxes,with the GF(((22)2)2)-type demonstrating superior performance.This implementation offers two variants:a small area variant that sets new area records,and a fast variant that establishes new benchmarks in Area-Execution-Time(AET)and energy consumption.Our approach significantly improves upon existing S-box implementations,offering advancements in area,speed,and energy consumption.These optimizations contribute to more efficient and secure AES implementations,potentially enhancing various cryptographic applications in the field of network security. 展开更多
关键词 AES S-box sat optimization tower field hardware implementation area efficiency energy consumption
在线阅读 下载PDF
芍药苷通过SAT1/ALOX15信号通路增加非小细胞肺癌细胞对培美曲塞敏感性
8
作者 赵睿暄 杨微 +1 位作者 陈妍 侯丽丽 《解剖科学进展》 2025年第5期639-642,646,共5页
目的探究芍药苷介导SAT1对非小细胞肺癌细胞对培美曲塞敏感性的影响并分析其机制。方法不同浓度芍药苷处理A549细胞,CCK-8检测细胞活力并确定后续实验药物浓度。将细胞分为对照组(Control组)、芍药苷组(Paeoniflorin组)、芍药苷+敲减对... 目的探究芍药苷介导SAT1对非小细胞肺癌细胞对培美曲塞敏感性的影响并分析其机制。方法不同浓度芍药苷处理A549细胞,CCK-8检测细胞活力并确定后续实验药物浓度。将细胞分为对照组(Control组)、芍药苷组(Paeoniflorin组)、芍药苷+敲减对照组(Paeoniflorin+sh-NC组)和芍药苷+敲减SAT1组(Paeoniflorin+sh-SAT1组),Western blot验证转染效率;采用CCK-8检测不同浓度培美曲塞处理对各组A549细胞的细胞活力的影响;ROS探针染色检测各组A549细胞中ROS水平;亚铁离子含量检测试剂盒检测各组A549细胞中铁含量;ELISA检测各组A549细胞中MDA和4-HNE含量以及SOD活性。结果芍药苷剂量依赖降低A549细胞的细胞活力,且20μmol/L芍药苷处理的A549细胞的细胞活力最低。芍药苷处理上调A549细胞中SAT1表达,且敲减SAT1逆转芍药苷对培美曲塞处理后A549细胞的细胞活力的下调作用。芍药苷处理上调非小细胞肺癌细胞中ALOX15表达,增加细胞中ROS水平、铁含量以及MDA和4-HNE含量,并降低细胞中SOD活性。敲减SAT1后,芍药苷处理的非小细胞肺癌中ALOX15表达下调,ROS水平、铁含量以及MDA和4-HNE含量降低,SOD活性升高。结论芍药苷通过上调SAT1表达增加非小细胞肺癌细胞对培美曲塞的敏感性。 展开更多
关键词 芍药苷 非小细胞肺癌 培美曲塞 化疗药物敏感性 sat1/ALOX15信号通路 铁死亡
原文传递
求解SAT问题的拟人退火算法 被引量:27
9
作者 张德富 黄文奇 汪厚祥 《计算机学报》 EI CSCD 北大核心 2002年第2期148-152,共5页
该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有... 该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有模拟退火算法的全局收敛性质 ,而且具有一定的并行性、继承性 .数值实验表明 ,对于本文随机产生的测试问题例 ,采用拟人策略的模拟退火算法的结果优于局部搜索算法、模拟退火算法以及近来国际上流行的 WAL KSAT算法 。 展开更多
关键词 sat问题 模拟退火算法 拟人退火算法 目标函数 计算机 可满足性
在线阅读 下载PDF
组织进化算法求解SAT问题 被引量:8
10
作者 刘静 钟伟才 +1 位作者 刘芳 焦李成 《计算机学报》 EI CSCD 北大核心 2004年第10期1422-1428,共7页
基于组织的概念设计了一种新的进化算法———求解SAT问题的组织进化算法 (OrganizationalEvolution aryAlgorithmforSATproblem ,OEASAT) .OEASAT将SAT问题分解成若干子问题 ,然后用每个子问题形成一个组织 ,并根据SAT问题的特点设计... 基于组织的概念设计了一种新的进化算法———求解SAT问题的组织进化算法 (OrganizationalEvolution aryAlgorithmforSATproblem ,OEASAT) .OEASAT将SAT问题分解成若干子问题 ,然后用每个子问题形成一个组织 ,并根据SAT问题的特点设计了三种组织进化算子———自学习算子、吞并算子和分裂算子以引导组织的进化 .根据组织的适应度 ,将所有组织分成两个种群———最优种群和非最优种群 ,然后用进化的方式来控制各算子 ,以协调各组织间的相互作用 .OEASAT通过先解决子问题 ,再协调相冲突变量的方式来求解SAT问题 .由于子问题的规模较小 ,相对于原问题来说较容易解决 ,这样就达到了降低问题复杂度的目的 .实验用标准SATLIB库中变量个数从 2 0~ 2 5 0的 370 0个不同规模的标准SAT问题对OEASAT的性能作了全面的测试 ,并与著名的WalkSAT和RFEA2的结果作了比较 .结果表明 ,OEASAT具有更高的成功率和更高的运算效率 .对于具有 2 5 0个变量、10 6 5个子句的SAT问题 ,OEASAT仅用了 1.5 2 4s,表现出了优越的性能 . 展开更多
关键词 组织 进化算法 sat问题 0EAsat 自学习算子 分裂算子 合取范式可满足性问题 人工智能
在线阅读 下载PDF
基于子句权重学习的求解SAT问题的遗传算法 被引量:15
11
作者 凌应标 吴向军 姜云飞 《计算机学报》 EI CSCD 北大核心 2005年第9期1476-1482,共7页
该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,... 该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SATWAGA等多个算法的实验系统,对选择最佳早熟判定参数值给出了一些有效的建议.实验结果表明:与一般遗传算法相比,SATWAGA算法在求解速度、成功率和求解问题的规模等方面都有明显的改善. 展开更多
关键词 sat问题 遗传算法 子句权重 早熟
在线阅读 下载PDF
求解SAT问题的量子免疫克隆算法 被引量:45
12
作者 李阳阳 焦李成 《计算机学报》 EI CSCD 北大核心 2007年第2期176-183,共8页
将量子计算应用于人工免疫系统中的克隆算子,提出了一种基于量子编码的免疫克隆算法(Quantum-InspiredImmuneClonalAlgorithm,QICA)来求解SAT问题,并从理论上证明了算法的全局收敛性.算法中采用量子位的编码方式来表达种群中的抗体,针... 将量子计算应用于人工免疫系统中的克隆算子,提出了一种基于量子编码的免疫克隆算法(Quantum-InspiredImmuneClonalAlgorithm,QICA)来求解SAT问题,并从理论上证明了算法的全局收敛性.算法中采用量子位的编码方式来表达种群中的抗体,针对这种编码方式采用量子旋转门和动态调整旋转角度策略对抗体进行演化,加速原有克隆算子的收敛;利用克隆算子的局部寻优能力强的特点,在各个子群体间采用量子交叉操作来增强信息交流,提高种群的多样性防止早熟.实验中,用标准SATLIB库中的3700个不同规模的标准SAT问题对QICA的性能作了全面的测试,并与单纯的量子遗传算法和简单免疫克隆算法以及著名的WalkSAT和PFEA2算法进行比较,仿真实验表明:QICA具有更高的成功率和运算效率.对于具有250个变量、1065个子句的SAT问题,QICA也仅用了1.357s,显示出了优越的性能. 展开更多
关键词 量子编码 遗传算法 人工免疫系统 克隆算子 sat问题
在线阅读 下载PDF
利用近似解加速求解SAT问题的启发式完全算法 被引量:5
13
作者 荆明娥 周电 +1 位作者 唐璞山 周晓方 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第9期1184-1189,共6页
结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全算法.首先利用局部搜索算法快速地得到一个近似解,并将该近似解作为完全算法的初始输入,用于其中分支变量... 结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全算法.首先利用局部搜索算法快速地得到一个近似解,并将该近似解作为完全算法的初始输入,用于其中分支变量的相位决策.该算法引导完全算法优先搜索近似解所在的子空间,加速解决器找到可满足解的过程,为SAT问题的求解提供了一种新的有效途径.实验结果表明,该算法有效地提高了决策的精度和SAT解决器的效率,对很多实例非常有效. 展开更多
关键词 sat问题 完全算法 局部搜索 变量决策
在线阅读 下载PDF
一种基于SAT的运算电路查错方法 被引量:4
14
作者 陈云霁 张健 +1 位作者 沈海华 胡伟武 《计算机学报》 EI CSCD 北大核心 2007年第12期2082-2089,共8页
基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF,通过采用了标志子句技术的E-SAT求解器进行求解.实验表明该方法自动化程度高,能处理大规模的运算电路,有较强的查找错误能力.
关键词 形式验证 模型检验 sat E—CNF 标志子句
在线阅读 下载PDF
使用SAT求解器产生所有极小冲突部件集 被引量:23
15
作者 赵相福 欧阳丹彤 《电子学报》 EI CAS CSCD 北大核心 2009年第4期804-810,共7页
产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成... 产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%). 展开更多
关键词 基于模型的诊断 冲突集 可满足性 sat求解器 启发式
在线阅读 下载PDF
大数据动态安全SAT双向防御模型的研究 被引量:7
16
作者 罗恩韬 胡志刚 杨杰 《计算机应用研究》 CSCD 北大核心 2014年第5期1470-1474,共5页
为了保障大数据计算的安全,结合大数据安全的安全研究和可信云的概念,提出一个大数据计算下SAT的双向防御系统模型。该模型通过动态安全因子对用户数据证据进行规范;逐步确定各行为证据的安全权限,实现行为的可靠性测试,为用户提供最大... 为了保障大数据计算的安全,结合大数据安全的安全研究和可信云的概念,提出一个大数据计算下SAT的双向防御系统模型。该模型通过动态安全因子对用户数据证据进行规范;逐步确定各行为证据的安全权限,实现行为的可靠性测试,为用户提供最大限度的安全防御。实验结果表明,该系统模型可以有效地提升大数据的数据安全,降低黑客的恶意攻击行为,从而提高大数据分析效率。 展开更多
关键词 大数据 sat防御系统模型 双向防御
在线阅读 下载PDF
SAT问题中局部搜索法的改进 被引量:12
17
作者 杨晋吉 苏开乐 《计算机研究与发展》 EI CSCD 北大核心 2005年第1期60-65,共6页
局部搜索方法在求解SAT问题的高效率使其成为一研究热点.提出用初始概率的方法对局部搜索算法中变量的初始随机指派进行适当的约束.使在局部搜索的开始阶段,可满足的子句数大大增加,减少了翻转的次数,加快了求解的速度.用该方法对目前... 局部搜索方法在求解SAT问题的高效率使其成为一研究热点.提出用初始概率的方法对局部搜索算法中变量的初始随机指派进行适当的约束.使在局部搜索的开始阶段,可满足的子句数大大增加,减少了翻转的次数,加快了求解的速度.用该方法对目前的一些重要的SAT问题的局部搜索算法(如WSAT,TSAT,NSAT,SDF等)进行改进,通过对不同规模的随机3-SAT问题的实例和一些不同规模的结构性SAT问题的实例,以及利用相变现象构造的难解SAT实例测试表明,改进后的这些局部搜索算法的求解效率有了很大的提高.该方法对其他局部搜索法的改进具有参考价值。 展开更多
关键词 sat问题 局部搜索 概率
在线阅读 下载PDF
最坏情况下#3-SAT问题最小上界 被引量:3
18
作者 周俊萍 殷明浩 +2 位作者 周春光 翟延冬 王康平 《计算机研究与发展》 EI CSCD 北大核心 2011年第11期2055-2063,共9页
最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上... 最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上界,不仅可以从另一个角度衡量算法的好坏,而且在某种程度上更能准确地反映出算法的性能.首先从子句数量的角度证明了之前提出的基于扩展规则的模型计数算法(CER算法)的上界O(2m),其中m是公式中子句的数量.为了提高#3-SAT问题的求解效率,采用了多种分裂规则,进一步给出了一种基于Davis-Putnam-Logemann-Loveland(DPLL)的#3-SAT算法MCDP.通过分析该算法得到了以子句数量为参数的#3-SAT问题在最坏情况下的上界O(1.8393m). 展开更多
关键词 最坏情况 上界 #3 sat 复杂性分析 模型计数
在线阅读 下载PDF
求解SAT问题的多智能体社会进化算法 被引量:6
19
作者 潘晓英 焦李成 刘芳 《计算机学报》 EI CSCD 北大核心 2014年第9期2011-2020,共10页
基于Agent社会合作机制以及智能体对环境的感知和反作用能力提出了一种新的求解SAT问题的多智能体社会进化方法MASEA(Multi-AgentSocialEvolutionaryAlgorithm)。该方法在多智能体进化思想的基础上,引入人类社会“关系网模型”的概... 基于Agent社会合作机制以及智能体对环境的感知和反作用能力提出了一种新的求解SAT问题的多智能体社会进化方法MASEA(Multi-AgentSocialEvolutionaryAlgorithm)。该方法在多智能体进化思想的基础上,引入人类社会“关系网模型”的概念来建立智能体所能感知的邻域环境;同时在保留原有的竞争算子和自学习算子前提下,根据智能体具有竞争协作的特性,设计了一个新的算子---协作算子来共同完成整个进化过程。以标准SATLIB库中变量个数从20~250的3700个不同规模的标准SAT问题以及基于RB模型所产生的随机实例对MASEA的性能进行了全面的测试,并与其他一些具有较高性能算法的结果进行了比较。结果表明,MASEA具有更高的成功率和更高的运算效率。 展开更多
关键词 多智能体系统 进化算法 关系网模型 sat问题 协作算子
在线阅读 下载PDF
SAT-TB、Xpert-MTB/RIF对复治肺结核患者快速诊断的应用价值 被引量:8
20
作者 李天义 肖海浩 +2 位作者 汤春梅 苏雯婕 陈家华 《分子诊断与治疗杂志》 2023年第1期56-59,64,共5页
目的 探讨分枝杆菌RNA恒温扩增实时检测技术(SAT-TB)、Xpert-结核分枝杆菌/利福平耐药检测(Xpert-MTB/RIF)对复治肺结核患者快速诊断的应用价值。方法 选取2019年1月至2019年12月在广州市胸科医院疑似复治肺结核患者319例,收集痰或支气... 目的 探讨分枝杆菌RNA恒温扩增实时检测技术(SAT-TB)、Xpert-结核分枝杆菌/利福平耐药检测(Xpert-MTB/RIF)对复治肺结核患者快速诊断的应用价值。方法 选取2019年1月至2019年12月在广州市胸科医院疑似复治肺结核患者319例,收集痰或支气管肺泡灌洗液标本,分别采用涂片找抗酸杆菌、分枝杆菌培养法、SAT-TB法及Xpert-MTB/RIF法检测,统计分析各检测方法对复治肺结核诊断的灵敏度、特异度、准确率、阳性预测值及阴性预测值。结果 319例患者中最终确诊92例复治肺结核患者,其他非活动性肺结核患者227例;以临床最终诊断为标准评估各指标诊断价值,在复治肺结核患者的诊断灵敏度上,Xpert-MTB/RIF法最高,涂片法最低,差异有统计学意义(χ^(2)=26.302,P<0.05);特异度以SAT-TB法最高,差异有统计学意义(χ^(2)=33.675,P<0.05);诊断准确率方面SAT-TB法与Xpert-MTB/RIF法差异无统计学意义(χ^(2)=0.960,P=0.327),但均显著高于涂片法与分枝杆菌培养法,差异有统计学意义(χ^(2)=22.756,P<0.05);阳性预测值以SAT-TB法最高,差异有统计学意义(χ^(2)=23.435,P<0.05);阴性预测值方面Xpert-MTB/RIF法与分枝杆菌培养法差异无统计学意义(χ^(2)=3.159,P=0.076),但显著高于另外2种检测方法,差异有统计学意义(χ^(2)=19.499,P<0.05)。结论 SAT-TB法对复治肺结核患者具有极高的特异度与准确率,且阳性预测价值高,临床可减少误诊,Xpert-MTB/RIF法具有高灵敏度,临床联合应用可避免漏诊误诊。 展开更多
关键词 复治 肺结核 诊断 sat 分枝杆菌
暂未订购
上一页 1 2 197 下一页 到第
使用帮助 返回顶部