-
题名基于语义网的BIM结构模型合规性审查方法
被引量：1
- 1
-
-
作者
张吉松
于泽涵
李海江
-
机构
大连交通大学土木工程学院
卡迪夫大学工学院
-
出处
《图学学报》
CSCD
北大核心
2023年第2期368-379,共12页
-
基金
辽宁省教育厅面上项目(LJKMZ20220868)
长安大学中央高校基本科研业务费专项资金项目(300102342514)。
-
文摘
针对目前建筑信息模型(BIM)合规性审查具有耗费人力和自动化程度较低等特点,提出一种基于语义网的BIM结构设计模型合规性审查方法。方法包括规范转译、BIM模型信息处理和合规审查3个子模块。规范转译子模块可实现将半结构化设计规范条款转换为结构化知识并进行灵活查询与推理;BIM模型信息处理子模块可实现BIM模型信息的提取、转换与映射;合规审查子模块可实现规则的执行和审查报告生成。方法实现从一阶谓词逻辑表示结构设计规范的方式出发,借助本体构建工具protégé,将BIM结构设计模型信息和设计规范条款,通过映射和语义网规则语言(SWRL)转译到采用本体构建的知识库中,进而实现对BIM模型相关信息的查询、推理和设计审查,最后通过框架结构实例验证了方法有效性和可行性,为基于BIM模型的结构设计自动化合规性审查提供一种参考方法。
-
关键词
语义网
合规性审查
建筑信息模型
本体
结构设计
-
Keywords
semantic web
compliance checking
building information modeling
ontology
structural design
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名吝啬语义信任协商
被引量：4
- 2
-
-
作者
张妍
冯登国
-
机构
中国科学院软件研究所信息安全国家重点实验室
信息安全共性技术国家工程研究中心
-
出处
《计算机学报》
EI
CSCD
北大核心
2009年第10期1989-2003,共15页
-
基金
国家"八六三"高技术研究发展计划项目基金(2007AA120404
2007AA120405)资助
-
文摘
自动信任协商是通过数字证书的交互披露在陌生实体间建立信任的过程,现有的自动信任协商框架要求主体出示完整属性证书来证明自己满足对方资源披露策略中的身份断言约束条件,导致了属性证书中身份信息过度披露问题.该文中作者提出一种通过交换DL-TNL语义身份断言来建立信任关系的吝啬语义信任协商框架,避免了完整属性证书的直接出示,减少信任建立过程中身份信息被披露的程度,并提出一种正确、完备且有效的吝啬语义信任协商策略.在该策略下,交易双方的协商引擎可以快速有效地从由身份断言权威签发的包含多个DL-TNL语义身份断言的身份断言证书中,自动计算出批露最少信息且符合对方策略的身份断言集进行出示,以最大限度地减少信任建立过程中被披露的身份信息,并保证理论上存在成功可能性时,使用该策略必然可以有效地帮助主体最终获得网络资源的访问权限.有关该策略完备性和正确性的证明以及策略实施中所使用的符合性检测算法的实现和分析均在文中给出.
-
关键词
自动信任协商
语义方法
隐私保护
协商策略
符合性检测
-
Keywords
automated trust negotiation
semantic method
privacy protection
trust negotiation strategy
compliance checking
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名智能配网调度命令票语义合规性校验模型
- 3
-
-
作者
孟子杰
吴龙腾
蔡新雷
黎嘉明
梁升洪
-
机构
广东电网调度控制中心
肇庆供电局电力调度控制中心
-
出处
《电子设计工程》
2023年第1期111-115,共5页
-
基金
南方电网公司科技项目资助(036000KK52200013)。
-
文摘
为保证智能配网安全运行,设计基于规则的调度命令票语义合规性校验模型。设置待处理文本集与服务器集,使用笛卡尔积运算得到调度数据集合,初始化蚁群优化算法中启发函数与信息素函数,从迭代结果内选择最优解实现调度命令票文本数据采集;将欧式距离作为相似度权衡准则,经过若干次聚类检测,统计聚类平均值方差总和,把方差值不变时的对应值作为语义合规性文本分类标准;利用轻量式设计,自定义各板块规则,利用数据格式变换、重复记录辨别、规则设定和分析、数据校验等板块构建调度命令票语义合规性校验模型。仿真结果表明,所建模型校验过程抗干扰能力强,具备理想的保真度,并有效降低了校验时延,为准确传达智能配网调度命令发挥关键作用。
-
关键词
智能配网
调度命令票
语义合规性
校验模型
数据采集
-
Keywords
intelligent distribution network
dispatching order sheet
semantic compliance
verification model
data acquisition
-
分类号
TP304
[自动化与计算机技术—计算机系统结构]
-
