In this paper,we presented the decentralized supervisory control problem of discrete event system with continuous-time variable.By presenting the definition of coobservability for the timed specification,a necessary a...In this paper,we presented the decentralized supervisory control problem of discrete event system with continuous-time variable.By presenting the definition of coobservability for the timed specification,a necessary and sufficient condition for the existence of decentralized supervisors is obtained.Finally,a numerical example is given.展开更多
随着城市地下空间开发应用规模的不断扩大,与地下空间工程建设、运营相关的安全风险管控工作越来越受到政府以及有关部门的重视,深基坑安全风险识别的高效化、智能化日益成为行业的迫切需求。针对深基坑安全监管的现实需求,设计了一种...随着城市地下空间开发应用规模的不断扩大,与地下空间工程建设、运营相关的安全风险管控工作越来越受到政府以及有关部门的重视,深基坑安全风险识别的高效化、智能化日益成为行业的迫切需求。针对深基坑安全监管的现实需求,设计了一种融合建筑信息模型(Building Information Model,BIM)与知识图谱的深基坑施工安全风险识别框架。该框架基于深基坑施工安全风险识别和评估需求,关联、映射、抽取与施工标准、安全规范以及事故经验总结等相关的知识构建深基坑安全风险识别知识图谱,重点分析了基于BIM模型的施工对象以及关联对象的知识发现、知识提取和知识构建,以期充分挖掘不同类型的深基坑施工风险评估实体关系,从而辅助实现基坑施工安全风险的智能识别。实例验证表明:该方法可以提高专业人员的工作效率,在一定程度上能够解决安全识别过程中的经验依赖和专家依赖等问题,可以为深基坑施工安全风险的快速、高效和准确识别提供一定的支持。展开更多
基金Supported by National Natural Science Foundation of China(No.60904018)Natural Science Foundation of Fujian Province(No.2010J01339)Science Research Foundation of Huaqiao University(No.09BS509)
文摘In this paper,we presented the decentralized supervisory control problem of discrete event system with continuous-time variable.By presenting the definition of coobservability for the timed specification,a necessary and sufficient condition for the existence of decentralized supervisors is obtained.Finally,a numerical example is given.
文摘随着城市地下空间开发应用规模的不断扩大,与地下空间工程建设、运营相关的安全风险管控工作越来越受到政府以及有关部门的重视,深基坑安全风险识别的高效化、智能化日益成为行业的迫切需求。针对深基坑安全监管的现实需求,设计了一种融合建筑信息模型(Building Information Model,BIM)与知识图谱的深基坑施工安全风险识别框架。该框架基于深基坑施工安全风险识别和评估需求,关联、映射、抽取与施工标准、安全规范以及事故经验总结等相关的知识构建深基坑安全风险识别知识图谱,重点分析了基于BIM模型的施工对象以及关联对象的知识发现、知识提取和知识构建,以期充分挖掘不同类型的深基坑施工风险评估实体关系,从而辅助实现基坑施工安全风险的智能识别。实例验证表明:该方法可以提高专业人员的工作效率,在一定程度上能够解决安全识别过程中的经验依赖和专家依赖等问题,可以为深基坑施工安全风险的快速、高效和准确识别提供一定的支持。