期刊文献+
共找到1,294篇文章
< 1 2 65 >
每页显示 20 50 100
基于SAT的WARP算法的代数攻击
1
作者 郝春雨 徐洪 《密码学报(中英文)》 北大核心 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搜索应用
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
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信号通路
暂未订购
MALDI-TOF MS与TB-SAT联合检测在非结核分枝杆菌病诊断中的应用
5
作者 任哲 冯建纯 +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
6
作者 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
最坏情况下Min-2SAT问题的上界 被引量:1
7
作者 谷文祥 姜蕴晖 +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
随机正则恰当(d,k)-SAT问题的可满足相变分析
8
作者 王晓峰 王军霞 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2024年第11期85-92,共8页
为深入理解随机正则恰当(d,k)-SAT问题难解的内在本质,理清相变与难解之间的变化规律,进一步设计高效的求解算法,引入随机正则恰当可满足性实例产生模型,采用一阶矩和二阶矩方法分析了该问题的相变情况,给出了正则恰当(d,k)-SAT问题的... 为深入理解随机正则恰当(d,k)-SAT问题难解的内在本质,理清相变与难解之间的变化规律,进一步设计高效的求解算法,引入随机正则恰当可满足性实例产生模型,采用一阶矩和二阶矩方法分析了该问题的相变情况,给出了正则恰当(d,k)-SAT问题的可满足相变点d^(*).当相变控制参数d^(*)时,正则恰当(d,k)-SAT问题实例高概率可满足;当d>d^(*)时,正则恰当(d,k)-SAT问题实例高概率不可满足.最后,选取子句长度k分别为3和4进行实验,结果表明:在d^(*)的取值分别为2.3798和3.0668附近发生了相变现象,进一步证明了理论结果与实验结果的一致性. 展开更多
关键词 随机正则恰当(d k)-sat问题 一阶矩 二阶矩 可满足性问题 相变分析
原文传递
美国大学入学考试SAT深度剖析 被引量:19
9
作者 任长松 《教育理论与实践》 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
完全匹配层在矩阵式波动方程SBP-SAT方法应用 被引量:1
10
作者 孙铖 杨在林 +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基因家族的鉴定和表达分析 被引量:2
11
作者 申鹏 高雅彬 丁红 《生物技术通报》 CAS CSCD 北大核心 2024年第9期64-73,共10页
【目的】丝氨酸乙酰转移酶(SAT)是硫同化为半胱氨酸(cysteine,Cys)的关键酶,参与植物多种生物过程,特别是在植物响应非生物胁迫中发挥着重要作用。但关于马铃薯SAT基因家族(StSAT)的分析尚未见报道。系统鉴定了马铃薯SAT基因家族,为深... 【目的】丝氨酸乙酰转移酶(SAT)是硫同化为半胱氨酸(cysteine,Cys)的关键酶,参与植物多种生物过程,特别是在植物响应非生物胁迫中发挥着重要作用。但关于马铃薯SAT基因家族(StSAT)的分析尚未见报道。系统鉴定了马铃薯SAT基因家族,为深入了解StSAT基因家族的特征,进一步分析它们在马铃薯抵御非生物胁迫中的功能提供了理论依据。【方法】利用HMM对马铃薯SAT基因家族进行鉴定,并对其染色体分布、基因结构、蛋白保守基序及物种间的共线性进行分析。利用PGSC下载的RNA-seq数据分析双单倍体(doubled-monoploid,DM)马铃薯中StSATs在不同组织部位、非生物胁迫和外源激素处理下的表达模式。通过qPCR(quantitative real-time PCR)分析四倍体马铃薯中StSATs在NaCl和PEG处理(0、1、3和24 h)下的相对表达水平。【结果】在马铃薯中鉴定出4个StSATs,它们分布在4条染色体上。根据系统发育特征,将4个StSATs分在3个亚族中。共线性分析发现,StSATs与拟南芥(Arabidopsis thaliana)、番茄(Solanum lycopersicum)、甘蓝(Brassica oleracea)、水稻(Oryza sativa)和玉米(Zea mays)中分别有4对、4对、2对、1对和1对直系同源基因。通过表达分析发现,四倍体马铃薯中4个StSATs随着NaCl和PEG处理时间的延长,其表达量显著升高(与0 h相比),很可能参与马铃薯对盐和渗透胁迫的响应。【结论】StSAT基因家族成员在马铃薯响应盐和渗透胁迫中发挥着重要作用。 展开更多
关键词 马铃薯 sat基因家族 顺式作用元件 非生物胁迫 表达分析
在线阅读 下载PDF
基于SAT的GRANULE算法不可能差分分析 被引量:1
12
作者 武小年 匡晶 +1 位作者 张润莲 李灵琛 《计算机应用》 CSCD 北大核心 2024年第3期797-804,共8页
基于布尔可满足性问题(SAT)的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算,从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力,首先,基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型;其次,... 基于布尔可满足性问题(SAT)的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算,从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力,首先,基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型;其次,对GRANULE算法建立基于比特的不可能差分区分器的SAT模型,通过求解模型得到多条10轮GRANULE算法的不可能差分区分器;再次,针对不可能差分区分器,给出改进的SAT自动化验证方法并验证;最后,将得到的区分器往前和往后各扩展3轮,对GRANULE-64/80算法发起16轮的不可能差分攻击,通过该攻击可以恢复80比特主密钥,时间复杂度为251.8次16轮加密,数据复杂度为241.8个选择明文。与表现次优的对GRANULE算法不可能差分分析的方法相比,所得到的区分器轮数和密钥恢复攻击轮数都提高了3轮,且时间复杂度、数据复杂度都进一步下降。 展开更多
关键词 GRANULE算法 布尔可满足性问题 不可能差分区分器 差分分布表 自动化验证
在线阅读 下载PDF
美国大学入学考试SAT的过去、现在和将来 被引量:2
13
作者 陈园园 《教育与考试》 2008年第6期72-76,共5页
SAT是美国广泛采纳的大学入学考试之一,对美国大学招生发挥着重要的作用。本文阐述了SAT的历史背景、现状,并对其未来发展趋势做出预测。SAT的许多经验,值得我们认真研究与借鉴。
关键词 sat 美国大学入学考试 sat-Ⅰ sat-Ⅱ
在线阅读 下载PDF
基于ISD/SAT的设备维修管理技能训练系统设计 被引量:1
14
作者 刘昭 连光耀 +3 位作者 刘彬 崔志强 张宇 程中华 《计算机测量与控制》 2024年第10期154-162,168,共10页
针对维修管理技能训练系统与训练需求不匹配的问题,应用ISD/SAT模型对维修管理技能训练系统进行了设计;在系统建设过程中,应用ISD/SAT模型,对培训需求进行了分析,对训练内容、系统结构、业务流程和技术体系进行了设计,对系统和评估模块... 针对维修管理技能训练系统与训练需求不匹配的问题,应用ISD/SAT模型对维修管理技能训练系统进行了设计;在系统建设过程中,应用ISD/SAT模型,对培训需求进行了分析,对训练内容、系统结构、业务流程和技术体系进行了设计,对系统和评估模块实施了开发;经实验测试,部分使用训练系统的两个实验组及完全使用训练系统的一个实验组,平均成绩分别比原始组高出了0.63,1.34,5.64%,表明使用ISD/SAT方法设计的训练系统可以提升训练效果。 展开更多
关键词 ISD模型 sat模型 设备维修 管理技能 训练系统设计
在线阅读 下载PDF
基于分支回溯的NAE-3SAT问题求解算法
15
作者 谷文祥 傅琳璐 +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
VDE-SAT下行链路信道建模方法
16
作者 丁港辉 李宗旺 +1 位作者 谢卓辰 梁旭文 《中国科学院大学学报(中英文)》 CAS CSCD 北大核心 2024年第2期249-256,共8页
海面的散射特性导致VDES海上通信信道模型复杂多变,在VDE-SAT下行链路中,低仰角通信导致海浪反射带来的多径效应更加严重。针对此问题,提出一种基于球坐标系的VDE-SAT下行链路信道建模方法,根据不同海情级分析海浪反射对于信号接收特性... 海面的散射特性导致VDES海上通信信道模型复杂多变,在VDE-SAT下行链路中,低仰角通信导致海浪反射带来的多径效应更加严重。针对此问题,提出一种基于球坐标系的VDE-SAT下行链路信道建模方法,根据不同海情级分析海浪反射对于信号接收特性的影响。首先,将海面散射特性的统计结果参数化,结合地球曲率的影响,建立基于球坐标系的星船通信几何模型,基于此,得到海面有效漫反射区。其次,建立星船通信链路的信号多径传播模型,基于G1139协议,根据各个路径的信道参数分析接收信号的功率分布,以及不同海情级下信号的接收特性。仿真结果表明:在海况较好时,该多径信道以镜面反射为主;海况较差时,以漫反射为主。相比于卷积码,Turbo码的抗多径性能更优。 展开更多
关键词 VDE-sat 信道模型 卫星通信 多径效应
在线阅读 下载PDF
组织进化算法求解SAT问题 被引量:8
17
作者 刘静 钟伟才 +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
18
作者 张紫茵 马小刚 《数学教育学报》 北大核心 2011年第6期56-58,共3页
美国的SAT考试面向全世界,有其独特的特点.文章介绍了SAT的总体情况,着重介绍了SAT数学考试并对其中的试题进行了分析.从试题编制、评分方式、解题过程和知识记忆这四点对我国的数学高考提出了思考.
关键词 sat sat数学考试 数学高考
在线阅读 下载PDF
基于寻找可满足2-SAT子问题的SAT算法 被引量:1
19
作者 傅阳春 周育人 《计算机应用研究》 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
20
作者 孙如祥 唐天兵 李炳慧 《计算机应用研究》 CSCD 北大核心 2012年第1期49-51,共3页
为了使得算法对蚁群进化的控制更加直接、算法更加高效,针对加权MAX-SAT的特点,以重离散化方式简化蚁群算法模型,提出取值概率的概念,并以之替换传统蚁群算法中信息素,最后对该算法作并行化改进。实验结果表明,得到的基于改进后并行化... 为了使得算法对蚁群进化的控制更加直接、算法更加高效,针对加权MAX-SAT的特点,以重离散化方式简化蚁群算法模型,提出取值概率的概念,并以之替换传统蚁群算法中信息素,最后对该算法作并行化改进。实验结果表明,得到的基于改进后并行化的蚁群算法更具有效性,搜索时间明显降低,取得了较好的加速比和效率。 展开更多
关键词 蚁群算法 加速比 并行 最大化可满足性问题(MAX-sat) 加权MAX-sat 多核
在线阅读 下载PDF
上一页 1 2 65 下一页 到第
使用帮助 返回顶部