期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于一阶谓词逻辑的结构设计规范表示方法
1
作者 张吉松 于泽 赵丽华 《土木与环境工程学报(中英文)》 CSCD 北大核心 2024年第1期254-262,共9页
目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过... 目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法。该方法可实现将半结构化设计规范条款转换为结构化知识并支持灵活查询与推理,通过“谓词定义”和“函数定义”转译设计规范中语言类、表格类和计算公式类设计条款,提出两种规范条款谓词定义方式。对于语言模糊类、表后注释类和条款补充类的设计条款给出转译解决方案。提出的方法有效地解决了传统一阶谓词对于结构设计条款表示不充分和不精确的问题,进而为设计规范的计算机表达提供一种参考方法。 展开更多
关键词 结构设计规范 知识表示 一阶谓词逻辑 合规性审查 人工智能
下载PDF
基于语义网的BIM结构模型合规性审查方法 被引量:1
2
作者 张吉松 于泽 李海江 《图学学报》 CSCD 北大核心 2023年第2期368-379,共12页
针对目前建筑信息模型(BIM)合规性审查具有耗费人力和自动化程度较低等特点,提出一种基于语义网的BIM结构设计模型合规性审查方法。方法包括规范转译、BIM模型信息处理和合规审查3个子模块。规范转译子模块可实现将半结构化设计规范条... 针对目前建筑信息模型(BIM)合规性审查具有耗费人力和自动化程度较低等特点,提出一种基于语义网的BIM结构设计模型合规性审查方法。方法包括规范转译、BIM模型信息处理和合规审查3个子模块。规范转译子模块可实现将半结构化设计规范条款转换为结构化知识并进行灵活查询与推理;BIM模型信息处理子模块可实现BIM模型信息的提取、转换与映射;合规审查子模块可实现规则的执行和审查报告生成。方法实现从一阶谓词逻辑表示结构设计规范的方式出发,借助本体构建工具protégé,将BIM结构设计模型信息和设计规范条款,通过映射和语义网规则语言(SWRL)转译到采用本体构建的知识库中,进而实现对BIM模型相关信息的查询、推理和设计审查,最后通过框架结构实例验证了方法有效性和可行性,为基于BIM模型的结构设计自动化合规性审查提供一种参考方法。 展开更多
关键词 语义网 合规性审查 建筑信息模型 本体 结构设计
下载PDF
X射线荧光光谱法测定环烷酸钼和环烷酸镍中钼和镍的含量 被引量:1
3
作者 耿忠兴 杨锦 于泽 《化学研究与应用》 CAS CSCD 北大核心 2019年第1期173-176,共4页
基于波长色散型X射线荧光光谱仪,采用液体杯制样并运用Quant Express无标样分析软件,测定环烷酸钼、环烷酸镍中Mo、Ni的含量,并考察了灰化温度参数、支撑膜对环烷酸钼、环烷酸镍样品中Mo、Ni的含量的影响。环烷酸钼、环烷酸镍中Mo、Ni... 基于波长色散型X射线荧光光谱仪,采用液体杯制样并运用Quant Express无标样分析软件,测定环烷酸钼、环烷酸镍中Mo、Ni的含量,并考察了灰化温度参数、支撑膜对环烷酸钼、环烷酸镍样品中Mo、Ni的含量的影响。环烷酸钼、环烷酸镍中Mo、Ni的检出限分别为2. 6PPM与4. 3PPM,试验测量值与标准值相对误差低于5%、相对标准偏差低于4%(n=6),结果证明,方法无需标样且测量结果具有高准确度和高可靠性、简便快速等优点。 展开更多
关键词 环烷酸钼 环烷酸镍 X射线荧光光谱 无标样分析
下载PDF
移动网络中的大数据用户行为研究与分析 被引量:6
4
作者 于泽 《信息通信》 2014年第1期224-224,共1页
文章针对移动网络环境中的大数据用户行为,采用基于云计算技术设计相应的分析方案,通过在该方案中进行总体架构设计、大数据用户行为模型分析以及系统结果测试等环节,对所采用方案的性能进行了阐述与说明。
关键词 大数据 移动互联网 用户行为分析
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部