检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

大规模源代码增量式资源泄漏检测方法

软件学报 2018年第5期29卷 1244-1257页

作者：高志伟计卫星石剑君王一拙高玉金廖心怡罗辉石峰北京理工大学计算机学院北京100081

资源泄漏是影响软件质量和可靠性的一种重要软件缺陷,存在资源泄漏的程序长时间运行会由于资源耗尽而发生异常甚至崩溃.静态代码分析是进行资源泄漏检测的一种有效的技术手段,能够基于源代码或者二进制代码有效地发现程序中潜在的资源... 详细信息

资源泄漏是影响软件质量和可靠性的一种重要软件缺陷,存在资源泄漏的程序长时间运行会由于资源耗尽而发生异常甚至崩溃.静态代码分析是进行资源泄漏检测的一种有效的技术手段,能够基于源代码或者二进制代码有效地发现程序中潜在的资源泄漏问题.然而,精确的资源泄漏检测算法的复杂性会随着程序规模的增加呈指数级增长,无法满足生产中即时对缺陷进行分析检测的实际应用需求.面向大规模源代码提出了一种增量式的静态资源泄漏检测方法,该方法支持过程间流敏感的资源泄漏检测,在用户编辑代码的过程中,从变更的函数入手,通过资源闭包、指向分析过滤等多种技术手段缩小资源泄漏检测范围,进而实现了大规模代码的即时缺陷分析与报告.实验结果表明:该方法在保证准确率的前提下,90%的增量检测实验可以在10s内完成,能够满足在用户编辑程序过程中对缺陷进行即时检测和报告的实际应用需求.

关键词：质量保障缺陷检测资源泄漏指向分析数据流分析

在线全文

学校读者我要写书评

暂无评论

大规模可变C代码增量式分析方法

软件 2021年第3期42卷 79-85页

作者：石剑君刘法旺计卫星杨玚北京理工大学计算机学院北京100081 工业和信息化部装备工业发展中心北京100846 中国软件评测中心北京100086

提出一种基于头文件复用的大规模可变C代码增量式分析方法。以Linux内核代码为例,首先统计和分析了大规模C代码中的头文件包含情况。然后根据头文件包含顺序,构建C代码分析的头文件加载树。最后,按照头文件加载树增量地分析C代码。实验... 详细信息

提出一种基于头文件复用的大规模可变C代码增量式分析方法。以Linux内核代码为例,首先统计和分析了大规模C代码中的头文件包含情况。然后根据头文件包含顺序,构建C代码分析的头文件加载树。最后,按照头文件加载树增量地分析C代码。实验结果表明,与原有的代码分析方法相比,本方法可以极大地提升大规模可变C代码分析的效率。

关键词：大规模C代码可变代码代码分析

在线全文

学校读者我要写书评

暂无评论

基于K-最短路径的大规模函数调用关系分析

计算机应用与软件 2017年第12期34卷 26-31页

作者：张晶晶石剑君高玉金计卫星北京理工大学计算机学院北京100081

函数调用关系反映了软件系统中函数之间的依赖关系,在软件分析、软件测试与软件维护等众多软件工程领域都有着广泛的应用。但在大型复杂软件中搜索两个函数之间的调用关系时,由于函数数量众多、函数之间调用关系复杂,使得搜索所需时间... 详细信息

函数调用关系反映了软件系统中函数之间的依赖关系,在软件分析、软件测试与软件维护等众多软件工程领域都有着广泛的应用。但在大型复杂软件中搜索两个函数之间的调用关系时,由于函数数量众多、函数之间调用关系复杂,使得搜索所需时间较长。为了获得任意两个函数之间的调用路径,提出使用K-最短路径算法,并对K-最短路径算法进行并行化优化,减少搜索时间,为用户分析函数调用关系提供方便。通过对Linux内核3.19(包含40多万个函数结点和110多万调用关系)进行分析,实验结果表明通过并行化优化,并行加速比一般可达5~6倍。

关键词：函数调用关系 K-最短路径路径搜索 Linux内核

改革开放后一批以工科为主的新型高等学校的创建——以襄樊职业大学为例

在线全文

学校读者我要写书评

暂无评论

高等工程教育研究 2025年第1期 195-200页

作者：刘献君华中科技大学教育科学研究院

1949年以来，高等学校在逐年增加，但有几个时间节点，比较集中。改革开放以后，短短几年时间内，120多所职业大学的创建，是一个重要的时间节点。襄樊职业大学从1983年5月建立，至1998年与两所学校合并为襄樊学院，是其中之一。本人198... 详细信息

1949年以来，高等学校在逐年增加，但有几个时间节点，比较集中。改革开放以后，短短几年时间内，120多所职业大学的创建，是一个重要的时间节点。襄樊职业大学从1983年5月建立，至1998年与两所学校合并为襄樊学院，是其中之一。本人1983年5月参与襄樊职业大学的创建，以此为例，进行初步探索。这批新型高校的特点主要体现在：一是其创办主要是为改革开放后地方经济服务，因而大多高校以工科为主；二是这类学校率先实行“收费、走读、不包分配”,为后来全国高校的改革积累了经验；三是虽冠以“职业”二字，但对职业教育的探索不多，贡献不大。

关键词：改革开放新型高等学校职业大学院校研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

生物入侵到底“错”在哪里?

自然辩证法通讯 2025年第1期 45-52页

作者：孙亚君上海对外经贸大学会展与传播学院

本文检视了下述相对主义的观点：(1)外来物种的“坏”可随着时间推移而逐渐转变为“好”；(2)人类对于自然的干扰类似自然中的自然变化。分析表明，相对主义的观点忽略了“尺度”这一重要因素。人类引发的生物入侵往往突破了自然的尺度... 详细信息

本文检视了下述相对主义的观点：(1)外来物种的“坏”可随着时间推移而逐渐转变为“好”；(2)人类对于自然的干扰类似自然中的自然变化。分析表明，相对主义的观点忽略了“尺度”这一重要因素。人类引发的生物入侵往往突破了自然的尺度，因而是“坏”的。并且，根据生物入侵的三阶段模型，外来物种在第三阶段可有的诸效益往往建立在它们在第二阶段造成的伤害之上，因而不能洗白生物入侵的“恶”。在道德哲学层面，根据平等性基理与相称性基理，可以推得，除非为了保障人的基本利益，人类不应该引发任何可对任一生态系统中的任何生命体构成生存威胁的物种迁移；同时，理性主体不能通过仿效“自然中可能自然发生的”来逃避其行为责任。因此，道德主体应该尽量避免引发任何物种迁移，并对已发生的人类引发的物种迁移“认罪”。

关键词：外来物种生态系统健康物种丰度道德性考量自然尺度

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

失效的“压舱石”:经济安全化的现实转向

国际安全研究 2025年第1期43卷 133-154,159页

作者：高程部彦君中国社会科学院拉丁美洲研究所中国社会科学院大学国际政治经济学院北京100007 同济大学政治与国际关系学院上海200092

经济安全化是国家通过安全叙述将非安全的经济议题转化为安全议题的过程。在国家认为经济合作的收益将损害其在权力竞争中的整体所得时,或者在国家间政治外交关系遇到巨大震荡或冲击时,国家安全逻辑会超越经济逻辑而生效。此时,安全与... 详细信息

经济安全化是国家通过安全叙述将非安全的经济议题转化为安全议题的过程。在国家认为经济合作的收益将损害其在权力竞争中的整体所得时,或者在国家间政治外交关系遇到巨大震荡或冲击时,国家安全逻辑会超越经济逻辑而生效。此时,安全与经济问题在刻意煽动下交织碰撞,国家间密切的经贸关系不仅难以成为管控两国矛盾与分歧的“压舱石”,反而会被国家视作现存的“安全威胁”,成为某些国家中断或破坏双边政治经济联系的借口与手段。国家间存在的经济相互依赖关系也会随之成为安全化操纵国维护与拓展权力、进行地缘政治竞争和打击、操纵他国的战略性工具。因此,文章以存在紧密经济相互依赖的中美与俄欧关系为案例,在比较中美、俄欧之间不同经济安全化动因的基础上,分析经济安全化转向背后的选择逻辑,为中国更好地应对经济安全化挑战、更有针对性地发挥“经济压舱石”作用提供一定思考。

关键词：经济安全化经济压舱石国家安全经济相互依赖

在线全文

学校读者我要写书评

暂无评论

自主可控平台AGV设计及视觉循线算法研究

计算机科学与探索 2025年第1期19卷 264-276页

作者：徐诗高军孙秋君上海海事大学信息工程学院中国电信股份有限公司嘉兴分公司

设计并实现了一种基于自主可控平台的自动导引车（AGV）。AGV满足核心硬件国产化、软件开源可控的要求，并可兼容多种自主导航算法。对传统纯追踪算法在跟踪精度和安全性上进行了改进：一是载具在直线路段偏离参考轨迹较远的情况下使用D... 详细信息

设计并实现了一种基于自主可控平台的自动导引车（AGV）。AGV满足核心硬件国产化、软件开源可控的要求，并可兼容多种自主导航算法。对传统纯追踪算法在跟踪精度和安全性上进行了改进：一是载具在直线路段偏离参考轨迹较远的情况下使用Dubins路径进行快速回归；二是在大曲率参考轨迹处使用预瞄点偏移算法纠正跟踪轨迹，减小跟踪误差；三是应用动态预瞄距离和动态速度进一步减小大曲率路段的跟踪误差和安全风险。改进的算法在设计的AGV上进行了实现。在完成AGV设计和改进算法实现后，在实际环境中进行了视觉循线实验。改进的算法在0.1 m/s的速度下在曲率较小路段的平均偏差相较改进前的两种纯追踪算法变体分别减少了3.3%、7.3%，在大曲率路段减少了8.34%、23.06%；在0.5 m/s的速度下在曲率较小路段的平均偏差相较改进前的两种纯追踪算法变体分别减少了9.08%、11.33%，在大曲率路段减少了2.97%、24.67%。改进算法实验的整体结果优于使用改进前两种算法变体的结果，且设计并实现的AGV能够满足一般环境下的视觉循线导航需求，可应用于多种实际场合。

关键词：自主可控自动导引车(AGV) 跟踪控制纯追踪算法

同方期刊数据库

公元前4世纪雅典政治审判中的意识形态——以《论金冠》为中心

在线全文

学校读者我要写书评

暂无评论

古代文明（中英文） 2025年第1期19卷 30-42,M0004页

作者：黄晓博李尚君华中师范大学历史文化学院湖北武汉430079 上海师范大学人文学院世界史系上海200234

金冠审判是公元前4世纪一场知名的政治审判,对阵双方分别是此时雅典政坛亲马其顿派与反马其顿派的代表人物。结合政治学、政治哲学、法理学的相关理论,深入分析获胜方德摩斯梯尼的庭辩演说辞《论金冠》,可以看到各参与主体对政治审判特... 详细信息

金冠审判是公元前4世纪一场知名的政治审判,对阵双方分别是此时雅典政坛亲马其顿派与反马其顿派的代表人物。结合政治学、政治哲学、法理学的相关理论,深入分析获胜方德摩斯梯尼的庭辩演说辞《论金冠》,可以看到各参与主体对政治审判特有法律语境和话语规范的理解和呼应。法庭的审理和裁决不仅反映而且塑造着雅典的主流意识形态,对公民的政治认知也产生了深远影响。需要注意的是,在传世文献记载中常以沉默面目示人的陪审员,其实也以独特方式参与进了这场实践活动之中,他们的评判和裁决匡正、捍卫了雅典的意识形态。陪审员的实践在雅典意识形态领域所起的作用尤其值得学界重视。

关键词：政治审判法律制度民主政治论金冠意识形态

噻吩酰亚胺衍生物二阶非线性光学性质的DFT研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

原子与分子物理学报 2025年第1期42卷 20-28页

作者：蔺彬彬闫慧君哈尔滨学院食品工程学院化学系哈尔滨150086

采用密度泛函理论(DFT)CAM-B3LYP方法,计算研究了12个设计的噻吩酰亚胺衍生物的电子光谱和二阶非线性光学性质.结果表明,此类化合物有较大的第一超极化率β_(tot)值和β_(vec)值,且β_(tot)值和β_(vec)值随引入氰基数目的增加而显著增... 详细信息

采用密度泛函理论(DFT)CAM-B3LYP方法,计算研究了12个设计的噻吩酰亚胺衍生物的电子光谱和二阶非线性光学性质.结果表明,此类化合物有较大的第一超极化率β_(tot)值和β_(vec)值,且β_(tot)值和β_(vec)值随引入氰基数目的增加而显著增大.给/吸电子基团引起的电荷转移变化对体系β_(tot)值和β_(vec)值的影响大于分子六元杂环中N杂原子位置变化对其影响.

关键词：噻吩酰亚胺衍生物密度泛函理论二阶非线性光学性质电子光谱