检索结果-内蒙古大学图书馆

本发明公开了一种基于参数抽象建模的组合测试用例生成方法，属于软件工程领域。包括：步骤1，初步构建参数抽象模型。利用边界值法保障抽象值完整性来优化抽象模型；步骤2，根据参数之间的关联关系、覆盖强度和语义正确性等标准来定义关系和约束，然后依赖约束之间的关联关系以及约束条件与约束对象之间的关联关系对约束条件约简，最后完成抽象模型的构建；步骤3，根据抽象模型设置合理的组合因素，利用PICT组合测试工具生成抽象测试用例，然后将抽象测试用例根据相关规则转换为具体测试用例，进而测试程序对象。本方法在保证了缺陷检测效果的同时提升了测试效率。

关键词：抽象模型关联关系抽象测试约束条件组合测试构建语义测试程序测试效率抽象建模定义关系工具生成规则转换缺陷检测软件工程用例生成组合因素约简抽象测试覆盖优化保证

来源：评论

学校读者我要写书评

暂无评论

一种基于参数抽象建模的组合测试用例生成方法

一种基于参数抽象建模的组合测试用例生成方法

引用

作者：陈锦富陈静怡蔡赛华陈海波张翅顾月超黄创飞 212013 江苏省镇江市京口区学府路301号

标准号: CN113485940A

来源：评论

学校读者我要写书评

暂无评论

基于SERIC的智慧高速公路数字孪生系统研究

引用

公路 2025年第4期70卷 251-257页

作者：陈超吕艳云王宇昀凌加鑫洪强李晓军同济大学土木工程学院地下建筑与工程系上海市200092 土木工程信息技术教育部工程研究中心心上海市200092 浙江省交通运输科学研究院杭州市310023

在土地资源趋近饱和的条件下,迫切需要借助智能化、信息化的手段,来提升高速公路的通行能力与安全性。为满足交通多要素全时空智能管控和智能决策,在数字孪生一体化理论的基础上,开发全时空物理要素信息化建模技术,研发以“数字孪生建... 详细信息

在土地资源趋近饱和的条件下,迫切需要借助智能化、信息化的手段,来提升高速公路的通行能力与安全性。为满足交通多要素全时空智能管控和智能决策,在数字孪生一体化理论的基础上,开发全时空物理要素信息化建模技术,研发以“数字孪生建模引擎”为核心的具有高度可扩展性的主动管控系统,为智慧高速交通流全时空管控提供技术支撑。以高速公路雾区行车安全为例,从数据采集、传输、处理、分析和决策一体化信息流构建数字孪生场景,对行车场景进行SERIC抽象建模,构建高速公路雾区行车管控系统。系统一旦识别大雾风险事件后,自动生成对应的管控策略和应对措施,有效保障高速公路的运行安全。

关键词：交通工程智慧高速公路基础设施数字孪生抽象建模

来源：评论

学校读者我要写书评

暂无评论

偏微分高程图环境蚁群算法的三维路径规划

引用

系统工程与电子技术 2015年第7期37卷 1551-1561页

作者：肖秦琨王弋罗艺闯西安工业大学电子信息工程学院陕西西安710021

针对在三维空间路径规划中建模与避障问题,提出了一种新的在偏微分高程建模环境下蚁群算法的三维路径规划方法。首先,利用抽象建模和高程建模方法分别构建三维空间环境,并用偏微分对高程环境进行最优数据提取,在此基础上利用高程数学建... 详细信息

针对在三维空间路径规划中建模与避障问题,提出了一种新的在偏微分高程建模环境下蚁群算法的三维路径规划方法。首先,利用抽象建模和高程建模方法分别构建三维空间环境,并用偏微分对高程环境进行最优数据提取,在此基础上利用高程数学建模方法进行三维空间重建,最终形成偏微分高程环境。其次,首次将种群对于环境的最佳适应度值作为目标函数评判蚁群寻找最优路径的决策能力。最后,在不同的建模环境中应用蚁群算法进行路径寻优,输出最优路径。通过对仿真结果和实验数据分析,验证了所提方法的有效性和正确性。

关键词：偏微分高程建模建模蚁群算法抽象建模三维路径规划建模与避障

来源：评论

学校读者我要写书评

暂无评论

战术互联网综合规划系统研究与实现

战术互联网综合规划系统研究与实现

引用

作者：岳晨阳北京交通大学

学位级别：硕士

战术互联网是20世纪80年代诞生的新型军事通信网络,其通过将战场环境中的传感器、武器平台以及决策者进行网络化连接,提升了部队的整体作战效能。战术互联网的构建完全依赖于作战任务需求,在网络规划时需要以部队的战术建制为骨架,兼顾... 详细信息

战术互联网是20世纪80年代诞生的新型军事通信网络,其通过将战场环境中的传感器、武器平台以及决策者进行网络化连接,提升了部队的整体作战效能。战术互联网的构建完全依赖于作战任务需求,在网络规划时需要以部队的战术建制为骨架,兼顾节点的网络职能与各指挥层级间的具体业务传输需求,确定场景内各子网的网络连通方式,最终确保战场内业务传输的有效性。近些年来,随着网络中心战(Network Centric Warfare,NCW)理念的快速发展,战术互联网被赋予越来越重要的战场使命。其网络规模不断扩大且网络结构愈发复杂,同时各层级子网内的战术业务性能需求各异,这导致很难通过人工手段对战术互联网实现高效而完备的规划。因此,需要一个具有规则化构建战术互联网规划方案功能的软件辅助网络规划流程,这也正是本课题的研究目的所在。本文以基于作战任务的战术互联网综合规划问题为研究对象,主要研究内容和开发工作包括以下方面:首先,对战术互联网及其关键规划要素进行梳理总结,并以美军综合战术网络规划流程为蓝本,提出了战术互联网标准规划流程;其次,针对战术互联网组织结构的复杂性并结合通信任务需求,提出了六项网络规划约束规则,包括战术建制约束、网络连通约束、组网机动约束、网络容量约束,业务流程约束和通信能力约束。同时,对战术互联网内各层级规划要素进行抽象建模,设计实现了包括“任务需求分析→网络规划求解→规划方案实施”的多阶段战术互联网综合规划算法;然后,以此为理论基础,完成了战术互联网综合规划系统的设计与开发。该规划系统由规划资源模型库、网络拓扑展示、网络规划对象管理、规划方案生成和仿真验证驱动等功能模块构成;最后,本文以旅级建制为规划对象,将系统生成的规划结果输出至仿真核心进行方案验证,实验结果表明规划方案的性能指标满足作战任务需求,可以实现战场环境下信息的高效传输。在针对战术互联网综合规划方法的研究过程中,本文提出了基于任务需求的战术互联网综合规划算法流程,设计并开发了自主可控的战术互联网综合规划系统软件,简化了繁冗易错的网络规划流程,实现了大规模战术互联网规划方案的自动构建,能够辅助战术网络规划设计人员快速规划部署通信方案,对战术互联网的发展具有一定参考价值。

关键词：战术互联网任务需求战术建制规划约束规则抽象建模网络规划系统评估分析

来源：评论

学校读者我要写书评

暂无评论

基于IEC61850标准的馈线保护装置研究

基于IEC61850标准的馈线保护装置研究

引用

作者：廖兵兵华东交通大学

学位级别：硕士

IEC61850标准是变电站自动化领域最完善的通信标准。随着现代电力技术和互联网通信技术的快速发展,IEC61850标准给数字化变电站系统带来了飞越的发展,也使得IEC61850标准被广泛地推广及应用。馈线保护在数字化变电站系统中扮演着重要的... 详细信息

IEC61850标准是变电站自动化领域最完善的通信标准。随着现代电力技术和互联网通信技术的快速发展,IEC61850标准给数字化变电站系统带来了飞越的发展,也使得IEC61850标准被广泛地推广及应用。馈线保护在数字化变电站系统中扮演着重要的角色,它为数字化变电站系统的安全稳定运行提供了保证。本文以馈线保护装置为研究对象,对馈线保护装置IED的抽象建模、SCL配置描述及其通信实现进行深入研究。首先对基于IEC61850标准的IED抽象建立信息模型,总结对馈线保护IED装置的建模方法,对馈线保护装置进行实例化建模。然后根据馈线保护装置IED的实例化信息模型,运用基于XML的SCL语言对馈线保护装置实例化模型进行配置描述,从而得到保护装置的ICD配置文件,并对ICD配置文件进行一致性静态测试,以验证ICD配置文件的正确性。最后简要概括了馈线保护装置的概念原型,设计构建基于MMS客户端与服务器的通信测试平台,运用Wireshark报文捕获软件分析MMS报文验证馈线保护装置IED的信息模型和MMS通信的正确性。

关键词： IEC 61850 馈线保护装置抽象建模制造报文规范变电站配置描述语言

来源：评论

学校读者我要写书评

暂无评论

基于高程环境与蚁群算法的三维路径规划研究

基于高程环境与蚁群算法的三维路径规划研究

引用

作者：王弋西安工业大学

学位级别：硕士

随着人类对人工智能方法研究的不断深入和各个国家对其国防安全面临挑战不断加强的需求,智能移动机器人,尤其那些能够保障、保护人类生命安全或代替人类来完成高危险任务的机器人成为了各个国家研究的重点和热点。无人地面自主战车平台... 详细信息

随着人类对人工智能方法研究的不断深入和各个国家对其国防安全面临挑战不断加强的需求,智能移动机器人,尤其那些能够保障、保护人类生命安全或代替人类来完成高危险任务的机器人成为了各个国家研究的重点和热点。无人地面自主战车平台指的是能够利用遥感控制技术、卫星导航技术或是其他高科技技术手段在复杂多变的地面三维环境中执行各种军事任务的移动载体。在三维野外非结构化环境中进行路径规划的研究时,由于天气实时情况的易变性、道路环境的复杂性和障碍物状态的不稳定性等不利因素严重制约着对无人自主战车路径规划研究。本论文重点进行了蚁群算法在抽象建模环境和高程建模环境三维空间中的路径规划研究,具体研究工作如下：(1)通过对国内外无人自主战车的发展过程以及研究现状的讨论,归纳总结出无人自主战车未来的发展趋势。确定出本文研究方向。(2)通过对现有路径规划算法的对比与分析,将成熟的二维空间蚁群算法扩展到三维空间中。(3)针对路径规划空间建模问题,首先利用抽象建模方法进行环境构建,并提出利用高程微分几何建立三维空间地形图,并利用微分几何方法对三维地形进行优化,使其变为有利于蚁群寻优的三维高程空间环境。(4)在三维空间高程建模的基础上,将蚁群算法移植到三维空间中,建立了三维空间环境下蚁群算法寻优的整体框架,并在整体框架下,对三维路径规划蚁群算法进行了系统实现。(5)对已构建系统进行了大量的实验分析及评估,验证了三维高程空间环境下蚁群算法寻优系统框架的有效性。在实验数据分析的基础上,整体系统框架的性能分析证明了所提三维空间路径规划算法的可行性。通过大量的实验结果和数据分析表明,所提整体优化框架在高程建模环境下蚁群算法寻找最优所需的时间更短、避障效果更好。

关键词：抽象建模高程建模蚁群算法三维空间路径规划

来源：评论

学校读者我要写书评

暂无评论

面向智能传感器应用程序的建模工具的设计与实现

面向智能传感器应用程序的建模工具的设计与实现

引用

作者：张道岚北京大学

学位级别：硕士

随着物联网引起越来越多的业界人士的关注与重视，其技术不断发展，也被运用到越来越多的领域。未来的物联网将由越来越多的具有自主性的智能传感器组成，因此面向智能传感器的应用软件开发已引起学术界和工业界的热切关注。但在智能传... 详细信息

随着物联网引起越来越多的业界人士的关注与重视，其技术不断发展，也被运用到越来越多的领域。未来的物联网将由越来越多的具有自主性的智能传感器组成，因此面向智能传感器的应用软件开发已引起学术界和工业界的热切关注。但在智能传感器上的编程存在着一些问题，因此对智能传感器的抽象建模并开发支撑工具显得尤为重要。\n 但是由于智能传感器与传统的软件系统元素相比有很多新特征，因此不能将传统的软件建模理论完全照搬到这里来。我们对相关的工作进行了调研，结合智能传感器的新特征，对智能传感器进行了初步的抽象建模，为面向智能传感器的应用实现了一个图形化的建模工具，该工具屏蔽了智能传感器及其设备的底层细节，使开发人员或者系统设计人员可以只关注应用交互逻辑，建立相应的模型，并根据需要完善相关的信息，便可快速而准确地生成需要的代码框架，智能传感器的底层细节也在代码生成过程中被自动填充到代码框架的相应位置。\n 与此同时，对智能传感器应用质量的需求，也在与日俱增。而现阶段，与智能传感应用相关的质量方面的研究大都集中在网络层面，甚至大部分都停留在调研预想阶段，真正有研究成果的并不是很多，而对智能传感器应用质量的描述与评估方面，几乎是一个留白领域，这种状况的出现与智能传感器应用的特殊性及其所处网络环境的特殊性有很大关系，要给出比较系统全面的质量描述评估及质量支持，需要面对很大的挑战。本文经过大量的调研，结合智能传感器本身及其应用的特征，根据其所处网络环境的特殊性，从两个层次对智能传感器的质量属性进行了全面而系统的分析描述与评估，并对质量属性进行了抽象封装，完善到了智能传感器应用程序的抽象模型中。

关键词：智能传感器应用程序抽象建模代码生成质量描述

来源：评论

学校读者我要写书评

暂无评论

基于CPS智能系统的协同仿真技术研究

基于CPS智能系统的协同仿真技术研究

引用

作者：魏奔海南大学

学位级别：硕士

CPS智能系统(Intelligent Cyber-Physical Systems,ICPS)是一种新型的复杂系统,其融合了物理、信息和人工智能的技术,现在已经被广泛地应用于智慧交通、智慧城市、智能医疗、智能家居、航空航天、海上勘探等各个领域。因为CPS智能系统... 详细信息

CPS智能系统(Intelligent Cyber-Physical Systems,ICPS)是一种新型的复杂系统,其融合了物理、信息和人工智能的技术,现在已经被广泛地应用于智慧交通、智慧城市、智能医疗、智能家居、航空航天、海上勘探等各个领域。因为CPS智能系统融合了多方领域的技术,使其具有不确定性、异构性、复杂性和多样性等特点,因此需要协同仿真技术对此类系统进行仿真分析。传统的协同仿真方法对于交互模型的时间语义描述不够精确,并且仿真器之间的同步协议存在仿真精度和仿真效率的矛盾,因此,本文针对以上问题展开了研究,提出了一种基于CPS智能系统的协同仿真方法。本文的主要工作如下:(1)基于CPS智能系统研究提出了一种协同仿真框架,并构建了相应的协同仿真实验平台,基于该框架设计了物理仿真模型、信息仿真模型和交互模型。(2)研究提出了交互模型的基本时间交互类型,并针对CPS智能系统中信息年龄老化的问题,提出了基于AoI机制的时间交互类型。在协同仿真实验平台上,以智能机器人对室内人物追踪这一实验场景进行了不同交互类型的仿真实验。实验结果表明,信息年龄老化会对CPS智能系统的仿真结果产生的影响,多种不同的交互模型的时间交互类型会给系统提供更多的有效信息。(3)针对仿真器之间的同步问题,提出了时步法、全局事件驱动法和变步法三种时间同步协议,并在协同仿真实验评估了三种时间同步协议在仿真效率和精度上的优劣。实验结果表明,三种时间同步协议在仿真效率和精度方面表现不同,所提出的协议能够针对特定场景在仿真效率和精度方面取得折中。(4)搭建基于Robomaster EP的实物实验平台,通过对比仿真实验和实物实验数据的方式,验证了基于AoI机制的信息年龄老化的时间决策交互类型能够更加接近实物实验,同时进一步验证了上述所提协同仿真方法的有效性和可行性。

关键词： CPS智能系统协同仿真抽象建模时间同步协议

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：