基于SAT的GRANULE算法不可能差分分析

基于布尔可满足性问题(SAT)的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算,从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力,首先,基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型;其次,对GRANULE算法建立基于比特的不可能差分区分器的SAT模型,通过求解模型得到多条10轮GRANULE算法的不可能差分区分器;再次,针对不可能差分区分器,给出改进的SAT自动化验证方法并验证;最后,将得到的区分器往前和往后各扩展3轮,对GRANULE-64/80算法发起16轮的不可能差分攻击,通过该攻击可以恢复80比特主密钥,时间复杂度为251.8次16轮加密,数据复杂度为241.8个选择明文。与表现次优的对GRANULE算法不可能差分分析的方法相比,所得到的区分器轮数和密钥恢复攻击轮数都提高了3轮,且时间复杂度、数据复杂度都进一步下降。

马铃薯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基因家族成员在马铃薯响应盐和渗透胁迫中发挥着重要作用。

基于ISD/SAT的设备维修管理技能训练系统设计

针对维修管理技能训练系统与训练需求不匹配的问题,应用ISD/SAT模型对维修管理技能训练系统进行了设计;在系统建设过程中,应用ISD/SAT模型,对培训需求进行了分析,对训练内容、系统结构、业务流程和技术体系进行了设计,对系统和评估模块实施了开发;经实验测试,部分使用训练系统的两个实验组及完全使用训练系统的一个实验组,平均成绩分别比原始组高出了0.63,1.34,5.64%,表明使用ISD/SAT方法设计的训练系统可以提升训练效果。

VDE-SAT下行链路信道建模方法

海面的散射特性导致VDES海上通信信道模型复杂多变,在VDE-SAT下行链路中,低仰角通信导致海浪反射带来的多径效应更加严重。针对此问题,提出一种基于球坐标系的VDE-SAT下行链路信道建模方法,根据不同海情级分析海浪反射对于信号接收特性的影响。首先,将海面散射特性的统计结果参数化,结合地球曲率的影响,建立基于球坐标系的星船通信几何模型,基于此,得到海面有效漫反射区。其次,建立星船通信链路的信号多径传播模型,基于G1139协议,根据各个路径的信道参数分析接收信号的功率分布,以及不同海情级下信号的接收特性。仿真结果表明:在海况较好时,该多径信道以镜面反射为主;海况较差时,以漫反射为主。相比于卷积码,Turbo码的抗多径性能更优。

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

SAT-TB、Xpert-MTB/RIF对复治肺结核患者快速诊断的应用价值

目的 探讨分枝杆菌RNA恒温扩增实时检测技术(SAT-TB)、Xpert-结核分枝杆菌/利福平耐药检测(Xpert-MTB/RIF)对复治肺结核患者快速诊断的应用价值。方法 选取2019年1月至2019年12月在广州市胸科医院疑似复治肺结核患者319例,收集痰或支气管肺泡灌洗液标本,分别采用涂片找抗酸杆菌、分枝杆菌培养法、SAT-TB法及Xpert-MTB/RIF法检测,统计分析各检测方法对复治肺结核诊断的灵敏度、特异度、准确率、阳性预测值及阴性预测值。结果 319例患者中最终确诊92例复治肺结核患者,其他非活动性肺结核患者227例;以临床最终诊断为标准评估各指标诊断价值,在复治肺结核患者的诊断灵敏度上,Xpert-MTB/RIF法最高,涂片法最低,差异有统计学意义(χ^(2)=26.302,P<0.05);特异度以SAT-TB法最高,差异有统计学意义(χ^(2)=33.675,P<0.05);诊断准确率方面SAT-TB法与Xpert-MTB/RIF法差异无统计学意义(χ^(2)=0.960,P=0.327),但均显著高于涂片法与分枝杆菌培养法,差异有统计学意义(χ^(2)=22.756,P<0.05);阳性预测值以SAT-TB法最高,差异有统计学意义(χ^(2)=23.435,P<0.05);阴性预测值方面Xpert-MTB/RIF法与分枝杆菌培养法差异无统计学意义(χ^(2)=3.159,P=0.076),但显著高于另外2种检测方法,差异有统计学意义(χ^(2)=19.499,P<0.05)。结论 SAT-TB法对复治肺结核患者具有极高的特异度与准确率,且阳性预测价值高,临床可减少误诊,Xpert-MTB/RIF法具有高灵敏度,临床联合应用可避免漏诊误诊。

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波传播问题上的正确性。数值模拟结果表明,该方法模拟精度高,适用性好,在地震数值模拟领域有很好的应用价值和前景。

肺泡灌洗液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求解器算法的组合电路等价性检查研究

随着工艺节点的缩小,集成电路规模的增加,集成电路设计过程中逻辑等价性检查在确保设计功能正确性方面起着重要作用。文章研究了组合电路逻辑等价性检查技术,针对该领域常用的DPLL和CDCL算法存在的问题,提出了一种基于蒙特卡洛树搜索的改进算法。通过对ISCAS85测试集的一个子集的实验,证实该算法对CDCL算法有一定的改进,应用于组合电路等价性检查的平均运行时间减少了20%。

美国学术能力评估测试的存废之争及其启示

鉴于“肯定性行动”取消导致弱势群体录取比例下降、学术能力评估测试筛选功能需求降低以及高等教育机构利益受到影响,美国众多院校不再强制要求学生提交标准化考试成绩。这一招生政策的调整引发学界和社会的广泛关注,美国学术能力评估测试存废问题成为争论焦点。持否定观点者质疑SAT的公平性和有效性,认为标准化考试成绩和考生的社会经济地位有着显著的相关性等;持肯定观点者认为,SAT成绩是美国绝大部分高校开展招生录取工作的重要依据,在维护弱势群体利益等方面发挥了重要作用。在回顾美国SAT存废之争的基础上,客观分析这一论争的深层原因,为我国高考改革提供一些启示。

论新质生产力生成的微观机制:价值定位、活动重构与协调适配

新质生产力正在成为推动经济高质量发展的重要着力点,企业作为微观经济主体和科技创新主体,如何向“新”而动,高“质”前行,是当前理论研究中亟须回答的问题。新质生产力更加强调原创性和颠覆性技术创新,这对企业在技术、组织和模式方面都提出了新要求。文章在文献综述的基础上,从价值定位、活动重构和协调适配三个维度分析新质生产力生成的微观机制,进而对高铁、工业互联网和钢铁产业的典型企业进行案例比较分析,得出三点结论:一是独特的价值定位是新质生产力生成的基本前提。在技术路线不明确的行业领域,企业家对独特价值定位的提出起着关键作用。二是价值定位引导一系列新活动涌现、选择和保留,活动重构是新质生产力生成的源动力。技术成熟度的差异会对企业活动重构的边界和主体间关系的稳定性产生不同影响。三是协调适配能力是新质生产力生产的关键组织能力。在不同情境下,协调适配通过技术供给端的推力和市场需求端的拉力平衡来产生作用。因此,国家在政策制定中,要考虑充分发挥企业家作用、激发创新活动持续涌现、促进多元互补活动发生。

红色资源融入高校体育课程思政的价值及路径研究

大学体育作为高等院校的公共必修课,是课程育人的前沿阵地,通过将红色文化资源融入到高校体育课程,开展思政教育,让红色文化资源和高校体育课程有机融合,能够实现红色文化育人、红色文化化人的目标,并充分彰显出高校体育课程在“立德树人”根本任务落实中的重要价值和功能。文章对红色资源的内涵、类型、特点及其融入高校体育课程思政的价值定位进行了介绍,分析了红色资源融入高校体育课程思政的目标指向,分别从明确体育教学目标、调整体育教学内容、搭建数字教育平台三个方面提出了红色资源融入高校体育课程思政的实践路径。

经典逻辑中的模糊命题(Ⅰ)

经典逻辑对命题变元的真值指派为二值的,即为0或1.如果将命题公式中的命题变元的真值指派为[0,1]中的值,则形成了模糊命题,从而形成了模糊逻辑理论.在现有的模糊逻辑中,模糊命题在形式上并不“模糊”,只不过对命题变元做了“模糊”的指派.因此,这种模糊逻辑实际上是“经典命题公式+模糊真值指派”的模糊逻辑.首先在经典命题逻辑中引入了模糊命题的概念,这种模糊命题在形式上就是模糊的,而经典命题是模糊命题的特例.其次,通过对命题变元的二值指派,得到了模糊命题的真值.最后,研究了模糊命题的真值运算性质.研究发现:在经典逻辑系统中引入新的模糊命题的概念后,公式增加了,真值指派没有变,重言式没有减少.本研究可以看作是“模糊命题+二值真值指派”的模糊逻辑.

司法裁判如何安置“社会命题”?

司法裁判中的法律论证要同时运用“规则命题”和“社会命题”。社会命题既能够作为裁判理由增强判决的说服力,又能够成为裁判依据的内容辅助发挥依法裁判的功能。按照说理效果的不同,可区分出法官有强法定义务援引的社会命题,法官有弱法定义务参照的社会命题,以及法官仅有道德义务去参考的社会命题。不同类型的社会命题与规则命题在法律论证的外部证成层面呈现不同的结构关联:一方面,社会命题可以通过实质理由、解释依据或替补性法源的方式与规则命题相融合;另一方面,社会命题也可能与规则命题发生冲突,在依规则裁判优先的前提下通过设定差异化的论证负担来创制例外。由此,社会命题与规则命题共同致力于实现司法裁判的“二阶正确性”。

新课标背景下语文“命题规划”的理解与实践

为落实语文新课标理念、进一步提升命题质量,需重视命题规划。命题规划需统筹考虑多个维度,如目标要求、内容范围与水平标准、考试形式、试卷结构、题型、题量、难度、评分标准等。当前,需依据语文新课标更新部分命题规划维度的所指,从多个维度改进命题规划实践,如立足语文学习任务群立体规划考试内容,进一步贴合语文学科内容领域特性确定试题考查的认知水平,兼顾试卷的显性结构和隐性结构等。命题规划结果可根据实际需要酌情选用相应载体呈现:可以继续沿用并优化“多维细目表”,也可以编制整合分领域命题细目表与相关说明的“命题框架”,以增强命题规划的针对性与弹性。

中国特色档案学的基本范畴与核心命题

新中国成立后,中国特色档案学先后经历了探索期、发展期和创新期三个发展阶段,形成了具有中国特色的档案学学科体系、学术体系与话语体系。新时代的历史方位下,厘清中国特色档案学的学科内核和学理内涵,是保持学科独立性、提升学科话语权、推动学科持续发展的必需之举。本文结合中国特色档案学的历史沿革与研究内容,总结出中国特色档案学的四个基本范畴及其十六个核心命题,并阐释范畴之间的内在逻辑关系。在四个基本范畴中,档案的本质及其形成规律是学科的逻辑起点,档案管理核心环节设计及理论应用是学科的立足之道,档案事业研究及其社会服务是学科的生存之基,档案学理论与方法是学科持续发展的活力之源。总结归纳中国特色档案学的基本范畴与核心命题,有助于更新和延展学科内涵,使档案学以全新的面貌立足于学科之林。

全球信任赤字与重建信任的中国方案

信任是国际政治中各国关系保持稳定,促进国际合作,共同应对全球性问题的前提和基础。近年来,国际力量对比发生深刻变化,国际秩序、国际体系日益呈现不稳定性不确定性发展趋势,大国竞争加剧、世界经济增长乏力、全球性问题日益增多,全球信任日益被削弱,信任赤字成为当前国际社会需要共同应对的一个重要问题。信任赤字会破坏全球共识的达成,影响国际制度的运行以及各国的团结协作。作为负责任大国,中国一直致力于为共同应对全球性挑战、增进国际社会团结互信贡献中国智慧和中国方案。未来,中国可以在理念、方案和行动等方面继续发挥作用,推动各国树立对未来发展和前进目标的信心,树立对共同应对全球性挑战的信心,树立对大国关系以及对全球共同发展和共同迈向现代化的信心,推动世界走向和平、安全、繁荣、进步的光明前景。

依托于翻转课堂模式的医学教育题库建设及优化

题库建设在医学教育中的重要性不言而喻,然而当前的临床教学考核题库存在诸多问题,包括考核与临床的不协调、题库更新的不连贯、命题与学生学习阶段的不配适等。为解决这些问题,本文探索了翻转课堂衔接学生自主命题的教学模式,并分析了翻转课堂应用于题库建设的优势。二者的衔接可以有效建立题库定期更新机制,改善当前医学教育中的题库建设问题,在提升学生自主学习能力的同时,提高教学考核质量。

即时语用推理中的言语行为转喻理论:困境与对策

言语行为转喻理论有两方面不足:仅考虑脚本及其成分(分别相当于话语的施事用意和话语本身)的关系,没有述及成分的字面和隐含脚本之间和成分的字面与隐含命题内容之间的联系,更没有触及它们的推理机制;想当然地认为脚本及其成分所构成的整体-部分关系是即时语用推理迅捷性的保证,没有说明推理的语境依赖性。解决办法有两点:(1)明确字面和隐含施事用意没有转喻联系。隐含施事用意的获取首要取决于命题内容,其次是语境、相邻对和会话的协商性等。(2)隐含命题内容需要通过溯果推理获得,即字面和隐含命题内容之间均可以构成松散的因果关系,是转喻的体现。结论是:即时语用推理涉及转喻,但它只存在于对命题内容的推理之中,所以本文言及的转喻机制和Panther&Thornburg的有本质不同。

江苏省中职职教高考命题研究

中职职教高考是中等职业学校毕业生接受高等职业教育的选拔性考试,考试命题在选拔过程中发挥着重要的基础性作用。以江苏省为例,通过问卷对30所中等职业学校的师生进行调查,用SPSS工具对调查结果进行统计分析,探讨中职职教高考的考试定位。通过完善“文化素质+职业技能”考试招生办法、制定基于课程标准的考试大纲、基于课程核心素养组织命题、采用命题技术控制命题质量等路径,推动职教高考制度发展完善,培养更多高素质技术技能型人才。