检索结果-南通市图书馆

立体弯折线缆线束电磁耦合分析的时域混合算法

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2023年第12期45卷 4345-4351页

作者：叶志红鲁唱唱张玉重庆邮电大学通信与信息工程学院重庆400065

受复杂系统布线空间的制约,线缆通常为线束结构,并呈现弯折和空间立体分布形态。目前,针对立体弯折线缆线束(BSCs)的电磁耦合,仍缺乏高效的时域建模分析方法。因此,该文基于时域有限差分(FDTD)方法和传输线(TL)方程,提出自适应线缆网格... 详细信息

受复杂系统布线空间的制约,线缆通常为线束结构,并呈现弯折和空间立体分布形态。目前,针对立体弯折线缆线束(BSCs)的电磁耦合,仍缺乏高效的时域建模分析方法。因此,该文基于时域有限差分(FDTD)方法和传输线(TL)方程,提出自适应线缆网格技术,结合高效插值技术和电荷守恒定律,研究了一种高效的时域混合算法,实现立体弯折线缆线束的电磁耦合时域快速同步计算。首先,将立体弯折线束整体结构按照弯折节点分解成多段独立的子线束。然后,基于传输线方程和FDTD方法,结合自适应线缆网格技术和插值技术,构建各段空间立体分布的子线束电磁耦合模型,并求解得到线束沿线各点的瞬态响应。最后,根据电荷守恒定律,构建弯折节点的等效电路模型并求解得到节点处的电压,实现各段子线束之间的干扰信号传输。通过理想导电板上和屏蔽机箱内立体弯折线束电磁耦合的数值模拟,从计算精度和耗用时间方面与CST和FDTD-SPICE的仿真结果进行对比,验证所提方法的正确性和高效性。

关键词：立体弯折线缆线束自适应线缆网格技术插值技术电荷守恒时域有限差分与传输线方程的混合算法

在线全文

学校读者我要写书评

暂无评论

T型微带线传导干扰的时域建模分析方法

无线电工程 2023年第10期53卷 2398-2402页

作者：叶志红张玉程亚军鲁唱唱李汸阳詹超然重庆邮电大学通信与信息工程学院重庆400065

T型微带线是集成电路上微带走线的常见结构之一,其传导干扰的建模仿真是集成电路信号完整性分析的重要基础。基于高阶时域有限差分(Finite-Difference Time-Domain,FDTD)(2,4)方法和传输线方程,结合电荷守恒定律,提出了一种快速计算T型... 详细信息

T型微带线是集成电路上微带走线的常见结构之一,其传导干扰的建模仿真是集成电路信号完整性分析的重要基础。基于高阶时域有限差分(Finite-Difference Time-Domain,FDTD)(2,4)方法和传输线方程,结合电荷守恒定律,提出了一种快速计算T型微带线传导干扰的时域混合方法。将T型微带线结构分解成多段相对独立的直微带线和连接节点;采用传输线方程构建各段直微带线的传导干扰分析模型,并采用高阶FDTD(2,4)对传输线方程进行求解,快速获得各段直微带线的瞬态干扰响应;利用电荷守恒定律构建连接节点的电压电流关系方程,使用传统FDTD方法求解得到节点处的电压,并反馈给各段直微带线作为边界,实现各段直微带线之间的干扰信号传输。通过时域混合算法与Baum-Liu-Tesche(BLT)方程和电磁仿真软件CST对相应计算实例进行数值模拟,并从仿真结果的精度与计算耗费时间方面对所提算法的置信度进行评估分析。

关键词： T型微带线传输线方程电荷守恒定律高阶时域有限差分(2,4)

维普期刊数据库博看期刊

高特质焦虑研究生对情绪面孔图片的注意偏向及八段锦运动干预研究

在线全文

学校读者我要写书评

暂无评论

高特质焦虑研究生对情绪面孔图片的注意偏向及八段锦运动干预研究

作者：程唱唱武汉体育学院

学位级别：硕士

焦虑(Anxiety)是人对现实或未来事物的价值特性出现严重恶化趋势所产生的情感反映,在这个“全民焦虑时代”,对于焦虑的研究是各个领域的重要课题。心理学以往侧重于研究特质焦虑者的特征,主要集中在对特质焦虑个体注意偏向的研究,虽然... 详细信息

焦虑(Anxiety)是人对现实或未来事物的价值特性出现严重恶化趋势所产生的情感反映,在这个“全民焦虑时代”,对于焦虑的研究是各个领域的重要课题。心理学以往侧重于研究特质焦虑者的特征,主要集中在对特质焦虑个体注意偏向的研究,虽然发现高特质焦虑的个体会更关注负面的情绪刺激。然而,这一特征具体的注意模式还有待研究,同时当前也缺乏对高特质焦虑者注意偏向的干预研究。探索高特质焦虑个体的注意偏向特征进而研究更具有生态效益的干预方案有助于提升个体焦虑状态下的认知活动表现,促进个体身心健康发展。结合以往有关高特质焦虑个体干预方案中包含放松与冥想的方法,以及习练八段锦对情绪、注意力等方面具有积极影响的结论。因此,本研究采用行为学和眼动实验相结合的方法,探究高特质焦虑研究生情绪注意偏向的特点以及12周八段锦运动干预是否能有效改善特质焦虑高分个体情绪注意偏向的表现。研究一通过《特质焦虑问卷》筛选出高、低特质焦虑研究生被试各30名,本研究采用包含三个实验条件的混合实验设计,将两个不同的特质焦虑水平(高、低)、两种不同类型的情绪图片刺激(积极与中性、消极与中性)以及两种不同的位置一致性(一致、不一致)进行组合。在实验过程中,对每组被试的行为学和眼动数据进行详细记录,包括首次注意的潜伏期、首次注意的时间、总注视时间以及总注视次数。通过对数据的分析,更好地理解人们在不同的情绪和焦虑状态下对于信息处理的注意力分配和注视行为模式,探讨高特质焦虑组个体的注意偏向特点。研究二采用三因素混合实验设计,其中包含2个被试分组(干预组、对照组)、2种情绪图片刺激(积极—中性、消极—中性)以及2种位置一致性(一致、不一致)的组合。在研究一的基础上将高特质焦虑组分为干预组(15人)和对照组(15人),对干预组被试进行为期12周的八段锦运动训练,探究八段锦运动干预是否能有效改善高特质焦虑个体注意偏向表现和焦虑水平。通过统计分析,得出以下结论:(1)高特质焦虑研究生对负性情绪图片存在注意偏向,表现为在注意加工前期对消极情绪刺激存在注意警觉,在经历消极情绪后,往往在加工后期难以摆脱这种情绪的困扰。(2)相较于对照组,经过十二周八段锦练习的高特质焦虑组被试的负面注意偏向显著降低,这说明八段锦有助于改善个体对消极情绪的关注倾向。(3)经过八段锦的锻炼,干预组的负面情绪出现积极变化,并且在缓解状态焦虑方面取得一定效果。

关键词：特质焦虑注意偏向运动干预八段锦

翻译转换理论视角下《说瓷》（节选）汉译英实践报告

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

翻译转换理论视角下《说瓷》（节选）汉译英实践报告

作者：陈唱唱景德镇陶瓷大学

学位级别：硕士

陶瓷作为中国最具代表性的文化符号之一,自古以来一直是与世界沟通的纽带。当前,中外文化交流比以往任何时候都更加频繁。因此,对陶瓷文化文本进行翻译具有重要的建设性意义,可以进一步推动中国文化的传播。本报告旨在通过卡特福德的翻... 详细信息

陶瓷作为中国最具代表性的文化符号之一,自古以来一直是与世界沟通的纽带。当前,中外文化交流比以往任何时候都更加频繁。因此,对陶瓷文化文本进行翻译具有重要的建设性意义,可以进一步推动中国文化的传播。本报告旨在通过卡特福德的翻译转换理论,深入剖析陶瓷文本的翻译过程,并特别选取了《说瓷》(节选)中的案例作为分析对象。在翻译过程中,词汇与语法层面上的层次转换尤为明显。具体来说,汉语转换为英语时,往往需要调整名词的单复数形态以及动词的时态,以符合目标语言的语法规则。同时,范畴转换在结构,类别与单位等多个方面的灵活应用,进一步丰富了翻译表达形式,使得译文更贴近目标语读者的表达习惯。此外,笔者也注意到,在翻译过程中不仅要关注词汇和句子的转换,还要注重整体篇章的连贯性和文化背景的传递。因此,笔者在卡特福德转换理论的基础上,尝试增加对语义、文化等方面的分析,以期通过实现篇章的流畅过渡,更为精准地展现文本的文化内涵,从而优化译文的阅读感受,并提升其整体品质。本翻译实践的结论和案例分析表明卡特福德的翻译转换理论在陶瓷文本翻译中具有一定的的实效性和应用价值,希望可以为今后翻译相同类型文本的译员提供一些参考。

关键词：翻译转换理论陶瓷文本层次转换范畴转换

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

命令式动态规划类算法程序推导及机械化验证

软件学报 2024年第9期35卷 4218-4241页

作者：左正康孙欢王昌晶游珍黄箐王唱唱江西师范大学数字产业学院江西上饶334006 江西师范大学计算机信息工程学院江西南昌330022 网络化支撑软件国家国际科技合作基地(江西师范大学) 江西南昌330022

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Is... 详细信息

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

关键词： Isabelle/HOL 机械化验证动态规划命令式 VCG

图广度优先遍历算法的形式化推导与机械验证方法

在线全文

学校读者我要写书评

暂无评论

江西师范大学学报(自然科学版) 2024年

作者：余楚凌曹中雄王唱唱王昌晶江西师范大学数字产业学院江西师范大学计算机信息工程学院江西师范大学管理科学与工程研究中心

针对图广度优先遍历问题，该文提出了一种形式化推导与机械验证方法.首先，描述求解问题的形式化规约，使用分划递推得到统一的循环不变式并开发Apla抽象程序;然后，在Isabelle中描述算法相关的数据类型、定义与基本函数，根据算法程序... 详细信息

针对图广度优先遍历问题，该文提出了一种形式化推导与机械验证方法.首先，描述求解问题的形式化规约，使用分划递推得到统一的循环不变式并开发Apla抽象程序;然后，在Isabelle中描述算法相关的数据类型、定义与基本函数，根据算法程序正确性证明的验证条件，证明抽象算法正确;最后，通过Apla→C++自动生成器生成可执行代码，验证了该方法的有效性.

关键词：图广度优先遍历形式化推导定理证明循环不变式

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

小学语文教学中开展朗读教学的思路与策略

小学生(中旬刊) 2024年第7期 58-60页

作者：韩唱唱江苏省南京市金陵小学

在小学语文教学中开展朗读教学具有积极作用。朗读教学可以帮助学生快速掌握字词句，还可以有效提高学生的语言组织能力和表达能力。小学生学习条件较好，开展朗读教学可以加深学生对阅读内容的理解，感受到作者字里行间表达的情感，提... 详细信息

在小学语文教学中开展朗读教学具有积极作用。朗读教学可以帮助学生快速掌握字词句，还可以有效提高学生的语言组织能力和表达能力。小学生学习条件较好，开展朗读教学可以加深学生对阅读内容的理解，感受到作者字里行间表达的情感，提高学生的阅读能力。在通识教育观念影响下，小学语文教学内容涉及的范围更广泛，教学内容更丰富多彩，其中包括人文与科学、自然与社会等方面知识，学生在朗读中可以感受到知识的魅力，领略到曼妙多彩的世界，拓宽了知识视野。因而，教师在开展小学语文朗读教学的过程中，应从听读角度出发，培养学生的语言能力，关注学生综合素质的培养。本文以小学语文朗读教学为研究对象，首先对朗读教学的意义进行探究，其次提出小学语文朗读教学的策略。

关键词：小学语文朗读教学

NLRP6基因敲除对小鼠生长繁育和实质器官的影响

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

重庆医科大学学报 2024年第4期49卷 384-394页

作者：穆青蓝孟唱唱陈诗钰何琪重庆医科大学基础医学院病理生理学教研室重庆400016 遵义医科大学珠海校区珠海519041 重庆医科大学基础医学院病理教研室重庆400016

目的:NOD样受体热蛋白结构域相关蛋白6(NOD-like receptor thermal protein domain associated protein 6,NLRP6)是新发现的寡聚化核苷酸结合结构域样受体家族成员,广泛表达于肠道、肝脏、肾脏、脾脏和肌肉等组织器官,在炎症、焦亡和自... 详细信息

目的:NOD样受体热蛋白结构域相关蛋白6(NOD-like receptor thermal protein domain associated protein 6,NLRP6)是新发现的寡聚化核苷酸结合结构域样受体家族成员,广泛表达于肠道、肝脏、肾脏、脾脏和肌肉等组织器官,在炎症、焦亡和自噬等多种生物过程发挥广泛的调节作用。近期研究表明,NLRP6在应激条件下对多种组织器官的疾病表型具有重要影响。然而,NLRP6对组织器官生长发育的影响尚未可知。方法:采用CRISPR/Cas9基因编辑技术构建NLRP6基因敲除小鼠,饲养并记录小鼠的生长和繁殖情况。将小鼠的脾、肝、心、肾、脑、四肢和后背皮肤等组织器官进行解剖和切片染色,以评估NLRP6基因敲除对实质器官的宏观发育影响和对组织结构的微观影响。结果:在自然状态下,NLRP6基因敲除缩短了雄鼠的性成熟期并使成年雄鼠的睾丸发生不可逆的破溃与萎缩。在四肢发育上,NLRP6基因敲除诱导成年雄鼠后肢横纹肌断裂,导致后肢明显萎缩。在脾脏发育上,NLRP6基因敲除不仅显著增加了雄鼠的脾脏体积(P<0.01)还诱导雄鼠脾脏出现炎性细胞浸润。在后背皮肤上,NLRP6基因敲除引发雄鼠后背皮肤出现明显的溃疡损伤、胶原纤维增生和炎性细胞浸润。结论:在自然生长发育条件下,NLRP6基因敲除选择性影响小鼠的生殖器发育与性成熟期、后肢肌肉发育、脾脏大小及其炎症免疫状态以及后背皮肤的结构完整性,而且这一作用具有明显的雄激素依赖性。

关键词： NOD样受体热蛋白结构域相关蛋白6 生长发育睾丸后肢脾脏后背皮肤

在线全文

学校读者我要写书评

暂无评论

基于最大半环的DP问题函数式建模与验证

江西师范大学学报（自然科学版） 2024年第3期48卷 294-300,310页

作者：王唱唱游珍孙欢王昌晶江西师范大学数字产业学院江西上饶334000 江西师范大学计算机信息工程学院江西南昌330022 江西师范大学网络化支撑软件国家科技合作基地江西南昌330022

针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的... 详细信息

针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的基于最大半环的函数式建模算法与Wimmer定义的递归函数结果进行等价性验证,从而保证了函数式建模算法的正确性;最后通过对lcs问题案例分析,验证了该方法的可行性和有效性.

关键词： DP问题最大半环函数式建模验证