面向Python程序的静态死锁检测方法的研究 被引量：5

1

作者 曹华雄 顾乃杰 李燚 《小型微型计算机系统》 CSCD 北大核心 2017年第3期465-471,共7页

随着Python语言越来越广泛的应用,其死锁问题一直困扰着人们.现有的静态死锁检测方法为了兼容可扩展性而缺乏精确的路径敏感分析,从而产生很多不可达路径,导致高误报率.基于此,针对Python程序,提出一种基于函数内联和函数摘要的路径敏... 随着Python语言越来越广泛的应用,其死锁问题一直困扰着人们.现有的静态死锁检测方法为了兼容可扩展性而缺乏精确的路径敏感分析,从而产生很多不可达路径,导致高误报率.基于此,针对Python程序,提出一种基于函数内联和函数摘要的路径敏感的静态死锁检测方法.该方法首先获取Python程序的语法树,然后利用函数内联和函数摘要的分析方法构建每个函数的摘要并由此得到Python程序可达的并发路径.基于这些路径,该方法利用Petri网建模并找出其中的死锁.实验结果表明,本文提出的方法可以有效地检测Python程序中的死锁,而且误报率为14.3%.此外,该方法的可扩展性好,在分析大型开源程序时,每一万行代码所需的时间开销在2.5分钟以内. 展开更多

关键词 python程序 静态死锁检测 函数内联 函数摘要 PETRI网

在线阅读 下载PDF 职称材料

基于ADDIE模型的“Python程序设计”课程双轨教学模式探究 被引量：3

2

作者 李沁颖 金欢 《南方农机》 2022年第22期153-156,164,共5页

在“互联网+教育”的背景下,传统教学模式逐渐被取代,混合教育模式成为未来教学的新趋势。基于此,课题组提出了基于ADDIE模型的双轨教学模式,并将教学理念应用于“Python程序设计”课程。课程教学引入MOOC辅助课外学习,结合市场对专业... 在“互联网+教育”的背景下,传统教学模式逐渐被取代,混合教育模式成为未来教学的新趋势。基于此,课题组提出了基于ADDIE模型的双轨教学模式,并将教学理念应用于“Python程序设计”课程。课程教学引入MOOC辅助课外学习,结合市场对专业人才的实际需求,设计具备多样性的小组互动式学习活动,利用多方向的综合反馈测评,以培养学生的高阶思维,实现学生个人教学难度的不同提升。教学实践表明,双轨教学模式能够培养学生面对复杂问题的分析性思维、创新性思维以及团队协作能力,促成学生的个性化学习,激励学生不断挑战自我,满足新工科创新型、应用型等高阶型人才的培养策略。 展开更多

关键词 ADDIE模型 双轨教学 “python程序设计”

在线阅读 下载PDF 职称材料

基于OBE理念的《Python程序设计语言》课程混合式教学方法探索 被引量：55

3

作者 刘满兰 李建辉 关成斌 《计算机工程与科学》 CSCD 北大核心 2019年第S01期203-206,共4页

《Python程序设计语言》作为大数据分析与处理应用中最热门的语言工具,已经受到越来越多高校的青睐,主要培养学生运用计算机程序设计解决实际问题的能力。以广东东软学院信息管理与信息系统专业的教学现状入手,基于学习产出的教育理念,... 《Python程序设计语言》作为大数据分析与处理应用中最热门的语言工具,已经受到越来越多高校的青睐,主要培养学生运用计算机程序设计解决实际问题的能力。以广东东软学院信息管理与信息系统专业的教学现状入手,基于学习产出的教育理念,以产出为导向,分析目前该课程在教学设计和方法上存在的问题,探索该课程混合式教学方法,为提高《Python程序设计语言》教学质量及信管专业的发展提供参考。 展开更多

关键词 OBE 混合式教学方法 python程序设计语言 信息管理与信息系统

在线阅读 下载PDF 职称材料

《大学信息技术(Python程序设计)》基于MOOC的线上线下混合教学模式课程建设研究 被引量：3

4

作者 陈艳 吴珍珍 《河北农机》 2021年第5期79-80,共2页

MOOC已成为信息时代一种新的教育形态,深刻地改变了当代教学模式。本文通过《大学信息技术(Python程序设计)》基于MOOC的线上线下混合教学模式课程建设思路、教学模式设计与具体实践、课程成绩评定、基于MOOC的线上加线下混合教学成效... MOOC已成为信息时代一种新的教育形态,深刻地改变了当代教学模式。本文通过《大学信息技术(Python程序设计)》基于MOOC的线上线下混合教学模式课程建设思路、教学模式设计与具体实践、课程成绩评定、基于MOOC的线上加线下混合教学成效等方面研究,探寻了该课程教育教学创新策略,以期能为其它基于MOOC平台的线上加线下混合教学模式的计算机基础课程建设提供有意义的思路参考。 展开更多

关键词 python程序设计 基于MOOC线上线下混合教学

在线阅读 下载PDF 职称材料

集成Vissim-Python和Qt的信控交叉口DRL配时仿真系统设计 被引量：7

5

作者 任安虎 李珊 《计算机应用与软件》 北大核心 2024年第11期53-59,122,共8页

针对目前Vissim-Python联合仿真系统在信控交叉口DRL配时研究中算法移植性不高且难以实际应用的问题,设计一款交叉口配时仿真系统。在该系统中,为满足实际应用的需要,提出同时考虑检测器数据和倒计时的DRL配时模型,根据此模型需求,通过P... 针对目前Vissim-Python联合仿真系统在信控交叉口DRL配时研究中算法移植性不高且难以实际应用的问题,设计一款交叉口配时仿真系统。在该系统中,为满足实际应用的需要,提出同时考虑检测器数据和倒计时的DRL配时模型,根据此模型需求,通过Python设计必要的Vissim组件接口,并封装为Gym强化学习仿真环境。为解决算法移植性不高的问题,基于深度学习框架PyTorch对配时算法的接口规范化,并使用PyQt5设计可视化操作界面,可灵活调整算法参数。为提高系统运行效率,使用四种技巧加速仿真进程。最后以珠海市柠溪路与兴业路交叉口为例进行仿真测试,结果表明,该系统运行良好,既可对实际交叉口的配时效果进行评估,也可作为相关算法研究者的测试平台。 展开更多

关键词 交叉口配时 深度强化学习 VISSIM仿真 python程序 Qt界面 PyTorch

在线阅读 下载PDF 职称材料

等温滴定量热仪的校准方法与程序实现 被引量：3

6

作者 葛秀杰 高雅 +1 位作者 李德兴 葛广路 《仪器仪表学报》 EI CAS CSCD 北大核心 2021年第2期1-9,共9页

等温滴定量热法(ITC)是一种原位表征溶液反应热力学参数的重要方法。根据ITC滴定过程的不同热效应以及主要误差来源建立了完整的ITC测量模型。以NanoITC(SV)型等温滴定量热仪为例,基于该测量模型分别采用BaCl2/18-crown-6、CaCl2/EDTA... 等温滴定量热法(ITC)是一种原位表征溶液反应热力学参数的重要方法。根据ITC滴定过程的不同热效应以及主要误差来源建立了完整的ITC测量模型。以NanoITC(SV)型等温滴定量热仪为例,基于该测量模型分别采用BaCl2/18-crown-6、CaCl2/EDTA、正丙醇稀释3组滴定实验对量热仪的量热因子(f)与反应池有效体积(Vcell)进行校准,综合考虑了滴定溶液浓度不确定度、量热仪热信号的随机误差项以及反应参数理论值的不确定度等不确定度分量,基于蒙特卡洛法可靠地计算了校准值的不确定度。3组不同的校准实验互相验证,其结果显示,被校准等温滴定量热仪的量热因子存在8.1%的偏差,反应池有效体积存在3.4%的偏差。支持材料提供了完整的实验数据以及Python程序源代码。 展开更多

关键词 等温滴定量热法 仪器校准 测量模型 蒙特卡洛法 python程序

在线阅读 下载PDF 职称材料

基于三维点云的结构面产状获取方法研究 被引量：1

7

作者 冯文凯 曾唯恐 +2 位作者 程柯力 易小宇 焦隆新 《长江科学院院报》 CSCD 北大核心 2021年第9期128-132,140,共6页

为快速从地质结构面三维点云数据中提取产状信息,基于Python程序设计语言,编程实现了一套自动拟合平面并计算结构面产状的算法。首先,介绍了最小二乘法和主成分分析法2种算法原理和求解平面方程思路;其次,利用Python语言分别设计实现了... 为快速从地质结构面三维点云数据中提取产状信息,基于Python程序设计语言,编程实现了一套自动拟合平面并计算结构面产状的算法。首先,介绍了最小二乘法和主成分分析法2种算法原理和求解平面方程思路;其次,利用Python语言分别设计实现了上述算法,并引入奇异值分解帮助求解主成分向量,给出了关键代码和程序流程;最后,对2种算法进行对比和误差分析,并将平面方程转换为产状信息。将该方法应用于国际公开试验数据,人工截取指定结构面产状,计算结果平均值与实际值相比<1°,最大不超过2°;无监督聚类分割生成的不规则结构面产状计算结果平均值与实际值相比<4°,最大不超过8°,且主成分分析法误差更小。结果表明,该方法精确度高,使用简便,满足工程实际需要。 展开更多

关键词 结构面产状 三维点云数据 平面拟合 最小二乘法 主成分分析法 python程序

在线阅读 下载PDF 职称材料

基于军事背景的大学计算机课程案例教学探索与实践 被引量：6

8

作者 张晗 宋志华 +1 位作者 王彤 朱良谊 《计算机工程与科学》 CSCD 北大核心 2019年第S01期210-212,共3页

以"大学计算机基础"中"Python程序设计"的教学内容为对象,首先通过带有军事背景的电影《战狼》片段引申到热门的"黑客攻击"技术,并通过示例展示程序运行结果。其次,运用数学建模中的实际军事问题扩充并... 以"大学计算机基础"中"Python程序设计"的教学内容为对象,首先通过带有军事背景的电影《战狼》片段引申到热门的"黑客攻击"技术,并通过示例展示程序运行结果。其次,运用数学建模中的实际军事问题扩充并了解其他编程工具,在很大程度上激起学习兴趣点,通过科普计算机相关技术来吸引学生眼球。在课堂教学实施程中,各环节潜移默化地提高了学习积极性,培养了学生自主学习能力。 展开更多

关键词 “python程序设计” 案例

在线阅读 下载PDF 职称材料

基于内聚力模型的钢筋混凝土梁断裂模拟 被引量：4

9

作者 胡响 武杰 张宝虎 《科学技术与工程》 北大核心 2021年第33期14281-14286,共6页

针对钢筋混凝土梁裂纹扩展问题,介绍了一种内聚力模型的方法来模拟钢筋混凝土梁在静态条件下的断裂行为。利用Python开发的计算机程序,通过在有限元模型中插入内聚力单元,并分别对三点弯曲素混凝土梁的Ι型断裂失效模式和L型混凝土板混... 针对钢筋混凝土梁裂纹扩展问题,介绍了一种内聚力模型的方法来模拟钢筋混凝土梁在静态条件下的断裂行为。利用Python开发的计算机程序,通过在有限元模型中插入内聚力单元,并分别对三点弯曲素混凝土梁的Ι型断裂失效模式和L型混凝土板混合断裂失效模式进行模拟,验证了内聚力模型在素混凝土结构中的适用性。在此基础上展开对四点弯曲的钢筋混凝土梁断裂过程模拟,通过分析钢筋混凝土梁的裂纹扩展过程和荷载-挠度曲线,并与文献中的试验结果进行比对,计算结果与试验结果吻合较好。可见该方法适合于钢筋混凝土梁的断裂失效模拟。 展开更多

关键词 有限元法 钢筋混凝土梁 内聚力模型 断裂扩展分析 python程序 ABAQUS

在线阅读 下载PDF 职称材料

光电探测设备的密封方法及O形圈密封设计 被引量：1

10

作者 李佳磊 冈金辉 温庆荣 《激光与红外》 CAS CSCD 北大核心 2023年第2期276-281,共6页

密封性作为光电设备的一项重要指标,会直接影响到光电设备的安全性、可靠性和耐久性。而O形圈是光电设备中一种重要且常见的密封形式。鉴于轴向密封的O形圈经常使用紧固螺栓进行压紧,该文章提出了一种基于国标的O形圈选型及沟槽和螺栓... 密封性作为光电设备的一项重要指标,会直接影响到光电设备的安全性、可靠性和耐久性。而O形圈是光电设备中一种重要且常见的密封形式。鉴于轴向密封的O形圈经常使用紧固螺栓进行压紧,该文章提出了一种基于国标的O形圈选型及沟槽和螺栓设计方法,并且对于其中的计算和查表部分基于Python进行了实现,在极大简化了设计流程、减少了设计计算量、提高设计效率的同时,对于标准件智能设计有一定的借鉴意义。 展开更多

关键词 O形圈选型 螺栓设计方法 python程序设计

在线阅读 下载PDF 职称材料

沼泽红假单胞菌相似菌株间差异功能模体的筛选和分析 被引量：1

11

作者 杨艳北 许晶 +2 位作者 马荆鄂 冯育林 孙勇 《江苏农业科学》 北大核心 2022年第3期73-78,共6页

从功能模体水平上,探索沼泽红假单胞菌相似菌株间功能差异的机理。利用循环遍历算法和Python特有的字典数据格式,编写脚本test.py和difference analysis.py,筛选沼泽红假单胞菌CGA009和YSC3差异功能模体。沼泽红假单胞菌CGA009独有14种... 从功能模体水平上,探索沼泽红假单胞菌相似菌株间功能差异的机理。利用循环遍历算法和Python特有的字典数据格式,编写脚本test.py和difference analysis.py,筛选沼泽红假单胞菌CGA009和YSC3差异功能模体。沼泽红假单胞菌CGA009独有14种功能模体,功能主要集中在DNA复制、合成、修复、重排和结构稳定;蛋白质合成;呼吸链的电子转移;细胞的增殖和分化;生长和繁殖;代谢途径的补充;离子运输;清除毒性物质甲基乙二醛。沼泽红假单胞菌CGA009独有5种功能模体,功能主要集中在重金属铜的抗性、降解生物胺、调节生物节律和光周期。沼泽红假单胞菌CGA009对紫外线和化学试剂具有抵抗能力,DNA骨架结构更稳定,生长和繁殖性能更强。沼泽红假单胞菌YSC3,对光照反应更加敏感,对重金属铜具有抵抗能力,能够降解生物胺,生存能力更强。本研究编写的Python脚本,广泛适用于细菌、真菌、动物、植物等所有物种。 展开更多

关键词 沼泽红假单胞菌 功能模体 python程序 生物信息学

在线阅读 下载PDF 职称材料

一类正整数是否构成亲和三数组的讨论 被引量：1

12

作者 张四保 伊尔夏提·吐尔贡 姜莲霞 《广西大学学报（自然科学版）》 CAS 北大核心 2023年第1期252-256,共5页

为了进一步研究亲和三数组的存在性,讨论了正整数S(k)=k^(2 k)+1是否与其他的正整数构成亲和三数组的问题,其中k是任一正整数。基于初等的方法,证明了S(k)不与任何正整数构成亲和三数组的结论。

关键词 亲和数 亲和三数组 python程序 初等方法

在线阅读 下载PDF 职称材料

基于孔隙压力黏结单元的准脆性材料水力劈裂模拟

13

作者 喻渴来 杨贞军 +2 位作者 张昕 刘国华 李辉 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2021年第11期2151-2160,共10页

传统数值方法对水力劈裂的模拟一般采用预设裂缝扩展路径,且将水流作用等效为压力荷载,难以反映裂缝渗流-开裂耦合效应.采用自编程Python脚本程序批量插入孔隙压力黏结单元,考虑裂缝渗流-开裂耦合作用模拟准脆性材料水力劈裂随机扩展全... 传统数值方法对水力劈裂的模拟一般采用预设裂缝扩展路径,且将水流作用等效为压力荷载,难以反映裂缝渗流-开裂耦合效应.采用自编程Python脚本程序批量插入孔隙压力黏结单元,考虑裂缝渗流-开裂耦合作用模拟准脆性材料水力劈裂随机扩展全过程.在对经典理论模型及试验结果模拟验证的基础上,开展含多裂缝均质模型的水力劈裂全过程分析,并进一步建立混凝土细观尺度水力劈裂模型,分析骨料、界面过渡区和基体渗透性对混凝土劈裂全过程的影响.结果表明,本研究模型可以有效模拟准脆性材料水力劈裂失效过程,准脆性材料多缝开裂过程伴随微裂缝的分叉扩展而非光滑的裂缝扩展路径,骨料及界面过渡区影响劈裂扩展路径造成裂缝分叉出现,混凝土基体的渗透性对其抵抗水力劈裂不利并影响失效软化过程. 展开更多

关键词 混凝土 水力劈裂 流固耦合 黏结单元 孔隙压力 python脚本程序 ABAQUS

在线阅读 下载PDF 职称材料