您的位置： 专家智库 > >

赵永望

作品数：57 被引量：20H指数：2
供职机构：北京航空航天大学更多>>
发文基金：中国航空科学基金中国博士后科学基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 43篇专利
  • 7篇期刊文章
  • 6篇会议论文
  • 1篇学位论文

领域

  • 15篇自动化与计算...
  • 1篇经济管理

主题

  • 6篇代码
  • 5篇遥感
  • 5篇接口
  • 4篇地图
  • 4篇地质
  • 4篇语法
  • 4篇语义
  • 4篇自动机
  • 4篇纬度
  • 4篇下推自动机
  • 4篇目标代码
  • 4篇经纬度
  • 4篇扩展性
  • 4篇查询
  • 4篇高性能
  • 3篇多核
  • 3篇形式化
  • 3篇语句
  • 3篇请求
  • 3篇文档

机构

  • 57篇北京航空航天...
  • 1篇国防科学技术...
  • 1篇南京航空航天...
  • 1篇国防科技大学

作者

  • 57篇赵永望
  • 42篇马殿富
  • 13篇刘旭东
  • 10篇胡春阳
  • 7篇李建欣
  • 6篇韩军
  • 6篇邵俊
  • 4篇刘敏
  • 4篇孙晓良
  • 4篇黄永刚
  • 4篇方琨
  • 4篇曾浩
  • 4篇张峰
  • 4篇潘志华
  • 3篇朱岩
  • 3篇褚东杰
  • 3篇李静
  • 2篇唐杰
  • 2篇陈志伟
  • 2篇赵博

传媒

  • 4篇全国抗恶劣环...
  • 3篇软件学报
  • 3篇信息技术与标...
  • 1篇计算机应用

年份

  • 5篇2020
  • 6篇2019
  • 1篇2018
  • 5篇2017
  • 1篇2016
  • 3篇2015
  • 8篇2014
  • 1篇2013
  • 7篇2012
  • 4篇2011
  • 3篇2010
  • 5篇2009
  • 3篇2008
  • 2篇2007
  • 1篇2006
  • 2篇2003
共 57 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于时间抽象状态机的AADL模型验证被引量：9
2015年
提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.
杨志斌胡凯赵永望马殿富Jean-Paul BODEVEIX
关键词：ABSTRACT
基于ARINC653操作系统生成代码的方法与装置
本发明提供一种基于ARINC653操作系统生成代码的方法与装置，通过获取知识图文件，根据知识图文件生成多个任务，并建立各任务之间的连接关系，再根据任务所包括的目标关系公式和目标知识概念，在所属知识领域对应的代码库中获取目...
赵永望张峰马殿富王磊李逍逍
文献传递
一种高效的海量遥感数据分布式组织管理方法
一种高效的海量遥感数据分布式组织管理方法步骤如下：(1)第一步：根据原始遥感图像分辨率构建遥感图像金字塔；(2)基于Tile技术对遥感图像金子塔的各层切割分块，形成小块图像Tiles；(3)基于文件存储系统，建立分层的目...
马殿富孙晓良赵永望胡春阳邵俊
文献传递
基于多特征匹配的服务发现方法及系统
本发明涉及一种基于多特征匹配的服务发现方法及系统，其中方法包括：根据查询请求消息获取请求输入功能性矩阵集合和请求输出功能性矩阵集合；根据所述请求输入功能性矩阵集合和请求输出功能性矩阵集合计算与所述查询请求消息相关联的候选...
赵永望马殿富李静刘旭东褚东杰
文献传递
程序语句形式化转换的方法及装置
本发明实施例提供一种程序语句形式化转换的方法及装置。该方法包括：获取待转换的程序语句对应的语法结构；根据程序语句对应的语法结构，确定程序语句的类型；根据程序语句的类型，生成程序语句对应的逻辑表达式；其中，程序语句对应的逻...
赵永望马殿富赵继伟姜柯
文献传递
一种多域环境中基于BPEL的按需动态高性能服务组合方法
一种多域环境中基于BPEL的按需动态高性能服务组合方法，包括以下步骤：包括以下步骤：步骤1，设置基于BPEL的动态服务组合原型，所述动态服务组合原型主要包括以下模块：组合处理引擎，知识库，服务聚合模块，失效恢复模块；步骤...
韩军许龙锋许文静赵永望马殿富
文献传递
基于SOA架构的多维空间数据展现方法
一种基于SOA架构的多维空间数据展现的方法，包括以下步骤：A、现将地图图片切割成宽度大小相同的图块，并对这些图片进行编号；B、在运行程序时，根据可视经纬度范围换算为图片编号，并将这些图片加载到客户端上；C、根据可是经纬度...
马殿富王占业刘旭东胡春阳赵永望邵俊
文献传递
一种多域环境中基于知识图谱的高性能服务语境发现方法
一种多域环境中基于知识图谱的高性能服务语境发现方法，其特征在于，包括以下步骤：步骤1，通过语境标注对领域本体进行扩展，所述扩展方式是建立一个Web服务的领域语境模型，实现Web服务描述的语义扩展；步骤2，在服务发现过程中...
马殿富杨俊臣许文静赵永望韩军
文献传递
一种基于Event-B的多核并发系统验证方法
本发明提供一种基于Event‑B的多核并发系统验证方法，本发明根据程序的原子性定义，分析多核系统服务需求，将完整的非原子服务需求划分成多个原子需求；找出原子需求中核心的需求，进行抽象建模；通过抽象模块进行求精，精化核心原...
赵永望郭炜锋张峰谭宇
一种基于B方法的形式化开发方法
B方法是目前被广泛应用的一种形式化开发方法,然而B方法在实际的应用中仍然面临着许多的问题。为了能更简单高效的应用形式化方法来开发软件和系统,我们基于B方法提出了一种新的形式化方法(B*)来对软件和系统进行建模、实现和验证...
黄昱马殿富赵永望赵宪琦
关键词：B方法形式化方法代码转换
全选 清除 导出
共6页<123456>
聚类工具0