流敏感的C/C++程序编程风格检查方法

1

作者 胡梦泽 马旭桐 +1 位作者 张豪 张健 《计算机科学》 北大核心 2025年第6期35-43,共9页

C/C++编程语言应用于众多关键领域的软件系统中,在开发时对编程的规范性和语义的明确性有着极高的要求。为了避免不当使用C/C++语言带来潜在的安全问题,国内提出了面向C/C++语言的《C/C++语言编程安全子集》(后简称为GJB8114)。由于标... C/C++编程语言应用于众多关键领域的软件系统中,在开发时对编程的规范性和语义的明确性有着极高的要求。为了避免不当使用C/C++语言带来潜在的安全问题,国内提出了面向C/C++语言的《C/C++语言编程安全子集》(后简称为GJB8114)。由于标准中规则较多,程序员在开发过程中难免存在不规范的写法,因此实现用自动化的规则检测工具检测相应的编码规则是必要的。而现有的编程规范检查工具对标准的检查并不全面,在针对需要理解程序上下文的规则的检查时,误报率较高甚至不支持检查。对此,将GJB8114中的规则分类并对复杂规则进行定义。通过调研Testbed工具检查GJB8114中的复杂规则的支持程度,总结得到现有工具存在流敏感分析不完善和无法进行跨文件的全局分析这两个问题。采取了结合语法树匹配的流敏感分析方法和跨文件的全局分析方法来解决这些问题。在此基础上,开发得到了CruletFS工具。实验结果表明,与常见的编程规范检查工具Cppcheck,Testbed等相比,CruletFS在检查复杂规则时有更好的效果。在针对规模较大的项目分析时,CruletFS在开销上也优于Cppcheck。这说明相较于已有的方法和策略,所提方法可以在占用开销较低的基础上有效提高复杂规则检查的准确率。 展开更多

关键词 C/C++编码风格检查 流敏感静态分析 跨文件代码检查

在线阅读 下载PDF 职称材料

基于样式权重调制技术的少样本火焰图像增强

2

作者 李明杰 胡羿 易正明 《计算机科学》 北大核心 2025年第S1期491-497,共7页

少样本图像生成技术仅依靠稀缺有限的目标样本,就能够生成以假乱真和多样化的图像,这可以为下游的目标识别任务构建可靠的数据集。这项工作提出了一种基于权重调制的少样本生成模型,在仅输入3张目标图像的条件下,便能获得与目标样本具... 少样本图像生成技术仅依靠稀缺有限的目标样本,就能够生成以假乱真和多样化的图像,这可以为下游的目标识别任务构建可靠的数据集。这项工作提出了一种基于权重调制的少样本生成模型,在仅输入3张目标图像的条件下,便能获得与目标样本具有相同内容且特征呈现多样化的图像。具体来说,对生成器中的编码器和解码器经过了精心设计,采用了梯度流更好的C2F结构来搭建金字塔型网络构架,最大程度地还原图像在不同层次的原始特征。采用了基于注意力机制的特征融合方法,引入了特征样式潜码来控制特征融合质量。其中,样式潜码使用了权重缩放的策略,有效地消除了生成伪影,使生成图像更加逼真。同时,还使用了优化的特征长度探测算法来对源域和目标域的重要信息进行接近度探测。这一技巧能够使模型在源域中通过预训练得到的先验信息更好地迁移到目标域中。针对火焰图像样本的生成任务,给出了定性和定量的对比结果,所提出的模型能够切实提高yolov8算法下的火焰目标识别性能,实质性地提升了数据增强的效果。 展开更多

关键词 少样本生成 火焰数据集 特征融合模块 迁移学习 预训练 权重调制 目标识别 样式潜码

在线阅读 下载PDF 职称材料

融合特征位置编码和误差修正的唐卡图像风格迁移模型

3

作者 时新月 胡文瑾 +1 位作者 乔浪 康文东 《计算机辅助设计与图形学学报》 北大核心 2025年第2期293-302,共10页

唐卡是藏族文化中一种独具特色的艺术风格,通过对唐卡图像进行二次创作能够帮助人们了解唐卡风格特征,促进文化传承与保护.针对目前唐卡图像风格迁移技术生成新图像中,生成图像存在伪影、局部图像模糊和细节信息处理不到位等问题,提出... 唐卡是藏族文化中一种独具特色的艺术风格,通过对唐卡图像进行二次创作能够帮助人们了解唐卡风格特征,促进文化传承与保护.针对目前唐卡图像风格迁移技术生成新图像中,生成图像存在伪影、局部图像模糊和细节信息处理不到位等问题,提出一种融合特征位置编码和误差修正的唐卡风格迁移模型FPC-EI.利用二维相对位置编码获取内容序列与风格序列之间的对应位置信息,实现图像特征之间的对齐和匹配;坐标注意力机制模块强化利用二维相对位置编码增强编码器对于唐卡以及内容图像纹理细节信息的捕获能力;密集深度反投影网络使用采样层模块不断地进行上下采样,进行误差修正,指导模型提高生成图像质量.在自建的唐卡数据集和任意图像数据集上进行模型训练的实验结果表明,与AdaIN,ArtFlow,AdaAttN等风格迁移模型相比,FPC-EI的SSIM指标平均提升32%,LPIPS和MSE指标平均下降7.3%和2.7%,可以有效地保留内容结构、特征融合和图像局部细节方面特征. 展开更多

关键词 唐卡图像 风格迁移 位置编码 注意力机制 深度反投影网络

在线阅读 下载PDF 职称材料

贴合中国式战略学理论涌现的建构主义扎根理论研究 被引量：1

4

作者 冯海龙 冯世同 +1 位作者 何乐 林海芬 《管理学报》 CSSCI 北大核心 2024年第12期1763-1773,共11页

讲好中国管理故事,扎根中国本土战略实践,原创中国式战略学理论,亟需更具有理论建构功能的质性研究方法。建构主义扎根理论是一种非主流但却前卫的质性研究方法,其根植于解释学传统,注重研究者、研究对象及其利益攸关者共同参与,融合本... 讲好中国管理故事,扎根中国本土战略实践,原创中国式战略学理论,亟需更具有理论建构功能的质性研究方法。建构主义扎根理论是一种非主流但却前卫的质性研究方法,其根植于解释学传统,注重研究者、研究对象及其利益攸关者共同参与,融合本体论的唯名主义和认识论的反实证主义,具有较大的理论涌现和理论创新功能,能够更好地贴合高情境化的中国式战略学研究。通过对中国式战略学理论中国化和实践本土化进行学理分析,以及以中国式战略学理论建构的两种主流质性研究方法观照,形成中国式战略学的双重结构,并阐释了建构主义扎根理论的要义,建构了层序译码与代码循序转换迭代模式。进而,基于初始译码、聚焦译码、轴心译码和理论译码的操作化,确立了研究学科域-研究方向-研究命题-理论框架层递抽象的范式。 展开更多

关键词 中国式战略学 建构主义扎根理论 层序译码

在线阅读 下载PDF 职称材料

程序设计教学中学生程序设计风格的养成 被引量：7

5

作者 陈立前 李姗姗 叶常春 《计算机工程与科学》 CSCD 北大核心 2016年第A01期50-54,共5页

计算机程序设计课程已成为普通高校本科教学中的公共基础课程之一。目前,关于该课程的一个较普遍的问题是课程结束后学生的实际程序设计能力依然比较差,所编写出来的程序的代码质量不高。原因之一是学生没有养成良好的程序设计风格。着... 计算机程序设计课程已成为普通高校本科教学中的公共基础课程之一。目前,关于该课程的一个较普遍的问题是课程结束后学生的实际程序设计能力依然比较差,所编写出来的程序的代码质量不高。原因之一是学生没有养成良好的程序设计风格。着重探讨程序设计风格养成的重要性,以及如何在课程教学中引导学生重视并养成良好的程序设计风格。 展开更多

关键词 程序设计 程序设计风格 编程规范 编程规则

在线阅读 下载PDF 职称材料

基于样式编码的真实图像逆映射算法 被引量：2

6

作者 尹芹 方晖 +3 位作者 王金东 王侃 晏天文 霍智勇 《南京邮电大学学报（自然科学版）》 北大核心 2023年第1期80-85,共6页

将图像准确地逆映射到StyleGAN的潜在空间,构造能够恢复真实图像的潜码,是实现真实图像语义操纵的基础。然而现有方法将图像逆映射为1×512维W潜码,重建后的图像并不能保真恢复。为此文中提出了一种基于样式编码网络的真实图像逆映... 将图像准确地逆映射到StyleGAN的潜在空间,构造能够恢复真实图像的潜码,是实现真实图像语义操纵的基础。然而现有方法将图像逆映射为1×512维W潜码,重建后的图像并不能保真恢复。为此文中提出了一种基于样式编码网络的真实图像逆映射算法,其编码器网络提取粗、中、细不同的空间尺度特征作为风格特征向量,通过组合得到W+潜码后,送入预训练的StyleGAN生成器中,利用潜在空间重构出输入真实图像。实验表明,文中算法能够构造出真实图像在潜在空间的准确逆映射的潜码,提高了图像重构的质量,从而实现优于现有技术的图像语义操纵。 展开更多

关键词 潜在空间 逆映射 样式编码 语义操纵

在线阅读 下载PDF 职称材料

有限状态机设计策略 被引量：14

7

作者 王巍 高德远 《计算机工程与应用》 CSCD 北大核心 1999年第7期54-55,73,共3页

作为一个数字逻辑工程师，经常会碰到设计一个有限状态机的问题。该文讨论了FSM设计的一些注意事项和相应的VHDL编程风格。

关键词 有限状态机 硬件描述语言 VHDL语言 程序设计

在线阅读 下载PDF 职称材料

民法法典化探究 被引量：47

8

作者 孙鹏 《现代法学》 CSSCI 北大核心 2001年第2期17-25,共9页

２１世纪依然是法典化的时代，中国社会的全面发展孕育了对民法典的强烈需求,民法文化的生成也为民法典创造了必要的主观条件。我们应当在分析法学方法论充分发展的基础上，坚持社会本位，向大陆法系奉献一部由总则、物权、债权总则、... ２１世纪依然是法典化的时代，中国社会的全面发展孕育了对民法典的强烈需求,民法文化的生成也为民法典创造了必要的主观条件。我们应当在分析法学方法论充分发展的基础上，坚持社会本位，向大陆法系奉献一部由总则、物权、债权总则、合同法、侵权法、亲属法、继承法七编结构构成的“世纪法典”。 展开更多

关键词 民法典 方法论 立法体例 社会本位 分析法学 概念法学 人自权 债权 民事责任 中国

在线阅读 下载PDF 职称材料

C/C++源代码风格检测工具的实现 被引量：3

9

作者 陈丹伟 李军 刘继兴 《计算机应用》 CSCD 北大核心 2003年第10期140-142,共3页

文中给出了评价C/C++源代码风格的规则分类和检查工具的总体结构,阐述了代码检查工具的核心技术———扩展词法分析和扩展语法分析,给出了代码检测工具的应用实例。

关键词 软件质量 代码风格 规则 检测工具

在线阅读 下载PDF 职称材料

动作记忆研究的新领域——动作记忆元认知研究 被引量：8

10

作者 汪晓赞 祝蓓里 《天津体育学院学报》 CAS CSSCI 北大核心 2003年第1期38-42,共5页

随着现代认知心理学的发展,“对认知的认知”———元认知的研究已逐渐成为当前智力研究的前沿课题。就目前而言,在体育学习领域中有关元认知的研究极其贫乏,至今尚未见到有关的实验研究报告。动作记忆元认知即认知主体对自身动作记忆... 随着现代认知心理学的发展,“对认知的认知”———元认知的研究已逐渐成为当前智力研究的前沿课题。就目前而言,在体育学习领域中有关元认知的研究极其贫乏,至今尚未见到有关的实验研究报告。动作记忆元认知即认知主体对自身动作记忆过程的认知与监控,具体包括动作记忆组织和动作记忆监控。基于动作记忆元认知在体育学习中的重要性,本文试图对动作记忆元认知过程进行初步探索,并提出一种全新的动作记忆训练方法———动作记忆元认知训练,为体育教学工作者和学习者寻找一种高质高效的教与学的方法,以增强学生动作学习能力。 展开更多

关键词 动作记忆 元认知 编码方式 组织策略 自我监控 体育教学心理学

在线阅读 下载PDF 职称材料

安全通过方式——移动代码安全的新方法 被引量：1

11

作者 卢兴华 赵强 +1 位作者 刘志明 王红胜 《计算机工程》 CAS CSCD 北大核心 2004年第6期135-136,共2页

根据ABLP信任逻辑提出了一种新的堆栈检测方式——安全通过方式，并以Java为例把此方法应用到移动代码系统中去。安全通过方式无须专门的硬件及语言执行时间的支持,在可信任代码和不可信任代码结合在一起运行时，它能够捕获两者之间的... 根据ABLP信任逻辑提出了一种新的堆栈检测方式——安全通过方式，并以Java为例把此方法应用到移动代码系统中去。安全通过方式无须专门的硬件及语言执行时间的支持,在可信任代码和不可信任代码结合在一起运行时，它能够捕获两者之间的复杂关系，有效地解决移动代码的安全问题。 展开更多

关键词 安全通过方式 移动代码 网络安全

在线阅读 下载PDF 职称材料

代码风格检测分析器工作流模型 被引量：1

12

作者 陈丹伟 孙国梓 《计算机工程与设计》 CSCD 2004年第12期2188-2190,共3页

在分析好的代码风格对软件的开发、测试和维护具有重要意义的基础上,给出了一种代码风格检测工具的总体结构,介绍了其主要功能。重点分析了代码风格检测分析器的工作流模型,并对其工作流程进行了详细论述。利用该模型构建的代码风格检... 在分析好的代码风格对软件的开发、测试和维护具有重要意义的基础上,给出了一种代码风格检测工具的总体结构,介绍了其主要功能。重点分析了代码风格检测分析器的工作流模型,并对其工作流程进行了详细论述。利用该模型构建的代码风格检测工具已经得到了实际应用。 展开更多

关键词 代码 工作流模型 检测工具 软件 测试 总体结构 维护 护具 实际 风格

在线阅读 下载PDF 职称材料

男西装款式要素及样板的分析 被引量：6

13

作者 丁佳 陈雁 +1 位作者 陈洪倩 刘雪林 《丝绸》 CAS 北大核心 2012年第2期33-36,共4页

针对服装样板制作环节的特点,开发数字化样板管理系统,从而实现样板的快速存储、检索及调用。以男西装品种为实例,从服装的款式要素及样板构成方面进行概括、归纳、分析,提出了男西装的款式要素集合,以及服装样板的转换方式。该研究能... 针对服装样板制作环节的特点,开发数字化样板管理系统,从而实现样板的快速存储、检索及调用。以男西装品种为实例,从服装的款式要素及样板构成方面进行概括、归纳、分析,提出了男西装的款式要素集合,以及服装样板的转换方式。该研究能够为其他服装数字化样板管理系统建设的样板编码、样板检索、样板修改与调用提供理论基础和操作方式。 展开更多

关键词 款式要素 样板分析 样板编码 样板检索

在线阅读 下载PDF 职称材料

《民法典》传统基因与民族特色的法理解析 被引量：14

14

作者 蒋海松 《现代法学》 CSSCI 北大核心 2022年第1期94-108,共15页

我国民法典汲取了优秀传统法文化,带有鲜明的民族特色。传统法文化既形塑了民法典的独特人文精神,也对其制度建构深具启示。在精神牵引上,传统文化的德法合治影响了民法典浓厚的道德关怀,重视抽象化的人之德性价值为人格权独立成篇提供... 我国民法典汲取了优秀传统法文化,带有鲜明的民族特色。传统法文化既形塑了民法典的独特人文精神,也对其制度建构深具启示。在精神牵引上,传统文化的德法合治影响了民法典浓厚的道德关怀,重视抽象化的人之德性价值为人格权独立成篇提供了哲理论证,传统民本精神、“法顺人情”、天人合一思想、诚信文化都有其精神传承。在民法典制度安排上,继承了传统的典章治理智慧和通过法典化增强民族认同的政治使命,“有典有册”、律例统编的传统形式启发了民法典简约的立法技术。此外,在具体制度上,传统家事法律制度深刻影响了婚姻家庭编,传统典权制度为农村土地“三权分置”进行了历史论证。民法典对民族特色的彰显并非偶然,其原因在于民法典是民族特质的法意凝练,法治发展趋势要求从法律移植到“中国之治”,通过民法典提振民族精神也具有世界经验。但传统法文化影响不能过度拔高,其诸多人文主张仅停留在观念层次,而缺乏制度建构。应对传统观念进行现代化的制度转换与批判性继承,引领新的社会文明。 展开更多

关键词 民法典 传统法文化 民族精神 法典体例 家事法

在线阅读 下载PDF 职称材料

基于模块化保健型老年T恤衫个性化定制研究 被引量：2

15

作者 李满宇 陈淑聪 周捷 《针织工业》 北大核心 2023年第3期73-77,共5页

针对老年人对服装理疗保健的功能需求,以保健型老年T恤衫为研究对象,运用模块化设计理论,对保健型老年T恤衫的个性化定制进行研究。首先从老年顾客的需求出发,提出保健型老年T恤衫的理念。基于老年T恤衫常见款式特征,对保健型老年T恤衫... 针对老年人对服装理疗保健的功能需求,以保健型老年T恤衫为研究对象,运用模块化设计理论,对保健型老年T恤衫的个性化定制进行研究。首先从老年顾客的需求出发,提出保健型老年T恤衫的理念。基于老年T恤衫常见款式特征,对保健型老年T恤衫进行模块划分,同时建立了2级模块库。然后对保健型老年T恤衫进行模块的合理划分和编码,确立了模块配置规则,并形成了一套模块化设计方案。最后通过用户实际体验,验证了该方案的合理性和可行性。研究发现该方案的提出对服装企业满足老年人市场需求,实现保健型老年T恤衫的个性化定制生产具有指导意义。 展开更多

关键词 个性化定制 理疗保健 老年T恤衫 模块化设计 模块编码 款式设计

在线阅读 下载PDF 职称材料

男西装快速反应工艺系统设计研究 被引量：5

16

作者 张中启 《毛纺科技》 CAS 北大核心 2014年第9期34-39,共6页

快速反应工艺系统是男西装行业新兴的发展方向,男西装企业实施快速反应工艺系统可以明显提高产品质量和市场竞争力。文章对男西装款式要素进行分析,指出快速反应工艺系统特别适合现阶段男西装企业的小批量、多品种生产状况特点。从男西... 快速反应工艺系统是男西装行业新兴的发展方向,男西装企业实施快速反应工艺系统可以明显提高产品质量和市场竞争力。文章对男西装款式要素进行分析,指出快速反应工艺系统特别适合现阶段男西装企业的小批量、多品种生产状况特点。从男西装的款式要素和要素的具体内容2个方面,按照唯一性、标准化、可扩充性、简单性、实用性、规范性的原则对男西装进行编码设计。最后按照男西装工业化生产的要求,从用户管理模块、制单管理模块、审单管理模块3个方面构建了男西装快速反应工艺系统,明显缩短男西装工艺文件信息的制定时间,有利于男西装企业工艺设计与管理一体化。 展开更多

关键词 男西装 快速反应 工艺系统 编码设计 款式要素

在线阅读 下载PDF 职称材料

论《尚书·尧典》之生成及其文体功能 被引量：1

17

作者 叶修成 《华南农业大学学报（社会科学版）》 CSSCI 2009年第2期98-105,共8页

最初的"典"体生成于殷人的贡典制度,主要是书写对祖先神灵的祝告之辞和先王先妣的祀谱和庙号。周人将礼乐法度上升到了"典"的神圣地位,并将先王先公有教益和借鉴意义的话语也称之为"典"。而《尧典》是春... 最初的"典"体生成于殷人的贡典制度,主要是书写对祖先神灵的祝告之辞和先王先妣的祀谱和庙号。周人将礼乐法度上升到了"典"的神圣地位,并将先王先公有教益和借鉴意义的话语也称之为"典"。而《尧典》是春秋时人出于制度的焦虑,为王者未来的实践行为建构的一部理想性的行政法典,体现出了迥异于商周其它"典"体的叙事性文体特征。 展开更多

关键词 《尚书》 商周“典”体 《尧典》 法典 叙事文体

在线阅读 下载PDF 职称材料

权利本位下的民法典形式结构 被引量：19

18

作者 李建华 《政治与法律》 CSSCI 北大核心 2019年第8期116-124,共9页

我国民法典奉行权利本位,既要符合中华民族特有的文化传统,又要能满足现代社会的发展要求。权利本位下的民法典要体现民法典伦理基础的实质性范畴,民法典的权利本位影响着民法典体系化的结构性范畴。民法典的形式结构是民法发展的必然结... 我国民法典奉行权利本位,既要符合中华民族特有的文化传统,又要能满足现代社会的发展要求。权利本位下的民法典要体现民法典伦理基础的实质性范畴,民法典的权利本位影响着民法典体系化的结构性范畴。民法典的形式结构是民法发展的必然结果,其逻辑主线、编纂体例和构建方法的选取始终与民事权利有着千丝万缕的联系,不可能偏离权利本位的要求。民法典是体系化的法律规范,需要围绕固定的逻辑主线,采用一定的编纂体例和构建方法,从而形成民法典的形式结构。 展开更多

关键词 权利本位 民法典 形式结构 编纂体例 体系方法

在线阅读 下载PDF 职称材料

民法典中证据规范的优化配置 被引量：4

19

作者 王德新 《河南社会科学》 CSSCI 北大核心 2019年第2期57-62,共6页

各国民法典都对证据规范的配置给予高度重视。无论从证据法的性质、法律适用理论,还是从证据规范对民法价值目标的贯彻来看,在民法中配置一定数量的证据规范都是无法避免的。我国既有的民事立法对证据规范的配置较为粗糙,较多依赖司法解... 各国民法典都对证据规范的配置给予高度重视。无论从证据法的性质、法律适用理论,还是从证据规范对民法价值目标的贯彻来看,在民法中配置一定数量的证据规范都是无法避免的。我国既有的民事立法对证据规范的配置较为粗糙,较多依赖司法解释,影响了民法的实施效果。大陆法系国家对于民事证据规范的配置,存在法国模式和德国模式两种做法,各有优劣。我国立法机关在组织编纂民法典时,应当从民法与民事诉讼法的协同关系、证据规范配置的权限分配、证据规范配置的立法体例和立法语言技术等多个角度,对证据规范的配置作出全面回应和优化调整。 展开更多

关键词 民法典 证据规范 立法体例 立法技术

在线阅读 下载PDF 职称材料

民商合一立法体例理论质疑 被引量：4

20

作者 童列春 《浙江工商大学学报》 CSSCI 北大核心 2018年第6期43-51,共9页

民法典总则的制定体例选择民商合一还是民商分立,其依据在于民法和商法的关系,民法与商法的精神理念、价值原则和制度规范均不相同,两种法律关系的异质性决定了不能制定一部调整所有民商事关系的民法典总则。民法典的固有功能在于规范... 民法典总则的制定体例选择民商合一还是民商分立,其依据在于民法和商法的关系,民法与商法的精神理念、价值原则和制度规范均不相同,两种法律关系的异质性决定了不能制定一部调整所有民商事关系的民法典总则。民法典的固有功能在于规范市民社会关系,民商合一体例将民法典的调整功能扩展到合理性范围之外,是对于私法立法发展趋势的误判,在实践中没有成功先例。民法只能在自有逻辑和制度功能范围内回应商事领域的变化,无力指导商事特别法。商法规则进入民法总则会带来逻辑混乱和功能错位,因此,按照纯化的民法逻辑来构造民法典总则的内容和体系是理性选择。 展开更多

关键词 民法典 立法体例 民商分立 民法总则 民商合一

在线阅读 下载PDF 职称材料