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

1

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

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

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

在线阅读 下载PDF 职称材料

异构信息系统下安全策略协同的设计与形式化语言描述

2

作者 韩志勇 王萍 +1 位作者 倪勇 李先国 《计算机应用》 CSCD 北大核心 2005年第7期1565-1567,共3页

在异构的信息系统中,为了保障信息的安全,都会采用相应强度的访问控制技术和策略。为了在异构信息系统之间,能够有效地共享资源,就需要在异构系统间实现安全策略的协同。给出了一个基于票据的安全策略协同模型,用形式化的语言对其进行... 在异构的信息系统中,为了保障信息的安全,都会采用相应强度的访问控制技术和策略。为了在异构信息系统之间,能够有效地共享资源,就需要在异构系统间实现安全策略的协同。给出了一个基于票据的安全策略协同模型,用形式化的语言对其进行了描述,并完成了对票据权限的计算。 展开更多

关键词 异构 安全策略 协同 票据 令牌

在线阅读 下载PDF 职称材料

刚性悬臂梁位置跟踪系统的智能控制

3

作者 蔡小斌 戴冠中 《控制理论与应用》 EI CAS CSCD 北大核心 1992年第1期22-28,共7页

本文针对一类刚性悬臂梁电液位置跟踪系统,提出一种简便、有效的智能控制新方法。文中对该智能控制系统的设计和分布式计算机控制实现进行了详细的描述,并与传统的计算机控制方法进行了结果对比。该智能控制系统对非等速运动物体的实际... 本文针对一类刚性悬臂梁电液位置跟踪系统,提出一种简便、有效的智能控制新方法。文中对该智能控制系统的设计和分布式计算机控制实现进行了详细的描述,并与传统的计算机控制方法进行了结果对比。该智能控制系统对非等速运动物体的实际跟踪响应达到了快速、无波纹的控制品质,对突变重负荷干扰具有较好的鲁棒性。 展开更多

关键词 悬臂梁 位置 控制系统 计算机

在线阅读 下载PDF 职称材料

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

4

作者 杜慧敏 杨红丽 +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 职称材料

一个快速的被动式传感器数据关联算法 被引量：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 职称材料

一级泛非运算研究 被引量：6

8

作者 何华灿 刘永怀 +2 位作者 白振兴 艾丽蓉 王瑛 《计算机学报》 EI CSCD 北大核心 1998年第S1期24-28,共5页

何华灿等1996年提出关于不确定性推理的泛逻辑，对泛非运算给出了它的零级形式N（X）=1—X．本文讨论它的一级形式，内容包括不确定性的级，一级泛非现象，一级泛非公理，一级泛非运算N（X，h）的定义、主要性质和生成方法．这对深入认... 何华灿等1996年提出关于不确定性推理的泛逻辑，对泛非运算给出了它的零级形式N（X）=1—X．本文讨论它的一级形式，内容包括不确定性的级，一级泛非现象，一级泛非公理，一级泛非运算N（X，h）的定义、主要性质和生成方法．这对深入认识不确定性及其逻辑规律，完善泛逻辑理论具有重要意义． 展开更多

关键词 一级泛非运算 不确定性的级 泛逻辑

在线阅读 下载PDF 职称材料

基于时态逻辑的硬件设计形式化验证技术——模型检验 被引量：5

9

作者 郭建 杜惠敏 +1 位作者 韩俊刚 郝克刚 《小型微型计算机系统》 CSCD 北大核心 2001年第5期521-524,共4页

通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一步地分析 。

关键词 时态逻辑 模型检验 布尔函数 硬件设计 形式化验证 计算机

在线阅读 下载PDF 职称材料

基于群智数据的情境关联旅游路线推荐 被引量：5

10

作者 郭斌 李智敏 +1 位作者 张靖 於志文 《郑州大学学报（理学版）》 CAS 北大核心 2020年第2期22-28,共7页

针对基于不同出行需求的景区内路线规划问题,首先运用卷积-循环神经网络(CNN-RNN)对游记中图像与文本进行联合嵌入,将数据按照景点进行分类识别,然后使用基于图模型的PhotoRank算法优选出具有多样性、代表性的图片,最后采用关联规则挖... 针对基于不同出行需求的景区内路线规划问题,首先运用卷积-循环神经网络(CNN-RNN)对游记中图像与文本进行联合嵌入,将数据按照景点进行分类识别,然后使用基于图模型的PhotoRank算法优选出具有多样性、代表性的图片,最后采用关联规则挖掘得到针对不同出行人群的特定需求情境的推荐路线。以8个热门景点为例,对马蜂窝中采集的游记数据进行实验,结果表明提出的基于群智数据的跨模态分析和情境关联旅游路线推荐方法能够从多角度真实地刻画景点,并且所推荐的情境关联路线可满足不同人群的特定游玩需求。 展开更多

关键词 群智数据 跨模态分析 PhotoRank算法 旅游路线推荐 情境关联推荐

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

基于照片的人脸三维建模 被引量：3

12

作者 张九龙 胡正国 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第5期385-386,389,共3页

研究由一张正面照片和一张侧面照片合成头部三维模型的自动方法。从照片中提取面部特征点后 ,修改基本模型生成特定人的面部三维模型。从两张照片可以合成任意角度视图 。

关键词 面部建模 基本模型 模型修改 纹理映射 照片 面部特征 计算机图形学

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

理想机模型与人工智能

15

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

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

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

在线阅读 下载PDF 职称材料

模式识别的最大熵神经网络方法

16

作者 张九龙 张万龙 胡正国 《计算机工程与应用》 CSCD 北大核心 2002年第10期83-84,91,共3页

文章提出了模式识别的最大熵方法,其基本思想是求出最大熵概率分布,再求出条件概率分布,进而作出二值分类。它的特点是能最大限度地利用已有信息做出最合理的推测。求解最大熵分布时,需要解复杂的约束优化问题,为此使用了神经网络,从而... 文章提出了模式识别的最大熵方法,其基本思想是求出最大熵概率分布,再求出条件概率分布,进而作出二值分类。它的特点是能最大限度地利用已有信息做出最合理的推测。求解最大熵分布时,需要解复杂的约束优化问题,为此使用了神经网络,从而使该方法结合了神经网络的很多优点。该方法的突出优点是在小样本情况下仍能保持很好的识别率。 展开更多

关键词 模式识别 最大熵 神经网络 计算机

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

基于策略的分布式资源监测技术

18

作者 王继晖 周兴社 施笑安 《计算机工程》 EI CAS CSCD 北大核心 2006年第1期34-36,92,共4页

资源监测技术对于分布式计算环境下进行任务分配、负载平衡、容错都具有非常重要的作用,给出了分布式环境中资源监测技术的一种资源监测构件设计思想,在策略上包括PULL和PUSH两种资源监测模式,并在基于计算域的分布适应性资源管理支持系... 资源监测技术对于分布式计算环境下进行任务分配、负载平衡、容错都具有非常重要的作用,给出了分布式环境中资源监测技术的一种资源监测构件设计思想,在策略上包括PULL和PUSH两种资源监测模式,并在基于计算域的分布适应性资源管理支持系统(ARDRM)中进行了试验分析,表明PULL模式的资源监测模式易于编程实现,可灵活地获取在一个计算域内监测所有计算节点所必须花费的时间。而PUSH模式的资源监测模式具有更精确的监测周期。 展开更多

关键词 资源监测 计算域 ARDRM

在线阅读 下载PDF 职称材料

一种区域基图象编码新方法

19

作者 郭峻 赵荣椿 《信号处理》 CSCD 北大核心 1996年第2期169-173,187,共6页

本文提出了一种基于区域的图象编码新技术，它根据图象区域灰度分布特点，以灰度误差最小平方和为准则，采用四向递归二分法逐渐将图象表面划分为若干凸多边形，使之逼近原始图象．软件模拟实验表明，当头肩灰度图象压缩比超过20：1时... 本文提出了一种基于区域的图象编码新技术，它根据图象区域灰度分布特点，以灰度误差最小平方和为准则，采用四向递归二分法逐渐将图象表面划分为若干凸多边形，使之逼近原始图象．软件模拟实验表明，当头肩灰度图象压缩比超过20：1时，重建图象主观质量仍然较好．文中介绍了区域基和表面描述图象编码方法，着重论述了四向递归二分法的基本原理和算法，同时给出了若干实验结果。 展开更多

关键词 图象编码 区域基 四向递归二分法 二叉树

在线阅读 下载PDF 职称材料

在UNIX下建立软件接口的一种方法

20

作者 冯新国 徐秋元 《计算机工程与应用》 CSCD 北大核心 1992年第4期6-9,共4页

建立软件接口是对封闭性软件进行开发的一种手段。本文详尽地介绍了在UNIX系统下,通过管道通讯建立软件接口的一种切实可行的方法,并给出了其中的设计技巧。

关键词 软件 接口 软件开发 管道通信

在线阅读 下载PDF 职称材料