检索结果-南通市图书馆

模糊多智能体系统中认知和承诺的模型检测方法研究

在线全文

学校读者我要写书评

暂无评论

模糊多智能体系统中认知和承诺的模型检测方法研究

作者：李霞北方民族大学

学位级别：硕士

模型检测作为一种自动的形式化验证方法,在多智能体系统属性验证方面已得到广泛应用。现有的模型检测方法不能满足具有不确定性和模糊信息的多智能体系统验证需求,因此迫切需要开展基于模糊时序逻辑验证方法的研究。本文以解释系统为基... 详细信息

模型检测作为一种自动的形式化验证方法,在多智能体系统属性验证方面已得到广泛应用。现有的模型检测方法不能满足具有不确定性和模糊信息的多智能体系统验证需求,因此迫切需要开展基于模糊时序逻辑验证方法的研究。本文以解释系统为基础模型,将模糊计算树逻辑与认知和承诺逻辑相融合,得到可以描述基于认知和通信的多智能体系统属性的混合模糊计算树逻辑,并提出基于模糊计算树逻辑的多智能体系统模型检测方法。主要研究内容包括:(1)模糊认知多智能体系统的模型检测方法。将模糊多智能体系统建模为使用模糊认知解释系统来表示的分布式知识库。引入认知模态词对模糊计算树逻辑进行扩展,提出模糊认知计算树逻辑,描述系统属性,并给出模糊认知计算树逻辑在模糊认知解释系统上的语义。设计模糊模型检测算法,将基于模糊认知解释系统的模糊认知计算树逻辑模型检测问题转化为基于模糊Kripke结构的模糊计算树逻辑模型检测问题,对具有模糊性认知的多智能体系统属性进行验证。(2)模糊通信多智能体系统的模型检测方法。引入模糊沟通解释系统对具有非确定性通信的多智能体系统进行建模。在模糊计算树逻辑的基础上添加承诺和实现模态词,得到描述系统属性的模糊承诺计算树逻辑。设计验证模糊通信多智能体系统属性的模糊模型检测算法,将基于模糊沟通解释系统的模糊承诺计算树逻辑模型检测问题转化为基于模糊Kripke结构的模糊计算树逻辑模型检测问题。(3)模糊认知和通信交互的多智能体系统模型检测方法。引入同时描述通信和认知的模糊解释系统模型。通过独立连接操作将模糊认知计算树逻辑和模糊承诺计算树逻辑进行组合,得到表达能力更强的带承诺认知的组合模糊计算树逻辑,描述系统认知和承诺交互的属性,并给出组合逻辑在模糊解释系统上的语义。设计模糊模型检测算法,对同时具有模糊认知和通信的多智能体系统属性进行验证。

关键词：模型检测多智能体系统解释系统模糊Kripke结构模糊计算树逻辑

指向高阶思维培育的初中数学教学路径探究——以“旋转”教学为例

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

数学通报 2024年第4期63卷 6-10页

作者：李霞李祎福州教育研究院 350001 福建教育学院数学教育研究所 350001 福建师范大学数学与统计学院 350117

1问题提出.《义务教育数学课程标准(2022年版)》(以下简称“新课标”)提出了以“三会”为终极目标的数学核心素养培养,从培养的课堂路径看,基于“三会”目标的数学课堂更应该研究如何从思维层面教会学生思考.提高学生的数学思维层次.

关键词：高阶思维初中数学教学核心素养培养路径探究课堂路径思维层次三会义务教育数学课程标准

解析成人童话的舞台演绎和故事叙述以音乐剧《拜访森林》为例

在线全文

学校读者我要写书评

暂无评论

中国戏剧 2024年第7期 95-96页

作者：代宁李霞沧州师范学院音乐学院沧州师范学院

百老汇音乐剧《拜访森林》由格林童话中4个经典的故事改写而成。作曲家斯蒂芬·桑德海姆和音乐剧编导詹姆斯·拉平恩把小红帽、灰姑娘、长发公主和魔豆杰克这些家喻户晓的人物放在了同一个故事——《面包师和巫婆的故事》里,以非线性的... 详细信息

百老汇音乐剧《拜访森林》由格林童话中4个经典的故事改写而成。作曲家斯蒂芬·桑德海姆和音乐剧编导詹姆斯·拉平恩把小红帽、灰姑娘、长发公主和魔豆杰克这些家喻户晓的人物放在了同一个故事——《面包师和巫婆的故事》里,以非线性的故事叙述方式来取代线性叙事,通过打破传统的叙事模式来寻找新的切入点。这部早在1986年上演的概念音乐剧时至今日仍堪称童话改编中的经典,当传统故事的程式化结局和价值模式已经不能在成人世界里适用,那么对人性的探讨也终将蔓延到童话的世界。

关键词：故事叙述格林童话面包师成人世界价值模式线性叙事音乐剧成人童话

细胞与分子基础模块化整合课程教学中的思政探索与实践

在线全文

学校读者我要写书评

暂无评论

细胞与分子免疫学杂志 2024年

作者：李霞茹懿赵晶空军军医大学基础医学院生物化学与分子生物学教研室

课程思政是现代高等教育的重要组成部分，在医学类等专业课程教学中融入思政教育是落实高校立德树人的重要途径。医学模块化整合课程是目前国内医学院校广泛采用的一种医学教育模式。本文以“细胞与分子基础”整合课程为例，总结了我们... 详细信息

课程思政是现代高等教育的重要组成部分，在医学类等专业课程教学中融入思政教育是落实高校立德树人的重要途径。医学模块化整合课程是目前国内医学院校广泛采用的一种医学教育模式。本文以“细胞与分子基础”整合课程为例，总结了我们在该模块化整合课程教学中的思政探索与实践。首先更新教学理念，专业课程与思政协同育人；其次重塑课程目标，知识、能力和素养并重；最后，深入挖掘思政元素，建立了丰富的思政素材库：弘扬中国科学家精神，筑牢政治素养，传承中华优秀传统文化，坚定文化自信，共享诺贝尔奖得主的故事，培养科学精神，以学风和学术规范为镜，强化职业素养，严守伦理和道德底线，提高法治意识。通过以上举措，以专业知识为载体，实现知识、能力与思政教育同向同行，协同育人，同时提升教师的思政意识与能力。

关键词：课程思政细胞与分子基础模块化整合课程素养

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

感知社会支持与网络欺负的关系：一项元分析

应用心理学 2024年

作者：唐涵羽张阔李霞南开大学社会学院

为厘清感知社会支持与网络欺负的关系，本研究使用随机效应模型对纳入的31项研究进行元分析。结果表明：感知社会支持及其亚类型与网络欺负均呈显著负相关；在感知社会支持亚类型中，感知家庭支持与网络欺负的相关性最强；文化背景调节... 详细信息

为厘清感知社会支持与网络欺负的关系，本研究使用随机效应模型对纳入的31项研究进行元分析。结果表明：感知社会支持及其亚类型与网络欺负均呈显著负相关；在感知社会支持亚类型中，感知家庭支持与网络欺负的相关性最强；文化背景调节了感知社会支持与网络欺负的关系，个人主义倾向越低，感知社会支持与网络欺负的关系越强；道德推脱部分中介了感知社会支持与网络欺负的关系。本研究为基于社会支持的网络欺负干预策略提供了依据。

关键词：感知社会支持网络欺负道德推脱文化背景元分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中美公益众筹信息监管比较及启示

会计之友 2024年第10期 110-116页

作者：李霞储召慧安徽财经大学会计学院

在共同富裕背景下,立足中国非营利组织公益众筹实践,从公益生态视角深入探讨第三次分配提升路径,能够深化共同富裕和第三次分配理论范畴。文章选择中美公益众筹代表性平台Watsi和轻松筹进行分析,通过实例比较发掘现实问题,深入项目流程... 详细信息

在共同富裕背景下,立足中国非营利组织公益众筹实践,从公益生态视角深入探讨第三次分配提升路径,能够深化共同富裕和第三次分配理论范畴。文章选择中美公益众筹代表性平台Watsi和轻松筹进行分析,通过实例比较发掘现实问题,深入项目流程实践,从公益众筹项目全过程探析监管问题,提出了加强中国公益众筹监管的多主体全方位策略,为推进互联网慈善高质量发展、解决公益众筹现实问题提供了有益启示。

关键词：公益众筹平台监管信息监管轻松公益

总结导师李霞运用中药内服加外洗治疗小儿湿疹经验

在线全文

学校读者我要写书评

暂无评论

世界最新医学信息文摘 2019年第59期19卷 295-295页

作者：杨成彬李霞山东中医药大学威海市中医院

小儿湿疹已成为当今儿科的常见疾病,西医多运用抗生素进行治疗,见效虽快往往容易复发,本文总结导师李霞运用中药内服加外洗方治疗小儿湿疹的临床经验,为中医治疗小儿湿疹提供新思路。李师认为小儿湿疹多因内有湿热蕴脾、外感湿热之邪为... 详细信息

小儿湿疹已成为当今儿科的常见疾病,西医多运用抗生素进行治疗,见效虽快往往容易复发,本文总结导师李霞运用中药内服加外洗方治疗小儿湿疹的临床经验,为中医治疗小儿湿疹提供新思路。李师认为小儿湿疹多因内有湿热蕴脾、外感湿热之邪为主。病位主要在脾,治疗多以清热健脾利湿为主要原则。

关键词：湿疹经验中药外用

数字经济、农村劳动力迁移与农民农村共同富裕

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

统计与决策 2024年第11期40卷 5-10页

作者：李霞张玉龙曲阜师范大学教育学院山东曲阜273165 赣南医学院研究生处江西赣州341000 广东韶关学院韶文化研究院广东韶关512023

文章使用2012—2022年我国30个省份的数据,实证考察数字经济、农村劳动力迁移与农民农村共同富裕三者之间的关系,并实证检验人口密度的调节作用。研究发现,数字经济发展水平和农民农村共同富裕水平均呈现稳步上升趋势;数字经济能够促进... 详细信息

文章使用2012—2022年我国30个省份的数据,实证考察数字经济、农村劳动力迁移与农民农村共同富裕三者之间的关系,并实证检验人口密度的调节作用。研究发现,数字经济发展水平和农民农村共同富裕水平均呈现稳步上升趋势;数字经济能够促进农民农村共同富裕,农村劳动力迁移在其中起到部分中介作用。进一步研究发现,人口密度在数字经济对农民农村共同富裕的影响过程中具有正向调节作用。面板门槛模型的回归结果显示,在经济发展环境越好的地区,数字经济对农民农村共同富裕的推动作用越强。

关键词：数字经济农村劳动力迁移农民农村共同富裕人口密度

代谢综合征与阿尔茨海默病的相关性及机制研究进展

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中国全科医学 2024年第3期27卷 268-272页

作者：李雅萍李霞上海交通大学医学院附属精神卫生中心老年科上海市200000

近期研究发现代谢综合征(MetS)患者有认知功能下降甚至向痴呆进展的趋势,而阿尔茨海默病(AD)是痴呆最重要的分型。本文回顾总结既往研究中MetS导致的认知功能障碍与AD发病的相关性,指出有较多证据支持MetS作为整体及其组分中的高血压、... 详细信息

近期研究发现代谢综合征(MetS)患者有认知功能下降甚至向痴呆进展的趋势,而阿尔茨海默病(AD)是痴呆最重要的分型。本文回顾总结既往研究中MetS导致的认知功能障碍与AD发病的相关性,指出有较多证据支持MetS作为整体及其组分中的高血压、高血糖是AD的危险因素,而胰岛素抵抗、神经慢性炎症、脂肪因子紊乱等在发病过程中起到重要作用,因尚缺乏可有效延缓或逆转AD病理进展的治疗方案,期待以相对可治MetS为干预靶标,为早期防治AD综合策略的制订提供科学证据。

关键词：代谢综合征阿尔茨海默病高血糖症认知功能障碍胰岛素抵抗高血压肥胖腹部血脂异常