期刊文献+
共找到54篇文章
< 1 2 3 >
每页显示 20 50 100
计算机辅助设计航空器目视盘旋进近程序 被引量:3
1
作者 吴洁明 赵安 《航空计算技术》 2004年第1期59-61,65,共4页
说明了运用计算机技术解决飞行程序设计的问题,特别是运用几何数学中三角形三个顶点计算三角形面积,其面积值的符号与三个顶点的顺序密切相关的原理,成功地解决了航空器目视盘旋进近保护区的确定问题。
关键词 计算机辅助设计 航空器 目视盘旋进近程序 飞行程序设计 空中交通管理
下载PDF
计算机辅助实现航空器基线转弯程序设计的方法 被引量:2
2
作者 吴洁明 符晓君 《航空计算技术》 2006年第4期17-20,共4页
随着航空事业的迅速发展,空中交通日趋繁忙,科学合理地利用空中资源是发展航空事业的基础。飞行程序设计是航行工程的重要组成部分。目前,国内大部分飞行程序设计主要还是手工设计,设计周期长,设计信息管理不规范。本文介绍了计算机辅... 随着航空事业的迅速发展,空中交通日趋繁忙,科学合理地利用空中资源是发展航空事业的基础。飞行程序设计是航行工程的重要组成部分。目前,国内大部分飞行程序设计主要还是手工设计,设计周期长,设计信息管理不规范。本文介绍了计算机辅助航空器基线转弯程序设计的方法、主要数据结构和实现算法。文章所描述的系统采用了数据库技术、地理信息系统技术和空间几何算法,实现了对航空器基线转弯程序设计过程和设计结果评价的可视化。解决了航空器基线转弯程序设计多年来的手工操作问题。 展开更多
关键词 计算机辅助设计 飞行程序设计 基线转弯程序设计
下载PDF
普通高校计算机专业人才培养关键期的教学理念探索 被引量:2
3
作者 吴洁明 《计算机教育》 2010年第5期36-39,共4页
本文提出了本科计算机专业人才培养的关键期,并围绕关键期讨论学生经常遇到的困惑和教学中存在的问题,针对问题提出了教学计划调整策略和加强实践环节的改革思路,经过初步尝试,取得了明显效果。
关键词 计算机教学 计算机专业人才培养 人才培养关键期 教学理念
下载PDF
软件体系结构抽象模型 被引量:41
4
作者 赵会群 王国仁 高远 《计算机学报》 EI CSCD 北大核心 2002年第7期730-736,共7页
针对软件体系结构描述语言 (Architecture Description L anguages,ADL s)在动态、可进化和可扩充特征描述能力的不足 ,用抽象代数理论对组件、连接器和软件体系结构的属性和行为特征进行抽象 ,提出了组件连接“运算”这一新的观点 ,给... 针对软件体系结构描述语言 (Architecture Description L anguages,ADL s)在动态、可进化和可扩充特征描述能力的不足 ,用抽象代数理论对组件、连接器和软件体系结构的属性和行为特征进行抽象 ,提出了组件连接“运算”这一新的观点 ,给出了在不同连接运算下的软件体系结构范式和事件依赖的软件体系结构范式定理 .该文提出的较完整的软件体系结构理论体系 ,为进一步研究软件体系结构和基于软件体系结构的相关研究奠定了理论基础 . 展开更多
关键词 软件体系结构 抽象模型 组件 连接器 抽象代数 软件可靠性 软件工程
下载PDF
基于GPRS的远程报警视频监控系统 被引量:13
5
作者 刘文萍 杨学超 +1 位作者 王景中 孟丹 《计算机工程》 CAS CSCD 北大核心 2007年第24期253-254,257,共3页
提出了一个基于GPRS的远程报警视频监控系统,该系统利用运动目标检测技术,对待监视现场进行实时监控。通过对监控视频的帧差图像中的噪声进行建模,系统能检测监控区域是否出现运动目标,并一旦判断有可疑移动物体出现时,系统将实时产生报... 提出了一个基于GPRS的远程报警视频监控系统,该系统利用运动目标检测技术,对待监视现场进行实时监控。通过对监控视频的帧差图像中的噪声进行建模,系统能检测监控区域是否出现运动目标,并一旦判断有可疑移动物体出现时,系统将实时产生报警,并将警报信息通过GPRS无线网络传送至值班人员。 展开更多
关键词 运动目标检测 监控系统 实时报警
下载PDF
软件体系结构:一个新的研究领域 被引量:15
6
作者 赵会群 孙晶 +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
软件体系结构性能评价研究 被引量:9
7
作者 赵会群 孙晶 +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
8
作者 赵会群 孙晶 《计算机学报》 EI CSCD 北大核心 2010年第5期890-899,共10页
针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算... 针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例. 展开更多
关键词 服务 服务组合 服务体系结构 抽象代数 进程代数
下载PDF
基于AS关系的BGP路由策略冲突检测研究 被引量:5
9
作者 赵会群 张春宏 +1 位作者 刘冰玉 高远 《计算机研究与发展》 EI CSCD 北大核心 2002年第9期1025-1030,共6页
对违背 AS关系配置原则的路由不稳定性进行研究 ,提出一种基于 AS关系的路由策略冲突检测算法 ,该算法根据 AS关系下的路由策略配置原则 ,通过把 AS关系对象集合与实际导出的 AS关系集合比较 ,发现路由策略冲突 .该算法既可用于静态也... 对违背 AS关系配置原则的路由不稳定性进行研究 ,提出一种基于 AS关系的路由策略冲突检测算法 ,该算法根据 AS关系下的路由策略配置原则 ,通过把 AS关系对象集合与实际导出的 AS关系集合比较 ,发现路由策略冲突 .该算法既可用于静态也可用于动态的路由策略冲突检测 . 展开更多
关键词 AS关系 BGP路由策略 网络管理 边界网关协议 自治系统 策略冲突检测 Internet 计算机网络
下载PDF
一种SOA软件系统可信性评价方法研究 被引量:21
10
作者 赵会群 孙晶 《计算机学报》 EI CSCD 北大核心 2010年第11期2202-2210,共9页
结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义... 结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献. 展开更多
关键词 面向服务的体系结构 软件可信性评价 半Markov模型
下载PDF
基于Web的通用运动会管理系统 被引量:5
11
作者 席军林 孟丹 《首都体育学院学报》 北大核心 2010年第1期91-93,共3页
长期以来,我国体育竞赛的管理尤其是中小型运动会的管理,由于没有综合的全程的赛程管理系统软件,造成运动会信息化水平不高。结合各类运动项目的组织规则和相关规定,运用计算机及网络技术,以Web模式开发了适用于各层级运动会的综合性通... 长期以来,我国体育竞赛的管理尤其是中小型运动会的管理,由于没有综合的全程的赛程管理系统软件,造成运动会信息化水平不高。结合各类运动项目的组织规则和相关规定,运用计算机及网络技术,以Web模式开发了适用于各层级运动会的综合性通用运动会管理系统。该系统实现了运动会的注册、报名、种子设定,抽签及比赛编排、成绩录入、资料统计及汇出等工作,使大量繁琐的人工编排任务通过简单方便的操作便可以实现,大大减轻了运动会组织人员的劳动强度、提高了工作效率,保证了数据的准确性、安全性,该系统已经成功应用于台湾2008大学生运动会和北方工业大学第30、31届春季田径运动会。推广使用该系统可以极大地简化通用运动会的组织而提高体育组织举办通用运动会的积极性。 展开更多
关键词 田径 游泳 球类 抽签 运动会管理系统
下载PDF
基于智能IC卡的网络数据安全保密系统 被引量:7
12
作者 王景中 徐小青 《计算机应用》 CSCD 北大核心 2001年第7期53-55,共3页
从系统组成、安全机制等方面介绍了一种基于智能IC卡的网络数据安全保密系统。描述了所采用的系统认证、C/R认证、PIN认证、数据加密等安全措施 。
关键词 计算机网络 数据安全保密系统 智能IC卡 防火墙
下载PDF
基于LDAP的信息共享平台研究与实现 被引量:16
13
作者 吴洁明 周宁 《计算机应用》 CSCD 北大核心 2008年第4期1042-1044,共3页
不同时期建设的计算机应用系统采用不同的技术,运行在不同的平台上,它们之间的信息共享成为人们关注的焦点。利用轻型目录(LDAP)服务器组织共享信息资源的元数据,运用对象缓冲池、多线程和消息总线等技术实现资源管理器、数据提取器和... 不同时期建设的计算机应用系统采用不同的技术,运行在不同的平台上,它们之间的信息共享成为人们关注的焦点。利用轻型目录(LDAP)服务器组织共享信息资源的元数据,运用对象缓冲池、多线程和消息总线等技术实现资源管理器、数据提取器和消息总线,运用系统引擎屏蔽底层的复杂结构,结合XML技术解决共享信息的交互和多模板显示问题,有效地实现了Internet环境下不同的应用系统之间的信息的共享。 展开更多
关键词 信息共享 信息交互 消息总线 LDAP应用 目录服务 元数据 可扩展标识语言
下载PDF
一种基于进程代数的软件体系结构描述语言PEADL 被引量:2
14
作者 赵会群 孙晶 高远 《计算机工程与应用》 CSCD 北大核心 2003年第5期118-120,156,共4页
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。
关键词 进程代数 软件体系结构 描述语言 PEADL 面向对象 软件工程
下载PDF
人脸跟踪技术在智能家庭服务系统中的应用 被引量:1
15
作者 刘文萍 付晓玲 +1 位作者 伊大成 李晓丽 《计算机应用研究》 CSCD 北大核心 2004年第10期139-140,共2页
提出了一个用于可感知人—机界面系统的快速且鲁棒性强的人脸提取和跟踪算法。算法分两步:首先利用皮肤颜色过滤法和背景去除技术提取出类似皮肤的区域;再利用区域填充和图像分析技术将人的面部分割出来。实验结果证明了此算法的可行性... 提出了一个用于可感知人—机界面系统的快速且鲁棒性强的人脸提取和跟踪算法。算法分两步:首先利用皮肤颜色过滤法和背景去除技术提取出类似皮肤的区域;再利用区域填充和图像分析技术将人的面部分割出来。实验结果证明了此算法的可行性和实时性。 展开更多
关键词 可感知用户界面 图像分割 实时人脸跟踪 区域标记 特征抽取
下载PDF
面向学习能力的混合教学与辅以思政实例的讲解设计——以编译原理理论课程为例
16
作者 束劼 张永梅 杨建 《计算机教育》 2024年第10期148-152,共5页
针对不同学习能力的学生在编译原理课程学习中遇到不同问题的情况,提出利用已有的MOOC课程+线下讲授+课堂录播相结合的混合教学方式,从教学方法、教学内容和课程考核3个方面分别介绍编译原理课程混合教学方式的实施,同时以课程中的部分... 针对不同学习能力的学生在编译原理课程学习中遇到不同问题的情况,提出利用已有的MOOC课程+线下讲授+课堂录播相结合的混合教学方式,从教学方法、教学内容和课程考核3个方面分别介绍编译原理课程混合教学方式的实施,同时以课程中的部分理论和算法为例,阐述思政融入的方式。 展开更多
关键词 编译原理 MOOC 录播课堂 思政
下载PDF
一种基于Hadoop的EPC物联网数据分析系统的研究与实现 被引量:6
17
作者 赵会群 黄传聪 《计算机工程与科学》 CSCD 北大核心 2015年第4期657-662,共6页
随着物流中心内部署的感知节点感知的EPC标签数据日益膨胀,并且由于单机容量以及计算能力的限制,使得传统数据处理方式已经不能很好地满足物流中心对于大数据处理的需求。为解决数据中心对内部历史数据进行高速有效处理的困境,在对Hadoo... 随着物流中心内部署的感知节点感知的EPC标签数据日益膨胀,并且由于单机容量以及计算能力的限制,使得传统数据处理方式已经不能很好地满足物流中心对于大数据处理的需求。为解决数据中心对内部历史数据进行高速有效处理的困境,在对Hadoop技术进行深入研究的基础上,提出了一种EPC物联网数据处理算法,并使用Hadoop技术进行实现。实验结果表明,在Hadoop平台中进行EPC数据处理,可以明显提高物流中心对历史数据的处理能力。 展开更多
关键词 HADOOP EPC 数据处理 物流中心
下载PDF
基于Portal的统一身份认证系统研究与开发 被引量:9
18
作者 吴洁明 杨轶鑫 《航空计算技术》 2004年第4期89-91,95,共4页
描述了基于Portal的统一身份认证系统的实现方法。整个系统主要由用户登录和注销管理、用户在不同应用系统中的操作权限管理和各个应用系统的信息管理三部分组成。文章详细介绍了采用"票证"技术解决用户对不同应用系统的持续... 描述了基于Portal的统一身份认证系统的实现方法。整个系统主要由用户登录和注销管理、用户在不同应用系统中的操作权限管理和各个应用系统的信息管理三部分组成。文章详细介绍了采用"票证"技术解决用户对不同应用系统的持续访问,并给出了实现过程的主要数据结构。经过实际测试证明本系统有效地解决了用户重复登录和多点管理账号的问题,提高了用户的工作效率和应用系统的安全性。 展开更多
关键词 身份认证 SSO 应用系统注册 PORTAL
下载PDF
Ontology推理系统的设计与实现
19
作者 付晓玲 李守丽 《计算机工程与设计》 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路由策略冲突检测算法
20
作者 赵会群 高远 《计算机工程与科学》 CSCD 2002年第2期50-53,共4页
因特网边界网关协议BGP是基于策略的路由协议 ,它为路由选择提供了灵活性。然而 ,实践表明BGP路由会产生振荡 ,其原因是路由策略配置冲突。通过分析AS关系 ,提出一种基于AS关系的路由策略冲突检测算法。该算法根据AS关系下的路由策略配... 因特网边界网关协议BGP是基于策略的路由协议 ,它为路由选择提供了灵活性。然而 ,实践表明BGP路由会产生振荡 ,其原因是路由策略配置冲突。通过分析AS关系 ,提出一种基于AS关系的路由策略冲突检测算法。该算法根据AS关系下的路由策略配置原则检测路由策略配置错误。 展开更多
关键词 AS关系 BGP路由 策略冲突检测算法 边界网关协议 因特网
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部