期刊文献+
共找到1,313篇文章
< 1 2 66 >
每页显示 20 50 100
基于转录组学和细胞实验验证探究药根碱对结直肠癌细胞SAT1介导的铁死亡的调控作用
1
作者 李智育 王松玲 +3 位作者 张雯 代欣宇 周明明 彭海燕 《中国中药杂志》 北大核心 2026年第1期153-162,共10页
探讨黄连提取物药根碱(JAT)通过亚精胺/精胺N1-乙酰转移酶1(SAT1)对人结直肠癌(CRC)HT29和HCT116细胞诱导P53介导的铁死亡的影响。采用cell counting kit-8 (CCK-8)法检测细胞活力;平板克隆实验检测细胞增殖能力;流式细胞术检测细胞周期... 探讨黄连提取物药根碱(JAT)通过亚精胺/精胺N1-乙酰转移酶1(SAT1)对人结直肠癌(CRC)HT29和HCT116细胞诱导P53介导的铁死亡的影响。采用cell counting kit-8 (CCK-8)法检测细胞活力;平板克隆实验检测细胞增殖能力;流式细胞术检测细胞周期;JC-1染料检测线粒体膜电位;用高通量转录组测序(RNA-seq)技术分析JAT处理后HT29和HCT116细胞基因变化。利用慢病毒转染技术构建SAT1过表达HCT116和HT29细胞株,实时荧光定量聚合酶链式反应(real-time qPCR)实验检测转染效率。Fe^(2+)、活性氧(ROS)、脂质氧化(MDA)、谷胱甘肽(GSH)检测试剂盒检测CRC细胞株中Fe^(2+)、ROS、MDA、GSH表达,蛋白免疫印迹(WB)和qPCR检测胱氨酸/谷氨酸反向转运蛋白(SLC7A11)、谷胱甘肽过氧化物酶4(GPX4)、酰基辅酶A合成酶长链家族成员4(ACSL4)、肿瘤蛋白P53(P53)、SAT1蛋白和mRNA在CRC细胞株中的表达。结果显示,JAT可以抑制HCT116和HT29细胞活力和增殖,诱导细胞周期停滞,降低线粒体膜电位。转录组测序可知JAT对HCT116和HT29细胞主要富集的KEGG通路有蛋白质消化和吸收,精氨酸和脯氨酸代谢,甘氨酸、丝氨酸和苏氨酸代谢,铁死亡等。其中精氨酸代谢途径中的SAT1经JAT处理后mRNA显著上调。且JAT处理后各剂量组在HCT116和HT29细胞中Fe^(2+)、ROS、MDA水平升高,GSH含量明显降低,SLC7A11、GPX4蛋白表达降低,ACSL4、SAT1、P53蛋白表达升高。SAT1过表达后的2种CRC细胞株可抑制细胞的增殖,并可激活P53诱导的铁死亡信号通路,而转染SAT1过表达慢病毒(oveSAT1)+JAT组相较于oveSAT1组有更好的效果。综上,JAT可通过上调脯氨酸代谢中SAT1关键分子蛋白激活P53诱导的铁死亡信号通路。 展开更多
关键词 药根碱 结直肠癌 铁死亡 sat1
原文传递
刺芒柄花素通过下调P53/SAT1/ACSL4介导的铁死亡改善新生小鼠缺氧缺血性脑损伤
2
作者 郭涛 陈柏霖 +6 位作者 杨逍 赵艳丽 李晓敏 何佳浩 石金沙 左涵珺 李娟娟 《南方医科大学学报》 北大核心 2026年第3期604-614,共11页
目的探讨刺芒柄花素(FMN)对新生小鼠缺氧缺血性脑损伤(HIBD)的神经保护作用,并阐明其机制是否与调控P53/SAT1/ACSL4信号通路以抑制神经元铁死亡有关。方法选取24只出生9~11 d的C57BL/6J新生小鼠,通过结扎左侧颈总动脉并置于低氧环境(92%... 目的探讨刺芒柄花素(FMN)对新生小鼠缺氧缺血性脑损伤(HIBD)的神经保护作用,并阐明其机制是否与调控P53/SAT1/ACSL4信号通路以抑制神经元铁死亡有关。方法选取24只出生9~11 d的C57BL/6J新生小鼠,通过结扎左侧颈总动脉并置于低氧环境(92%N2,8%O2)中40 min以构建HIBD模型。造模成功后,将小鼠随机分为4组(n=6):假手术组(Sham)、模型组(HIBD)、FMN低剂量治疗组(HIBD+FMN-L,50 mg/kg)和高剂量治疗组(HIBD+FMN-H,100 mg/kg)。腹腔注射给药,3 d后取脑皮层缺血半暗带组织进行检测。采用Western blotting和双重免疫荧光技术分析铁死亡通路关键蛋白P53、SAT1及ACSL4的表达水平;同时测定组织内亚铁离子(Fe^(2+))、超氧化物(DHE)、丙二醛(MDA)和谷胱甘肽(GSH)的含量,以评估铁死亡及相关氧化应激指标。体外选用HT22神经元,建立氧糖剥夺(OGD)模型并分组为:对照组(Control)、模型组(OGD)、FMN干预组(OGD+FMN,100μmol/L)、P53激动剂Nutlin-3干预组(OGD+Nutlin-3,10μmol/L)以及FMN与Nutlin-3联合处理组(OGD+FMN+Nutlin-3)。在药物预处理1 h及OGD处理6 h后,检测上述铁死亡相关蛋白,并利用特异性探针或生化方法评估细胞内Fe^(2+)(FerroOrange)、活性氧(DCFH-DA)、脂质过氧化(BODIPY-C11、MDA)、GSH水平、线粒体膜电位(JC-1)及细胞活性(CCK-8)。结果体内实验结果表明,与HIBD组相比,FMN治疗能够显著抑制P53、SAT1和ACSL4的蛋白表达(P<0.05),并有效改善铁死亡相关生化指标,具体为Fe^(2+)、ROS和MDA含量显著降低,同时抗氧化物质GSH水平得以恢复(P<0.05)。体外实验结果与体内发现相互印证,FMN处理缓解了OGD诱导的HT22细胞铁死亡,表现为铁死亡关键蛋白表达下调(P<0.05),Fe^(2+)积聚、脂质过氧化和ROS水平受到抑制,并且GSH含量、线粒体膜电位及细胞活力得到显著改善(P<0.05)。机制验证方面,当使用Nutlin-3特异性激活P53信号后,FMN所产生的上述保护效应均被明显逆转或削弱(P<0.05),P53信号在FMN抑制铁死亡过程中发挥重要的上游调节作用。结论刺芒柄花素通过下调P53/SAT1/ACSL4通路介导的神经元铁死亡的途径,对新生小鼠HIBD产生神经保护效应。 展开更多
关键词 刺芒柄花素 缺氧缺血性脑损伤 铁死亡 P53 sat1 ACSL4
暂未订购
一维准晶波动方程系数矩阵对称化及其SBP-SAT模拟
3
作者 刘泰玉 周月娥 +2 位作者 蒋关希曦 张剑伟 孙铖 《应用数学和力学》 北大核心 2026年第3期367-380,共14页
研究波在准晶中的传播对深入理解准晶体的独特物理特性具有重要价值,但其数值模拟面临较大挑战.通过对波动方程系数矩阵进行对称化,可以有效整合不同类别的波动方程并降低波传播模拟的难度.研究推导了一维准晶波动方程的系数矩阵对称形... 研究波在准晶中的传播对深入理解准晶体的独特物理特性具有重要价值,但其数值模拟面临较大挑战.通过对波动方程系数矩阵进行对称化,可以有效整合不同类别的波动方程并降低波传播模拟的难度.研究推导了一维准晶波动方程的系数矩阵对称形式,并应用迎风格式SBP-SAT差分方法对波动方程进行了离散化,同时通过能量法评估了其稳定性.数值仿真结果表明,所提出的离散框架具有较高的整合度、良好的稳定性及较强的拓展性.此外,该方法能够稳定模拟曲线域中的波传播,降低实现成本,显示了波动方程系数矩阵对称化及其离散框架在波传播模拟中的广泛应用前景. 展开更多
关键词 准晶波动方程 系数矩阵对称式 SBP-sat 有限差分方法 能量法
在线阅读 下载PDF
优化概率选择求解SAT问题
4
作者 贾书恒 付慧敏 《计算机科学》 北大核心 2026年第3期366-374,共9页
在SAT问题的随机局部搜索算法中,主流变量决策策略基于概率选择变量,如probSAT求解器通过计算变量的break值确定选择概率。然而,该方法易陷入局部最优,尤其在应用类问题中表现不佳。为此,提出了一种结合配置检测策略的变量决策方法,动... 在SAT问题的随机局部搜索算法中,主流变量决策策略基于概率选择变量,如probSAT求解器通过计算变量的break值确定选择概率。然而,该方法易陷入局部最优,尤其在应用类问题中表现不佳。为此,提出了一种结合配置检测策略的变量决策方法,动态调整变量选择概率函数。当环境不变时,优先选择break值较低的变量,增强全局优化能力。针对长子句的高扫描开销问题,引入重要邻居数组策略,将高活跃度变量纳入数组,降低计算复杂度。同时,设计了重启机制,利用probSAT在初期快速降低不可满足子句数量的优势,避免后期全局重复翻转现象,提升求解效率。改进后的probSAT_PCCR求解器在长期未解决的数学应用问题测试中表现显著提升,比原始probSAT多解决了142个案例,性能提升546.1%。在美国联邦通信委员会(FCC)的实际应用问题测试中,多解决了1596个案例,性能提升33.5%。结果表明,通过多种策略改进的probSAT求解器在解决SAT问题的应用类问题上性能大幅提升,具有重要应用价值。 展开更多
关键词 配置检测 重要邻居数组 可满足性问题 sat求解器 变量决策策略
在线阅读 下载PDF
最坏情况下Min-2SAT问题的上界 被引量:1
5
作者 谷文祥 姜蕴晖 +1 位作者 周俊萍 殷明浩 《智能系统学报》 北大核心 2012年第3期241-245,共5页
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinS... 最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目. 展开更多
关键词 Maxsat Minsat Min-2sat Maxsat问题的上界 Min-2sat问题的上界 子句数目 分支树
在线阅读 下载PDF
随机正则3-(d,k)-SAT问题的可满足性相变
6
作者 王晓峰 唐傲 +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深度剖析 被引量:19
7
作者 任长松 《教育理论与实践》 CSSCI 北大核心 2007年第7期27-32,共6页
SAT是美国历史上使用最为广泛、研究最为深入的大学入学考试,至今已有80年的历史。SAT分为推理考试(SAT Reasoning Test)和学科考试(SAT Subject Tests)两类,一般人们常说的SAT指的是SAT推理考试。SAT考试全美统一,SAT推理考试每年举行... SAT是美国历史上使用最为广泛、研究最为深入的大学入学考试,至今已有80年的历史。SAT分为推理考试(SAT Reasoning Test)和学科考试(SAT Subject Tests)两类,一般人们常说的SAT指的是SAT推理考试。SAT考试全美统一,SAT推理考试每年举行7次。SAT不是智力测验,也不是学业测验,但近年来,SAT试题的设计与学生们在高中课堂里学习的内容越来越密切地相关起来。 展开更多
关键词 sat 美国大学入学考试 sat推理考试 sat学科考试
在线阅读 下载PDF
AngⅡ激活p53/SAT1信号通路诱导白色脂肪细胞铁死亡 被引量:1
8
作者 邓伟 刘喜燕 +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信号通路
暂未订购
美国大学入学考试SAT的过去、现在和将来 被引量:2
9
作者 陈园园 《教育与考试》 2008年第6期72-76,共5页
SAT是美国广泛采纳的大学入学考试之一,对美国大学招生发挥着重要的作用。本文阐述了SAT的历史背景、现状,并对其未来发展趋势做出预测。SAT的许多经验,值得我们认真研究与借鉴。
关键词 sat 美国大学入学考试 sat-Ⅰ sat-Ⅱ
在线阅读 下载PDF
基于SAT的WARP算法的代数攻击
10
作者 郝春雨 徐洪 《密码学报(中英文)》 北大核心 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搜索应用
11
作者 颜国华 张凤荣 +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
基于分支回溯的NAE-3SAT问题求解算法
12
作者 谷文祥 傅琳璐 +1 位作者 周俊萍 姜蕴晖 《智能系统学报》 北大核心 2012年第6期506-511,共6页
NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效... NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效率.最后证明了算法在最坏情况下的时间复杂度上界为O(1.618n),其中n为公式中的变量数目. 展开更多
关键词 NAEsat NAE-3sat 时间复杂性 NAE-3sat问题上界 变量数目 分支回溯
在线阅读 下载PDF
双相介质波动方程系数矩阵对称化及其SBP-SAT差分模拟
13
作者 孙铖 刘泰玉 +2 位作者 蒋关希曦 张剑伟 杨在林 《振动与冲击》 北大核心 2025年第16期108-118,共11页
波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风... 波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风格式分部求和-一致逼近项(summation by parts-simultaneous approximation terms,SBP-SAT)有限差分方法离散波动方程,并通过能量法进行稳定性评估。通过数值仿真,表明所提出的离散框架具有整合度高,稳定性好和拓展性强等特点。此外,该方法可以稳定模拟曲线域中的波传播并降低其实现成本,表明了波动方程系数矩阵对称化方法及其离散框架在波传播模拟领域具有广泛的应用前景。 展开更多
关键词 双相介质波动方程 系数矩阵对称式 分部求和-一致逼近项(SBP-sat) 有限差分方法 能量法
在线阅读 下载PDF
MALDI-TOF MS与TB-SAT联合检测在非结核分枝杆菌病诊断中的应用
14
作者 任哲 冯建纯 +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 非结核分枝杆菌病 诊断
暂未订购
组织进化算法求解SAT问题 被引量:8
15
作者 刘静 钟伟才 +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数学考试述评与启示 被引量:9
16
作者 张紫茵 马小刚 《数学教育学报》 北大核心 2011年第6期56-58,共3页
美国的SAT考试面向全世界,有其独特的特点.文章介绍了SAT的总体情况,着重介绍了SAT数学考试并对其中的试题进行了分析.从试题编制、评分方式、解题过程和知识记忆这四点对我国的数学高考提出了思考.
关键词 sat sat数学考试 数学高考
在线阅读 下载PDF
基于寻找可满足2-SAT子问题的SAT算法 被引量:1
17
作者 傅阳春 周育人 《计算机应用研究》 CSCD 北大核心 2010年第2期462-464,共3页
可满足问题(SAT)是一个NP-Hard问题。提出了一种求解SAT的新算法(FFSAT)。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SAT问题虽然是NP完全问题,但是当所有子句长度不大于2时,SAT问题可以在线性时间求解。使用2-SAT算法-BinSa... 可满足问题(SAT)是一个NP-Hard问题。提出了一种求解SAT的新算法(FFSAT)。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SAT问题虽然是NP完全问题,但是当所有子句长度不大于2时,SAT问题可以在线性时间求解。使用2-SAT算法-BinSat求解2-SAT子问题,当它不满足时,根据赋值选择新的2-SAT子问题。实验结果表明,采用本算法的结果优于UnitWalk。 展开更多
关键词 sat问题 2-sat子问题 2-sat算法
在线阅读 下载PDF
并行蚁群算法求解加权MAX-SAT 被引量:4
18
作者 孙如祥 唐天兵 李炳慧 《计算机应用研究》 CSCD 北大核心 2012年第1期49-51,共3页
为了使得算法对蚁群进化的控制更加直接、算法更加高效,针对加权MAX-SAT的特点,以重离散化方式简化蚁群算法模型,提出取值概率的概念,并以之替换传统蚁群算法中信息素,最后对该算法作并行化改进。实验结果表明,得到的基于改进后并行化... 为了使得算法对蚁群进化的控制更加直接、算法更加高效,针对加权MAX-SAT的特点,以重离散化方式简化蚁群算法模型,提出取值概率的概念,并以之替换传统蚁群算法中信息素,最后对该算法作并行化改进。实验结果表明,得到的基于改进后并行化的蚁群算法更具有效性,搜索时间明显降低,取得了较好的加速比和效率。 展开更多
关键词 蚁群算法 加速比 并行 最大化可满足性问题(MAX-sat) 加权MAX-sat 多核
在线阅读 下载PDF
Optimizing AES S-Box Implementation:A SAT-Based Approach with Tower Field Representations
19
作者 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
美国SAT的理念、方法、技术对我国高考改革的启示 被引量:3
20
作者 吴晶 《北京教育学院学报》 2015年第6期72-77,共6页
2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、... 2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、技术可供我们参考。理念上,SAT强调以人为本、关注未来;方法上,SAT保持考试内容与课程的适当联系、加强对现场材料的分析以应对"背模板"、题目设置情境化、通过高校指定必考科目解决某些科目过冷过热;技术上,SAT命题过程专业、计分方式科学、分数报告详尽。 展开更多
关键词 高考改革 sat理念 sat方法 sat技术
在线阅读 下载PDF
上一页 1 2 66 下一页 到第
使用帮助 返回顶部