期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于TCL的电路板原理图自动审查平台建设 被引量:2
1
作者 田野 赵保华 屈玉贵 《电子与信息学报》 EI CSCD 北大核心 2005年第1期158-160,共3页
该文提出了一种用TCL语言作为审查脚本语言构造原理图审查系统的系统框架。在该系统中,利用TCL语言的扩展性,制定了一套应用于原理图通用数据结构的TCL扩展命令,并在此基础上构建原理图规则库和自动审查执行器,实现了原理图的自动审查。
关键词 TCL(Tool COMMAND Language) 电路板原理图设计 通用数据结构 自动审查
在线阅读 下载PDF
原理图自动审查系统中的协同技术 被引量:1
2
作者 唐娜 李玉山 +1 位作者 王晓 蔡固顺 《计算机工程与应用》 CSCD 北大核心 2003年第23期135-138,共4页
该文提出了一种原理图级电路设计自动审查系统协同设计实现方案。这种技术的关键就在于将设计和测试向量融为一体,即当设计和测试单独进行时,能够根据设计资料生成标准的测试向量,依据测试向量实现原理图的自动测试。该文介绍了此协同... 该文提出了一种原理图级电路设计自动审查系统协同设计实现方案。这种技术的关键就在于将设计和测试向量融为一体,即当设计和测试单独进行时,能够根据设计资料生成标准的测试向量,依据测试向量实现原理图的自动测试。该文介绍了此协同设计体系的系统结构、集成框架结构及扩展EDA内置的测试功能。 展开更多
关键词 协同设计 原理图级电路 自动审查 测试向量 协同设计
在线阅读 下载PDF
基于BIM的自动合规性审查研究综述 被引量:5
3
作者 周逸苇 王广斌 曹冬平 《土木工程学报》 EI CSCD 北大核心 2024年第4期102-110,共9页
随着BIM技术在建筑领域的深度应用,越来越多的建筑设计开始以BIM模型方式进行交付,基于BIM的建筑工程设计自动合规性审查因其客观性、高效性受到理论和实践领域越来越多的关注。文章以基于BIM的自动合规性审查为主题进行综述,在Web of S... 随着BIM技术在建筑领域的深度应用,越来越多的建筑设计开始以BIM模型方式进行交付,基于BIM的建筑工程设计自动合规性审查因其客观性、高效性受到理论和实践领域越来越多的关注。文章以基于BIM的自动合规性审查为主题进行综述,在Web of Science核心数据库对建筑领域自动合规性审查相关的研究文献进行全面检索及分析,从基本框架、规范条文信息抽取、BIM模型信息抽取及语义丰富、规范-模型信息匹配、合规性推理等方面对现有基于BIM的自动合规性审查研究进行系统解构,并对未来的研究方向进行讨论。最后,文章指出基于BIM的自动合规性审查在复杂文本信息抽取的性能与深度、模型语义丰富、信息匹配的自动化程度与通用性,以及计算机代码的透明度与灵活性等方面仍面临巨大挑战。 展开更多
关键词 建筑信息模型 自动合规性审查 信息抽取 语义丰富 信息匹配
在线阅读 下载PDF
代码审查自动化研究综述 被引量:2
4
作者 花子涵 杨立 +1 位作者 陆俊逸 左春 《软件学报》 EI CSCD 北大核心 2024年第7期3265-3290,共26页
随着现代软件规模的不断扩大,协作开发成为软件开发的主流趋势,代码审查成为现代化软件开发的重要工作流程.但由于人工代码评审往往耗费审查者较大精力,且存在审查者不匹配或审查者水平有限等问题,人工代码评审的质量和效率难以保证,且... 随着现代软件规模的不断扩大,协作开发成为软件开发的主流趋势,代码审查成为现代化软件开发的重要工作流程.但由于人工代码评审往往耗费审查者较大精力,且存在审查者不匹配或审查者水平有限等问题,人工代码评审的质量和效率难以保证,且审查后的代码修复也十分费时费力.因此,亟需研究人员为代码审查流程进行改进,提供自动化思路.对代码审查自动化相关研究进行系统梳理和总结,并重点介绍4种主要方向:审查者推荐、代码变更质量评估、审查意见生成和代码自动修复.整理了相关方向的148篇研究,对每个方向的研究进行技术分类与分析.随后,整理了各方向研究任务的评估方法,并整理出常用的数据集与开源工具.最后,对代码审查自动化领域面临的问题进行梳理,并对未来研究进行展望. 展开更多
关键词 代码审查自动 审查者推荐 代码变更质量评估 审查意见生成 代码自动修复
在线阅读 下载PDF
基于IFC和本体的海上风电场防火设计合规性审查
5
作者 高洁雅 贾婧 +1 位作者 马灵 姜锋 《中国海洋大学学报(自然科学版)》 北大核心 2025年第7期129-139,共11页
针对风电场建设中防火设计的关键性以及人工合规性检查存在的劳动密集、耗时易错等问题,自动合规性检查(Automatic compliance checking, ACC)的研究已广泛展开,旨在提供替代方案。为进行海上风电场设计工作中防火规则的共享与重用,本... 针对风电场建设中防火设计的关键性以及人工合规性检查存在的劳动密集、耗时易错等问题,自动合规性检查(Automatic compliance checking, ACC)的研究已广泛展开,旨在提供替代方案。为进行海上风电场设计工作中防火规则的共享与重用,本研究提出了一种基于工业基础类(Industry foundation class, IFC)标准和本体的海上风电场防火设计的合规性审查方法。该方法首先以规范中清晰条文为样本,对规范的约束性等级和防火控制方式加以分类以明确审查要点,探索建立海上风电场防火设计规范本体以规则化条文;接着,利用以IFC格式为海上风电场的建筑信息模型(Building information modeling, BIM)实现了模型数据的提取、扩展和转换,并与规范本体进行映射,实现异构本体间的语义互通和知识推理;最后,以海上风电场的BIM设计模型为例进行验证,构建了海上风电场防火设计ACC原型系统,为海上风电场防火自动化审查研究提供新的方法与手段。 展开更多
关键词 海上风电场 自动化合规性审查 本体 IFC标准 防火设计
在线阅读 下载PDF
紧急搜查自动提交检察长审查程序研究
6
作者 龙建明 《学习论坛》 北大核心 2017年第1期76-80,共5页
在国家权力行使与公民权利保障存在尖锐冲突的紧急搜查中,《人民检察院刑事诉讼规则》设定的搜查人员应在紧急搜查后及时将搜查情况自动报检察长审查的程序,有利于防范恣意紧急搜查,有利于保障公民权利。但该程序设计存在诸多不足,如审... 在国家权力行使与公民权利保障存在尖锐冲突的紧急搜查中,《人民检察院刑事诉讼规则》设定的搜查人员应在紧急搜查后及时将搜查情况自动报检察长审查的程序,有利于防范恣意紧急搜查,有利于保障公民权利。但该程序设计存在诸多不足,如审查主体的设置不合理;对提交审查报告的内容与形式及审查主体对报告的审查时限缺失规定;对不自动提交审查的责任、不法搜查的制裁措施以及对审查裁决不服的救济方式亦没有涉及。因此,有必要对紧急搜查自动提交检察长审查程序予以冷静反思与理性重构。 展开更多
关键词 紧急搜查 自动提交审查 程序
在线阅读 下载PDF
一种基于MBD的三维尺寸完备性审查方法 被引量:2
7
作者 付超凡 陈卓宁 +1 位作者 彭义兵 杨威 《组合机床与自动化加工技术》 北大核心 2023年第6期1-6,10,共7页
为减轻人工审查MBD(model based definition)模型尺寸标注的劳动强度,对三维尺寸完备性的自动化审查进行了研究。将尺寸完备性问题归结为对相关几何要素是否定形定位的判断问题,建立了对应约束模型记录约束状态;建立了解析尺寸约束和拓... 为减轻人工审查MBD(model based definition)模型尺寸标注的劳动强度,对三维尺寸完备性的自动化审查进行了研究。将尺寸完备性问题归结为对相关几何要素是否定形定位的判断问题,建立了对应约束模型记录约束状态;建立了解析尺寸约束和拓扑约束的约束传播规则,并总结了几何约束的解析算法;针对尺寸缺失造成的约束不足,采用打分策略,并以指定基准或指出尺寸缺失的方式主动添加约束;提出了三维尺寸完备性检查的总体算法。通过对3DDFM原型系统的继续开发,并用三维模型实例验证了方法的有效性。 展开更多
关键词 MBD(model based definition) 三维尺寸完备性 自动审查
在线阅读 下载PDF
一种三维几何公差标注信息审查方法 被引量:2
8
作者 付超凡 彭义兵 《组合机床与自动化加工技术》 北大核心 2020年第9期142-146,共5页
为检查三维几何公差标注中存在的不规范和难以检测等问题,对几何公差的自动化审查方法进行了研究。对MBD(Model Based Definition)模型中的标注信息和几何信息进行提取和处理;采用混合式知识表达方法,将相关标准和知识等总结成审查规则... 为检查三维几何公差标注中存在的不规范和难以检测等问题,对几何公差的自动化审查方法进行了研究。对MBD(Model Based Definition)模型中的标注信息和几何信息进行提取和处理;采用混合式知识表达方法,将相关标准和知识等总结成审查规则;以基于规则的推理作为审查方式,并使用相关数据信息驱动推理,完成对几何公差信息的审查,并给出了三维几何公差自动化审查的总体过程。通过对3DDFM(Design For Manufacture)原型系统的继续开发,并以三维零件模型为实例,验证了该方法的有效性。 展开更多
关键词 MBD 三维几何公差 自动审查 基于规则
在线阅读 下载PDF
基于BIM和本体的建筑被动防火智能辅助审查方法 被引量:1
9
作者 王朝宇 姜柳 +1 位作者 潘泽宇 史健勇 《消防科学与技术》 CAS 北大核心 2023年第1期64-69,共6页
建筑消防审查是建筑安全设计与合规审查的重要内容。为了提高合规审查流程的自动化程度,以GB 50016-2014(2018年版)《建筑设计防火规范》为依据,提出基于BIM和本体的建筑消防合规审查方法。通过解析消防规范,构建建筑被动消防设计本体;... 建筑消防审查是建筑安全设计与合规审查的重要内容。为了提高合规审查流程的自动化程度,以GB 50016-2014(2018年版)《建筑设计防火规范》为依据,提出基于BIM和本体的建筑消防合规审查方法。通过解析消防规范,构建建筑被动消防设计本体;从以工业基础类(IFC)数据框架表达的建筑信息模型(BIM)中提取建筑基本信息,通过语义丰富、区域拓扑分析、疏散距离生成等完成信息补全;依据规范条文建立审查规则,使用本体推理技术完成建筑消防合规自动化审查。最后,以某一建筑为例,验证了所提出基于BIM和本体的建筑消防合规审查方法的可行性。 展开更多
关键词 BIM 本体 建筑消防 自动合规审查
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部