期刊文献+
共找到37篇文章
< 1 2 >
每页显示 20 50 100
计算机辅助设计航空器目视盘旋进近程序 被引量:3
1
作者 吴洁明 赵安 《航空计算技术》 2004年第1期59-61,65,共4页
说明了运用计算机技术解决飞行程序设计的问题,特别是运用几何数学中三角形三个顶点计算三角形面积,其面积值的符号与三个顶点的顺序密切相关的原理,成功地解决了航空器目视盘旋进近保护区的确定问题。
关键词 计算机辅助设计 航空器 目视盘旋进近程序 飞行程序设计 空中交通管理
下载PDF
计算机辅助实现航空器基线转弯程序设计的方法 被引量:2
2
作者 吴洁明 符晓君 《航空计算技术》 2006年第4期17-20,共4页
随着航空事业的迅速发展,空中交通日趋繁忙,科学合理地利用空中资源是发展航空事业的基础。飞行程序设计是航行工程的重要组成部分。目前,国内大部分飞行程序设计主要还是手工设计,设计周期长,设计信息管理不规范。本文介绍了计算机辅... 随着航空事业的迅速发展,空中交通日趋繁忙,科学合理地利用空中资源是发展航空事业的基础。飞行程序设计是航行工程的重要组成部分。目前,国内大部分飞行程序设计主要还是手工设计,设计周期长,设计信息管理不规范。本文介绍了计算机辅助航空器基线转弯程序设计的方法、主要数据结构和实现算法。文章所描述的系统采用了数据库技术、地理信息系统技术和空间几何算法,实现了对航空器基线转弯程序设计过程和设计结果评价的可视化。解决了航空器基线转弯程序设计多年来的手工操作问题。 展开更多
关键词 计算机辅助设计 飞行程序设计 基线转弯程序设计
下载PDF
软件体系结构抽象模型 被引量:41
3
作者 赵会群 王国仁 高远 《计算机学报》 EI CSCD 北大核心 2002年第7期730-736,共7页
针对软件体系结构描述语言 (Architecture Description L anguages,ADL s)在动态、可进化和可扩充特征描述能力的不足 ,用抽象代数理论对组件、连接器和软件体系结构的属性和行为特征进行抽象 ,提出了组件连接“运算”这一新的观点 ,给... 针对软件体系结构描述语言 (Architecture Description L anguages,ADL s)在动态、可进化和可扩充特征描述能力的不足 ,用抽象代数理论对组件、连接器和软件体系结构的属性和行为特征进行抽象 ,提出了组件连接“运算”这一新的观点 ,给出了在不同连接运算下的软件体系结构范式和事件依赖的软件体系结构范式定理 .该文提出的较完整的软件体系结构理论体系 ,为进一步研究软件体系结构和基于软件体系结构的相关研究奠定了理论基础 . 展开更多
关键词 软件体系结构 抽象模型 组件 连接器 抽象代数 软件可靠性 软件工程
下载PDF
软件体系结构:一个新的研究领域 被引量:15
4
作者 赵会群 孙晶 +1 位作者 王国仁 高远 《计算机科学》 CSCD 北大核心 2002年第11期146-149,共4页
As a new research domain,software architecture is attracted. However the study on software architecture is still in beginning state, and there are many questions about the basic theory for subject construction and met... As a new research domain,software architecture is attracted. However the study on software architecture is still in beginning state, and there are many questions about the basic theory for subject construction and method for engineering problem solving need answer. This paper introduces result on the basic conception,the basic theory and the applying method that have archived,explores some problems which need should be solved and new method that can be used for problem solving. 展开更多
关键词 软件体系结构 软件工程 软件系统 计算机
下载PDF
基于GPRS的远程报警视频监控系统 被引量:13
5
作者 刘文萍 杨学超 +1 位作者 王景中 孟丹 《计算机工程》 CAS CSCD 北大核心 2007年第24期253-254,257,共3页
提出了一个基于GPRS的远程报警视频监控系统,该系统利用运动目标检测技术,对待监视现场进行实时监控。通过对监控视频的帧差图像中的噪声进行建模,系统能检测监控区域是否出现运动目标,并一旦判断有可疑移动物体出现时,系统将实时产生报... 提出了一个基于GPRS的远程报警视频监控系统,该系统利用运动目标检测技术,对待监视现场进行实时监控。通过对监控视频的帧差图像中的噪声进行建模,系统能检测监控区域是否出现运动目标,并一旦判断有可疑移动物体出现时,系统将实时产生报警,并将警报信息通过GPRS无线网络传送至值班人员。 展开更多
关键词 运动目标检测 监控系统 实时报警
下载PDF
软件体系结构性能评价研究 被引量:9
6
作者 赵会群 孙晶 +1 位作者 王国仁 高远 《计算机科学》 CSCD 北大核心 2003年第2期144-146,共3页
The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for softwa... The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for software architecture performance modeling. To achieve this ,it adds new calculus into stochastic process algebra(SPA in short),the developed SPA called extended stochastic process algebra (ESPA in short). By ESPA,performance evaluation and software architecture modeling can combine perfectly. It defines a few performance terms for software architecture using reward structure derived from ESPA. To explain the performance terms it also designs an experiment. 展开更多
关键词 软件体系结构 性能评价 软件工程 软件系统 计算机
下载PDF
面向服务的可信软件体系结构代数模型 被引量:21
7
作者 赵会群 孙晶 《计算机学报》 EI CSCD 北大核心 2010年第5期890-899,共10页
针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算... 针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例. 展开更多
关键词 服务 服务组合 服务体系结构 抽象代数 进程代数
下载PDF
基于AS关系的BGP路由策略冲突检测研究 被引量:5
8
作者 赵会群 张春宏 +1 位作者 刘冰玉 高远 《计算机研究与发展》 EI CSCD 北大核心 2002年第9期1025-1030,共6页
对违背 AS关系配置原则的路由不稳定性进行研究 ,提出一种基于 AS关系的路由策略冲突检测算法 ,该算法根据 AS关系下的路由策略配置原则 ,通过把 AS关系对象集合与实际导出的 AS关系集合比较 ,发现路由策略冲突 .该算法既可用于静态也... 对违背 AS关系配置原则的路由不稳定性进行研究 ,提出一种基于 AS关系的路由策略冲突检测算法 ,该算法根据 AS关系下的路由策略配置原则 ,通过把 AS关系对象集合与实际导出的 AS关系集合比较 ,发现路由策略冲突 .该算法既可用于静态也可用于动态的路由策略冲突检测 . 展开更多
关键词 AS关系 BGP路由策略 网络管理 边界网关协议 自治系统 策略冲突检测 Internet 计算机网络
下载PDF
一种SOA软件系统可信性评价方法研究 被引量:21
9
作者 赵会群 孙晶 《计算机学报》 EI CSCD 北大核心 2010年第11期2202-2210,共9页
结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义... 结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献. 展开更多
关键词 面向服务的体系结构 软件可信性评价 半Markov模型
下载PDF
基于智能IC卡的网络数据安全保密系统 被引量:7
10
作者 王景中 徐小青 《计算机应用》 CSCD 北大核心 2001年第7期53-55,共3页
从系统组成、安全机制等方面介绍了一种基于智能IC卡的网络数据安全保密系统。描述了所采用的系统认证、C/R认证、PIN认证、数据加密等安全措施 。
关键词 计算机网络 数据安全保密系统 智能IC卡 防火墙
下载PDF
一种基于进程代数的软件体系结构描述语言PEADL 被引量:2
11
作者 赵会群 孙晶 高远 《计算机工程与应用》 CSCD 北大核心 2003年第5期118-120,156,共4页
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。
关键词 进程代数 软件体系结构 描述语言 PEADL 面向对象 软件工程
下载PDF
人脸跟踪技术在智能家庭服务系统中的应用 被引量:1
12
作者 刘文萍 付晓玲 +1 位作者 伊大成 李晓丽 《计算机应用研究》 CSCD 北大核心 2004年第10期139-140,共2页
提出了一个用于可感知人—机界面系统的快速且鲁棒性强的人脸提取和跟踪算法。算法分两步:首先利用皮肤颜色过滤法和背景去除技术提取出类似皮肤的区域;再利用区域填充和图像分析技术将人的面部分割出来。实验结果证明了此算法的可行性... 提出了一个用于可感知人—机界面系统的快速且鲁棒性强的人脸提取和跟踪算法。算法分两步:首先利用皮肤颜色过滤法和背景去除技术提取出类似皮肤的区域;再利用区域填充和图像分析技术将人的面部分割出来。实验结果证明了此算法的可行性和实时性。 展开更多
关键词 可感知用户界面 图像分割 实时人脸跟踪 区域标记 特征抽取
下载PDF
一种基于Hadoop的EPC物联网数据分析系统的研究与实现 被引量:6
13
作者 赵会群 黄传聪 《计算机工程与科学》 CSCD 北大核心 2015年第4期657-662,共6页
随着物流中心内部署的感知节点感知的EPC标签数据日益膨胀,并且由于单机容量以及计算能力的限制,使得传统数据处理方式已经不能很好地满足物流中心对于大数据处理的需求。为解决数据中心对内部历史数据进行高速有效处理的困境,在对Hadoo... 随着物流中心内部署的感知节点感知的EPC标签数据日益膨胀,并且由于单机容量以及计算能力的限制,使得传统数据处理方式已经不能很好地满足物流中心对于大数据处理的需求。为解决数据中心对内部历史数据进行高速有效处理的困境,在对Hadoop技术进行深入研究的基础上,提出了一种EPC物联网数据处理算法,并使用Hadoop技术进行实现。实验结果表明,在Hadoop平台中进行EPC数据处理,可以明显提高物流中心对历史数据的处理能力。 展开更多
关键词 HADOOP EPC 数据处理 物流中心
下载PDF
基于Portal的统一身份认证系统研究与开发 被引量:9
14
作者 吴洁明 杨轶鑫 《航空计算技术》 2004年第4期89-91,95,共4页
描述了基于Portal的统一身份认证系统的实现方法。整个系统主要由用户登录和注销管理、用户在不同应用系统中的操作权限管理和各个应用系统的信息管理三部分组成。文章详细介绍了采用"票证"技术解决用户对不同应用系统的持续... 描述了基于Portal的统一身份认证系统的实现方法。整个系统主要由用户登录和注销管理、用户在不同应用系统中的操作权限管理和各个应用系统的信息管理三部分组成。文章详细介绍了采用"票证"技术解决用户对不同应用系统的持续访问,并给出了实现过程的主要数据结构。经过实际测试证明本系统有效地解决了用户重复登录和多点管理账号的问题,提高了用户的工作效率和应用系统的安全性。 展开更多
关键词 身份认证 SSO 应用系统注册 PORTAL
下载PDF
Ontology推理系统的设计与实现
15
作者 付晓玲 李守丽 《计算机工程与设计》 CSCD 北大核心 2008年第21期5531-5536,5549,共7页
SHOQ(D)描述逻辑可以对概念、角色、个体、数据类型进行推理,能够克服OIL语言不能处理命名的个体和具体数据类型的缺点。该文设计并实现了SHOQ(D)描述逻辑的ontology推理系统,在SHIQ表算法的基础上,通过修改和添加数据类型和个体的相关... SHOQ(D)描述逻辑可以对概念、角色、个体、数据类型进行推理,能够克服OIL语言不能处理命名的个体和具体数据类型的缺点。该文设计并实现了SHOQ(D)描述逻辑的ontology推理系统,在SHIQ表算法的基础上,通过修改和添加数据类型和个体的相关规则,得到SHOQ(D)表算法。该系统的实现基于FACT系统,提供了对术语知识库TKB进行操作的函数和宏,主要有向TKB中添加公理、进行推理和回答查询等。实验结果验证SHOQ(D)系统的表达能力优于FACT系统。 展开更多
关键词 语义WEB ONTOLOGY 描述逻辑 数据类型 个体 表算法 推理系统
下载PDF
一种基于AS关系的BGP路由策略冲突检测算法
16
作者 赵会群 高远 《计算机工程与科学》 CSCD 2002年第2期50-53,共4页
因特网边界网关协议BGP是基于策略的路由协议 ,它为路由选择提供了灵活性。然而 ,实践表明BGP路由会产生振荡 ,其原因是路由策略配置冲突。通过分析AS关系 ,提出一种基于AS关系的路由策略冲突检测算法。该算法根据AS关系下的路由策略配... 因特网边界网关协议BGP是基于策略的路由协议 ,它为路由选择提供了灵活性。然而 ,实践表明BGP路由会产生振荡 ,其原因是路由策略配置冲突。通过分析AS关系 ,提出一种基于AS关系的路由策略冲突检测算法。该算法根据AS关系下的路由策略配置原则检测路由策略配置错误。 展开更多
关键词 AS关系 BGP路由 策略冲突检测算法 边界网关协议 因特网
下载PDF
基于虚拟仪器的电磁阀综合性能测试系统构建 被引量:1
17
作者 李寅 《电子科学技术》 2015年第4期417-424,共8页
随着电磁阀产品技术不断提高,传统的电磁阀测试系统工作效率低、精度差,并且已经不能满足综合性能的测试。为了填补这一空白,研制一种基于虚拟仪器的电磁阀综合性能计算机测试系统。该测试系统能对现在绝大部分电磁阀进行测试,测试精度... 随着电磁阀产品技术不断提高,传统的电磁阀测试系统工作效率低、精度差,并且已经不能满足综合性能的测试。为了填补这一空白,研制一种基于虚拟仪器的电磁阀综合性能计算机测试系统。该测试系统能对现在绝大部分电磁阀进行测试,测试精度高,用户使用简便,多路同时测试提高了工作效率。本文主要介绍该系统测试内容、总体设计、计算机软硬件设计,并且通过实际测试数据加以验证。 展开更多
关键词 电磁阀 测试 虚拟仪器技术
下载PDF
基于组件的软件可靠性模型 被引量:17
18
作者 赵会群 孙晶 +1 位作者 王国仁 高远 《小型微型计算机系统》 CSCD 北大核心 2002年第8期950-954,共5页
首先对不同的软件体系结构描述语言 (ADL )进行分析 ,找出软件体系结构的共性 .用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述 ,探讨不同连接形式下的软件体系结构 ,给出基于组件的软件可靠性模... 首先对不同的软件体系结构描述语言 (ADL )进行分析 ,找出软件体系结构的共性 .用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述 ,探讨不同连接形式下的软件体系结构 ,给出基于组件的软件可靠性模型 .在此模型基础上 ,对基于组件的软件系统的可靠性计算模型进行研究 ,提出一种半 Markov模型 ,并在理论上证明该模型的可用性 .最后通过 CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用 . 展开更多
关键词 组件 软件可靠性模型 软件体系结构 CORBA 软件重用 软件工程
下载PDF
一种改进的BGP路由策略冲突检测方案 被引量:4
19
作者 赵会群 孙晶 +1 位作者 高远 王光兴 《通信学报》 EI CSCD 北大核心 2002年第7期91-97,共7页
本文针对路由仲裁者计划的不足,提出一种改进的BGP路由策略冲突检测方案,在改进方案中提出一种基于AS关系描述的路由策略冲突检测方法,研究表明所提出的检测方法可以克服RA计划的不足。对所提出方案的技术可行性进行论证,给出关键技术... 本文针对路由仲裁者计划的不足,提出一种改进的BGP路由策略冲突检测方案,在改进方案中提出一种基于AS关系描述的路由策略冲突检测方法,研究表明所提出的检测方法可以克服RA计划的不足。对所提出方案的技术可行性进行论证,给出关键技术的实验结果和软件原型。 展开更多
关键词 路由策略冲突 网络管理 边界网关协议 协议测试 路由仲裁者计划 BGP INTERNET
下载PDF
视频镜头边缘检测技术 被引量:10
20
作者 刘文萍 李也白 张常年 《计算机工程与应用》 CSCD 北大核心 2006年第21期17-20,24,共5页
论文对视频镜头边缘检测的基本原理进行了阐述,介绍了压缩域和非压缩域中视频图像的镜头切换、渐变及溶解的检测方法,以及各类检测方法的基本思想和主要公式,最后指出了性能评价所面临的问题。
关键词 视频分析 视频镜头分割 镜头边缘检测
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部