VHDL硬件描述语言及其设计环境

VHDL硬件描述语言及其设计环境是一个形式化、层次化和规范化的计算机硬件描述与设计语言系统,它的出现为实现计算机设计领域的科学化迈出了重要的一步。本文较详细地介绍了VHDL的起因、历史和现状,概要地论述了VHDL语言及其语言特征,并讨论了VHDL的设计环境,最后提出了实现该系统的基本途径。     

一个基于XML的虚拟博物馆场景描述语言

博物馆的虚拟展示对博物馆在教育和科普方面都具有重要意义,但目前大多数虚拟现实技术在实现一个低成本的,桌面型的,面向网络的三维虚拟博物馆系统时都有着不同程度的不足。本文针对虚拟博物馆的特点及需求,给出一个基于XML的适于描述虚拟博物馆场景的场景描述语言XVM。XVM根据展示环境与藏品模型分离的设计原则,有效地利用了馆藏资源的各种数字信息,并在一定程度上降低了网络传输量。在XVM的基础上,一套虚拟博物馆构建及漫游系统已被初步实现,并在实际应用中取得良好的效果。     

面向问题的描述语言及其支撑系统POLTRANS

本文提出一种面向问题的描述语言ＰＯＬ，论述了实现由ＰＯＬ程序向特定面向过程的高级语言源程序转换的翻译系统ＴＲＡＮＳ，两者在方法库的支撑下构成了一种通用的辅助软件开发环境ＰＯＬＴＲＡＮＳ。它适用于拥有大量规范软件方法积累的领域。     

分布式虚拟环境下的环境管理器及环境描述语言

介绍了面向动态实体的虚拟现实系统的开发过程,给出了一个虚拟环境描述语言ＶＥＤＬ及其主要部分的形式化描述。ＶＥＤＬ可以描述分布式虚拟环境下统一的时间推演、空间位置及环境中的各种实体信息。基于ＶＥＤＬ可效系统需求转化为环境脚本。根据用ＶＥＤＬ书写的这一环境脚本,环境管理器可以动态生成整个系统的各种配置并对动态实体在虚拟环境中的行为进行预规划,随后分发到各个仿真节点从而生成一个虚拟现实系统。     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

面向C4ISR能力分析的领域特定描述语言

针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UMLProfile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.     

演化硬件容错技术的研究

演化硬件是替代传统硬件设计的新技术,自修复与容错技术是替代现有冗余设计的较为理想的方法,是实现电子设备高可靠、长寿命的重要保证。介绍了演化硬件的容错原则,论述了构建容错系统的两种不同方法,即适应度方法和群体方法;基于反映器件物理"特性"的Messy门,进行演化过程仿真,得到了具有一定容错能力的电路,根据对仿真结果的讨论得出了相应的结论。     

外部型硬件进化方法研究

外部型硬件进化(Extrinsic EHW)是将硬件描述语言(HDL)与进化算法(EA)结合起来的硬件进化(EHW)方法。在简要介绍了EHW的基本概念和工作原理的基础上，针对外部型硬件进化的基本方法，通过实验分析指出了这类方法存在的问题，阐述了在电子设计自动4g(EDA)平台上实现Extrinsic EHW方法必须解决的核心问题。     

用计算机设计计算机

由于越来越多的计算机结构都置于半导体芯片上,因而需要更先进的设计技术。对于大多数计算机制造厂商来说,这就是采用计算机辅助设计。目前,几乎所有的厂商都有某种自动化程序,因此缩短了设计周期。也许更为重要的是由于设计自动化而减少了差错,因为设计一旦上了芯片,就很难更改。 许多工业界人士认为,IBM公司拥有最     

可进化硬件的基本原理与关键技术

可进化硬件 (EvolvableHardware ,EHW)研究将进化计算技术应用于系统 (特别是电子系统 )内部结构的设计、调理、实时自适应等方面 ,以实现复杂电路的自动化设计和显著提高电子系统的自适应和容错能力。简述了EHW的基本原理、关键技术和应用前景 ,介绍了EHW研究的最新进展 ,总结和比较了各类实现方法的主要特点 ;在此基础上 ,总结并讨论了该领域亟待解决的开放性问题 ,指出了相关的研究方向和有望获得突破的解决途径。     

硬件进化的递增式学习研究

提高硬件进化(EvolvableHardware,简称EHW)的在线自适应能力是EHW追求的重要目标。本文构造了一种基于知识的递增式学习模式,研究了一种面向EHW的自适应学习机制。在加快进化计算收敛速度的同时,利用进化过程中的数据分析,获得了进化方向的预测(知识),有效地排除了可能对系统产生危害行为的个体。对比实验表明,该学习机制比简单的达尔文式进化机制具有明显的优势。为EHW实现自适应目标提供了一种可行的解决思路。     

视觉伺服空间机器人运动硬件仿真研究

对空间机器人操作臂与安装平台之间耦合关系进行了分析,建立了空间机器人各关键部件的模拟器,并组建起硬件仿真试验平台.基于该平台对空间机器人运动控制特性进行了研究,建立了基于视觉反馈的运动规划算法和关节电机闭环控制模型.对仿真过程中的延时环节进行了分析,并采用Smith预估的方法对系统延时进行了补偿.系统自主捕获仿真试验试结果表明,所采用运动控制算法能够稳定收敛于目标,仿真平台能够较好的完成对机器人控制和通讯能力的模拟测试及系统控制算法的验证.     

基于硬件的苛刻实时仿真系统研究

实时仿真是仿真研究的一个重要领域,随着仿真规,模的扩大和复杂度的提高,对于现有实时仿真系统提出了挑战.分析了现有实时仿真平台的局限性,在现有的实时仿真平台基础上,借用分布仿真的概念将实时仿真进一步分离,基于硬件平台提出了苛刻实时层的概念,为实时仿真性能的提高提出了解决方案,并分析了苛刻实时层的各项性能指标.     

硬件免疫系统中避免自身免疫的算法研究

硬件免疫系统的研究尚处在起步阶段，有大量的问题需要解决，包括如何避免自身免疫问题等。针对硬件免疫系统设计中无法避免的自身免疫问题提出的一种新算法能够借助协同刺激信号自动删除与自身匹配的检测器，使硬件免疫系统具有自身耐受能力，提高了检测正确率并降低了误报率。模拟实验结果证明了算法的有效性。     

网络控制系统的分析与硬件在线仿真

网络控制系统(NCS)是一种新型计算机控制系统,通过工业网络实现控制单元之间的数据交换,但这也给控制系统带来了时延等问题.在分析两种常见工业网络的时延特点之后,介绍了硬件在线仿真平台的构建,提出了理论与硬件在线仿真相结合的设计方法,即用平均时延对系统进行理论设计,再在硬件在线仿真平台上进行仿真和参数选择.某二阶系统的设计与仿真过程,说明了该设计方法的有效性.     

数-模联用界面硬件的软化

在数-模联用系统中,界面设备主要是A/D和D/A转换器。在各类A/D转换器中,反馈型逐位编码 A/D转换器是用得最广泛的一种,它由 D/A变换网络、比较器、数码寄存器、门控电路、节拍脉冲产生器、基准源及启动控制电路组成,如图1。     

计算机专家系统

直到最近,人工智能才取得一些实际成果。这些成果的取得多是归功于设计和使用了专家系统——解决特定问属的计算机程序,其水平可与诙领域的人类专家相媲美。 关于这种系统与普通的应用程序有何区别,不易用上述定义说清楚。显然,应用程序要利用特定的求解问题的知识,且其中很多已取得了很高的成就,主要差别也许在于,在多数专家系统中,应用领域里求解问题的模型可明确地看作为一个独立的实体或知识库,而不只是隐含地看作为程序编码的一部分。这种知识库受一个独立的、可清楚地辨