期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到134篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
机载UMS分布式容错计算机系统设计 被引量：3
1
作者 尚利宏 阮俊波 +1 位作者 张锐 金惠华 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期396-399,共4页
综合控制管理是机载机电设备发展的趋势 .针对航空机电设备综合控制管理预研项目 ,利用分布式容错技术、高可靠航空电子总线技术和嵌入式实时多任务操作系统应用技术 ,设计并实现了一个分布式容错计算机系统 .讨论了系统的工作特点、系... 综合控制管理是机载机电设备发展的趋势 .针对航空机电设备综合控制管理预研项目 ,利用分布式容错技术、高可靠航空电子总线技术和嵌入式实时多任务操作系统应用技术 ,设计并实现了一个分布式容错计算机系统 .讨论了系统的工作特点、系统结构、通信网络、冗余管理和实时容错分布执行软件 . 展开更多
关键词 分布式计算机 容错 嵌入式系统 通用管理系统 UMS 计算机系统设计 飞机
在线阅读 下载PDF
计算机虚拟北航的建造与人机交互的实现 被引量：14
2
作者 郝爱民 张蓓 赵沁平 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第4期435-438,共4页
提出了虚拟北航校园场景数据库的层次结构 ,给出了基于碰撞检测的模型控制面场景调度控制方法 ,实现了冗余建模数据删减、纹理映射、多级层次细节模型三种场景复杂度消减策略 ,着重讨论了基于标准二维输入设备的实体选择算法并实现了对... 提出了虚拟北航校园场景数据库的层次结构 ,给出了基于碰撞检测的模型控制面场景调度控制方法 ,实现了冗余建模数据删减、纹理映射、多级层次细节模型三种场景复杂度消减策略 ,着重讨论了基于标准二维输入设备的实体选择算法并实现了对受限运动实体的操纵 ,最后简要介绍了一个通用的。 展开更多
关键词 模型构造 计算机图形学 虚拟现实 人机交互
在线阅读 下载PDF
MPLS流量工程体系结构优化研究 被引量：11
3
作者 黄河 李伟琴 +1 位作者 孙冠英 张辉 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第3期221-224,共4页
对支持流量工程的各种显式路由算法进行了比较 ,提出了在线分布实施MPLS(Multi ProtocolLabelSwitch)流量工程的优化体系结构 .通过引入扩展LSA(LinkStateAdvertisement)发布机制 ,采用分布和集中相结合的方式 ,使最小干涉路由算法的性... 对支持流量工程的各种显式路由算法进行了比较 ,提出了在线分布实施MPLS(Multi ProtocolLabelSwitch)流量工程的优化体系结构 .通过引入扩展LSA(LinkStateAdvertisement)发布机制 ,采用分布和集中相结合的方式 ,使最小干涉路由算法的性能得到优化 ,同时提高了系统的可扩展性 . 展开更多
关键词 路由选择 网络流 网络图论 多协议标记交换 流量工程
在线阅读 下载PDF
一种基于Web的工作流系统的设计与实现 被引量：25
4
作者 赵海 马殿富 +2 位作者 怀进鹏 李巍 张晗立 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期456-460,共5页
工作流技术和应用软件系统的结合是计算机应用领域的一个研究方向 .分析了当前基于Web的工作流技术的研发现状 ,提出了一种基于脚本解释、同应用数据类型无关的基于Web的工作流系统WebWFS ,采用对象化的引擎结构、基于脚本语言的描述语... 工作流技术和应用软件系统的结合是计算机应用领域的一个研究方向 .分析了当前基于Web的工作流技术的研发现状 ,提出了一种基于脚本解释、同应用数据类型无关的基于Web的工作流系统WebWFS ,采用对象化的引擎结构、基于脚本语言的描述语言和IIS过滤器方式实现的引擎和Web应用之间的接口 .为验证系统的实用性 ,以某大型应用系统中的计划管理为例 。 展开更多
关键词 办公室自动化 解释程序 工作流 WEB 管理系统 系统设计
在线阅读 下载PDF
嵌入式软件可靠性仿真测试系统研究 被引量：46
5
作者 刘斌 高小鹏 +1 位作者 陆民燕 阮镰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第4期490-493,共4页
研究嵌入式软件可靠性仿真测试方法和环境 .文中给出了仿真测试系统的体系结构 ,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性 ,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨 .特别地 。
关键词 应用程序 软件工程 嵌入式软件 软件测试 仿真
在线阅读 下载PDF
基于角色的细粒度访问控制系统的研究与实现 被引量：27
6
作者 杨亚平 李伟琴 刘怀宇 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第2期178-181,共4页
首先介绍了基于角色的访问控制理论 ,讨论了其主要特征和优势 ,然后给出了一个以该理论为基础的访问控制系统的设计框架及实现技术 .该系统可以为FTP、WWW、TELNET提供访问控制服务 .系统的总体结构分为 :访问控制服务器、访问控制请求... 首先介绍了基于角色的访问控制理论 ,讨论了其主要特征和优势 ,然后给出了一个以该理论为基础的访问控制系统的设计框架及实现技术 .该系统可以为FTP、WWW、TELNET提供访问控制服务 .系统的总体结构分为 :访问控制服务器、访问控制请求过滤器、角色及授权管理服务器 ,它们各司其职 ,协同服务 ,共同构成完整的访问控制系统 . 展开更多
关键词 网络安全访问控制 角色继承 控制系统
在线阅读 下载PDF
XML数据安全系统的研究与实现 被引量：17
7
作者 林学练 刘旭东 怀进鹏 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第4期362-365,共4页
可扩展置标语言 (XML ,eXtensibleMarkupLanguage)正逐渐成为分布式计算的通用语言 .随着XML的广泛应用 ,尤其是XML在电子商务中的广泛应用 ,XML数据的安全问题已成为关注的重点 .分析了XML数据安全的特殊性 ,并在XML数字签名和XML加密... 可扩展置标语言 (XML ,eXtensibleMarkupLanguage)正逐渐成为分布式计算的通用语言 .随着XML的广泛应用 ,尤其是XML在电子商务中的广泛应用 ,XML数据的安全问题已成为关注的重点 .分析了XML数据安全的特殊性 ,并在XML数字签名和XML加密技术的基础上 ,设计和实现了XML数字签名和XML加密系统 .该系统能够对XML文档、XML元素以及任意二进制数据加密、签名 ,保证了XML数据的安全 . 展开更多
关键词 可扩展置标语言 安全 数字签名 加密
在线阅读 下载PDF
基于运动对象自动检测和查询的监控系统 被引量：6
8
作者 韩军 熊璋 +1 位作者 龚声蓉 孙文彦 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期400-403,共4页
针对现有的视频监控系统的缺陷 ,提出基于运动对象自动检测和查询的智能视频监控系统 .利用帧间差的 4次统计量的假设验证 ,自动检测运动对象 .用形态学腐蚀和膨胀算子对检测的运动对象的二值图像进行处理 ,以提高检测运动对象的可靠性 ... 针对现有的视频监控系统的缺陷 ,提出基于运动对象自动检测和查询的智能视频监控系统 .利用帧间差的 4次统计量的假设验证 ,自动检测运动对象 .用形态学腐蚀和膨胀算子对检测的运动对象的二值图像进行处理 ,以提高检测运动对象的可靠性 ,降低误警率 .为自动跟踪运动对象轨迹 ,提出检测块概念 .依据检测的运动对象和事件 ,建立相应的监控信息标注数据库 ,进而由时间段、运动对象及场景中发生的事件来查询监控信息 ,实现“跳跃”式随机检索监控信息 .实验结果证明提出的方法对实现智能的视频监控系统是有效且健壮的 . 展开更多
关键词 视频 数据检索 自动检测 查询 监控系统 运动对象
在线阅读 下载PDF
基于SSL的数据安全传输系统的设计与实现 被引量：13
9
作者 杨亚平 李伟琴 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期469-473,共5页
安全套接层协议SSL(SecureSocketLayer)是用来保障数据安全传输的协议 ,目前已经成为工业标准 .首先简要介绍了SSL协议 ,设计并实现了基于SSL的数据安全传输系统 ,它由两部分组成 :SSL客户方安全通信代理CSP(ClientSecureProxy)和服务... 安全套接层协议SSL(SecureSocketLayer)是用来保障数据安全传输的协议 ,目前已经成为工业标准 .首先简要介绍了SSL协议 ,设计并实现了基于SSL的数据安全传输系统 ,它由两部分组成 :SSL客户方安全通信代理CSP(ClientSecureProxy)和服务器方安全通信网关SSG(ServerSecureGateway) ,二者可以在Internet上建立一个安全通道 ,从而能够保障敏感数据的安全传输 .讨论了系统的整体结构 ,并详细分析了实现中的若干关键技术 ,主要包括握手协议的实现、密钥的协商、记录层数据的分段与填充。 展开更多
关键词 网络安全 安全套接层协议SSL 密钥协商 数据安全传输系统 设计 计算机网络
在线阅读 下载PDF
三维计算流体力学流场的流线构造 被引量：7
10
作者 李海生 杨钦 陈其明 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第5期434-437,共4页
流线的计算与显示是流场可视化中的一项基本技术 .通过将CFD(ComputationalFluidDynamics)的计算网格剖分为四面体单元并设置相邻四面体之间的拓扑关系 ,运用基于四面体侧面法矢的“指南针”法进行快速点定位 ,采用自适应步长的数值积... 流线的计算与显示是流场可视化中的一项基本技术 .通过将CFD(ComputationalFluidDynamics)的计算网格剖分为四面体单元并设置相邻四面体之间的拓扑关系 ,运用基于四面体侧面法矢的“指南针”法进行快速点定位 ,采用自适应步长的数值积分方法直接在物理空间中进行流线的追踪 ,避免了物理空间和计算空间之间的转换以及由此所带来的误差 ,提高了流线追踪的精度和效率 . 展开更多
关键词 流线 四面体 网格 流场可视化
在线阅读 下载PDF
角色访问控制技术在管理信息系统中的应用 被引量：13
11
作者 李健 唐文忠 宋长福 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第6期534-538,共5页
基于角色的访问控制作为一种安全机制 ,已引起人们越来越多的关注 .介绍了传统的自主访问控制模型和强制访问控制模型并分析了他们的特点 ,提出了一种基于RBAC2 (RoleBasedAccessContrd 2 )模型之上的新的访问控制模型 ,该模型兼顾了RB... 基于角色的访问控制作为一种安全机制 ,已引起人们越来越多的关注 .介绍了传统的自主访问控制模型和强制访问控制模型并分析了他们的特点 ,提出了一种基于RBAC2 (RoleBasedAccessContrd 2 )模型之上的新的访问控制模型 ,该模型兼顾了RBAC2模型的优点 ,并扩展了RBAC2模型中对于个体权限的修改能力 ,应用于实际的管理信息系统中的事实证明了该模型是可行的 .讨论了权限的分级管理 . 展开更多
关键词 管理信息系统 资源 矩阵 自主访问控制 强制访问控制 角色
在线阅读 下载PDF
网络计算环境下任务调度问题研究 被引量：4
12
作者 胡凯 张怡 胡建平 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第6期644-648,共5页
利用网上空闲处理机组成机群并行计算环境是快速增长的研究领域 ,任务调度是其中最关键性的问题之一 .在基于消息传递机制的网络并行计算环境下 ,针对一类大粒度计算任务并行时协同同步工作问题 ,发展了一种新的静态调度模型 ,提出了调... 利用网上空闲处理机组成机群并行计算环境是快速增长的研究领域 ,任务调度是其中最关键性的问题之一 .在基于消息传递机制的网络并行计算环境下 ,针对一类大粒度计算任务并行时协同同步工作问题 ,发展了一种新的静态调度模型 ,提出了调度算法 ,它映射一类特殊的并行程序任务到由网络上若干空闲处理机组成的机群中 .研究表明该算法能减少此类并行程序的完成时间 . 展开更多
关键词 并行处理 分布式计算机 调度程序 任务调度 机群计算 任务图 同步任务
在线阅读 下载PDF
基于基元关系模型的C++程序静态分析器 被引量：2
13
作者 汪浩 金茂忠 +1 位作者 陈起 高仲仪 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期391-395,共5页
分析了面向对象软件测试和度量的特点 ,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型 (ERM) ,介绍了从基于MFC(MicrosoftFoundationClass)的VisualC ++6.0源程序中构造ERM模型的算法 ,据此构造了一个基于... 分析了面向对象软件测试和度量的特点 ,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型 (ERM) ,介绍了从基于MFC(MicrosoftFoundationClass)的VisualC ++6.0源程序中构造ERM模型的算法 ,据此构造了一个基于基元关系模型的VC ++6.0程序静态分析器 .对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍 .实践证明 ,该分析器可以高效正确地提取出模型中描述的各种关系 。 展开更多
关键词 软件工程 软件工具 程序语言 面向对象 软件测试 软件开发 C++程序静态分析器
在线阅读 下载PDF
基于自适应搜索的快速运动估计算法 被引量：5
14
作者 李波 涂亚明 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期373-376,共4页
在MPEG和H .2 63的运动估计中 ,全搜索 (FS)效果虽好但时间开销巨大 ,以三步搜索法为代表的一些快速算法不仅在搜索精度方面与FS相比有较大的差距 ,而且搜索时间仍不能满足实际的需要 .提出的基于自适应搜索的快速运动估计算法 (ASA)充... 在MPEG和H .2 63的运动估计中 ,全搜索 (FS)效果虽好但时间开销巨大 ,以三步搜索法为代表的一些快速算法不仅在搜索精度方面与FS相比有较大的差距 ,而且搜索时间仍不能满足实际的需要 .提出的基于自适应搜索的快速运动估计算法 (ASA)充分利用了视频序列运动矢量在空间分布上的中心偏置特性和相邻块运动的相关性 ,在大幅度提高搜索效率的情况下 ,得到了与全搜索非常接近的搜索效果 .与现有算法相比 ,该算法具有高效、鲁棒性强的特点 . 展开更多
关键词 图像处理 编码器 运动估计 搜索算法 块匹配 MPEG
在线阅读 下载PDF
收敛无穷计算及其应用 被引量：1
15
作者 李未 马世龙 +1 位作者 眭跃飞 许可 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第5期481-489,共9页
经典计算不能很好地刻画无穷计算的行为 .基于形式系统序列及其极限 ,讨论一类称为收敛无穷计算的问题 ,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础 .提出了收敛无穷计算的一个逻辑和推理系统 ... 经典计算不能很好地刻画无穷计算的行为 .基于形式系统序列及其极限 ,讨论一类称为收敛无穷计算的问题 ,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础 .提出了收敛无穷计算的一个逻辑和推理系统 ,其表达能力超过一阶逻辑 .还基于经典计算模型图灵 (Turing)机和形式系统序列及其极限 ,提出了收敛无穷计算的模型 ,称为过程模式 .在极限计算的意义下 ,其计算能力超过了Turing机和实数机器 .讨论了上述研究在数据挖掘中的应用 。 展开更多
关键词 计算 极限 收敛无穷计算 过程模式 无穷序列
在线阅读 下载PDF
过程体系结构 被引量：1
16
作者 张莉 王雷 周伯生 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第1期81-86,共6页
从系统论的观点出发，明确定义了过程工程领域的基本概念，定义了过程体系结构，采用了一个扩充的ＣＯＳＭＯＳ模型，以支持灵活的过程建模，并在此基础上讨论了过程的工程化支持．
关键词 过程模型 企业过程 再次工程 系统论
在线阅读 下载PDF
CC——高阶通信系统的并发演算 被引量：2
17
作者 李未 王飓安 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1992年第3期12-18,共7页
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作... 并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。 展开更多
关键词 并发 通信 形式语义
在线阅读 下载PDF
基于组装的过程工程环境 被引量：1
18
作者 王雷 张莉 高仲仪 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第1期87-92,共6页
描述了一个基于组装的过程工程环境．该环境包括过程定义、过程实例化、过程模拟、过程运作４个部分，采用了基于组装的过程建模方法，能够对可重用过程库中的过程部件进行组装，生成新的过程模型。
关键词 软件组装 过程模型 过程工程环境
在线阅读 下载PDF
模糊神经元及其计算能力研究 被引量：1
19
作者 梁久祯 何新贵 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第5期589-592,共4页
分析了模糊神经元模型 ,指出了这种神经元模型在计算能力上的缺陷 .提出了对模糊神经元定义的两种改进方法 ,一是限制传递函数为非单调函数 ;二是修改定义域 .对改进后的模糊神经元网络证明了计算能力与图灵机的等价性 ,从而对传统的神... 分析了模糊神经元模型 ,指出了这种神经元模型在计算能力上的缺陷 .提出了对模糊神经元定义的两种改进方法 ,一是限制传递函数为非单调函数 ;二是修改定义域 .对改进后的模糊神经元网络证明了计算能力与图灵机的等价性 ,从而对传统的神经网络作了进一步推广 . 展开更多
关键词 神经网络 模糊算子 序 计算能力 图灵等价性 模糊系统 模糊神经元
在线阅读 下载PDF
航务报文处理系统的分析与设计 被引量：1
20
作者 何国斌 马世龙 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第6期649-653,共5页
航务报文处理系统是对民航系统中充当部门间信息交换媒介的航务报文进行处理的软件系统 ,可以在民航多个部门中得到广泛应用 .当前已有的航务报文处理系统存在通用性不好、可集成性差以及信息发布方式不合理等缺点 .ATPS(AeronauticalTe... 航务报文处理系统是对民航系统中充当部门间信息交换媒介的航务报文进行处理的软件系统 ,可以在民航多个部门中得到广泛应用 .当前已有的航务报文处理系统存在通用性不好、可集成性差以及信息发布方式不合理等缺点 .ATPS(AeronauticalTelexProcessingSystem) 2 .0航务报文处理系统就是针对这些问题 ,在对航务报文处理业务以及已有系统进行分析的基础上 ,综合使用UML(UnifiedModelingLanguage)。 展开更多
关键词 计算机应用 信息系统 软件工程 航务报文 中间件 需求可变 设计点 需求不变点 民航系统
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部