检索结果-南通市图书馆

编辑之友 2024年第4期 2-2页

作者：王燕江西师范大学美术学院

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于对话的中文正面情感风格迁移

清华大学学报（自然科学版） 2024年第5期64卷 780-788页

作者：胡玉婷左家莉刘江盛万剑怡王明文江西师范大学计算机信息工程学院南昌330022

文本风格迁移旨在保留文本内容的前提下,通过编辑或生成的方法使得目标文本带有某些特殊属性,如礼貌、情感、性别等。现有的情感风格迁移研究主要集中在英文数据集上,在中文数据集上的研究相对较少。该文构建了一个基于对话的中文情感... 详细信息

文本风格迁移旨在保留文本内容的前提下,通过编辑或生成的方法使得目标文本带有某些特殊属性,如礼貌、情感、性别等。现有的情感风格迁移研究主要集中在英文数据集上,在中文数据集上的研究相对较少。该文构建了一个基于对话的中文情感文本数据集,该数据集的部分原始数据源自电视连续剧《家有儿女》中的对白,并对其进行人工标注和循环模型标注。目前该数据集的负面情感文本和正面情感文本句子共30 836个。根据该数据集中大多数情感词是显性的特点,在编辑类的模型上开展了基于对话的中文正面情感风格迁移的研究。实验结果表明:在该数据集上,编辑类的模型可以较好地识别文本的情感属性,并实现文本正面情感风格迁移。

关键词：自然语言处理文本生成情感风格迁移循环模型编辑模型家庭对话

融合VAD情绪知识的文本情感分布标签增强方法

在线全文

学校读者我要写书评

暂无评论

清华大学学报（自然科学版） 2024年第5期64卷 789-800页

作者：王耀琦万中英曾雪强左家莉江西师范大学计算机信息工程学院南昌330022

情感分布学习(emotion distribution learning, EDL)采用情感分布记录给定样本在各个情绪上的表达程度,在处理具有模糊性的多标签情绪分析任务时具有明显优势。情感分布标签增强技术将已标注的情绪单标签增强为情感分布,可以解决EDL缺... 详细信息

情感分布学习(emotion distribution learning, EDL)采用情感分布记录给定样本在各个情绪上的表达程度,在处理具有模糊性的多标签情绪分析任务时具有明显优势。情感分布标签增强技术将已标注的情绪单标签增强为情感分布,可以解决EDL缺乏已标注情感分布的实验数据集的问题。然而,已有的情感分布标签增强方法采用离散空间情绪模型表示情绪,存在情绪间的相关信息丢失和情绪表达不连续等问题。针对上述问题,该文引入基于连续维度的效价-唤醒-支配(valence-arousal-dominance, VAD)心理学情绪模型,提出融合VAD情绪知识的文本情感分布标签增强方法(VAD emotion knowledge-based text emotion distribution label enhancement, VADLE)。VADLE方法基于先验的VAD情绪模型中的情绪距离,先为英文句子的真实情绪标签和句中情感词的情绪标签分别生成先验情感分布,再通过分布叠加将2种先验情感分布统一。通过英文单标签文本情感数据集的对比实验表明:VADLE方法在情绪预测任务方面的性能优于已有的情感分布标签增强方法。

关键词：情感分布标签增强情感分布学习 VAD情绪空间情感词典

Trie+结构函数式建模、机械化验证及其应用

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4242-4264页

作者：左正康柯雨含黄箐王玥坤曾志城王昌晶江西师范大学计算机信息工程学院江西南昌330022

Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合.Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基... 详细信息

Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合.Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基于索引即键值的思想提出了Trie+结构,相较于传统的索引与键值分开存储的结构能减少50%的存储空间,大大提高了空间利用率.并且,对Trie+结构的查找、插入、删除等操作给出了函数式建模及其严格的机械化验证,保证操作的正确性和可靠性.进一步,提出一种匹配算法的通用验证规约,旨在解决一系列的匹配算法正确性验证问题.最后,基于Trie+结构与匹配算法通用验证规约,建模和验证了函数式中英文混合多模式匹配算法,发现并解决了现有研究中的基于完全哈希Trie的多模式匹配算法的模式串前缀终止的Bug.该Trie+结构以及验证规约在提高Trie结构空间利用率和验证匹配算法中,有一定的理论和应用价值.

关键词： Trie+ 函数式建模机械化验证多模式匹配算法

均值-方差模型中保费的最优分配及其统计分析

在线全文

学校读者我要写书评

暂无评论

统计与决策 2024年 55-60页

作者：温利民崔梦琪章溢江西师范大学数学与统计学院江西师范大学财政金融学院

在保险实务中，保险公司需要将保单组合的总保费分配在各个保单中，以使得保费与风险尽可能匹配。文章提出了改进的均值-方差保费分配模型，得到了最优保费分配的显式解。结果表明，不论是均值模型还是改进的均值-方差模型，每个风险上... 详细信息

在保险实务中，保险公司需要将保单组合的总保费分配在各个保单中，以使得保费与风险尽可能匹配。文章提出了改进的均值-方差保费分配模型，得到了最优保费分配的显式解。结果表明，不论是均值模型还是改进的均值-方差模型，每个风险上的最优保费分配恰为该风险上的保费与差额保费的加权平均。进而，给出了保费分配的最优解的非参数估计，并证明了估计的大样本性质。最后，利用已有文献的数据，给出了改进的均值-方差模型的最优保费分配解，并验证了最优解估计的收敛性。

关键词：保费分配均值-方差模型非参数估计相合性渐近正态性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

抢占式调度问题的PPTA模型与验证方法

软件学报 2024年第10期35卷 4533-4554页

作者：左正康赵帅王昌晶谢武平黄箐江西师范大学数字产业学院江西上饶334006 江西师范大学计算机信息工程学院江西南昌330022 江西师范大学网络化支撑软件国家科技合作基地江西南昌330022

优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统... 详细信息

优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统带来抢占式调度问题.现有研究,缺乏一种可以直观表示任务的优先级以及任务之间的依赖关系的建模及自动验证方法.为此,提出抢占式优先级时间自动机(PPTA)并引入抢占式优先级时间自动机网络(PPTAN).首先,通过在时间自动机上添加变迁的优先级来表示任务的优先级,再利用变迁将具有依赖关系的任务相关联,从而可以利用PPTA建模带有优先级的实时任务.在时间自动机上添加阻塞位置,进而利用PPTAN建模优先级抢占式调度问题.其次,提出基于模型的转换方法,将抢占式优先级时间自动机映射到自动验证工具UPPAAL中.最后,通过建模多核多任务实时系统实例并与其他模型进行对比,说明所提模型不仅适用于建模优先级抢占式调度问题并可对其进行准确验证分析.

关键词：优先级抢占式调度抢占式优先级时间自动机多核多任务实时系统 UPPAAL

细菌组氨酸激酶的信号转导机制及其在逆境响应中的作用

在线全文

学校读者我要写书评

暂无评论

微生物学通报 2024年第10期 3877-3896页

作者：赵晓薇梅方炜匡素芳彭仁江西师范大学生命科学学院江西师范大学健康学院

组氨酸激酶参与的信号转导途径在细菌响应逆境过程中发挥了重要作用。经过60多年的研究，人们在多种细菌中发现了组氨酸激酶。细菌组氨酸激酶分为11个家族，每个家族涵盖多个类型。它们通过一步磷酸化或多步级联磷酸化的调节方式完成信... 详细信息

组氨酸激酶参与的信号转导途径在细菌响应逆境过程中发挥了重要作用。经过60多年的研究，人们在多种细菌中发现了组氨酸激酶。细菌组氨酸激酶分为11个家族，每个家族涵盖多个类型。它们通过一步磷酸化或多步级联磷酸化的调节方式完成信号转导过程，调控多种逆境响应相关的基因表达，由此形成复杂而多样的信号感知系统。这使得细菌能够有效地响应温度变化、适应抗生素压力、产生毒力、顺应酸性环境和抵抗有机化合物胁迫等过程。通过综述组氨酸激酶的作用和机制，为理解细菌的生存策略和适应性提供见解，有助于拓展组氨酸激酶在生物学、医学和小分子检测等领域的应用研究。

关键词：组氨酸激酶响应逆境作用机制调节作用

链格孢菌Alternaria alternata化学成分及其下调TMSB10活性研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国中药杂志 2024年

作者：王兰张暖袁涛江西师范大学健康学院江西师范大学生命科学学院

该文对链格孢菌Alternaria alternata大米发酵的次级代谢产物及下调胸腺素β10（thymosin beta 10，TMSB10）蛋白表达活性进行研究。采用硅胶柱色谱、Sephadex LH-20柱色谱和半制备高效液相色谱等多种色谱分离技术对A. alternata的次级... 详细信息

该文对链格孢菌Alternaria alternata大米发酵的次级代谢产物及下调胸腺素β10（thymosin beta 10，TMSB10）蛋白表达活性进行研究。采用硅胶柱色谱、Sephadex LH-20柱色谱和半制备高效液相色谱等多种色谱分离技术对A. alternata的次级代谢产物进行分离纯化，并通过核磁共振波谱（NMR）、红外光谱（IR）和高分辨电喷雾电离质谱（HR-ESI-MS）等波谱技术及文献数据比对方法，共鉴定出10个化合物，包括2个新化合物：(1S，3S)-2，3-dihydro-3，6-dihydroxy-8-methoxy-1-methylcyclopenta[c][2]benzopyran-5(1H)-one（1）、3，3a，6-trihydroxy-8-methoxy-1-methyl-2，3，3a，9b-tetrahydrocyclopenta[c]isochromen-5(1H)-one（2）和8个已知化合物：alternariol 9-methyl ether（3）、1-deoxyrubralactone（4）、(3aR)-3，3a-dihydro-1，6-dihydroxy-8-methoxy-3a-methylcyclopenta[c][2]benzopyran-2，5-dione（5）、altechromone A（6）、alternariol（7）、altenuene（8）、altenusin（9）、3'-hydroxyalternariol 5-O-methyl ether（10）。对分离得到的化合物进行TMSB10蛋白表达影响实验，发现化合物7对TMSB10蛋白表达有明显的下调作用，抑制率达40.5%。结果表明A. alternata中的苯并吡喃酮类化合物具有下调TMSB10蛋白表达的活性，为抗非小细胞肺癌的研究提供了一定的理论依据和科研价值。

关键词：链格孢菌苯并吡喃酮 TMSB10 非小细胞肺癌

生物序列比对DP算法的统一形式化构造与Isabelle验证

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机研究与发展 2024年

作者：石海鹤蓝孙文刘日明石海鹏王岚钟林辉江西师范大学计算机信息工程学院江西师范大学软件学院

序列比对是生物序列分析中的一个经典问题，旨在找出序列之间的相似性，它对于发现生物序列中的功能、结构和进化信息都具有重要的意义．该问题可分为双序列比对和多序列比对2类，现有工作多针对特定算法展开，没有设计通用的求解方法... 详细信息

序列比对是生物序列分析中的一个经典问题，旨在找出序列之间的相似性，它对于发现生物序列中的功能、结构和进化信息都具有重要的意义．该问题可分为双序列比对和多序列比对2类，现有工作多针对特定算法展开，没有设计通用的求解方法；此外，甚少涉及算法可信性的研究．从生物序列比对问题的形式化规约出发，通过深入分析问题的性质，刻画问题求解的本质特征，借助形式化方法PAR（partition and recursion）设计了序列比对动态规划算法的统一构造框架seqAlign，展示了应用该框架构造序列数为3的多序列比对算法的过程，并使用Isabelle定理证明器对构造结果进行形式化验证．最后，利用PAR平台生成了该算法的C++可执行程序，进一步分析了由seqAlign框架机械化构造其他类型序列比对算法的过程．通过严密的规约精化和形式验证，有效地保证了生成算法的可信性；开发的seqAlign框架提供了序列比对问题类的通用求解方案，显著提高了序列比对算法族生成的效率．研究结果在生物序列分析中序列比对问题上的成功应用，从方法学和实践上可为复杂生物信息学领域高可靠算法的构造提供参考．

关键词：序列比对 PAR方法形式构造 Isabelle定理证明器

“买卖加仁义”:一九六一年华东地区物资交流会中的“物资对流”

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中共党史研究 2024年第3期 99-112页

作者：周永生江西师范大学历史系

国民经济调整时期,“物资对流”成为相对柔性地刺激工农业产品交换的制度选择。商业系统内部通过物资交流会等形式,广泛开展城乡工业品与农副产品的对流。其中1961年9月至10月召开的华东地区物资交流会将“分等对口”“比例成交”作为... 详细信息

国民经济调整时期,“物资对流”成为相对柔性地刺激工农业产品交换的制度选择。商业系统内部通过物资交流会等形式,广泛开展城乡工业品与农副产品的对流。其中1961年9月至10月召开的华东地区物资交流会将“分等对口”“比例成交”作为对流原则,虽然维护了交易秩序,但也引发各地博弈,阻碍了“买卖”的成交。对此,交流会倡导“先予后取”的“仁义”协作,进而基于对等互惠关系调整对流模式,取得了不错的交流实绩。商业系统内的物资对流一定程度上纠正了自上而下的计划分配方式,其实践过程反映了计划与市场之间的复杂关系。

关键词：国民经济调整物资对流对等互惠 “大跃进” 计划经济