VHDL语言高级综合子集的确立及其实现方法

越来越多的高级综合系统采用或接受ＶＨＤＬ语言作为设计输入，但ＶＨＤＬ语言的语义本质是基于模拟而非基于高级综合的，许多语法现象不能或不适于进行综合。本文系统地分析了ＶＨＤＬ语言的可综合性问题，详细讨论了ＶＨＤＬ语言的各种语法现象的可综合性，并结合实际系统分析了ＶＨＤＬ语言高级综合子集的确立及实现方法。     

基于知识库的PKI等级评估模型的研究

提出了一种基于知识库的PKI等级评估模型.目前国内外对于PKI等级评估的研究大多集中于定性评估,并且依赖于评估者的专业水平.为了能够使PKI的等级评估方便而精确,借鉴了一种著名的风险评估工具的思想,即基于专家系统知识库的评估体系.在此基础上,结合PKI等级评估的自身特性,提出一套由评估依据产生的规则库,并在规则库之上给出了以事实表、前件表、后件表三表组成的知识库模型和由表中相关键值驱动的推理演绎算法,从而得出一个自成体系的PKI等级评估工具的模型.     

P2P信息检索的技术挑战及评价体系

研究对等计算(P2P)信息检索面临的技术挑战及评价体系.重点分析了这类新型信息检索系统亟待解决的技术难题,包括:体系结构、资源定位与查询路由策略、查询结果排序策略与合并机制,以及检索优化策略等;同时介绍了有效的解决方案或指明进一步研究的方向.提出了评价这些解决策略有效性的方法与指标体系.     

一种Hopfield神经网络算法复杂性研究的新方法

首先分析了基于Hopfield神经网络的TSP问题求解方法,提出从研究能量函数、状态空间分布和可行解的关系来研究以Hopfield为代表的优化神经网络的计算复杂性的思想;并给出从状态空间到线性表的映射方法,引入状态-程序复杂性。分析结果表明,绝对状态一程序复杂性更为充分地反映能量函数的求解过程;相对状态-程序复杂性提供了一种在多项式时间内对NP问题算法的有效性进行衡量的尺度。     

银行保安信息系统的设计与实现

本文介绍以ＩＢＭ－ＰＣ３８６计算机，Ｖ－ＬＩＮＫ２Ｃ语音接口卡及自动电话拨号机组成的银行保安信息系统的工作原理，主要功能部件的构成和工作原理，工作语音库的建立和裁剪方法，以及整个系统的硬件组成和软件设计方法。     

概念图知识表示方法的研究

本文简要介绍了一种新的知识表示方法－概念图;详细论述了概念图知识表示的机器内部实现方法以及在推理过程中如何实现概念图之间的匹配。     

MAINTAINING THE LEVEL OF VIGILANCE BY MEANS OF KNOWLEDGE OF RESULTS ABOUT A SECONDARY VIGILANCE TASK

Abstract

An experiment is reported in which performance of a central vigilance task was maintained at a high level by giving knowledge of results concerning performance on a peripheral vigilance task which was undertaken concurrently. Knowledge of results consisted of displaying response time to the onset of a signal in the secondary task, response time connoting the degree of alertness with respect to the central task. There appear to be implications for the design of an alertness indicator.     

基于知识的装配机器人选型专家系统的研制

装配机器人的迅速发展，使装配机器人选型变得越来越重要。本文根据装配机器人进行装配业的特点，主要探讨了装配机器人选型专家系统中知识表示、推理方法以及装配知识的获取等问题。     

知识获取方法DECO

知识获取方法学是目前人工智能领域中最重要的分支之一,现在已出现了几种不同应用范围的获取方法,集成式知识获取方法的研究已成为当前的一种趋势,本文所介绍的DECO方法是一种集成式方法,它将知识获取分为若干个基本上相互独立的步骤,并且溶进了知识库快速生成技术以及基于专家分析实例的学习方法。     

IPRPS——一种简单有效的设计加权公平排队算法的模型

PRPS是一种设计加权公平排队算法的数据包模型,Stiliadis指出PRPS具有与设计加权公平排队算法的理想模型－RPS相近的延迟和公平性特性,但实际上,在最坏情况下,PRPS与RPS会有很大的差距,首先指出这种差距的存在,同时通过调节数据包进入PRPS的时间,提出了一种简单有效地设计加权排队算法的模型－IPRPS,并证明了IPRPS具有与RPS几乎相同的延迟和公平性特性。     

大规模MIMO系统的信道估计研究

对于在实际Massive MIMO环境中信道状态信息(CSI)的获取,传统的做法是在TDD系统环境下基于上下行信道互易性来获取下行信道信息,但是随着小区数和用户数的增加,导频污染已经成为其发展的瓶颈;在FDD系统环境下,用户的反馈量和码本长度将随着基站天线数的增加而极大地增加。针对这种情况,提出在FDD模式下结合3D_MIMO的基站节点(e NB)天线的配置模型,将水平域和竖直域的信道信息用码本分别由用户(UE)反馈给基站,减少反馈信息量,并做到与现有码本的良好兼容。试验结果表明FDD环境结合3D_MIMO的模式,虽然吞吐量逊于TDD环境下的信道互易性,但是在系统稳定性以及小区边缘用户体验上的表现更加优异。     

智能装配机器人机械零件知识库的自动建立

为了实现智能装配机器人能够模拟人装配机械零件,系统应包含有关装配所必需的知识.利用这些知识,机器人自动编制装配工艺规程.并自动安排机器人的一系列控制命令.机械零件知识库是基于知识的智能装配机器人规划系统中不可缺少的知识.本文介绍了由机器人的视觉系统摄入机械零件图纸后,如何由摄入的二值化图形自动建立机械零件知识库.     

信息系统安全等级测评配置检查工具研究与实现

通过对FDCC在美国成功的案例与现有信息系统等级保护和风险评估的测评指标分析,建立广东电网公司的安全配置检查规范模型。并基于该模型,借鉴SCAP协议的设计思路设计了各种类型安全配置检查枚举库。给出安全配置测评自动化工具的系统架构、模块组成和界面设计,工具的成功研制对提升信息系统等级保护测评结果的科学性、准确性都起到了非常大的促进作用,同时加快了测评的进度,提升了工作效率。     

基于MVC模式的高校教学评估信息系统的设计

探讨了基于校园网构建一个高校教学评估信息系统的必要性,在进行系统需要分析的基础上提出基于J2EE平台和MVC设计模式构建高校教学评估信息系统的设计方案,并详细设计了模型层类和控制层类.     

为测试系统诊断构造基于知识（规则）的诊断系统

随着集成电路测试系统复杂程度的不断提高，其自身的完整性和正确性变得越来越重要。作者所设计并实现的基于知识（规则）的诊断系统ＬＳＴＳ－Ｄｉａｇ实现了对大型测试系统ＬＳＴＳ硬件的故障诊断。本文以基于知识（规则）的诊断系统为背景，以ＬＳＴＳ－Ｄｉａｇ的系统设计方案为主线，论述ＬＳＴＳ－Ｄｉａｇ诊断系统的诊断策略、知识表示方法、诊断推理的运用，以及ＬＳＴＳ－Ｄｉａｇ的系统结构和系统设计，并给出有关系统运行     

并行知识库机的知识划分及其推理

并行知识库机是一种采用并行处理技术来提高大规模知识库系统性能的专用机。其中，知识的划分及并行推理模型是两个关键问题。本文以产生式系统作为并行知识库机的基本知识表示方法，重点讨论产生式系统的划分和并行推理问题。