期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3,360篇文章
< 1 2 … 168 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
刺芒柄花素通过下调P53/SAT1/ACSL4介导的铁死亡改善新生小鼠缺氧缺血性脑损伤 认领 引用 被引量：2
1
作者 郭涛 陈柏霖 +6 位作者 杨逍 赵艳丽 李晓敏 何佳浩 石金沙 左涵珺 李娟娟 《南方医科大学学报》 CAS CSCD 北大核心 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的表达水平;同时测定组织内亚铁离子(Fe2+)、超氧化物(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后,检测上述铁死亡相关蛋白,并利用特异性探针或生化方法评估细胞内Fe2+(FerroOrange)、活性氧(DCFH-DA)、脂质过氧化(BODIPY-C11、MDA)、GSH水平、线粒体膜电位(JC-1)及细胞活性(CCK-8)。结果体内实验结果表明,与HIBD组相比,FMN治疗能够显著抑制P53、SAT1和ACSL4的蛋白表达(P<0.05),并有效改善铁死亡相关生化指标,具体为Fe2+、ROS和MDA含量显著降低,同时抗氧化物质GSH水平得以恢复(P<0.05)。体外实验结果与体内发现相互印证,FMN处理缓解了OGD诱导的HT22细胞铁死亡,表现为铁死亡关键蛋白表达下调(P<0.05),Fe2+积聚、脂质过氧化和ROS水平受到抑制,并且GSH含量、线粒体膜电位及细胞活力得到显著改善(P<0.05)。机制验证方面,当使用Nutlin-3特异性激活P53信号后,FMN所产生的上述保护效应均被明显逆转或削弱(P<0.05),P53信号在FMN抑制铁死亡过程中发挥重要的上游调节作用。结论刺芒柄花素通过下调P53/SAT1/ACSL4通路介导的神经元铁死亡的途径,对新生小鼠HIBD产生神经保护效应。 展开更多
关键词 刺芒柄花素 缺氧缺血性脑损伤 铁死亡 P53 SAT1 ACSL4
暂未订购 下载PDF
CCSAT:基于冲突驱动子句学习的电路求解器 认领 引用
2
作者 罗茂 陈润尧 +3 位作者 黄意雯 吴歆韵 熊才权 柯远志 《计算机应用研究》 CSCD 北大核心 2026年第5期1449-1455,共7页
布尔可满足性问题(SAT)求解器在电子设计自动化(EDA)领域应用广泛。当前主流SAT求解器均需要使用合取范式(CNF)格式的算例作为输入,然而将电路的与逆图(AIG)编码为CNF格式会导致原始电路的结构受到破坏,从而影响电路等价验证问题的求解... 布尔可满足性问题(SAT)求解器在电子设计自动化(EDA)领域应用广泛。当前主流SAT求解器均需要使用合取范式(CNF)格式的算例作为输入,然而将电路的与逆图(AIG)编码为CNF格式会导致原始电路的结构受到破坏,从而影响电路等价验证问题的求解效率。为解决此问题,提出并实现了一种直接解析电路结构文件的电路SAT求解器。该求解器基于冲突驱动子句学习(CDCL)框架,融合电路结构特性,集成了学习门删除策略、重启机制、基于电路节点活跃度的分支策略。在ISCAS’85/89基准电路上进行的电路等价验证的实验表明,各优化模块显著提升了性能,特别是分支策略在多个电路上实现了超100倍的加速,验证了直接在电路上进行等价验证的可行性。 展开更多
关键词 布尔可满足性 基于电路的SAT求解器 冲突驱动子句学习 电子设计自动化 等价性验证
暂未订购 下载PDF
增量SAT/SMT问题的求解与应用综述 认领 引用
3
作者 李博涵 蔡少伟 《软件学报》 EI CSCD 北大核心 2026年第8期3229-3256,共28页
命题可满足性问题(propositional satisfiability problem,SAT)和可满足性模理论问题(satisfiability modulo theories problem,SMT)是重要的计算机科学基础问题,其在电路设计,软件分析验证等领域都有着重要应用,并且目前已有大量工作... 命题可满足性问题(propositional satisfiability problem,SAT)和可满足性模理论问题(satisfiability modulo theories problem,SMT)是重要的计算机科学基础问题,其在电路设计,软件分析验证等领域都有着重要应用,并且目前已有大量工作对其求解技术进行研究.在实际应用场景中,SAT/SMT求解器通常需要求解一系列互相紧密联系的公式.相比于每次都调用独立的求解器重新求解,增量求解技术可以复用之前搜索得到的信息,包括之前的求解结果以及学习子句等,从而有效提高了求解效率.目前,增量SAT/SMT求解已经受到广泛重视与研究,并成功应用于有界模型检测,符号执行,最大可满足性问题等领域中.对增量SAT/SMT的求解技术进行详细综述与梳理,涵盖了完备与非完备算法.此外,详细总结增量SAT/SMT求解技术在实际场景中的主要应用.最后,对该领域的发展方向进行总结和展望. 展开更多
关键词 命题可满足性问题 可满足性模理论问题 增量求解
暂未订购 下载PDF
基于转录组学和细胞实验验证探究药根碱对结直肠癌细胞SAT1介导的铁死亡的调控作用 认领 引用
4
作者 李智育 王松玲 +3 位作者 张雯 代欣宇 周明明 彭海燕 《中国中药杂志》 CAS CSCD 北大核心 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)实验检测转染效率。Fe2+、活性氧(ROS)、脂质氧化(MDA)、谷胱甘肽(GSH)检测试剂盒检测CRC细胞株中Fe2+、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细胞中Fe2+、ROS、MDA水平升高,GSH含量明显降低,SLC7A11、GPX4蛋白表达降低,ACSL4、SAT1、P53蛋白表达升高。SAT1过表达后的2种CRC细胞株可抑制细胞的增殖,并可激活P53诱导的铁死亡信号通路,而转染SAT1过表达慢病毒(oveSAT1)+JAT组相较于oveSAT1组有更好的效果。综上,JAT可通过上调脯氨酸代谢中SAT1关键分子蛋白激活P53诱导的铁死亡信号通路。 展开更多
关键词 药根碱 结直肠癌 铁死亡 SAT1
暂未订购 下载PDF
严格d-正则(3,s)-SAT问题的计算复杂性 认领 引用
5
作者 王永平 符祖峰 《计算机科学》 CSCD 北大核心 2026年第5期346-353,共8页
严格d-正则(3,s)-SAT问题是指:给定一个严格d-正则(3,s)-CNF公式,判定是否存在对其变量的一个真值指派,使公式的真值为真。此处,严格d-正则(3,s)-CNF公式是指:每个子句的长度为3,每个变量的出现次数为s,每个变量的正、负出现次数之差的... 严格d-正则(3,s)-SAT问题是指:给定一个严格d-正则(3,s)-CNF公式,判定是否存在对其变量的一个真值指派,使公式的真值为真。此处,严格d-正则(3,s)-CNF公式是指:每个子句的长度为3,每个变量的出现次数为s,每个变量的正、负出现次数之差的绝对值为d的CNF公式。研究表明,一定条件下,严格d-正则(3,s)-SAT问题存在难解实例聚集现象。因此,讨论了严格d-正则(3,s)-SAT问题的计算复杂性,证明了:当s≥4时,存在不可满足的严格(s-2)-正则(3,s)-CNF公式和不可满足的严格(s-4)-正则(3,s)-CNF公式。由此,已有的系列结论中的假设条件成为现实。于是,严格d-正则(3,s)-SAT问题的计算复杂性得以解决:当s≤3时,严格d-正则(3,s)-CNF公式均可满足;当s≥4且d<s时,严格d-正则(3,s)-SAT问题是NP-完全问题;当s≥4且d=s时,严格d-正则(3,s)-CNF公式均可满足。需指出,所得结论意味着,严格0-正则(3,4)-SAT问题和严格2-正则(3,4)-SAT问题均是NP-完全问题,即严格0-正则(3,4)-SAT问题和严格2-正则(3,4)-SAT问题保留了正则(3,4)-SAT问题的NP-完全性,也保留了3-SAT问题的NP-完全性。因此,继续研究严格d-正则(3,s)-SAT问题,尤其是严格0-正则(3,4)-SAT问题和严格2-正则(3,4)-SAT问题应该是必要的。 展开更多
关键词 3-SAT问题 正则(3,s)-SAT问题 严格d-正则(3,s)-SAT问题 计算复杂性 NP-完全类
暂未订购 下载PDF
一维准晶波动方程系数矩阵对称化及其SBP-SAT模拟 认领 引用
6
作者 刘泰玉 周月娥 +2 位作者 蒋关希曦 张剑伟 孙铖 《应用数学和力学》 CSCD 北大核心 2026年第3期367-380,共14页
研究波在准晶中的传播对深入理解准晶体的独特物理特性具有重要价值,但其数值模拟面临较大挑战.通过对波动方程系数矩阵进行对称化,可以有效整合不同类别的波动方程并降低波传播模拟的难度.研究推导了一维准晶波动方程的系数矩阵对称形... 研究波在准晶中的传播对深入理解准晶体的独特物理特性具有重要价值,但其数值模拟面临较大挑战.通过对波动方程系数矩阵进行对称化,可以有效整合不同类别的波动方程并降低波传播模拟的难度.研究推导了一维准晶波动方程的系数矩阵对称形式,并应用迎风格式SBP-SAT差分方法对波动方程进行了离散化,同时通过能量法评估了其稳定性.数值仿真结果表明,所提出的离散框架具有较高的整合度、良好的稳定性及较强的拓展性.此外,该方法能够稳定模拟曲线域中的波传播,降低实现成本,显示了波动方程系数矩阵对称化及其离散框架在波传播模拟中的广泛应用前景. 展开更多
关键词 准晶波动方程 系数矩阵对称式 SBP-SAT 有限差分方法 能量法
暂未订购 下载PDF
南非1型(SAT1株)口蹄疫流行及防控技术 认领 引用
7
作者 刘国民 相杰芳 +3 位作者 张贤 杜丽飞 高日明 关平原 《猪业科学》 2026年第7期64-66,共3页
1全球SAT1口蹄疫流行概况口蹄疫在全球范围内广泛存在,但其流行具有明显的地域性,主要分布于非洲、中东、亚洲及南美洲部分地区。在口蹄疫病毒7个血清型中,O型和A型流行区域最为广泛,在非洲、欧洲、亚洲及南美洲均有流行;Asia1型主要流... 1全球SAT1口蹄疫流行概况口蹄疫在全球范围内广泛存在,但其流行具有明显的地域性,主要分布于非洲、中东、亚洲及南美洲部分地区。在口蹄疫病毒7个血清型中,O型和A型流行区域最为广泛,在非洲、欧洲、亚洲及南美洲均有流行;Asia1型主要流行于南亚和中东地区;SAT1、SAT2、SAT3三个型以前仅在非洲大陆流行,但近年来SAT1、SAT2两个型跨越了其地理界限,在中东地区出现;C型主要分布于南美和亚洲印度、哈萨克斯坦等国,但自2004年在巴西和肯尼亚引发疫情之后全球再无新的疫情报道。 展开更多
关键词 SAT1株 防控技术 亚洲 非洲 口蹄疫 全球概况 流行
暂未订购 下载PDF
优化概率选择求解SAT问题 认领 引用
8
作者 贾书恒 付慧敏 《计算机科学》 CSCD 北大核心 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
口蹄疫病毒SAT 2型抗体竞争ELISA检测方法的建立 认领 引用
9
作者 李晶晶 南栩 +5 位作者 董虎 马娥宁 郭慧琛 孙世琪 张韵 徐业芬 《中国兽医科学》 CAS CSCD 北大核心 2026年第6期762-769,共8页
本研究旨在建立一种基于FMDSAT 2(FMDVSAT 2)型病毒样颗粒(VLPs)的竞争ELISA(cELISA)方法,用于快速检测特异性抗体及评估疫苗免疫效果。将VLPs作为包被抗原,辣根过氧化物酶标记的FMDV SAT 2型抗体(酶标抗体)作为竞争抗体,建立cELISA抗... 本研究旨在建立一种基于FMDSAT 2(FMDVSAT 2)型病毒样颗粒(VLPs)的竞争ELISA(cELISA)方法,用于快速检测特异性抗体及评估疫苗免疫效果。将VLPs作为包被抗原,辣根过氧化物酶标记的FMDV SAT 2型抗体(酶标抗体)作为竞争抗体,建立cELISA抗体检测方法,对其敏感性、特异性和重复性进行评估。结果显示,VLPs最佳包被浓度为2μg/mL,血清样品1∶16稀释,酶标抗体工作浓度为0.5μg/mL,TMB显色液于37℃避光反应15 min。该方法的临界值为57.03%,特异性为87.5%,敏感性为92.1%。检测口蹄疫病毒其他各型及塞内卡病毒等病原的阳性血清时呈阴性反应,且重复性良好。进一步检测来自不同地区的200份临床血清,阴性率为96%。本研究成功建立了FMDV SAT 2型抗体cELISA检测方法,此方法可用于SAT 2型的血清学监测与疫苗免疫效果评价,为该病的防控提供有效工具。 展开更多
关键词 FMDV SAT 2型 病毒样颗粒 cELISA
暂未订购 下载PDF
基于P53/SAT1/ALOX15信号通路探讨葛根芩连汤对棕榈酸诱导肝细胞胰岛素抵抗的作用机制 认领 引用
10
作者 易思萍 罗涛 +3 位作者 张香港 张秀荣 赵海平 章常华 《药物评价研究》 CAS 北大核心 2026年第5期1529-1543,共15页
目的探讨葛根芩连汤(GQD)是否通过P53/SAT1/ALOX15信号通路调控铁死亡改善棕榈酸(PA)诱导的AML-12细胞胰岛素抵抗(IR)。方法网络药理学筛选GQD干预IR的相关靶点,构建蛋白质蛋白质相互作用网络并进行基因本体论(GO)和京都基因与基因组百... 目的探讨葛根芩连汤(GQD)是否通过P53/SAT1/ALOX15信号通路调控铁死亡改善棕榈酸(PA)诱导的AML-12细胞胰岛素抵抗(IR)。方法网络药理学筛选GQD干预IR的相关靶点,构建蛋白质蛋白质相互作用网络并进行基因本体论(GO)和京都基因与基因组百科全书(KEGG)富集分析。采用PA联合胰岛素处理AML-12细胞构建IR模型,通过CCK-8法筛选PA最佳造模浓度;模型验证阶段分为对照组、胰岛素组、PA组、模型组,试剂盒法检测细胞内葡萄糖水平,Western blotting法检测蛋白激酶B(Akt)、p-Akt、胰岛素受体底物1(IRS-1)、p-IRS-1蛋白表达水平验证模型成功。将60只大鼠随机分为空白(蒸馏水)组30只、GQD(生药10 g∙kg−1)组20只、盐酸吡格列酮(Pio,阳性药,2.7 mg∙kg−1)组10只,每组大鼠每天给药2次,连续ig 7 d,第8天末次给药后0.5 h腹主动脉取血,制得各组血清。干预实验分为对照组、模型组、Pio(10%含药血清)组和GQD含药血清高、中、低浓度(20%、15%、10%)组,干预后,CCK-8法检测细胞存活率;培养上清液中葡萄糖消耗;进行油红O染色;试剂盒法检测细胞三酰甘油(TG)、总胆固醇(TC)、游离脂肪酸(FFA)、亚铁离子(Fe2+)、丙二醛(MDA)、谷胱甘肽(GSH)、谷胱甘肽过氧化物酶(GSH-Px)水平,实时荧光定量PCR(qRT-PCR)法检测GPX4、SLC7A11、FTH1、LPCAT3、TFR1、P53、SAT1、ALOX15、ACSL4基因表达,Western blotting法检测GPX4、SLC7A11、FTH1、P53、SAT1、ALOX15、ACSL4蛋白表达。结果网络药理学分析显示,GQD与IR的交集靶点主要富集于P53信号、脂质代谢和氧化应激等通路。CCK-8结果表明,200μmol∙L−1PA为最佳造模浓度,模型验证结果显示造模成功。GQD干预后,与模型组相比,GQD各浓度组及Pio组细胞存活率均显著升高(P<0.05、0.01、0.001);细胞上清液葡萄糖消耗显著升高(P<0.05、0.01);油红O染色显示脂质沉积明显减少,TG、TC、FFA水平显著降低(P<0.05、0.01);Fe2+、MDA水平显著降低(P<0.05、0.01),GSH、GSH-Px水平显著升高(P<0.05、0.01);qRT-PCR结果显示,GPX4、SLC7A11、FTH1基因表达显著上调(P<0.05、0.01),TFR1、LPCAT3、P53、SAT1、ALOX15、ACSL4基因表达显著下调(P<0.05、0.01);Western blotting结果显示,GPX4、SLC7A11、FTH1蛋白表达显著上调(P<0.05、0.01),P53、SAT1、ALOX15、ACSL4蛋白表达显著下调(P<0.05、0.01)。结论GQD可改善PA诱导的肝细胞IR,其机制可能与调节脂质代谢、抑制肝细胞铁死亡、调控P53/SAT1/ALOX15信号通路相关基因及蛋白表达有关。 展开更多
关键词 葛根芩连汤 网络药理学 胰岛素抵抗 铁死亡 P53/SAT1/ALOX15通路
暂未订购 下载PDF
AngⅡ激活p53/SAT1信号通路诱导白色脂肪细胞铁死亡 认领 引用 被引量：2
11
作者 邓伟 刘喜燕 +9 位作者 郭丽媛 徐倩 周坤 赵元琴 王昭月 李想 邓新梅 秦昕怡 任重 姜志胜 《中国动脉硬化杂志》 CAS 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信号通路
暂未订购 下载PDF
芍药苷通过SAT1/ALOX15信号通路增加非小细胞肺癌细胞对培美曲塞敏感性 认领 引用 被引量：1
12
作者 赵睿暄 杨微 +1 位作者 陈妍 侯丽丽 《解剖科学进展》 CAS 2025年第5期639-642,646,共4页
目的探究芍药苷介导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信号通路 铁死亡
暂未订购 下载PDF
Optimizing AES S-Box Implementation:A SAT-Based Approach with Tower Field Representations 认领 引用
13
作者 Jingya Feng Ying Zhao +1 位作者 Tao Ye Wei Feng 《Computers, Materials & Continua》 SCIE EI 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
随机正则3-(d,k)-SAT问题的可满足性相变 认领 引用
14
作者 王晓峰 唐傲 +4 位作者 彭庆媛 颜冬 华盈盈 何飞 王军霞 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2025年第10期42-48,83,共7页
受随机正则恰当(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问题存在相变现象,分别发生在d6=1.407 4和d10=1.962 4附近,验证了理论证明所得相变点的正确性. 展开更多
关键词 相变现象 随机正则3-(d,k)-SAT问题 矩方法 正则(d,k)-CNF公式 生成模型
暂未订购 下载PDF
顺序编码方法优化与SAT搜索应用 认领 引用 被引量：1
15
作者 颜国华 张凤荣 +2 位作者 崔笑 韦永壮 王保仓 《密码学报（中英文）》 CSCD 北大核心 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差分模拟 认领 引用
16
作者 孙铖 刘泰玉 +2 位作者 蒋关希曦 张剑伟 杨在林 《振动与冲击》 EI CSCD 北大核心 2025年第16期108-118,共11页
波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风... 波动方程系数矩阵对称化是整合不同类别波动方程、降低波传播模拟难度的有效方法,目前已成功应用于声波方程、各向同性与各向异性介质弹性波动方程。该研究将推导出双项介质波动方程的系数矩阵对称式;随后,引入多轴完全匹配层,采用迎风格式分部求和-一致逼近项(summation by parts-simultaneous approximation terms,SBP-SAT)有限差分方法离散波动方程,并通过能量法进行稳定性评估。通过数值仿真,表明所提出的离散框架具有整合度高,稳定性好和拓展性强等特点。此外,该方法可以稳定模拟曲线域中的波传播并降低其实现成本,表明了波动方程系数矩阵对称化方法及其离散框架在波传播模拟领域具有广泛的应用前景。 展开更多
关键词 双相介质波动方程 系数矩阵对称式 分部求和-一致逼近项(SBP-SAT) 有限差分方法 能量法
暂未订购 下载PDF
基于SAT的WARP算法的代数攻击 认领 引用
17
作者 郝春雨 徐洪 《密码学报（中英文）》 CSCD 北大核心 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对具有差分结构的明密文进行代数攻击,在约253.28 s内,可以恢复15轮WARP算法的全部128比特密钥. 展开更多
关键词 WARP 轻量级分组密码 代数攻击 SAT
暂未订购 下载PDF
MALDI-TOF MS与TB-SAT联合检测在非结核分枝杆菌病诊断中的应用 认领 引用
18
作者 任哲 冯建纯 +2 位作者 谢炯 田二朋 马伟立 《河北医学》 CAS 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 非结核分枝杆菌病 诊断
暂未订购 下载PDF
辅助生殖术前不同生殖道感染筛查方法的性能比较 认领 引用
19
作者 张亚勤 杨涵 +4 位作者 白宗凯 陈怡蓉 王金凤 李睿 陈怡颖 《中国妇幼保健》 CAS 2026年第11期2014-2018,共5页
目的评估辅助生殖术前生殖道感染筛查中导流杂交基因芯片技术(Hybri Max)与实时荧光核酸恒温扩增技术(SAT)的性能差异,并分析性别、年龄对检测结果的影响。方法回顾性收集2019年8月—2024年7月普洱市人民医院采用SAT和Hybri Max检测方... 目的评估辅助生殖术前生殖道感染筛查中导流杂交基因芯片技术(Hybri Max)与实时荧光核酸恒温扩增技术(SAT)的性能差异,并分析性别、年龄对检测结果的影响。方法回顾性收集2019年8月—2024年7月普洱市人民医院采用SAT和Hybri Max检测方法进行沙眼衣原体(CT)、淋球菌(NG)及生殖支原体(MG)筛查的7396例患者的临床资料,采用χ2检验对其检测结果进行分析。结果SAT方法检测CT、NG及MG的阳性率分别为4.16%、0.42%及3.42%,Hybri Max方法检测CT、NG及MG的阳性率分别为3.94%、0.05%及0.86%,两种方法检测CT的阳性率比较差异无统计学意义(χ2=0.224,P>0.05),而检测NG和MG的阳性率比较差异均有统计学意义(χ2=11.152、59.592,均P0.05);Hybri Max方法检测男性CT、NG及MG的阳性率分别为3.96%、0.00%及1.42%,女性CT、NG及MG的阳性率分别为3.92%、0.11%及0.26%,CT、NG阳性率比较差异均无统计学意义(均P>0.05),但MG的阳性率比较差异有统计学意义(P0.05)。CT阳性率随年龄增长呈下降趋势,SAT方法在20~25岁组阳性率最高,为5.00%,Hybri Max方法在26~35岁组最高,为4.55%。结论SAT检测方法在NG和MG检测中敏感性优于Hybri Max检测方法,尤其在女性MG感染检测中具有优势。CT感染高发年龄段为20~25岁和26~35岁的年轻人群,筛查策略应结合病原体特性和检测方法特点优化配置,以提高病原体检出率,保障生殖健康。 展开更多
关键词 辅助生殖 生殖道感染 导流杂交基因芯片技术 实时荧光核酸恒温扩增技术
暂未订购 下载PDF
制造业服务化转型中如何实现顾企价值共创——基于价值主张契合的实证研究 认领 引用 被引量：1
20
作者 云乐鑫 董晓语 苏欣雨 《营销科学学报》 2026年第1期116-133,共18页
当前,面对产品同质化与利润下滑的双重挑战,制造业企业必须采取以价值增值为核心的战略,以获得持久的竞争优势。本研究从顾企价值共创的视角出发,探究了制造业企业如何以价值主张的契合为起点,进而实现向顾客与企业价值共创绩效的转化... 当前,面对产品同质化与利润下滑的双重挑战,制造业企业必须采取以价值增值为核心的战略,以获得持久的竞争优势。本研究从顾企价值共创的视角出发,探究了制造业企业如何以价值主张的契合为起点,进而实现向顾客与企业价值共创绩效的转化。本研究采用了SPSS、AMOS等软件进行验证分析,研究发现:(1)制造业价值共创过程以价值主张契合为起点,功能契合和感知契合均有助于顾企价值共创的开展,为价值共创活动提供动力,提升顾客和企业之间的价值共创绩效;(2)顾企互动在其中发挥部分中介作用,动态能力在顾企互动和顾企价值共创绩效之间发挥调节作用。研究结果补充了过往此研究主题中定量研究方法的不足,更加科学和完整地诠释了制造业服务化转型中的顾企价值共创的机理。 展开更多
关键词 制造业服务化 价值主张契合 价值共创 顾企互动 动态能力
暂未订购 下载PDF
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 168 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈