您的位置： 专家智库 > >

马殿富

作品数：156 被引量：480H指数：11
供职机构：北京航空航天大学计算机学院更多>>
发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>

合作作者

文献类型

  • 75篇专利
  • 48篇期刊文章
  • 22篇会议论文
  • 5篇科技成果
  • 4篇标准
  • 1篇学位论文

领域

  • 53篇自动化与计算...
  • 11篇文化科学
  • 3篇经济管理
  • 1篇电子电信
  • 1篇社会学

主题

  • 17篇网络
  • 13篇WEB服务
  • 11篇地质
  • 11篇计算机
  • 8篇基于WEB服...
  • 8篇处理系统
  • 7篇代码
  • 7篇地图
  • 7篇语义
  • 7篇工作流
  • 6篇形式化
  • 6篇远程
  • 6篇通信
  • 6篇组件
  • 6篇文档
  • 6篇教育
  • 5篇政府
  • 5篇三维地质
  • 5篇人工智能
  • 5篇自动机

机构

  • 154篇北京航空航天...
  • 4篇中国电子技术...
  • 4篇上海航天电子...
  • 3篇国家信息中心
  • 2篇湖北大学
  • 1篇桂林电子科技...
  • 1篇南京航空航天...
  • 1篇浙江大学
  • 1篇中国科学院
  • 1篇国务院
  • 1篇万达信息股份...
  • 1篇中国信息安全...
  • 1篇中华人民共和...
  • 1篇教育部高等学...

作者

  • 155篇马殿富
  • 42篇赵永望
  • 21篇刘旭东
  • 17篇葛声
  • 14篇韩军
  • 14篇刘建
  • 14篇孙斗
  • 14篇怀进鹏
  • 12篇刘敏
  • 12篇李竹青
  • 10篇胡春阳
  • 9篇朱岩
  • 6篇沃天宇
  • 6篇曾浩
  • 6篇胡春明
  • 6篇杜宗霞
  • 6篇邵俊
  • 5篇曾晋
  • 5篇李未
  • 4篇华刚

传媒

  • 10篇计算机教育
  • 9篇北京航空航天...
  • 5篇软件学报
  • 4篇计算机应用研...
  • 4篇计算机工程与...
  • 4篇全国抗恶劣环...
  • 3篇计算机科学
  • 3篇信息技术与标...
  • 1篇计算机集成制...
  • 1篇计算机研究与...
  • 1篇清华大学学报...
  • 1篇计算机工程
  • 1篇计算机应用
  • 1篇系统仿真学报
  • 1篇计算机工程与...
  • 1篇北京教育（高...
  • 1篇计算机技术与...
  • 1篇科技纵览
  • 1篇2007全国...
  • 1篇2009全国...

年份

  • 1篇2025
  • 3篇2020
  • 6篇2019
  • 6篇2017
  • 3篇2016
  • 5篇2015
  • 7篇2014
  • 4篇2013
  • 7篇2012
  • 11篇2011
  • 8篇2010
  • 14篇2009
  • 12篇2008
  • 14篇2007
  • 9篇2006
  • 9篇2005
  • 5篇2004
  • 18篇2003
  • 1篇2002
  • 5篇2001
共 156 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于GIS的动态交通信息发布的方法及系统
本发明提供了一种基于GIS的动态交通信息发布方法，其特征在于，包括：服务器根据地图数据生成多个背景图文件和多个前景图文件；确定所需的背景图文件和前景图文件；获得所需的背景图文件和前景图文件，并将所述获取的背景图文件和前景...
刘敏马殿富吕卫锋诸彤宇
文献传递
基于时间抽象状态机的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
基于下推自动机的同步数据流语言可信编译
2025年
同步数据流语言Lustre是安全关键系统开发中常用的开发语言,其现存的官方代码生成器和SCADE的KCG代码生成器既没有经过形式化验证,对用户也处于黑盒状态.近年来,通过证明源代码和目标代码的等价性间接证明编译器的正确性的翻译确认方法被证明是成功的.基于下推自动机的编译方法和基于语义一致性的验证方法,提出Lustre语言可信编译方法,能够将Lustre语言转换为C语言并进行形式化验证以保证编译的正确性,并使用Isabelle对翻译转换过程进行严格的正确性证明.
于涛王珊珊徐芊卉董晓晗胡代金罗杰杨溢龙吕江花马殿富
关键词：形式化验证
基于规则子块体数据的属性几何体建模被引量：2
2003年
论文着重研究基于规则子块体数据的属性几何体建模方法。基于一种适合大数据量的标量体数据表示结构和一种基于种子填充的三雏空间区域划分算法,提出了一种新的属性几何体建模方法,该方法可应用于由复杂曲面生成复杂体结构,并要求对空间节点进行属性分析的领域,如石油地质建模等。
华刚马殿富吴焱
关键词：三维几何建模体数据
政务信息资源目录体系 第2部分:技术要求
GB/T 21063的本部分规定了政务信息资源目录体系的基本技术要求和目录服务接口要求。 本部分适用于规划和建立政务信息资源目录内容服务系统。
徐枫马殿富邓洁霖吴志刚宦茂盛邢春晓武晋平于建军鲁俊杰高栋吴焱李静焦文涛陈文亭张巧英贺炜徐俊杰
关键词：政府信息处理信息交换通信网
文献传递
基于ARINC653操作系统生成代码的方法与装置
本发明提供一种基于ARINC653操作系统生成代码的方法与装置，通过获取知识图文件，根据知识图文件生成多个任务，并建立各任务之间的连接关系，再根据任务所包括的目标关系公式和目标知识概念，在所属知识领域对应的代码库中获取目...
赵永望张峰马殿富王磊 李逍逍
文献传递
一种基于Web的工作流系统的设计与实现被引量：95
2001年
工作流技术和应用软件系统的结合是计算机应用领域的一个研究方向 .分析了当前基于Web的工作流技术的研发现状 ,提出了一种基于脚本解释、同应用数据类型无关的基于Web的工作流系统WebWFS ,采用对象化的引擎结构、基于脚本语言的描述语言和IIS过滤器方式实现的引擎和Web应用之间的接口 .为验证系统的实用性 ,以某大型应用系统中的计划管理为例 。
赵海马殿富怀进鹏李巍张晗立
关键词：办公室自动化工作流WEB系统设计
一种多域环境中基于知识图谱的高性能服务资源表征方法
本发明提出一种多域环境中基于知识图谱的高性能服务资源表征方法，其特征在于，包括以下步骤：步骤1：构建高性能服务资源知识图谱节点WSDL描述；步骤2：构建资源关系模型，构建了所述服务列表中所有服务之间的关联关系，并生成三元...
赵永望许文静马殿富韩军
文献传递
基于模型建立CPU的方法及装置
本发明实施例提供一种基于模型建立CPU的方法及装置。该方法包括：根据指令集中每个指令的结构和功能，生成每个指令对应的指令数据通路；在每个指令数据通路的源端和目的端之间插入多路选择器；合并相同的指令数据通路中的项，同时对控...
马殿富杨宏伟赵永望郭帅彬
文献传递
研究型学院人才培养的思考与探索被引量：6
2009年
今天我来谈一谈对研究型学院人才培养方面的思考和探索。首先从社会需求来看，据人事部人才网的统计数据显示，2001～2007年，全国各个地区对人才需求的统计情况如表1所示。
马殿富
关键词：社会需求数据显示
全选 清除 导出
共16页<12345678910>
聚类工具0