完全匹配层在矩阵式波动方程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方法结合,可以稳定地模拟曲线域中的波传播。

Einstein谜的SAT求解

Einstein谜,亦称Zebra谜,是爱因斯坦在20世纪初提出的,他说世界上有98%的人答不出来。该问题是一个典型的逻辑推理题,可以通过SAT求解给出问题的答案。现将Einstein谜转换成SAT求解问题,并使用当前流行的SAT求解器,如MinSat,对Einstein谜进行自动求解。

TI介质中P-SV波传播的SBP-SAT模拟

基于速度-应力形式的弹性波动方程,采用分部求和和同时逼近项技术建立的SBP-SAT方法,推导了横向各向同性(transversely isotropy,TI)介质的矩阵对称型(symmetric matrix form,SMF)弹性波动方程离散形式,并通过能量法进行了稳定性分析。将该方法应用于倾斜横向各向同性(tilted transverse isotropic,TTI)介质模型、垂直横向各向同性(transverse isotropy with a vertical axis of symmetry,VTI)介质和含裂缝及曲线域的复杂介质模型,对所得的速度幅值和单炮记录分析并总结规律;对不同时间步长、单元网格数的结果进行对比,得出计算效率并验证该方法在求解P-SV波传播问题上的正确性。数值模拟结果表明,该方法模拟精度高,适用性好,在地震数值模拟领域有很好的应用价值和前景。

基于离散Lagrange方法的分布式SAT问题求解

基于对离散Lagrange方法(DLM)的扩充,提出一个分布式SAT求解算法:EDLMSAT。求解过程中,单个Agent的行为由预先定义的EDLM规则所决定,这些局部的行为聚集起来,形成整个系统对问题的求解趋势。设计了一些对3＿SAT基准问题的模拟实验,实验结果表明了这个算法良好的求解性能。

基于函数变换的求解SAT问题的新算法

提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部极值为0,则该SAT问题就是可满足的。实验结果表明:与现有的求解SAT问题的算法相比,基于函数变换的求解算法在求解速度、成功率和求解问题的规模等方面都有明显的提高。

局部引理及其在(r，s)-SAT问题中的应用

一般说来,寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径:证明满足一定结构性质的对象的概率大于零。在概率方法中,局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法,并将其应用到估计(k,s)-SAT问题中临界函数的下界。

美国SAT的理念、方法、技术对我国高考改革的启示

2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、技术可供我们参考。理念上,SAT强调以人为本、关注未来;方法上,SAT保持考试内容与课程的适当联系、加强对现场材料的分析以应对"背模板"、题目设置情境化、通过高校指定必考科目解决某些科目过冷过热;技术上,SAT命题过程专业、计分方式科学、分数报告详尽。

MAX-SAT问题一种改进的局部搜索算法

局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度。通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率。

肺泡灌洗液TB-SAT快速诊断涂阴肺结核价值的研究

目的探究肺泡灌洗液结核分枝杆菌RNA恒温扩增荧光实时检测技术(TB-SAT)诊断涂阴肺结核诊断的价值。方法选取2022年1月至7月江西省胸科医院收治的60例疑似肺结核患者,将综合诊断结果(符合肺结核基层诊疗指南)设为金标准,进行肺泡灌洗液TB-SAT,分析价值。结果60例患者中,46例患者诊断为肺结核,剩余14例为其他疾病。在46例经金标准诊断为肺结核的患者中,支气管肺泡灌洗液(BALF)抗酸染色诊断9例为肺结核患者;BALF结核菌培养诊断14例为肺结核患者;BALF聚合酶链式反应(PCR)检测诊断21例为肺结核患者;BALF TB-SAT诊断30例为肺结核患者。BALF抗酸染色诊断结果:敏感度为19.57%(9/46)、特异度为57.14%(8/14)、准确度为28.33%(17/60);BALF结核菌培养诊断结果:敏感度为30.43%(14/46)、特异度为78.57%(11/14)、准确度为41.67%(25/60);BALF PCR诊断结果:敏感度为45.65%(21/46)、特异度为64.29%(9/14)、准确度为50.00%(30/60);BALF TB-SAT诊断结果:敏感度为65.22%(30/46)、特异度为92.86%(13/14)、准确度为71.67%(43/60)。BALF TB-SAT诊断结果敏感度、准确度高于其他检测方法,差异有统计学意义(P<0.05);不同检测方法的特异度比较,差异无统计学意义(P>0.05)。结论诊断涂阴肺结核患者时,利用肺泡灌洗液TB-SAT具有较高价值,临床效果显著。

基于SAT的线性扩散层分支数的快速计算方法

将线性扩散层差分和线性分支数的计算问题转化为布尔可满足性问题(Boolean Satisfiability Problem,SAT),提出了一种通用的快速计算分组密码线性扩散层分支数的方法,该方法可以在较短的时间内求解出分组大于32比特线性扩散层的分支数。为了检验本方法的实际应用效果,测试了一批随机构造的循环异或(Rotation-XOR,RX)结构分组为64比特线性扩散层的分支数。结果显示,所提方法均能在较短的时间内计算出分支数,并且当线性扩散层的分组为64比特、分块为8、异或项数为9时,首次得到分支数达到8的RX结构的扩散层。

基于SAT的标准化题库的设计构建与组卷策略

以系统化培训方法为理论依据,设计构建标准化题库,实现对试题的开发、使用和维护统一的科学管理。在高质量的试题以及结构合理的题库基础上,提出优质的组卷策略和高效的成卷算法。不仅有利于提高对试题属性和质量的管控能力,并通过收集试题历次使用得到的分析数据,对试题进行动态的有效性维护,真正实现有评估反馈环节的闭环管理。

可满足性问题相变研究综述

约束满足问题(CSP)是理论计算机科学领域的组合优化问题,可满足性问题(SAT问题)作为CSP中的一种特殊情形,是理论计算机科学、数理逻辑和人工智能等领域十分关注的热点问题。相变是SAT问题中存在的一种现象,而研究SAT问题的相变现象和相变机制对深入认识SAT问题的难解本质和一般数学现象以及设计更高效的算法求解SAT问题有重要的指导意义。因此,根据近年来国内外学者针对SAT问题的相变现象取得的一些重要研究成果,首先介绍了SAT问题相变的相关知识以及SAT问题的概率分析方法和实例生成模型,其次总结并分析了SAT问题的不可满足相变和可满足相变这两种相变的相变点求解方法和相变阈值,最后展望了SAT问题相变的研究趋势。

一种改进的自适应滑模变结构导引律

为提高反坦克导弹对空中机动目标的命中精度,使其具备一定的低空防御能力,通过推导纵向平面内末制导段的弹目相对运动简化模型,并以零化弹目视线角速度为出发点,设计了一种改进自适应滑模变结构导引律,同时通过改进开关项系数,综合应用饱和函数,成功削弱了滑模变结构的抖振现象。仿真结果表明,在打击空中机动目标时,设计的导引律具有较高的命中精度,可以合理地分配末制导段导弹的法向过载,证明该文设计的导引律是有效的。

激光诱导荧光技术在DNA计算输出中的应用

DNA计算机以其高度并行性和巨大的信息存储容量为NP-完全问题的解决提供了一种全新的方法,而快速准确的结果输出是其走向实用的关键之一。文章主要介绍激光诱导荧光(LIF)技术,并对LIF在DNA计算机输出中的应用进行了讨论。

蜂窝夹层复合材料不确定性参数识别方法

提出蜂窝夹层复合材料不确定性参数识别方法。采用三明治夹芯板理论建立铝蜂窝夹层结构的初始有限元模型,其中芯层等效弹性参数由均匀化方法计算。据芯层结构及相对灵敏度分析,选存在不确定性且对动态特性敏感性较大的面外剪切模量及面板厚度为待识别参数。对6块铝蜂窝复合材料板进行自由-自由边界条件下动态试验,获得试验模态参数的均值及标准差。据试验结果采用所提方法识别铝蜂窝夹层板不确定性参数。结果表明,对存在不确定性参数的铝蜂窝夹层复合材料用该方法能准确识别参数的均值及标准差,并建立具有准确统计意义的动力学模型。

可满足性求解技术研究

求解公式的可满足性在诸如形式化验证、电子设计自动化与人工智能等众多领域中都具有非常重要的理论与应用价值,成为近年来的研究热点。本文针对命题公式与一阶公式的可满足性问题,重点介绍了布尔可满足性与可满足性模理论求解技术的基本原理,并且根据算法的类型进行分类阐述,分析了各种算法的优缺点。最后,讨论了目前面临的主要挑战,对今后的研究方向进行了展望。

师生角色互换教学法在医药院校生物化学教学中的应用

目的:探究师生角色互换教学法在生物化学教学中的应用效果。方法:以我校2010、2011和2012级大专共902名护理专业学生为研究对象,按年级随机分为两组,实验组采用师生角色互换教学法,对照组采用传统教学法。课后对两组学生同时进行理论考试和问卷调查。结果:实验组考试成绩优于对照组(P<0.01),且成绩的优良率差异有统计学意义(P<0.01);实验组学生在学习兴趣和主动性、知识的记忆和理解、自学能力、分析解决问题能力和团队合作能力等方面要强于对照组(P<0.05)。结论:师生角色互换教学法在生物化学教学中应用效果良好。

在CAD平台上构筑三维实体矿模技术

论述了在Auto CAD平台上用ACIS技术构建三维矿体模型的技术方法,并详细剖析了Sat文件的格式与特点。

利用压汞曲线求取页岩相渗曲线的分形维方法研究

相渗曲线作为评价储层岩石的重要指标,在油气田开发过程中具有重要作用。而页岩孔隙结构复杂,泥质含量高,用常规的稳定渗流方法和非稳定法不能测试得到相渗曲线。采用页岩岩心的压汞资料,使用分形维的方法,实现了毛管压力曲线转化为相渗曲线。从而解决了页岩气藏相渗曲线难以得到的问题,对页岩气的开发有重要的意义。

接收鑫诺3号和中星6B两颗卫星设施的调试技巧与方法

指出转星调整工作的重要性和紧迫性，结合实践分别介绍卫星接收机及卫星电视室外接收设备的调整方法与技巧。