课程文献中心 更多>>

关键词： 乡村振兴   村庄规划   一图一表一说明  

摘要： 文章以《贵州省“一图一表一说明”村庄管控图则编制技术导则(试行)》为契机,以贵州省龙里县为例,深入分析了规划面临的主要问题,阐述了“一图一表一说明”的主要特点,并提出村庄建设用地“明”增量、深挖潜力“找”空间、多方参与“听”诉求、规划成果“重”实施等编制策略。

关键词： 约束优化   非凸优化   凸优化   线性规划   增广Lagrange函数   内点方法   交替极小化方法  

摘要： 内点方法是求解不等式约束优化的一类重要和有效的方法,而经典增广Lagrange函数方法是求解等式约束优化和凸优化的有效方法.最近的研究表明,结合内点技术的增广Lagrange函数具有很好的高阶光滑性质,并能够保持优化问题的凸性.因此该函数既能够用于有效求解非凸优化,也能够用于有效求解凸优化问题.本文综述近年来我们关于内点增广Lagrange函数方法的系列研究进展,并对下一步的研究方向进行展望.

关键词： 图神经网络   图池化   多粒度   偏序关系   节点分类任务   图表示学习   半监督学习   图嵌入  

摘要： 图池化作为图神经网络中重要的组件,在获取图的多粒度信息的过程中扮演了重要角色。而当前的图池化操作均以平等地位看待数据点,普遍未考虑利用邻域内数据之间的偏序关系,从而造成图结构信息破坏。针对此问题,本文提出一种基于偏序关系的多视图多粒度图表示学习框架(multi-view and multi-granularity graph representation learning based on partial order relationships,MVMGr-PO),它通过从节点特征视图、图结构视图以及全局视图对节点进行综合评分,进而基于节点之间的偏序关系进行下采样操作。相比于其他图表示学习方法,MVMGr-PO可以有效地提取多粒度图结构信息,从而可以更全面地表征图的内在结构和属性。此外,MVMGr-PO可以集成多种图神经网络架构,包括GCN(graph convolutional network)、GAT(graph attention network)以及GraphSAGE(graph sample and aggregate)等。通过在6个数据集上进行实验评估,与现有基线模型相比,MVMGr-PO在分类准确率上有明显提升。

关键词： FLIP   逐重量完美平衡布尔函数   代数次数   重量非线性度  

摘要： 在FLIP等同态友好流密码的背景下,逐重量完美平衡布尔函数成为密码学中研究的热点问题,但已有的研究结果构造的逐重量完美平衡布尔函数的k-重量非线性度离其上界仍有距离,基于此,提出一种新的逐重量完美平衡布尔函数的构造方法。首先,对于m≥4的正整数,给出了一类2^(m)元的八次基础布尔函数,并利用代数正规型确定其k-重量分布。随后,通过修改此类基础函数的支撑集,构造出了一类2^(m)元逐重量完美平衡布尔函数,从理论上证明了其在每个非平凡等重量子集上都是平衡的。此外,分析了所提构造方法与同类构造方法之间的区别,证明了逐重量完美平衡布尔函数的代数次数。最后,与目前已有的同类函数进行比较,结果表明,新构造的8元函数在k=3和k=4时分别超过现有的k-重量非线性度,达到18和26,新构造的16元函数在k=13时的k-重量非线性度从目前最高值152提高到了160。

关键词： 半群   特殊图   频率图   旅行商问题   最小生成树  

摘要： 针对最小生成树(minimum spanning tree,MST)和旅行商问题(travelling salesman problem,TSP),介绍了完全图上的两类特殊图并定义了这些图上的交运算,每类特殊图和交运算构成一个半群。根据半群性质计算出频率图,分析了最优哈密顿圈(optimal Hamiltonian cycle,OHC)和MST中边的频率性质,证明了频率图上OHC中边的频率下界,该频率下界用于缩小OHC的搜索空间,降低了TSP的求解难度。此外,采用一些TSP算例验证了频率图上OHC中边的频率性质。

关键词： 软件故障注入   读时注入   优序图法   可靠性   软件测试  

摘要： 软件故障注入是可靠性验证的重要保障,与系统的安全性和鲁棒性密切相关。提出了一种基于改进优序图法的读时故障注入方法。相比于传统方法,所提方法能够提高故障注入的有效性,缩小故障空间。首先,对小尺度程序故障注入的结果进行理论分析,得到特征值权重向量;然后,对大尺度程序的汇编代码进行解析,得到汇编代码的特征值;之后,根据特征值权重向量,计算大尺度程序汇编代码的权重;最后,在MiBench数据集上验证方法的有效性。将大尺度程序各条汇编代码分别按照权重和有效故障率进行降序排列,各取前50%的元素,二者的相似度可达到81%。

关键词： 齐次式   三角函数   解题方法  

摘要： 本文探讨齐次式在三角函数题中的应用.对于分子、分母的次数相同的式子或无分母的相关式子,通过将分母“1”作特殊处理,分子分母同时除以特定项,转化为仅含某一变量的式子,简化运算过程,降低计算难度,使答题者能够更加清晰、准确地进行计算和推理,从而有效地提高解题的效率和准确性.

关键词： 集合教学   信息技术   互动教学模式  

摘要： 随着信息技术日新月异的发展,在小学数学教学中应用信息技术已成为必然趋势。本文针对小学数学中的集合教学,提出了基于信息技术平台的集合互动教学模式。该模式包括信息技术在小学数学教学中的应用现状、集合互动教学模式的设计与实施以及该模式的效果评估。通过线上线下相结合的互动教学方式,充分调动学生的参与积极性,激发探究兴趣,有效提高学生对集合知识的掌握和创新应用能力。研究结果表明,该集合互动教学模式不仅提升了学生的学习成绩,还培养了他们的数学思维品质,为小学数学教学改革提供了新的思路和方法。

关键词： 天然有机质   傅里叶变换离子回旋共振质谱(FT-ICR MS)   化学多样性   消毒副产物(DBPs)   吸收模式  

摘要： 傅里叶变换离子回旋共振质谱(Fourier transform ion cyclotron resonance mass spectrometry,FT-ICR MS)是在分子水平上表征溶解性有机质(dissolved organic matter,DOM)等有机混合物化学组成最先进的非靶向分析技术,被广泛用于消毒副产物(disinfection byproducts,DBPs)的高通量分析。与传统的幅度模式相比,傅里叶变换的吸收模式能够显著提高离子峰的信噪比和分辨率。然而,吸收模式在DBPs分析中的研究仍属空白。本研究基于FT-ICR MS技术,以氯化处理地表水和地下水为研究对象,阐明吸收模式在DOM和DBPs分析中的优势。结果表明,相比于幅度模式,吸收模式谱图能够显著(P<0.05)提高DOM和DBPs离子峰的分辨率(约1.89~1.97倍)和信噪比(约1.61~1.73倍),显著降低分子式匹配质量误差和同位素峰强度偏差较大的13C同位素峰的峰强偏差。吸收模式识别出的峰较少,而分子式匹配的数量更多(约为幅度模式的1.21~1.39倍),能够显著提高DBPs离子峰的识别数量。但由于环境浓度下DBPs离子峰的强度较低,吸收模式对DBPs峰的峰强偏差降低效果并不明显。吸收模式在基于FT-ICR MS技术的DOM和包括DBPs在内的新污染物非靶向研究方面具有广泛的应用前景。

关键词： 动态脑电图   CT检查   缺血缺氧性脑病   致残率  

摘要： 目的探讨动态脑电图(VEEG)联合CT对缺血缺氧性脑病(HIE)患儿早期诊断的临床价值。方法选取2020年7月至2022年12月景德镇市第三人民医院儿科收治的100例疑似HIE住院患儿作为研究对象,按照随机数字表法分为对照组与试验组,每组50例。对照组采用CT检查方法,试验组采用VEEG联合CT检查方法。比较两组患儿的检查与HIE临床分度诊断符合率、Apgar评分、检查颅内出血率情况以及出生后1、3、6个月的听力、视力以及智力情况。结果试验组准确度高于对照组,差异有统计学意义(P<0.05)。两组的灵敏度和特异度比较,差异无统计学意义(P>0.05);试验组诊断总符合率高于对照组,差异有统计学意义(P<0.05)。出生1、5 min,试验组的Apgar评分高于对照组,差异有统计学意义(P<0.05)。两组患儿检查各方面的颅内出血率比较,差异无统计学意义(P>0.05)。出生后1、3、6个月,两组患儿听阈、视力及智力的时间、组间、交互作用比较,差异无统计学意义(P>0.05)。结论VEEG联合CT检查能够较早发现HIE患儿脑功能异常,给予HIE患儿早期干预,动态调整优化诊疗方案,有助于降低新生儿的致残率以及死亡率。