期刊文献+
共找到1,297篇文章
< 1 2 65 >
每页显示 20 50 100
最坏情况下Min-2SAT问题的上界 被引量:1
1
作者 谷文祥 姜蕴晖 +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问题的可满足性相变
2
作者 王晓峰 唐傲 +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
3
作者 任长松 《教育理论与实践》 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
美国大学入学考试SAT的过去、现在和将来 被引量:2
4
作者 陈园园 《教育与考试》 2008年第6期72-76,共5页
SAT是美国广泛采纳的大学入学考试之一,对美国大学招生发挥着重要的作用。本文阐述了SAT的历史背景、现状,并对其未来发展趋势做出预测。SAT的许多经验,值得我们认真研究与借鉴。
关键词 sat 美国大学入学考试 sat-Ⅰ sat-Ⅱ
在线阅读 下载PDF
基于SAT的WARP算法的代数攻击
5
作者 郝春雨 徐洪 《密码学报(中英文)》 北大核心 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搜索应用
6
作者 颜国华 张凤荣 +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问题求解算法
7
作者 谷文祥 傅琳璐 +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差分模拟
8
作者 孙铖 刘泰玉 +2 位作者 蒋关希曦 张剑伟 杨在林 《振动与冲击》 北大核心 2025年第16期108-118,共11页
波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风... 波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风格式分部求和-一致逼近项(summation by parts-simultaneous approximation terms,SBP-SAT)有限差分方法离散波动方程,并通过能量法进行稳定性评估。通过数值仿真,表明所提出的离散框架具有整合度高,稳定性好和拓展性强等特点。此外,该方法可以稳定模拟曲线域中的波传播并降低其实现成本,表明了波动方程系数矩阵对称化方法及其离散框架在波传播模拟领域具有广泛的应用前景。 展开更多
关键词 双相介质波动方程 系数矩阵对称式 分部求和-一致逼近项(SBP-sat) 有限差分方法 能量法
在线阅读 下载PDF
AngⅡ激活p53/SAT1信号通路诱导白色脂肪细胞铁死亡
9
作者 邓伟 刘喜燕 +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信号通路
暂未订购
MALDI-TOF MS与TB-SAT联合检测在非结核分枝杆菌病诊断中的应用
10
作者 任哲 冯建纯 +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
11
作者 刘静 钟伟才 +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
12
作者 张紫茵 马小刚 《数学教育学报》 北大核心 2011年第6期56-58,共3页
美国的SAT考试面向全世界,有其独特的特点.文章介绍了SAT的总体情况,着重介绍了SAT数学考试并对其中的试题进行了分析.从试题编制、评分方式、解题过程和知识记忆这四点对我国的数学高考提出了思考.
关键词 sat sat数学考试 数学高考
在线阅读 下载PDF
基于寻找可满足2-SAT子问题的SAT算法 被引量:1
13
作者 傅阳春 周育人 《计算机应用研究》 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
14
作者 孙如祥 唐天兵 李炳慧 《计算机应用研究》 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
15
作者 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
16
作者 吴晶 《北京教育学院学报》 2015年第6期72-77,共6页
2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、... 2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、技术可供我们参考。理念上,SAT强调以人为本、关注未来;方法上,SAT保持考试内容与课程的适当联系、加强对现场材料的分析以应对"背模板"、题目设置情境化、通过高校指定必考科目解决某些科目过冷过热;技术上,SAT命题过程专业、计分方式科学、分数报告详尽。 展开更多
关键词 高考改革 sat理念 sat方法 sat技术
在线阅读 下载PDF
芍药苷通过SAT1/ALOX15信号通路增加非小细胞肺癌细胞对培美曲塞敏感性
17
作者 赵睿暄 杨微 +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之预考PSAT/NMSQT数学部分介绍 被引量:1
18
作者 孔德宏 李建明 《中学数学教学参考(上半月高中)》 北大核心 2006年第9期55-58,共4页
美国国家荣誉奖学金公司(Nationa lMerit Scholarship Corporation,简称NMSC)是一家非赢利的私立组织,它管理着两个学术竞赛奖学金——美国学生荣誉奖学金项目(National Merit Scholarship Program)和美国学生成就奖学金项目(Nat... 美国国家荣誉奖学金公司(Nationa lMerit Scholarship Corporation,简称NMSC)是一家非赢利的私立组织,它管理着两个学术竞赛奖学金——美国学生荣誉奖学金项目(National Merit Scholarship Program)和美国学生成就奖学金项目(National Achievement Scholarship Program),这两个奖学金主要用于对高中11年级优秀学生的认可以及用作他们今后读大学的奖学金。美国学生荣誉奖学金项目于1955年美国国家荣誉奖学金公司成立之时便已实施,至今已发展成为规模较大, 展开更多
关键词 大学 入学考试 美国 sat 奖学金 Psat NMSQT 预考 学术竞赛奖学金 数学部分
原文传递
CDCLSAT求解器的重启策略分析 被引量:3
19
作者 程睿 周彩兰 +1 位作者 徐宁 周强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2018年第6期1136-1144,共9页
CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求... CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求解效率的影响,以及求解初期的决策变量数等行为特征数据集与重启策略集之间的关系.实验结果表明,通过改变重启策略可以提高求解效率,所得到的最优解比缺省解的效率可提高6 959%,平均提高411%;重启策略在求解过程中表现出较大的个体差异性和一定的群体差异性;相比重启频率,重启序列对求解效率影响更大.进一步用7种重启策略集合覆盖97%案列的最优重启策略,通过求解初期的特征值变化频率与相应的重启策略关联,为后期选择最优重启策略提供技术支持. 展开更多
关键词 CDCL sat算法 sat求解器 重启策略 重启序列 重启策略选择
在线阅读 下载PDF
求解SAT问题的拟人退火算法 被引量:27
20
作者 张德富 黄文奇 汪厚祥 《计算机学报》 EI CSCD 北大核心 2002年第2期148-152,共5页
该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有... 该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有模拟退火算法的全局收敛性质 ,而且具有一定的并行性、继承性 .数值实验表明 ,对于本文随机产生的测试问题例 ,采用拟人策略的模拟退火算法的结果优于局部搜索算法、模拟退火算法以及近来国际上流行的 WAL KSAT算法 。 展开更多
关键词 sat问题 模拟退火算法 拟人退火算法 目标函数 计算机 可满足性
在线阅读 下载PDF
上一页 1 2 65 下一页 到第
使用帮助 返回顶部