计算机组成原理实验的开发和提高 被引量：1

1

作者 姬亚利 《现代电子技术》 1996年第3期37-39,共3页

计算机组成原理实验中较复杂的实验如数据通路、微程序控制器、ＣＰＵ取指令执行等实验．为了达到实验要求通过多年教学实践作了改进与提高，取得了预期效果。

关键词 计算机组成原理 计算机课程 实验教学

在线阅读 下载PDF 职称材料

分布式系统研究进展 被引量：9

2

作者 房鼎益 周兴社 康继昌 《微电子学与计算机》 CSCD 北大核心 2000年第6期9-15,共7页

分布式操作系统与分布式系统环境是实现分布处理的二种主要基础软件系统。由于其设计方法上的差异，它们在最终用户面前展现出不同的特性。设计者如何设计出满足不同用户需求的分布式操作系统或分布式系统环境，是值得研究的重要问题。... 分布式操作系统与分布式系统环境是实现分布处理的二种主要基础软件系统。由于其设计方法上的差异，它们在最终用户面前展现出不同的特性。设计者如何设计出满足不同用户需求的分布式操作系统或分布式系统环境，是值得研究的重要问题。文章从设计目标、系统结构及实现技术等方面对这二种系统进行概括的分析，并从互操作性、透明性和延展性等几方面对这二种系统进行较全面的比较。 展开更多

关键词 分布式操作系统 分布式系统环境 互操作性 计算机

在线阅读 下载PDF 职称材料

一种基于时态逻辑的有限状态系统验证方法 被引量：2

3

作者 杜慧敏 杨红丽 +1 位作者 高德远 韩俊刚 《西北工业大学学报》 EI CAS CSCD 北大核心 2000年第1期111-115,共5页

LPTL ( Linear Proposition Temporal Logic)与自动机之间有着紧密的联系 ,结合 LPTL语义和语法 ,提出一种从 LPTL公式导出 Büchi自动机的方法。导出的 Büchi自动机所接受的语言准确地表达了 LPTL公式所描述的特性。从而把由 ... LPTL ( Linear Proposition Temporal Logic)与自动机之间有着紧密的联系 ,结合 LPTL语义和语法 ,提出一种从 LPTL公式导出 Büchi自动机的方法。导出的 Büchi自动机所接受的语言准确地表达了 LPTL公式所描述的特性。从而把由 LPTL公式描述的系统设计规范的验证问题转换成检验 Büchi自动机的包含问题。 展开更多

关键词 命题时态逻辑 形式化验证 有限状态系统 自动机

在线阅读 下载PDF 职称材料

RSAB——一个新的宏单元布线系统

4

作者 李泓 康继昌 《微电子学与计算机》 CSCD 北大核心 1989年第11期1-4,共4页

本文论述了一个在SUN3/160工作站UNIX操作系统下实现的宏单元布线系统RSAB,给出了系统实现算法,着重强调了系统的集成性和用户界面的重要性。RSAB最终集成在Magic交互式布图系统中,提供用户一个有效的自动/交互式布图环境。初步实验结... 本文论述了一个在SUN3/160工作站UNIX操作系统下实现的宏单元布线系统RSAB,给出了系统实现算法,着重强调了系统的集成性和用户界面的重要性。RSAB最终集成在Magic交互式布图系统中,提供用户一个有效的自动/交互式布图环境。初步实验结果表明,该布线系统是可行的、实用的,达到了预期的要求。 展开更多

关键词 VLSI 宏单元 布线系统 RSAB

在线阅读 下载PDF 职称材料

一个快速的被动式传感器数据关联算法 被引量：12

5

作者 王明辉 游志胜 +2 位作者 赵荣椿 张建州 冯子亮 《电子学报》 EI CAS CSCD 北大核心 2000年第12期45-47,44,共4页

本文针对仅能获得关于目标角度信息的被动式传感器、且允许传感器漏检、虚警、以及监视空域目标位置和数量未知的静态数据关联问题 ,提出了一个基于空间交点属性强度的快速数据关联算法 .与现有算法相比 ,本方法较好地改进了数据关联算... 本文针对仅能获得关于目标角度信息的被动式传感器、且允许传感器漏检、虚警、以及监视空域目标位置和数量未知的静态数据关联问题 ,提出了一个基于空间交点属性强度的快速数据关联算法 .与现有算法相比 ,本方法较好地改进了数据关联算法的精度和运算速度 .最后 ,通过仿真实验给以验证 . 展开更多

关键词 多目标跟踪 数据关联 被动式传感器 MTMST 算法

在线阅读 下载PDF 职称材料

性能优化的跟踪门算法 被引量：14

6

作者 王明辉 游志胜 +1 位作者 赵荣椿 聂健荪 《电子学报》 EI CAS CSCD 北大核心 2000年第6期13-15,共3页

本文提出一个基于数据关联性能评价的优化跟踪门算法 ,并通过它来减少跟踪门内来自非本目标的回波 ,最终达到提高多目标多传感器跟踪系统性能的目的 .与最优跟踪门相比 ,经理论分析和仿真数据表明 ,本算法有效改善了系统的性能 ,尤其在... 本文提出一个基于数据关联性能评价的优化跟踪门算法 ,并通过它来减少跟踪门内来自非本目标的回波 ,最终达到提高多目标多传感器跟踪系统性能的目的 .与最优跟踪门相比 ,经理论分析和仿真数据表明 ,本算法有效改善了系统的性能 ,尤其在强干扰。 展开更多

关键词 多目标跟踪 数据关联 跟踪门 多传感器跟踪

在线阅读 下载PDF 职称材料

汽车牌照的实时分割方法 被引量：7

7

作者 张炜 王庆 赵荣椿 《西北工业大学学报》 EI CAS CSCD 北大核心 2001年第1期35-37,共3页

提出了一种汽车牌照的实时分割方法 ,利用牌照区域灰度变化剧烈 ,而背景相对平缓的特点 ,以适当阈值二值化牌照图像以消除背景干扰 ,结合牌照知识 ,搜索牌照区域 ,如找不到 ,则自适应调整阈值 ,重复以上步骤。实验证明该算法定位准确并... 提出了一种汽车牌照的实时分割方法 ,利用牌照区域灰度变化剧烈 ,而背景相对平缓的特点 ,以适当阈值二值化牌照图像以消除背景干扰 ,结合牌照知识 ,搜索牌照区域 ,如找不到 ,则自适应调整阈值 ,重复以上步骤。实验证明该算法定位准确并且是实时的。 展开更多

关键词 汽车牌照 实时分割方法 灰度分布 电子收费系统 自适应阈值 牌照知识别 公路运输

在线阅读 下载PDF 职称材料

分裂-合并方法在图象分割、目标提取中的应用 被引量：10

8

作者 赵锋 赵荣椿 《西北工业大学学报》 EI CAS CSCD 北大核心 2000年第1期116-120,共5页

提出了一种“分裂 -合并 -收缩 -合并 -扩张”的图象大区域的分割方法 ;可以适用于多灰度级图象 ;算法引入金字塔式的分割思想 ,对图象进行大区域的粗分割 ,对目标进行大区域扫描 ,小区域的分块分割 ,提取出目标区域 ,依据目标区域的骨... 提出了一种“分裂 -合并 -收缩 -合并 -扩张”的图象大区域的分割方法 ;可以适用于多灰度级图象 ;算法引入金字塔式的分割思想 ,对图象进行大区域的粗分割 ,对目标进行大区域扫描 ,小区域的分块分割 ,提取出目标区域 ,依据目标区域的骨架特征对目标进行识别 ;还提出了一种新的道路识别方法。 展开更多

关键词 图象分割 分裂-合并 目标提取 目标识别 骨架

在线阅读 下载PDF 职称材料

信息安全中密码技术的分析及研究 被引量：3

9

作者 夏清国 姚群 高德远 《现代电子技术》 2002年第3期1-3,共3页

随着互联网的迅猛发展和广泛应用 ,网络安全问题变得越来越严峻。从加密和认证、加密体制及分析、加密和认证的作用。

关键词 信息安全 密码技术 网络安全 加密 认证 加密体制 计算机网络

在线阅读 下载PDF 职称材料

人工智能的泛符号机制 被引量：2

10

作者 白振兴 何华灿 王勇 《空军工程大学学报（自然科学版）》 CSCD 2000年第1期59-62,共4页

针对 90年代以来人工智能研究逐步转入低潮的局面 ,提出了关于人工智能的泛符号机制的新思想、新理论 ,泛符号机制 =泛逻辑 +知识表示的超拓扑结构 +多维信息空间。

关键词 人工智能 泛符号机制 泛逻辑学 知识表示的超拓扑结构 多维信息空间

在线阅读 下载PDF 职称材料

理想机模型与人工智能

11

作者 白振兴 何华灿 +1 位作者 周汉萍 解冀海 《空军工程大学学报（自然科学版）》 CSCD 2000年第5期43-46,共4页

提出了理想机是包容性最大的智能系统理论模型 ,是人类利用工具的最理想目标 ,是对人、动物及一切人造机器系统功能的科学抽象的概念。在此把人工智能归结到了理想机的高级信息处理机中。鉴于研究人工智能系统的超复杂性和艰巨性 ,提出... 提出了理想机是包容性最大的智能系统理论模型 ,是人类利用工具的最理想目标 ,是对人、动物及一切人造机器系统功能的科学抽象的概念。在此把人工智能归结到了理想机的高级信息处理机中。鉴于研究人工智能系统的超复杂性和艰巨性 ,提出了研究智能的策略 :跳高原理、波动机理。其核心是制定研究目标要恰当 ,不能太高、太大 。 展开更多

关键词 人工智能 理想机 功能机 动力机 信息机 跳高原理 波动机理

在线阅读 下载PDF 职称材料

基于反馈控制理论的模糊控制数学模型

12

作者 姚群 夏清国 高德远 《空军工程大学学报（自然科学版）》 CSCD 2001年第6期30-33,共4页

模糊数学和模糊理论描述了比精确数学更为广泛的世界。在基于反馈的控制理论和技术应用领域中 ,许多控制对象和过程借助于模糊数学 ,可以将“模糊”和“精确”相互转换 ,使得系统内部是模糊的 ,而其输入和输出则是精确的 。

关键词 模糊关系 模糊变换 模糊控制 数学模型 模糊数学 反馈控制理论

在线阅读 下载PDF 职称材料

一种航迹规划地形分析的改进算法

13

作者 虞蕾 赵红 赵宗涛 《河北工业大学学报》 CAS 2005年第6期70-75,共6页

巡航弹航迹规划因地形参数不同而直接影响到规划方法与最终所得的航线的优劣,本文提出了巡航弹航迹规划地形分析的一种改进算法,包括由地形图已知点生成德朗利三角网的改进算法和由德朗利三角网找出通视点的改进算法.经仿真实验表明该... 巡航弹航迹规划因地形参数不同而直接影响到规划方法与最终所得的航线的优劣,本文提出了巡航弹航迹规划地形分析的一种改进算法,包括由地形图已知点生成德朗利三角网的改进算法和由德朗利三角网找出通视点的改进算法.经仿真实验表明该算法可用性强、速度快,易于在规划作业过程中应用,包括实现部分地形图的变更和动态增加各种火力点等障碍物. 展开更多

关键词 地形分析 通视分析 巡航弹 航迹规划

在线阅读 下载PDF 职称材料

缺省推理中的模糊知识

14

作者 王拥军 倪晋平 王翠茹 《西安工业学院学报》 2001年第1期11-16,共6页

知识表示是人工智能中形成常识推理模型的基础 ,这里强调模糊逻辑在其扩展模型中充当的重要角色 .笔者使用两层次模糊意义 ,给出了基于近似推理框架表达的缺省推理 。

关键词 缺省推理 非单调性 不一致性 近似推理 人工智能

在线阅读 下载PDF 职称材料