搜索筛选:
搜索耗时3.7194秒,为你在为你在102,285,761篇论文里面共找到 42 篇相符的论文内容
发布年度:
[学位论文] 作者：罗茂,
来源：华中科技大学 年份：2023
可满足性问题（Satisfiability problem,SAT）是一个判定问题。给定一个合取范式,SAT问题适用于判定是否存在一组真值指派使得该合取范式可满足。...作为第一个被证明的NP完全问题,SAT问题具有重要的理论研究价值和实际应用价值。...现代SAT完备性算法主要基于冲突驱动的子句学习（Conflict Driven Clause Learning,CDCL）方法,即通过精确学习搜索过程中产生...
[学位论文] 作者：,
来源：大连海事大学 年份：2023
VHF Data Exchange,VDE）作为VDES中的重要组成部分,又可进一步细分为VDE地面（VDE-Terrestrial,VDE-TER）和VDE卫星（VDE-Satellite,VDE-SAT...
[学位论文] 作者：陈玉婷,
来源：上海中医药大学 年份：2023
本课题旨在前期研究基础上,探讨血液中JAK2、STAT3与SAT炎症因子的相关性,miR-155介导SOCS1/JAK2/STAT3信号通路对SAT炎症反应的作用,并进一步探索亚甲方的抗炎机...
[学位论文] 作者：徐振兴,
来源：华中科技大学 年份：2023
最大可满足性问题（Maximum Satisfiability problem,Max SAT）是第一个被证明为NP完全的可满足性问题（Satisfiability problem,SAT）的优化形式。...作为逻辑约束优化模型,Max SAT有很强的表达能力,学术研究以及工业优化中有很多问题都可以转化为Max SAT问题,从而利用Max SAT的方法和策略进行研究或求解。近年来,国内外研究者们对Max...
[期刊论文] 作者：向毅, 黄翰, 罗川, 杨晓伟,
来源：软件学报 年份：2023
因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题.针对以上问题,提出一种基于多样性可满足性（SAT...
[学位论文] 作者：郑宇然,
来源：北京中医药大学 年份：2023
目的:1、通过对刘喜明教授治疗55例亚急性甲状腺炎（SAT）急性期患者进行临床观察,分析毒邪在SAT发病中的作用,丰富SAT中医病因理论;2、总结导师从毒邪辨治SAT特点和方法。...方法:1、病例来源:对刘喜明教授2019年1月至2022年3月门诊诊治的SAT急性期患者进行筛选,符合纳入及排除标准者55例。...
[期刊论文] 作者：,
来源：内蒙古医科大学学报 年份：2023
方法 对急、慢性布鲁菌病患者按SAT结果分为慢性布鲁菌病患者组SAT1:50（+～++）和急性布鲁菌病患者组SAT1:100（+～++++）两组，并将同期体检者RBPT（-）、SAT（-）作为对照组，...
[学位论文] 作者：董博文,
来源：吉林大学 年份：2023
在计算机科学领域中,命题可满足性问题（Propositional Satisifiability problem,SAT问题）是被研究最多的约束可满足性问题之一。...SAT问题源于数理逻辑中经典命题逻辑关于公式的可满足性概念,是计算机科学理论中的重要问题,同时也是第一个已知的NP-complete问题,对于SAT问题的理论研究极大地推动了计算机科学的发展。...
[学位论文] 作者：张晓蓓,
来源：浙江理工大学 年份：2023
在田间分离的部分CMV株系会携带一种不编码任何蛋白的卫星RNA（satellite RNA,sat RNA）,后者完全依赖CMV进行复制。Sat RNA的存在通常会对辅助病毒的致病性产生影响。...大多数sat RNA能够明显减轻CMV...
[学位论文] 作者：王桂英,
来源：延边大学 年份：2023
目的:探讨脓毒症相关性血小板减少症（Sepsis-associated thrombocytopenia,SAT）相关影响因素及其与血小板计数的相关性,分析影响SAT预后的危险因素。...
[学位论文] 作者：南艺,
来源：华东师范大学 年份：2023
...
[学位论文] 作者：刘玲娟,
来源：上海师范大学 年份：2023
时滞微分方程用于描述既依赖于当前状态也依赖于过去状态的发展系统,其特点是充分考虑到系统历史对现状的影响,在物理学、生物数学、经济学等众多学科领域的建模中扮演着重要的角色.SBP-SAT方法是一种稳定性高...、实现过程简单的数值方法,它通过分部求和（SBP）算子和对边界施加一致逼近项（SAT）的方式来求解微分方程.本论文主要研究求解时滞微分方程的SBP-SAT方法,并分析其能量稳定性以及收敛性.第一章,...
[学位论文] 作者：韩明哲,
来源：中国科学技术大学 年份：2023
1.1ρsat,其中ρsat为核饱和密度）手征有效场理论（χEFT）提供的最新计算结果可以将此段的状态方程限制得很好。另一方面在极高密度区域（化学势μ＞2.6GeV,密度ρ（?）...40ρsat）,微扰量子色动力学（p...
[学位论文] 作者：毕舜阳,
来源：西安电子科技大学 年份：2023
可满足性问题（Boolean Satisfiability Problem）,又称SAT问题,是指对于一个给定的合取范式（Conjunctive Normal Form）,能否找到一组变量的赋值使得该式成立...求解SAT问题的算法分为两种:完备算法和不完备算法,完备算法因为具有可证明结果不满...
[学位论文] 作者：屈展,
来源：西安电子科技大学 年份：2023
随着制程节点的缩小和电路复杂性的增加,在集成电路设计过程中,逻辑等价性检查在确保功能正确性方面起着重要作用。在集成电路设计周期中,无论是前端还设计是后端实现,验证是其中必不可少的环节。除此之外,越来越多的业内人士也指出了验证测试已经成为了集成电......
[期刊论文] 作者：王凌飞, 李雯,
来源：临床医学工程 年份：2023
两组均行MRI，并计算全胰腺脂肪分数（FF）、皮下脂肪组织（SAT）、内脏脂肪组织（VAT）和VAT/SAT比值。...
[学位论文] 作者：高舒,
来源：上海师范大学 年份：2023
番茄是一种常见的经济作物,而病毒病害的侵袭可造成番茄的大量减产,这包括寄主范围最大的黄瓜花叶病毒（Cucumber mosaic virus,CMV）病害,尤其是CMV的寄生分子D satellite RNA（D-sat...D-sat RNA的致死性感染由其近3’末端处的三个核苷酸决定,对这三个（致死）核苷酸...
[期刊论文] 作者：,
来源：储能科学与技术 年份：2023
本研究以三水合乙酸钠（SAT）作为主体相变材料，十二水合磷酸氢二钠（DSP）作为成核剂，羧甲基纤维素钠（CMC）作为增稠剂，膨胀石墨（EG）作为导热强化剂，采用熔融搅拌法制备了SAT-DSP-CMC/EG...
[期刊论文] 作者：,
来源：石油与天然气地质 年份：2023
砂岩中饱和烃（SAT）含量高，非烃与沥青质（NSO+Asph）含量低。页岩和泥岩的SAT含量低，NSO+Asph含量高。砂岩的n C11-15烃类组分含量较高，nC23-39烃类组分含量...
[期刊论文] 作者：杨丽娟,赵怡,
来源：国际病毒学杂志 年份：2023
目的分析病毒导致的亚急性甲状腺炎（subacutethyroiditis，SAT）应用糖皮质激素递减疗法的疗效及预后。...方法回顾性分析2016年1月至2020年1月在首都医科大学附属北京安贞医院内分泌代谢科门诊就诊的93例病毒导致的SAT患者行激素递减疗法的疗效及预后。...
相关搜索：
