全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 航空信标辅助WSN三维定位的移动路径规划方法
- 作者： 谭中华 徐玉 来源： 计算机技术与发展 年份： 2016 文献类型 ： 期刊 关键词： 三维 WSN 定位 航空信标 路径规划
- 描述： 三维定位对于相当多的无线传感器网络(WSN)应用非常重要但通常复杂度与成本较高,基于移动(航空)信标辅助的三维定位是相对节约成本的一类方法。针对这类方法需要解决的移动路径规划问题,提出了一种实现简单,路径长度短的三维移动路径规划方法。在三维空间中,航空信标只需在两平面上对三维部署区域进行两次相互独立的二维扫描。3D SCAN、3D DOUBLE SCAN、3D HILBERT、3D CIRCLES、3D S-CURVES和3D LMAT是该方法的六种典型实现。仿真实验结果表明,基于该路径规划方法的六种典型路径都能够满足三维定位需要,其中,3D S-CURVES路径长度最短、定位精度最高。
- 航空信标辅助WSN三维定位的移动路径规划方法
- 作者： 谭中华 徐玉 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 三维 航空信标 定位 无线传感器网络 路径规划
- 描述： 三维定位对于相当多的无线传感器网络(WSN)应用非常重要,但通常复杂度与成本较高。基于移动(航空)信标辅助的三维定位是相对节约成本的一类方法。针对这类方法需要解决的移动路径规划问题,提出了一种实现简单、路径长度短的三维移动路径规划方法。在三维空间中,航空信标只需在两平面上对三维部署区域进行两次相互独立的二维扫描。3D SCAN、3D DOUBLE SCAN、3D HILBERT、3D CIRCLES、3D S-CURVES和3D LMAT是该方法的六种典型实现。仿真实验结果表明,基于该路径规划方法的六种典型路径都能够满足三维定位需要。其中,3D S-CURVES路径长度最短、定位精度最高。
- 基于云计算的民航公共信息服务平台
- 作者： 彭明田 杨健 胡刚 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 旅客 民航 服务 资源 传统大型机 云计算
- 描述： 随着社会经济的迅速发展和民航信息服务市场容量的扩大,民航服务产业不断拓展,民航信息服务业的竞争日趋激烈。云计算是分布式处理、并行处理和网格计算的发展。通过云技术,网络服务提供者可以在数秒之内,达成处理数以千万计甚至亿计的信息,达到和"超级计算机"同样强大效能的网络服务。提出将资源池化的基础设施、公共的开发部署及运行平台和应用软件服务整合成民航公共信息服务云平台。以云端服务的方式,提供给中国民航信息网络股份有限公司、航空公司、机场、第三方合作伙伴、旅客以及其他行业或部门,共同建设以旅客订票、旅行服务为核心的航空信息业云计算服务生态链,将传统的民航基于传统大型机的交易系统迁移到更集中、更统一、更简便的云平台,实现信息资源的高安全性与高共享性。
- 民航云计算环境下的SLA保证策略研究
- 作者： 沈强 杨健 王家亮 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 负载均衡 民航 服务 服务等级协议 资源 动态迁移 云计算
- 描述： 为了营造民航业应用云计算的环境,让航空公司、机场等用户将关键的业务迁移到云计算平台,细化服务品质,实现服务协议的精细化愈加重要。云计算资源的池化对信息系统底层资源的管理提出了更高要求,基于云计算的高效负载、服务等级的资源调度策略将有助于交付更符合民航业云用户需求的平台。为此,设计并建立了以业务系统为核心,以业务系统SLA定义与监控、业务系统资源和服务使用、业务系统自动化容量管理和资源调配为主要功能的资源管理体系,设计了动态负载均衡策略和资源调度策略并实现了面向SLA的业务管理系统。实际生产运行结果表明,所建立的虚拟机动态迁移技术实现了负载均衡,保证了SLA的动态资源分配过程建模及所实现的业务系统自动化管理均具有较好的应用效果。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 一种航空维修工具智能管理系统的设计与实现
- 作者： 毕杨 宋飞 王轩 来源： 计算机技术与发展 年份： 2021 文献类型 ： 期刊 关键词： 航空工具 HOG算法 工具箱 图像识别 智能管理系统
- 描述： 在迅速发展的互联网时代,图像识别技术在航空、军事、交通安全、计算机视觉等方面都有着广泛而显著的应用。在航空维修工具管理中,目前对精细化工具的存放和管理仍然大量使用的是传统的各种尺寸的工具箱,如何科学而有效地解决高精度航空维修工具的存管问题是一项重要而迫切的任务。为了满足航空维修工具管理的要求,提出了一种以图像识别技术为基础的工具智能管理系统。采用了HOG算法在图像识别处理中的关键技术,对工具箱内的工具信息进行分析处理。经实验证明以图像识别技术为基础的工具箱管理方法能快速、准确地对工具箱内的工具进行分析处理。在此基础上又给出了一套完整的管理系统进行工具箱的管理,从而实现了对工具的智能管理。
- 一种航空维修工具智能管理系统的设计与实现
- 作者： 毕杨 宋飞 王轩 来源： 计算机技术与发展 年份： 2021 文献类型 ： 期刊 关键词： 航空工具 HOG算法 工具箱 图像识别 智能管理系统
- 描述： 在迅速发展的互联网时代,图像识别技术在航空、军事、交通安全、计算机视觉等方面都有着广泛而显著的应用。在航空维修工具管理中,目前对精细化工具的存放和管理仍然大量使用的是传统的各种尺寸的工具箱,如何科学而有效地解决高精度航空维修工具的存管问题是一项重要而迫切的任务。为了满足航空维修工具管理的要求,提出了一种以图像识别技术为基础的工具智能管理系统。采用了HOG算法在图像识别处理中的关键技术,对工具箱内的工具信息进行分析处理。经实验证明以图像识别技术为基础的工具箱管理方法能快速、准确地对工具箱内的工具进行分析处理。在此基础上又给出了一套完整的管理系统进行工具箱的管理,从而实现了对工具的智能管理。
- 民航云计算环境下的SLA保证策略研究
- 作者： 沈强 杨健 王家亮 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 负载均衡 民航 服务 服务等级协议 资源 动态迁移 云计算
- 描述： 为了营造民航业应用云计算的环境,让航空公司、机场等用户将关键的业务迁移到云计算平台,细化服务品质,实现服务协议的精细化愈加重要。云计算资源的池化对信息系统底层资源的管理提出了更高要求,基于云计算的高效负载、服务等级的资源调度策略将有助于交付更符合民航业云用户需求的平台。为此,设计并建立了以业务系统为核心,以业务系统SLA定义与监控、业务系统资源和服务使用、业务系统自动化容量管理和资源调配为主要功能的资源管理体系,设计了动态负载均衡策略和资源调度策略并实现了面向SLA的业务管理系统。实际生产运行结果表明,所建立的虚拟机动态迁移技术实现了负载均衡,保证了SLA的动态资源分配过程建模及所实现的业务系统自动化管理均具有较好的应用效果。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。