期刊文献+
共找到2,395篇文章
< 1 2 120 >
每页显示 20 50 100
面向VHDL语言编译器VCompiler93的研制 被引量:2
1
作者 石锋 刘明业 《北京理工大学学报》 EI CAS CSCD 北大核心 2001年第1期35-39,共5页
研制用于 VHDL语言的编译器 ,语法分析采用一便扫描和预测分析的策略 ,提出了适用于处理 VHDL语言中语法冲突、各类重载语法、静态层次确立等语法现象的具体算法 .开发出面向 VHDL93标准的 VHDL语言编译器 VCompiler93,该编译器运行正... 研制用于 VHDL语言的编译器 ,语法分析采用一便扫描和预测分析的策略 ,提出了适用于处理 VHDL语言中语法冲突、各类重载语法、静态层次确立等语法现象的具体算法 .开发出面向 VHDL93标准的 VHDL语言编译器 VCompiler93,该编译器运行正常 ,表明所采用的解决方案合理 ,算法有效 . 展开更多
关键词 VHDL 编译器 语法冲突 重载 确立 语言编译器 编译程序 Vcompiler93
在线阅读 下载PDF
A High Speed Signal Processing Machine -Its Architecture, Language and Compiler
2
作者 Wang Yufei and Yu ShiqiBeijing Institute of Data Processing Technology, P.O.Box 3927, Beijing 100039, China 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1991年第1期119-128,共10页
A systolic array architecture computer (FXCQ) has been designed for signal processing. R can handle floating point data at very high speed. It is composed of 16 processing cells and a cache that are connected linearly... A systolic array architecture computer (FXCQ) has been designed for signal processing. R can handle floating point data at very high speed. It is composed of 16 processing cells and a cache that are connected linearly and form a ring structure. All processing cells are identical and programmable. Each processing cell has the peak performance of 20 million floating-point operations per second (20MFLOPS). The machine therefore has a peak performance of 320 M FLOPS. It is integrated as an attached processor into a host system through VME bus interface. Programs for FXCQ are written in a high-level language -B language, which is supported by a parallel optimizing compiler. This paper describes the architecture of FXCQ, B language and its compiler. 展开更多
关键词 Parallel processing Systolic array processor Parallel language compiler.
在线阅读 下载PDF
人教-大同版小学英语新教材的编写理念与教学建议 被引量:2
3
作者 吴庄 章珩 《天津师范大学学报(基础教育版)》 北大核心 2025年第2期50-55,共6页
人教-大同版小学英语新教材编写理念聚焦核心素养,有机融合工具性与人文性;强调立德树人,科学构建教材结构体系;培养跨文化意识,全面提升思维品质。研究认为,教师在使用新教材时应聚焦“新课标”理念,推动核心素养落地;立足学生需求,优... 人教-大同版小学英语新教材编写理念聚焦核心素养,有机融合工具性与人文性;强调立德树人,科学构建教材结构体系;培养跨文化意识,全面提升思维品质。研究认为,教师在使用新教材时应聚焦“新课标”理念,推动核心素养落地;立足学生需求,优化课程学习活动设计;围绕主题内容,创新大单元整体教学;利用配套课程资源,持续改进小学英语课程教学。 展开更多
关键词 小学英语新教材 教材编写 核心素养 育人价值
在线阅读 下载PDF
论党内法规编纂的性质和条件——兼论党内法规法典化编纂的基本思路 被引量:1
4
作者 秦前红 刘韵笛 《西北师大学报(社会科学版)》 北大核心 2025年第2期14-23,共10页
党内法规编纂有别于党内法规法典化,是指对彼此间呈高关联性、整体上可再体系化的若干现行党内法规加以研究,根据集成原则和现实需要施以增删纂修,以消解既存党内法规规范中的阙漏和冲突,最终按照一定逻辑理路和体例结构编制一部较前更... 党内法规编纂有别于党内法规法典化,是指对彼此间呈高关联性、整体上可再体系化的若干现行党内法规加以研究,根据集成原则和现实需要施以增删纂修,以消解既存党内法规规范中的阙漏和冲突,最终按照一定逻辑理路和体例结构编制一部较前更为系统化的新党内法规的活动。在性质和功能上,党内法规编纂是党内法规制定的下位概念,是党内法规汇编的实质升级,是党内法规法典化的重要但非唯一途径。启动和实施党内法规编纂应有计划、按步骤进行,须满足认知、制度、技术等主客观条件。直面“如何推进党内法规法典化编纂”的时代课题,须遵循党内法规制度建设一般规律,树立科学的党内法规“法典观”,把准党内法规法典化发展进程,以居中式法典化为基础模式、以党内法规清理为前端环节、以党的组织法规为探索对象、以民法典编纂为经验参考,稳步开展党内法规法典化编纂预备工作。 展开更多
关键词 党内法规 编纂 法典化 再体系化 性质
在线阅读 下载PDF
公共图书馆“十五五”规划编制思路与建议 被引量:1
5
作者 黄百川 《图书馆论坛》 北大核心 2025年第1期10-20,共11页
作为实现2035年远期目标的关键五年,“十五五”规划对公共图书馆高质量发展具有深远影响。文章梳理“十四五”以来我国社会经济、公共文化服务体系和公共图书馆事业发展情况,应用PEST分析框架全面审视“十五五”时期国内外宏观环境,深... 作为实现2035年远期目标的关键五年,“十五五”规划对公共图书馆高质量发展具有深远影响。文章梳理“十四五”以来我国社会经济、公共文化服务体系和公共图书馆事业发展情况,应用PEST分析框架全面审视“十五五”时期国内外宏观环境,深入分析图书馆行业发展趋势,在此基础上提出公共图书馆“十五五”规划的编制原则、目标蓝图和路径建议,旨在为公共图书馆科学编制“十五五”规划提供参考,进而在新时期更好地适应社会需求,提升服务效能,促进文化繁荣。 展开更多
关键词 公共图书馆 “十五五”规划 编制原则 目标蓝图 路径建议
在线阅读 下载PDF
面向深度学习编译器TVM的算子融合优化
6
作者 高伟 王磊 +2 位作者 李嘉楠 李帅龙 韩林 《计算机科学》 北大核心 2025年第5期58-66,共9页
算子融合是深度学习编译器中的一种编译优化技术,能够将多个算子合并为一个大的算子,有效降低计算和访存的成本。深度学习编译器TVM的算子融合方案中将算子按照功能特性进行分类,并设计融合规则,最后采用贪心算法进行融合。这种融合方... 算子融合是深度学习编译器中的一种编译优化技术,能够将多个算子合并为一个大的算子,有效降低计算和访存的成本。深度学习编译器TVM的算子融合方案中将算子按照功能特性进行分类,并设计融合规则,最后采用贪心算法进行融合。这种融合方案存在以下问题:首先,功能特性的算子分类方式下的融合规则不够通用,会错失算子融合机会,无法实现更大粒度的融合;其次,贪心的融合算法也无法实现算子融合的最优解。针对上述问题,对TVM进行改进,提出按照算子输入输出映射类型的算子分类方式,并设计通用的算子融合规则以扩大算子融合的粒度;提出基于动态规划的融合方案搜索算法和算子融合代价评估模型,并对搜索空间进行剪枝,使得算法能够在合理时间内搜索得到优化的融合方案。为评测融合方案的有效性,在CPU以及DCU等平台上对VGG-16,Efficient-B0,MobileNet-V1,YOLO-V4等深度学习模型的融合比和推理时延进行测试,实验结果表明,相较于TVM原有融合方案,所提方案融合比平均提升了27%,推理时延平均获得了1.75的加速比。 展开更多
关键词 深度学习编译器 TVM 算子融合 融合规则 动态规划
在线阅读 下载PDF
协作视角下黄河流域规划统筹与可持续发展
7
作者 杨蓉 禹怀亮 +1 位作者 王会龙 杨美玲 《西北大学学报(自然科学版)》 北大核心 2025年第4期786-797,共12页
黄河流域生态保护和高质量发展战略发布以来,如何在强化全流域协同合作、推进流域可持续发展是亟需解决的问题。文章以黄河流域九省为研究对象,利用规划词云、ROSTCM6.0等软件方法对黄河流域省域国土空间规划进行梳理和规律总结,找出在... 黄河流域生态保护和高质量发展战略发布以来,如何在强化全流域协同合作、推进流域可持续发展是亟需解决的问题。文章以黄河流域九省为研究对象,利用规划词云、ROSTCM6.0等软件方法对黄河流域省域国土空间规划进行梳理和规律总结,找出在协同合作中的欠缺性。研究发现:①流域整体之间、内外部空间布局缺乏协调;②生态补偿机制未在流域中形成,协同合作机制尚不完善。而协同合作会对流域国土空间规划编制提供理论和实践借鉴,为黄河流域规划统筹和可持续发展提出“禁、控、导、修”的规划路径和发展策略:①因地制宜,分类施策;②生态经济,区段补偿;③统一管理,水土协调。研究结论从多角度为黄河流域国土空间规划编制和流域可持续发展提出了可供借鉴的策略。 展开更多
关键词 协同治理 黄河流域 可持续 国土空间规划 编制策略
在线阅读 下载PDF
面向LoongArch边界检查访存指令的GCC优化
8
作者 舒燕君 郑翔宇 +5 位作者 徐成华 黄沛 王永琪 周凡 张展 左德承 《计算机研究与发展》 北大核心 2025年第5期1136-1150,共15页
为了减少内存安全检查的开销,LoongArch指令集架构引入了边界检查访存类指令.然而,作为一种新的内存访问指令,目前GCC(GNU compiler collection)编译器不支持该类指令,LoongArch硬件能力不能得到充分利用.针对此LoongArch边界检查访存... 为了减少内存安全检查的开销,LoongArch指令集架构引入了边界检查访存类指令.然而,作为一种新的内存访问指令,目前GCC(GNU compiler collection)编译器不支持该类指令,LoongArch硬件能力不能得到充分利用.针对此LoongArch边界检查访存指令改进了GCC编译器,实现利用该类指令优化程序的内存安全检查.具体而言,完成了3个方面的工作:1)设计实现了针对边界检查访存指令的内建函数;2)改进GCC RTL(register transfer language)阶段的优化器,使其能够识别无异常处理和带异常处理2种情况的边界检查访存语义,并自动优化;3)面向LoongArch边界检查访存指令触发的边界检查异常(bound check exception,BCE),设计了新的Linux内核异常信号SIGBCE和相应的运行时库glibc(GNU C library)的信号处理函数,实现了BCE处理.通过在GCC 12.2.0和龙芯3C5000L服务器进行实验,验证了改进后的编译器不仅能正确使用新引入的边界检查访存指令,而且在某些安全函数中带来接近20%的性能提升.完善了LoongArch生态,推进了LoongArch指令集发展,对此类特定指令编译器优化工作有一定的借鉴意义. 展开更多
关键词 编译器优化 LoongArch GCC 边界检查访存 龙芯CPU 异常处理 内存安全
在线阅读 下载PDF
人工智能法法典化的可行性思考
9
作者 侯东德 《政法论丛》 北大核心 2025年第3期138-152,共15页
人工智能法采取法典化的立法模式对尊重和保障人权、维护国家安全、推动新质生产力发展、提升我国人工智能国际治理话语权具有重要的意义。诚然,人工智能法法典化面临技术变动性与法典稳定性、技术不确定性与法典确定性的冲突以及整合... 人工智能法采取法典化的立法模式对尊重和保障人权、维护国家安全、推动新质生产力发展、提升我国人工智能国际治理话语权具有重要的意义。诚然,人工智能法法典化面临技术变动性与法典稳定性、技术不确定性与法典确定性的冲突以及整合现有法律规范困难等诸多挑战。对此,可秉持前瞻性和动态性的立法理念、灵活性与预见性相结合的立法原则,多措并举整合现有法律规范等积极加以应对。推进人工智能法典编撰,宜坚持“以人为本、智能向善”立法哲学理念,准确将其定位于人工智能产业促进法、人工智能安全法、权利保障法,遵循促进人工智能发展、保障人工智能安全、维护相关主体合法权益的逻辑主线,同时采取“两步走”的立法步骤。 展开更多
关键词 人工智能法 法典化 可行性 人工智能法典编撰
在线阅读 下载PDF
小品散文的学理建构如何成为一种可能——以李素伯《小品文研究》为例
10
作者 黄科安 《中南大学学报(社会科学版)》 北大核心 2025年第3期195-207,229,共14页
李素伯的《小品文研究》虽带有“编”的成分,但并非简单罗列材料,而是通过“编”与“著”的有机结合实现学术性的突破,对于小品文理论探索具有深远的意义。李素伯站在理论体系建构的角度,对小品文进行微观探源和概念阐释,在辨析、融合... 李素伯的《小品文研究》虽带有“编”的成分,但并非简单罗列材料,而是通过“编”与“著”的有机结合实现学术性的突破,对于小品文理论探索具有深远的意义。李素伯站在理论体系建构的角度,对小品文进行微观探源和概念阐释,在辨析、融合各家观点的基础上,推进各个学术问题思考的深化与升华,从而萃取带有闪光点的学术性观点,实现从经验描述到学理建构的跨越,形成了一种极具张力的学术话语体系,这是作者胸怀世界视野和汲取传统营养的具体表现,是中国现代散文理论体系形成过程中的一个重要问题。因此,从中国现代散文学术史角度观之,该著所产生的融合创新和理论效应还是要予以充分的肯定的,这对于建构中国自主的话语体系也是具有重要的参照价值与启迪意义的。 展开更多
关键词 李素伯 “编”与“著” 学理建构 学术话语体系
在线阅读 下载PDF
关于《庄子·天下》篇成文年代及作者身份、立场问题
11
作者 方勇 刘心宇 《湖南大学学报(社会科学版)》 北大核心 2025年第4期114-121,共8页
关于《庄子·天下》篇的成文年代和作者身份,历代注《庄》者聚讼纷纭。受宋代王安石和苏轼的影响,古代注本主要持“此篇为庄子自作”的观点,进而衍生出“此篇为全书后序”的说法,将《天下》篇认定为庄子自己为全书写定的总序,并且... 关于《庄子·天下》篇的成文年代和作者身份,历代注《庄》者聚讼纷纭。受宋代王安石和苏轼的影响,古代注本主要持“此篇为庄子自作”的观点,进而衍生出“此篇为全书后序”的说法,将《天下》篇认定为庄子自己为全书写定的总序,并且沿着以儒解《庄》的思路,认为此篇持儒家立场。明代朱得之较早指出此篇“非庄子作”,直至近代,此说渐盛。结合历代注《庄》者的观点及《庄子》文本来看,《天下》篇应成文于战国晚期,最迟不过秦并六国,其作者应当是庄子后学,其立场也站在道家学说中的庄子一脉,不以老子思想为尊,更不以儒家思想为归属。 展开更多
关键词 《庄子·天下》篇 成文年代 作者身份 庄子后学
在线阅读 下载PDF
底线控制、发展引导、过程适应——对实用性村庄规划的思辨
12
作者 黄明华 王梓懿 +1 位作者 王奕松 敬博 《城市规划》 北大核心 2025年第7期102-110,共9页
乡村振兴战略与规划改革背景下,实用性村庄规划既是传导落实用途管制要求的工具,也是引领乡村振兴精准施策的抓手。然而当前村庄规划重管控轻发展的思维在实践中引发村庄分类、产业、人口、用地等方面的实用性失效困境。本文通过探讨“... 乡村振兴战略与规划改革背景下,实用性村庄规划既是传导落实用途管制要求的工具,也是引领乡村振兴精准施策的抓手。然而当前村庄规划重管控轻发展的思维在实践中引发村庄分类、产业、人口、用地等方面的实用性失效困境。本文通过探讨“实效”“行动”与“过程适应”的实用性内涵,辨析村庄规划问题内因并提出城乡等值、从形式到行动、从成果到效果的规划编制逻辑。最后提出实用性村庄规划实践策略,包括以自然村为分类单元,建构区分管控和发展、兼顾长期性与阶段性的规划编制实施机制;驱动全面振兴的产业增值路径;基于人口流动价值的响应措施;统筹增量存量的导控机制。以期规划在保障底线的同时为村庄多元发展价值的实现提供路径与机会,以真正体现村庄规划的能用、好用、管用。 展开更多
关键词 实用性村庄规划 村庄规划编制 底线控制 发展引导 过程适应
在线阅读 下载PDF
终身教育法典化: 理念、价值、逻辑与思路
13
作者 李洁 《远程教育杂志》 北大核心 2025年第1期106-112,共7页
终身教育法典化既指终身教育理念指导下的教育法典编纂逻辑,亦指教育法典编纂过程中遵循一定的立法技术纳入终身教育相关内容。终身教育法典化可助力:推进教育法治治理,实现教育治理体系和治理能力现代化;构建服务全民终身学习的教育体... 终身教育法典化既指终身教育理念指导下的教育法典编纂逻辑,亦指教育法典编纂过程中遵循一定的立法技术纳入终身教育相关内容。终身教育法典化可助力:推进教育法治治理,实现教育治理体系和治理能力现代化;构建服务全民终身学习的教育体系,建设学习型社会;推动面向中国式现代化的教育变革,建设教育强国。终身教育法典化的编纂逻辑包括以服务全民终身学习为立法宗旨、以终身学习权利法典为价值定位、以公民终身学习的实现为逻辑主线、以公民终身学习与受教育权保障为逻辑起点。终身教育法典化之总体思路为:依据编纂逻辑,总则篇目的条款嵌入公民终身学习与受教育权保障,并以该权利为核心构建教育法典权利体系;分则篇结构以“学校—家庭—社会”为布局展开内容构造,其最紧迫的筹备工作之一是出台终身教育单行法助力构建社会教育规范体系。 展开更多
关键词 法典化 终身教育法典化 编纂逻辑 终身教育立法 社会教育
在线阅读 下载PDF
智能时代数字教材编制的伦理风险及治理进路 被引量:3
14
作者 张蓉菲 董艳 +2 位作者 王一凡 王秋梦 张犇 《电化教育研究》 北大核心 2025年第4期122-128,共7页
在以人工智能、5G等新技术为核心支撑的智能时代,数字教材编制面临诸多不确定性与伦理风险,已成为当前影响数字教材建设的关键问题。研究从知识伦理、组织伦理、交互伦理、责任伦理四个方面,厘定智能时代数字教材编制应遵循的伦理尺度... 在以人工智能、5G等新技术为核心支撑的智能时代,数字教材编制面临诸多不确定性与伦理风险,已成为当前影响数字教材建设的关键问题。研究从知识伦理、组织伦理、交互伦理、责任伦理四个方面,厘定智能时代数字教材编制应遵循的伦理尺度。然而,研究发现,智能时代的数字教材编制存在诱发知识侵权、组织编排系统性缺位、情境适应性欠缺、交互技术负面感知、交互信息处理不当以及循证审议责任机制欠缺等伦理风险。据此,提出智能时代数字教材编制的伦理风险治理进路:落位知识权益,架构数字教材内容编排的伦理审议与过滤机制;创新沉浸式空间场景化设计,开发基于智能感知的具身式数字教材;聚焦用户本位化诉求,建立数字教材交互体验的反馈与改进机制;关注角色建构与责任厘定,构建数字教材编制的技术责任体系。 展开更多
关键词 智能时代 数字教材 教材编制 伦理风险 风险治理
在线阅读 下载PDF
电力实时仿真器的关键指标及评价方法 被引量:1
15
作者 郦元天 郝正航 +3 位作者 陈卓 熊国江 杨玉杰 姚盼 《南方电网技术》 北大核心 2025年第5期128-136,共9页
目前国内大规模新能源场站、县域规模万节点级电力系统等所需的仿真资源巨大,但实物仿真平台又存在造价高、编译速度缓慢、缺乏对其性能的关键指标的评价方法、关键仿真核心技术处于卡脖子等问题。鉴于此自主研制了一款新型国产实时仿真... 目前国内大规模新能源场站、县域规模万节点级电力系统等所需的仿真资源巨大,但实物仿真平台又存在造价高、编译速度缓慢、缺乏对其性能的关键指标的评价方法、关键仿真核心技术处于卡脖子等问题。鉴于此自主研制了一款新型国产实时仿真器UREP300,详细阐述了其组成原理及其并行迭代编译原理,并提出了仿真平台的关键指标以及评价方法,用以衡量仿真器性能优劣,且基于此与国外领先的实时仿真设备进行了详细对比。结果证明了UREP300在仿真领域的性能不亚于甚至超过了国外领先设备,尤其在编译速度方面实现了突破,极大缩短了编译的时间,解决了仿真平台缺失关键指标与评价方法的问题,为国产化研究进程做出贡献。 展开更多
关键词 关键指标 国产实时仿真器 编译速度 评价方法
在线阅读 下载PDF
深度学习编译器研究综述
16
作者 刘正煜 张帆 +3 位作者 祁晓峰 高彦钊 宋怡景 范旺 《计算机科学》 北大核心 2025年第8期29-44,共16页
随着人工智能的快速发展,越来越多的神经网络模型和算法相继涌现。与此同时,摩尔定律逐渐失效,新型加速器和计算机体系架构层出不穷,这推动了神经网络模型在这些新硬件平台上实现高效部署的迫切需求。在此背景下,深度学习编译器应运而... 随着人工智能的快速发展,越来越多的神经网络模型和算法相继涌现。与此同时,摩尔定律逐渐失效,新型加速器和计算机体系架构层出不穷,这推动了神经网络模型在这些新硬件平台上实现高效部署的迫切需求。在此背景下,深度学习编译器应运而生。与传统编译器不同,深度学习编译器将不同的网络模型作为输入,采用多级中间表示设计,逐层优化模型,并在编译器后端针对特定硬件架构进行优化,最终生成优化后的可执行程序。首先,介绍了深度学习编译器的通用框架,包括各个核心组件和总体流程;随后,系统地分类探讨了编译器的各类优化技术,并对近年来的研究进展进行总结,揭示了领域内的热点和发展趋势;最后,整理了现阶段的深度学习编译器研究,并根据现有研究现状展望了未来的研究方向。 展开更多
关键词 深度学习 编译器 编译优化
在线阅读 下载PDF
城际铁路列车开行方案与运行图编制一体化研究 被引量:1
17
作者 吴智 翁明桤 +2 位作者 刘承希 潘金山 耿敬春 《铁道运输与经济》 北大核心 2025年第1期115-127,共13页
随着城际铁路交通运输网日趋完善与客流量的日益增长,采用列车开行方案和运行图一体化编制可以充分发挥沿线及车站设备能力,提高列车运输计划编制的效率与质量。以旅客出行成本与列车开行成本最小、客流需求与列车匹配度最大为目标,构... 随着城际铁路交通运输网日趋完善与客流量的日益增长,采用列车开行方案和运行图一体化编制可以充分发挥沿线及车站设备能力,提高列车运输计划编制的效率与质量。以旅客出行成本与列车开行成本最小、客流需求与列车匹配度最大为目标,构建一体化编制多目标优化模型,采用改进的免疫克隆算法进行求解。针对一体化模型求解困难的问题,构建列车交路优化模型确定各时段内的列车交路与各交路上的列车开行频率,构造一体化模型的初始解,提高算法的求解效率。以长株潭城际铁路为实例进行验证,结果表明:与原始运营方案相比,旅客出行总成本节约7.7%,铁路运营成本节约10.5%,列车总运行时间减少了0.6 h。在客流高峰时段内,长沙至株洲方向与长沙至湘潭方向列车发车间隔均在12 min内。实例分析验证了模型的科学性与合理性,为实现城际铁路运输组织的协同优化提供理论依据。 展开更多
关键词 城际铁路 列车开行方案 列车运行图 一体化编制 改进的免疫克隆算法
在线阅读 下载PDF
中国生态环境法典编纂的基本命题 被引量:8
18
作者 吕忠梅 《中国地质大学学报(社会科学版)》 北大核心 2025年第1期21-30,共10页
党的二十届三中全会审议通过的《中共中央关于进一步全面深化改革推进中国式现代化的决定》部署了“编纂生态环境法典”的重大政治任务和立法任务,为生态环境法典编纂提供了根本遵循。在历史坐标上,中国特色社会主义生态环境法典是对中... 党的二十届三中全会审议通过的《中共中央关于进一步全面深化改革推进中国式现代化的决定》部署了“编纂生态环境法典”的重大政治任务和立法任务,为生态环境法典编纂提供了根本遵循。在历史坐标上,中国特色社会主义生态环境法典是对中华优秀生态文化和法律文化的历史传承和创新发展;在世界方位上,中国生态环境法典可为全球环境治理贡献中国法治智慧与法治方案。中国生态环境法典编纂,应当坚持加强创新理论武装、坚持党的全面领导、坚持以人民为中心、坚持履行宪法职责、坚持改革和法治相互促进;在方法论上,中国生态环境法典编纂应当准确把握顶层设计与实践探索的关系、解放思想与完善制度的关系、系统整合与适度开放的关系、编订纂修与升华创新的关系。中国生态环境法典编纂还亟待在法典名称、法典化模式、法典定位、编纂逻辑与结构以及编纂方法上形成基本共识,实现概念、原则、体制和制度的创新。 展开更多
关键词 生态环境法典编纂 历史坐标 世界方位 系统性 协同性
在线阅读 下载PDF
基于LLVM的多样化编译方法
19
作者 陈迎超 王俊超 +1 位作者 庞建民 岳峰 《计算机工程》 北大核心 2025年第7期275-283,共9页
现有的软件多样化工具对多个C/C++源文件组成的项目多样化时,大多数都是对单个C/C++源文件中的所有函数采用相同的多样化方法,使得每个函数或每个源文件存在多样化方式单一、多样化方式缺乏针对性的问题。为此,基于LLVM中间表示,提出一... 现有的软件多样化工具对多个C/C++源文件组成的项目多样化时,大多数都是对单个C/C++源文件中的所有函数采用相同的多样化方法,使得每个函数或每个源文件存在多样化方式单一、多样化方式缺乏针对性的问题。为此,基于LLVM中间表示,提出一种分组混淆和代码感知相结合的多样化编译方法。设计基于不同角度形成的混淆技术预选库,包含了多种混淆技术分组方案;编译时通过对遍历的每个函数进行代码分析和处理,感知到函数的混淆特征,针对性地选择相应的多样化分组策略,进而随机选择组内的多样化技术进行混淆,从而实现对每个函数所采用的多样化方案都大不相同,生成多样化的异构执行体集合,为拟态防御技术和移动目标防御技术提供了基础软件支撑。选择标准测试集和典型案例,从安全性和性能这2个方面验证所提方法的有效性。实验结果表明,该方法在保证安全性的同时,对性能也几乎没有影响,从而验证了所提的多样化编译方法在实际应用中的有效性和可行性。 展开更多
关键词 多样化编译 代码混淆 软件保护 软件多样化 主动防御
在线阅读 下载PDF
基于下推自动机的同步数据流语言可信编译
20
作者 于涛 王珊珊 +6 位作者 徐芊卉 董晓晗 胡代金 罗杰 杨溢龙 吕江花 马殿富 《软件学报》 北大核心 2025年第8期3554-3569,共16页
同步数据流语言Lustre是安全关键系统开发中常用的开发语言,其现存的官方代码生成器和SCADE的KCG代码生成器既没有经过形式化验证,对用户也处于黑盒状态.近年来,通过证明源代码和目标代码的等价性间接证明编译器的正确性的翻译确认方法... 同步数据流语言Lustre是安全关键系统开发中常用的开发语言,其现存的官方代码生成器和SCADE的KCG代码生成器既没有经过形式化验证,对用户也处于黑盒状态.近年来,通过证明源代码和目标代码的等价性间接证明编译器的正确性的翻译确认方法被证明是成功的.基于下推自动机的编译方法和基于语义一致性的验证方法,提出Lustre语言可信编译方法,能够将Lustre语言转换为C语言并进行形式化验证以保证编译的正确性,并使用Isabelle对翻译转换过程进行严格的正确性证明. 展开更多
关键词 同步数据流语言 经过验证的编译器 形式化验证 Lustre语言
在线阅读 下载PDF
上一页 1 2 120 下一页 到第
使用帮助 返回顶部