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

本发明涉及卫星及应用产业中卫星地面设备、先进卫星平台等领域，尤其涉及一种卫星遥感任务可执行性分析方法、系统、计算机可读存储介质及计算机装置。本发明卫星遥感任务可执行性分析方法包括：筛选满足遥感任务约束条件的卫星，构建卫星列表；构建检测多边形的顶点列表；计算顶点列表的各个顶点对于卫星列表中的各颗卫星的星地几何可见性，生成卫星‑顶点可见映射列表；判断是否顶点列表中有一个顶点对于卫星列表中的各颗卫星均不可见，如是，则判断该遥感任务不可执行，结束；判断是否全部顶点对于卫星列表中的同一颗卫星在同一时刻均可见，如是，则判断该遥感任务可执行，结束。本发明可以极大地减少任务规划的计算量并提升用户体验。

关键词：卫星可执行性分析遥感卫星遥感构建计算机可读存储介质卫星地面设备计算机装置任务规划同一时刻卫星平台应用产业用户体验约束条件不可见计算量可见性可执行映射筛选检测

来源：评论

学校读者我要写书评

暂无评论

EFSM模型协议一致性测试序列自动生成研究

EFSM模型协议一致性测试序列自动生成研究

引用

作者：舒挺浙江大学

学位级别：博士

随着通信网络的普及和需求的复杂化,网络协议规模日趋复杂庞大,这对协议的实现和开发提出了新的挑战。通信网络分布性,异构性和实时性等特点决定了网络协议实现不仅要求功能正确完善,更强调协议实现之间具有良好的一致性互通。网络协议... 详细信息

随着通信网络的普及和需求的复杂化,网络协议规模日趋复杂庞大,这对协议的实现和开发提出了新的挑战。通信网络分布性,异构性和实时性等特点决定了网络协议实现不仅要求功能正确完善,更强调协议实现之间具有良好的一致性互通。网络协议实现与网络协议规范之间的微小偏差,都可能给通信网络带来不可估量的灾难性后果。协议一致性测试是评价协议实现和协议规范符合程度的实验活动,也是确保网络通信质量的重要手段之一。为了避免传统手工生成一致性测试序列费时费力并且质量难以保证的弊端,基于形式化扩展有限状态机EFSM模型自动生成协议一致性测试序列成为了一个热点研究问题。 EFSM模型在FSM模型的基础上扩充了丰富的变量和谓词条件,在扩充协议控制和数据部分建模能力的同时,也增加了一致性测试序列自动生成的困难。当前,基于EFSM模型自动生成协议一致性测试序列的研究热点问题主要集中在四个方面：1)如何生成可执行的状态验证序列;2)如何保证生成的一致性测试序列的可执行性;3)如何设计基于控制流和数据流的可执行测试序列生成算法;4)如何设计协议一致性测试序列自动生成集成环境。本文以这四个热点问题为研究主线,围绕基于EFSM模型协议一致性测试序列自动生成的关键技术问题进行了系统和深入的研究。所做的研究工作和创新性研究成果主要有以下几个方面： (1)提出了一种新的可执行状态验证序列ESIS (Executable State Identification Sequences)生成算法。新算法基于宽度优先搜索可执行分析树EAT (Executability Analysis Tree)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而避免了在完全状态格局空间中单步计算所有状态验证序列的复杂性。 (2)深入的分析了ESIS序列生成过程中EAT树的宽度优先搜索过程,在给出EAT树变迁区分度因子和节点收敛度因子概念的基础上,提出了一种ESIS序列自适应生成算法。新算法利用EAT树节点权重函数作为节点搜索引擎,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决。实验结果表明,与宽度优先搜索算法相比,自适应生成算法具有较好的时空特性。 (3)提出了一种启发式探索EFSM协议模型状态格局空间的可执行测试序列生成方法,并以此为基础,给出了一种新的控制流测试序列生成算法。新方法以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列。该算法把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题。实验数据表明,新算法可以有效缓解可执行性分析过程中的状态空间爆炸问题。 (4)针对EFSM模型变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变迁关联图,提出了一种基于邻接变迁关联图的EFSM模型可执行测试序列生成算法,并结合控制流和数据流测试覆盖策略给出了一种新的控制流&数据流相叠加的测试序列生成方法。新算法首先根据变量和谓词包含情况对变迁进行分类,然后深入挖掘了邻接变迁之间的关联关系。最后,基于自适应预测搜索函数启发式引导搜索可执行性分析树生成可执行的测试序列。新算法在保证生成的测试序列可执行性的同时在测试序列最短长度和测试序列生成开销之间进行了权衡。 (5)基于本文给出的一些新算法,提出了一种基于EFSM模型可执行一致性测试序列自动生成集成环境设计思路,并实现了一个原型系统。该集成测试环境完整支持协议一致性测试序列生成过程的多个关键环节：协议形式化建模、一致性测试序列自动生成和测试序列TTCN-3形式化描述。

关键词：协议一致性测试扩展有限状态机模型可执行性分析状态验证序列可执行的测试序列

来源：评论

学校读者我要写书评

暂无评论

雾数据中心的性能分析

雾数据中心的性能分析

引用

作者： MOSANDA ZIBIA Daddy(莫子丹) 北京交通大学

学位级别：硕士

当数十亿设备都连接到互联网,云很快将无法承受作为集中式服务器提供服务。随着计算中心、电信、固定和移动设备的综合发展,云计算正在经历快速变革,移动用户的增加加速了这种变化。互联网的共享化使得网站服务在全世界推广,而这些服务... 详细信息

当数十亿设备都连接到互联网,云很快将无法承受作为集中式服务器提供服务。随着计算中心、电信、固定和移动设备的综合发展,云计算正在经历快速变革,移动用户的增加加速了这种变化。互联网的共享化使得网站服务在全世界推广,而这些服务需要云计算基础设施所提供的大量的计算资源来支撑用户的查询需求。大多数云计算基础设施主要托管在超大型数据中心以实现规模经济。因此,数千台计算机服务器被分组部署在能量和冷却设施完备的超大型数据中心。这些大型数据中心依赖其电气设备和空调设施。除了在能源和冷却方面的消费,长期购买计算机设备的成本也较大。因此大型数据中心规模的增加会导致成本增长,同时也会引起新的基础设施的发明以满足供应需求。由于煤导致污染,美国一些州已经开始建造新能源发电站,云计算领域的主要玩家则倾向于通过在数据中心附近安装太阳能电池板来供应可再生能源数据中心(例如北卡罗来纳州Apple数据中心)。这种将计算资源的生产集中在少数较大的数据中心的模型的可行性在诸如容错方面尚有争议,尤其是自然灾害或人为错误。在2012年圣诞节假期期间,亚马逊云计算平台(Elastic Load Balancer)的其中一个组件不稳定,导致一些数据中心故障以及所有在这些中心内托管的服务暂停。除了对亚马逊的影响外,这次的事故还影响了其客户,如Netflix,这是一家托管于亚马逊平台的提供视频服务的网站。由于网络互联网与部分亚马逊基础设施之间的连接损失,Netflix服务在此期间的服务质量明显下降。这些大型数据中心的第二个限制主要是它们无法保证服务的主机接近所有最终用户。该现象对具有全球受众的服务尤甚,该类服务所面向的用户分布在全球各地,如社交网络。此时基础设施需要在数据中心和最终用户之间建立连接就会导致过度请求。由于普通云不足以满足物联网的设备管理和数据处理要求,思科正在研发满足物联网系统的解决方案,即雾计算。雾计算,也称为云雾计算,是一个引起广泛关注的新概念。雾计算通过在物联网设备附近的网络节点上进行计算、存储、网络连接和数据管理,弥补了云和终端设备之间的差距。如今随着越来越多的公司了解到其益处,市场上有了各种各样的解决方案。雾计算是一种分布式的基础设施,是硬件和远程服务器之间的中介。它规定了应将哪些信息发送到服务器以及哪些信息可以在本地处理。通过这种方式,雾可以看作一种智能网关,能够使云负载均衡,从而实现更高效的数据存储处理和分析。伴随着智能手机应用的成功和物联网的出现,为了构建能支持相应需求的平台,云雾计算基础设施被提出。计算资源的用户预计将越来越多并且广泛分散,云雾计算将计算基础设施迁移到网络的末端,以便能够实现限制拥塞网络的本地处理。雾计算环境通常是由传统的网络组件组成,例如路由器、交换机、机顶盒和代理服务器等。这些组件具有不同的计算、存储、网络等能力,并支持服务应用程序的执行。因此,网络组件使雾计算能够实现基于云服务的地理分散式分布。此外,雾计算有助于提高位置感知,移动性支持,实时交互,可扩展性和互操作性。关于云雾计算的大部分提案通过增加“代理”服务的中间层,解决了在传统的云计算基础架构中托管服务和移动应用程序之间的距离问题。云-雾计算能够满足新的应用需求,在带宽,延迟,可扩展性,可靠性和数据量方面能够满足增强现实、在线游戏、视频流和M2M应用(如车辆和视频监控、电子健康等)的服务等级协议(SLA)。与云计算不同,雾计算(或边缘计算)更接近连接对象。它直接在链接到对象的路由器中实现本地存储和数据分析。这被称为网络边缘化。该技术的优点是能(近)实时处理数据,其中分析算法直接在网络边缘实现本地托管。这使信息的准实时处理成为可能,并且因为只需报告中心信息网络通信能畅通。在较不拥挤的网络中,信息可以更快地识别,最终提高数据的安全性,从而有助于识别网络团队的威胁。为了保证预期的敏捷性,雾计算架构有两层:一个是抽象层,它提供统一的可编程接口,可以隐藏底层雾资源(例如移动设备传感器、接入点和接入路由器等)的异构性,另一个是提供数据聚合、决策制定、资源分配和管理的业务流程层。在抽象层中,一个统一的编程模型可以定义与这个雾架构兼容的应用程序开发所需的基元和抽象。云雾计算在服务延迟,功耗,网络流量,资本和运营费用,内容分发等方面具有高效性。在这个意义上,相比于单独使用云计算,雾计算能更好地满足物联网应用的要求。IaaS云服务日益增长的需求需要对Fog基础架构进行可执行性分析,这是保证云用户服务质量(QoS)的重要要求。为有效的评估,考虑了分析建模方法。本文旨在通过使用连续时间马尔可夫链(CTMC)为Fog数据中心开发单片模型,该模型特点如下:(1)由活动和备用物理设备(PD)组成,(2)允许物理设备在活动和备用物理设备池之间迁移,(3)所有作业是同类的,(4)当为作业工作的物理设备发生

关键词：云雾计算可执行性分析排队网络模拟

来源：评论

学校读者我要写书评

暂无评论

基于迁移转换错误模型的UML状态图测试技术研究

基于迁移转换错误模型的UML状态图测试技术研究

引用

作者：张睿俊北京大学

学位级别：硕士

基于统一建模语言UML的软件设计技术和工具已经被包括航天、国防、汽车在内的许多重要领域广泛使用。其中，UML状态图主要用于描述一个系统或对象在其生存期间内经历的动作序列及其外部响应，常常被用作对软件系统的行为进行建模。实践... 详细信息

基于统一建模语言UML的软件设计技术和工具已经被包括航天、国防、汽车在内的许多重要领域广泛使用。其中，UML状态图主要用于描述一个系统或对象在其生存期间内经历的动作序列及其外部响应，常常被用作对软件系统的行为进行建模。实践表明，迁移转换错误是系统实现时经常发生且不易被识别的错误类型，但是，工业界及现有文献对基于UML状态图的迁移转换错误缺乏研究。因此，本文对UML状态图的迁移转换错误模型进行研究，并提出了一种UML状态图的一致性测试用例生成算法。\n 本文的主要研究内容包括:\n 1、层次和并发结构的处理技术。为了有效处理UML状态图的层次及并发结构，本文提出了一种新的树形层次结构——全局并发状态格局。\n 2、测试用例的可执行性保障技术。本文通过可执行分析树的构建，部分的解决了UML状态图测试用例生成过程中的可执行问题。\n 3、状态爆炸问题。通过在全局并发状态格局中引入当前环境变量，将UML状态图全部变量空间内的复杂计算转化为数个固定变量空间内相对简单运算的依次执行，以降低计算时所需的内存空间。\n 4、基于迁移转换错误模型的测试用例生成算法。通过对迁移转换的错误模型的分析，得到在全局并发状态格局的表示下，对状态进行区分的方法，并最终得到满足迁移转换错误覆盖的测试用例集。\n 5、本文设计和实现了一个测试用例生成工具，应用该工具对本文的理论进行了验证和评估。

关键词：统一建模语言状态图可执行性分析状态爆炸迁移转换错误一致性测试用例生成算法

来源：评论

学校读者我要写书评

暂无评论

一种基于动态规划的协议一致性测试序列生成算法

一种基于动态规划的协议一致性测试序列生成算法

引用

虚拟运营与云计算——第十八届全国青年通信学术年会

作者：尤娟李俊全夏松万伟北京航天飞行控制中心解放军电子工程学院解放军信息工程大学

在以扩展有限状态机为模型的协议一致性测试中,为了提高可执行测试序列的生成效率,论文将协议测试序列的生成问题转化为一个最优路径多阶段决策问题,基于互异代表系理论对每个协议转换边赋权值,提出了一种基于动态规划的协议状态转换序... 详细信息

在以扩展有限状态机为模型的协议一致性测试中,为了提高可执行测试序列的生成效率,论文将协议测试序列的生成问题转化为一个最优路径多阶段决策问题,基于互异代表系理论对每个协议转换边赋权值,提出了一种基于动态规划的协议状态转换序列生成算法。新算法对状态搜索策略进行了改进,降低了测试序列的生成冗余度,具有更高的执行效率。

关键词：协议一致性测试扩展有限状态机动态规划赋权值可执行性分析

来源：评论

学校读者我要写书评

暂无评论

一种基于动态规划的协议一致性测试序列生成算法

一种基于动态规划的协议一致性测试序列生成算法

引用

第十八届全国青年通信学术年会

作者：尤娟李俊全夏松万伟解放军信息工程大学解放军电子工程学院北京航天飞行控制中心

关键词：协议一致性测试扩展有限状态机动态规划赋权值可执行性分析

来源：评论

学校读者我要写书评

暂无评论

一种用于车载T-BOX简单编程的自动化测试方法

一种用于车载T-BOX简单编程的自动化测试方法

引用

作者：王磊 211102 江苏省南京市江宁区苏源大道19号九龙湖国际企业总部园A1座19层

本发明提供一种用于车载T‑BOX简单编程的自动化测试方法，包括以下步骤：S1：搭建T‑BOX测试环境；S2：导入测试用例文件；S3：对测试用例文件进行可执行性分析；S4：执行测试用例文件；S5：分析测试用例文件执行结果；S6：生成测试报告... 详细信息

标准号: CN117093491A

本发明提供一种用于车载T‑BOX简单编程的自动化测试方法，包括以下步骤：S1：搭建T‑BOX测试环境；S2：导入测试用例文件；S3：对测试用例文件进行可执行性分析；S4：执行测试用例文件；S5：分析测试用例文件执行结果；S6：生成测试报告；本发明提出的用于车载T‑BOX简单编程的自动化测试方法通过搭建T‑BOX测试环境，将各个测试用例文件导入到自动化测试系统中，对测试用例文件进行可执行性分析，执行测试用例文件，分析测试用例文件执行结果，生成测试报告；降低T‑BOX自动化测试脚本编写门槛，通过导入不同的测试用例文件到同一个自动化测试系统中，达到不同测试场景的测试，提高测试效率及覆盖率。

关键词：测试用例文件自动化测试系统可执行性分析自动化测试测试环境分析测试生成测试文件执行编程自动化测试脚本测试场景测试效率覆盖率测试门槛

来源：评论

学校读者我要写书评

暂无评论

一种智能化电网抄表核收平台可执行指标系统

一种智能化电网抄表核收平台可执行指标系统

引用

作者：吴彬彬王志涛韩旭安琪张飞霞陈晔 050000 河北省石家庄市高新区湘江道与兴安大街交口南行100米路西电力科技园院内C座

本发明公开了一种智能化电网抄核收平台可执行指标系统，所述可执行指标系统利用如下核心指标模块进行构建：抄核收平台导向/目标指标模块、抄核收平台执行/过程指标模块、抄核收平台功用/效果指标模块、抄核收平台效用/效益指标模块；... 详细信息

标准号: CN115271801A

本发明公开了一种智能化电网抄核收平台可执行指标系统，所述可执行指标系统利用如下核心指标模块进行构建：抄核收平台导向/目标指标模块、抄核收平台执行/过程指标模块、抄核收平台功用/效果指标模块、抄核收平台效用/效益指标模块；对于上述每个模块，分别设置兼容如下的可执行算子模块：逻辑性分析算子模块、层次性分析算子模块、可执行性分析算子模块，所述兼容是指同时采用全部可执行算子模块或者任选其中一组或几组可执行算子模块。本发明能够促进和提升基于大营销体系和用电信息全采集全覆盖的创新型电费抄核收的模式，提高电力运营的集约化、专业化、信息化水平。

关键词：算子模块可执行指标系统兼容可执行性分析信息化水平智能化电网电力运营过程指标核心指标目标指标平台导向效果指标效益指标营销体系用电信息层次性创新型集约化全覆盖构建分析采集

来源：评论

学校读者我要写书评

暂无评论

一种用于车载T-BOX简单编程的自动化测试方法

一种用于车载T-BOX简单编程的自动化测试方法

引用

作者：王磊 211102 江苏省南京市江宁区苏源大道19号九龙湖国际企业总部园A1座19层

标准号: CN117093491B

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：