The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance （C41SR） systems are full of uncertain and vague information, which makes it difficult to mode...The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance （C41SR） systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language （UML） and building domain ontologies with fuzzy description logic （DL）. The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method.展开更多
随着定位技术和传感器的高速发展,用户移动轨迹数据日渐丰富,但大多分散在不同平台上。为了全面利用这些数据并准确反映用户的真实行为,对轨迹用户匹配的研究变得至关重要。该任务旨在从海量签到轨迹数据中精准关联用户身份。近年来,研...随着定位技术和传感器的高速发展,用户移动轨迹数据日渐丰富,但大多分散在不同平台上。为了全面利用这些数据并准确反映用户的真实行为,对轨迹用户匹配的研究变得至关重要。该任务旨在从海量签到轨迹数据中精准关联用户身份。近年来,研究者们尝试运用循环神经网络、注意力机制等方法深入挖掘轨迹数据。然而,当前方法在处理用户签到轨迹时面临两大挑战:一是签到数据中有限的时空特征不足以从主观和客观两个角度全面地建模签到点信息,二是用户的签到轨迹往往围绕着一个特定的主题。针对这两点挑战,提出了一种基于自然语言增强的轨迹用户匹配模型(Natural Language Augmented Trajectory User Link,NLATUL)。首先,设计了一套自然语言模板与软提示令牌来描述签到轨迹,并使用语言模型来理解签到点中的主观意图,融合用户的时空状态,提供了一种充分从主观与客观两个方面建模签到点的方法;在此基础上,通过提示学习的方法推理签到轨迹的主题,并对建模的签到点表示的轨迹进行双向编码,通过签到轨迹主题与签到轨迹编码的结合实现对用户签到轨迹的准确理解。在两个真实世界签到数据集上验证的实验结果表明,NLATUL能够更准确地匹配签到轨迹与其对应的用户。展开更多
针对既有建筑数字化工作的资料采集难、建模规范性不足、数据核验难等问题,结合轨道交通项目特点,研究并提出既有轨道交通项目建筑信息模型(building information modeling,BIM)数据化方法。首先,结合运营运维数据需求,提出既有轨道交...针对既有建筑数字化工作的资料采集难、建模规范性不足、数据核验难等问题,结合轨道交通项目特点,研究并提出既有轨道交通项目建筑信息模型(building information modeling,BIM)数据化方法。首先,结合运营运维数据需求,提出既有轨道交通项目BIM数据化与场景应用总体框架。其次,研究制定BIM建模交付技术指引,并开发BIM构件标准库,以规范既有轨道交通项目BIM模型创建。然后,结合现场数据采集情况,采取不同方法创建既有轨道交通项目BIM模型。当图纸齐全时,以图纸为基准进行建模;当图纸缺失时,研究以现场图片、点云数据等为基础,通过构件特征识别和匹配BIM构件标准库的构件单元,辅助BIM模型创建。最后,为保障BIM模型质量,研发合标性检查工具,通过内嵌BIM标准规范自动检查BIM模型,并开展现场检查复核各专业BIM模型。目前已在深圳地铁既有运营线路项目开展BIM数据化应用,积累了BIM数字资产,可为其他城市既有运营线路BIM建设提供参考。展开更多
文摘The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance （C41SR） systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language （UML） and building domain ontologies with fuzzy description logic （DL）. The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method.
文摘随着定位技术和传感器的高速发展,用户移动轨迹数据日渐丰富,但大多分散在不同平台上。为了全面利用这些数据并准确反映用户的真实行为,对轨迹用户匹配的研究变得至关重要。该任务旨在从海量签到轨迹数据中精准关联用户身份。近年来,研究者们尝试运用循环神经网络、注意力机制等方法深入挖掘轨迹数据。然而,当前方法在处理用户签到轨迹时面临两大挑战:一是签到数据中有限的时空特征不足以从主观和客观两个角度全面地建模签到点信息,二是用户的签到轨迹往往围绕着一个特定的主题。针对这两点挑战,提出了一种基于自然语言增强的轨迹用户匹配模型(Natural Language Augmented Trajectory User Link,NLATUL)。首先,设计了一套自然语言模板与软提示令牌来描述签到轨迹,并使用语言模型来理解签到点中的主观意图,融合用户的时空状态,提供了一种充分从主观与客观两个方面建模签到点的方法;在此基础上,通过提示学习的方法推理签到轨迹的主题,并对建模的签到点表示的轨迹进行双向编码,通过签到轨迹主题与签到轨迹编码的结合实现对用户签到轨迹的准确理解。在两个真实世界签到数据集上验证的实验结果表明,NLATUL能够更准确地匹配签到轨迹与其对应的用户。
文摘针对既有建筑数字化工作的资料采集难、建模规范性不足、数据核验难等问题,结合轨道交通项目特点,研究并提出既有轨道交通项目建筑信息模型(building information modeling,BIM)数据化方法。首先,结合运营运维数据需求,提出既有轨道交通项目BIM数据化与场景应用总体框架。其次,研究制定BIM建模交付技术指引,并开发BIM构件标准库,以规范既有轨道交通项目BIM模型创建。然后,结合现场数据采集情况,采取不同方法创建既有轨道交通项目BIM模型。当图纸齐全时,以图纸为基准进行建模;当图纸缺失时,研究以现场图片、点云数据等为基础,通过构件特征识别和匹配BIM构件标准库的构件单元,辅助BIM模型创建。最后,为保障BIM模型质量,研发合标性检查工具,通过内嵌BIM标准规范自动检查BIM模型,并开展现场检查复核各专业BIM模型。目前已在深圳地铁既有运营线路项目开展BIM数据化应用,积累了BIM数字资产,可为其他城市既有运营线路BIM建设提供参考。
